diff options
Diffstat (limited to 'test/Verifier/inalloca1.ll')
| -rw-r--r-- | test/Verifier/inalloca1.ll | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/test/Verifier/inalloca1.ll b/test/Verifier/inalloca1.ll new file mode 100644 index 0000000..38b5507 --- /dev/null +++ b/test/Verifier/inalloca1.ll @@ -0,0 +1,22 @@ +; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s + +declare void @a(i64* byval inalloca %p) +; CHECK: Attributes {{.*}} are incompatible + +declare void @b(i64* inreg inalloca %p) +; CHECK: Attributes {{.*}} are incompatible + +declare void @c(i64* sret inalloca %p) +; CHECK: Attributes {{.*}} are incompatible + +declare void @d(i64* nest inalloca %p) +; CHECK: Attributes {{.*}} are incompatible + +declare void @e(i64* readonly inalloca %p) +; CHECK: Attributes {{.*}} are incompatible + +declare void @f(void ()* inalloca %p) +; CHECK: do not support unsized types + +declare void @g(i32* inalloca %p, i32 %p2) +; CHECK: inalloca isn't on the last parameter! |