diff options
Diffstat (limited to 'test/Verifier/inalloca1.ll')
-rw-r--r-- | test/Verifier/inalloca1.ll | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/Verifier/inalloca1.ll b/test/Verifier/inalloca1.ll new file mode 100644 index 0000000000..9408c95ee3 --- /dev/null +++ b/test/Verifier/inalloca1.ll @@ -0,0 +1,19 @@ +; 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 |