Index: tests_lit/parse_errs/call-fcn-bad-param-type.ll |
diff --git a/tests_lit/parse_errs/call-fcn-bad-param-type.ll b/tests_lit/parse_errs/call-fcn-bad-param-type.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..23147324e14ece8ae75e5b8cfe35d8a04871ebe3 |
--- /dev/null |
+++ b/tests_lit/parse_errs/call-fcn-bad-param-type.ll |
@@ -0,0 +1,15 @@ |
+; Test that even if a call parameter matches its declaration, it must still |
+; be a legal call parameter type (unless declaration is intrinsic). |
+ |
+; REQUIRES: no_minimal_build |
+ |
+; RUN: %p2i --expect-fail -i %s --insts | FileCheck %s |
+ |
+declare void @f(i8); |
+ |
+define void @Test() { |
+entry: |
+ call void @f(i8 1) |
+; CHECK: Call argument 1 matches declaration but has invalid type: i8 |
+ ret void |
+} |