New testcase for the verifier

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2242 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Verifier/2002-04-13-RetTypes.ll b/test/Verifier/2002-04-13-RetTypes.ll
new file mode 100644 (file)
index 0000000..fe8d624
--- /dev/null
+++ b/test/Verifier/2002-04-13-RetTypes.ll
@@ -0,0 +1,9 @@
+; Verify the the operand type of the ret instructions in a function match the
+; delcared return type of the function they live in.
+;
+implementation
+
+uint "testfunc"()
+begin
+       ret int* null
+end

diff --git a/test/Verifier/Makefile b/test/Verifier/Makefile
new file mode 100644 (file)
index 0000000..2812a7e
--- /dev/null
+++ b/test/Verifier/Makefile
@@ -0,0 +1,19 @@
+#                    test/Regression/Verifier/Makefile
+#
+# This directory contains regression tests for the LLVM verifier pass. Basically
+# all of these LLVM source files are invalid programs that should be marked as
+# such by the verifier
+
+LEVEL = ../../..
+include $(LEVEL)/test/Makefile.tests
+
+TESTS := $(wildcard *.ll)
+
+all:: $(addprefix Output/, $(TESTS:%.ll=%.ntbc))
+
+Output/%.ntbc: %.ll $(LAS) Output/.dir
+       @echo "======== Verifying $< ==========="
+       if $(LAS) -f $< -o /dev/null; \
+       then $(FAILURE) $@; exit 1; \
+       else touch $@; exit 0;\
+       fi