New testcase for the verifier

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

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

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