Add a test case for abstract parameter and result types in function

definitions. The assembler should produce an error on this input.

llvm-svn: 32819

1 files changed, 10 insertions, 0 deletions

diff --git a/llvm/test/Regression/Assembler/2007-01-02-Undefined-Arg-Type.ll b/llvm/test/Regression/Assembler/2007-01-02-Undefined-Arg-Type.ll
new file mode 100644
index 00000000000..b12a897e7ab
--- /dev/null
+++ b/llvm/test/Regression/Assembler/2007-01-02-Undefined-Arg-Type.ll
@@ -0,0 +1,10 @@
+; The assembler should catch an undefined argument type .
+; RUN: llvm-as < %s -o /dev/null -f 2>&1 | grep "Reference to abstract argument"
+
+; %typedef.bc_struct = type opaque
+
+implementation   ; Functions:
+
+define bool %someFunc(i32* %tmp.71.reload, %typedef.bc_struct* %n1) {
+	ret bool true
+}