diff options
Diffstat (limited to 'llvm/test/Verifier/musttail-invalid.ll')
| -rw-r--r-- | llvm/test/Verifier/musttail-invalid.ll | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/llvm/test/Verifier/musttail-invalid.ll b/llvm/test/Verifier/musttail-invalid.ll index 7e427b50465..e5f9a404b9e 100644 --- a/llvm/test/Verifier/musttail-invalid.ll +++ b/llvm/test/Verifier/musttail-invalid.ll @@ -60,6 +60,13 @@ define void @mismatched_sret(i32* %a) { ret void } +declare void @mismatched_alignment_callee(i32* byval align 8) +define void @mismatched_alignment(i32* byval align 4 %a) { +; CHECK: mismatched ABI impacting function attributes + musttail call void @mismatched_alignment_callee(i32* byval align 8 %a) + ret void +} + declare i32 @not_tail_pos_callee() define i32 @not_tail_pos() { ; CHECK: musttail call must be precede a ret with an optional bitcast |
