xref: /llvm-project/llvm/test/Verifier/sret.ll (revision c820f2a43eaba02db97c4ff60c58a58e6bdd391d)
1; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
2
3declare void @a(ptr sret(i32) %a, ptr sret(i32) %b)
4; CHECK: Cannot have multiple 'sret' parameters!
5
6declare void @b(ptr %a, ptr %b, ptr sret(i32) %c)
7; CHECK: Attribute 'sret' is not on first or second parameter!
8
9; CHECK: Attribute 'sret(i32)' applied to incompatible type!
10; CHECK-NEXT: ptr @not_ptr
11declare void @not_ptr(i32 sret(i32) %x)
12