aboutsummaryrefslogtreecommitdiffstats
path: root/test/Verifier/sret.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Verifier/sret.ll')
-rw-r--r--test/Verifier/sret.ll7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/Verifier/sret.ll b/test/Verifier/sret.ll
new file mode 100644
index 0000000..1ddbf1f
--- /dev/null
+++ b/test/Verifier/sret.ll
@@ -0,0 +1,7 @@
+; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
+
+declare void @a(i32* sret %a, i32* sret %b)
+; CHECK: Cannot have multiple 'sret' parameters!
+
+declare void @b(i32* %a, i32* %b, i32* sret %c)
+; CHECK: Attribute 'sret' is not on first or second parameter!