diff options
author | Reid Kleckner <reid@kleckner.net> | 2014-05-15 23:58:57 +0000 |
---|---|---|
committer | Reid Kleckner <reid@kleckner.net> | 2014-05-15 23:58:57 +0000 |
commit | a9f15ce71f107768f25958e721008034398d6a3e (patch) | |
tree | 1d9c61b6dbe91fa054f7d84af0313800d7d2f2c1 /test/Verifier | |
parent | d5db8765d61ca77a55867cf1f39aecb8cae3a6cd (diff) | |
download | llvm-a9f15ce71f107768f25958e721008034398d6a3e.tar.gz llvm-a9f15ce71f107768f25958e721008034398d6a3e.tar.bz2 llvm-a9f15ce71f107768f25958e721008034398d6a3e.tar.xz |
musttail: Fix the verification of alignment attributes
Previously this would fail with an assertion failure when trying to add
an alignment attribute without a value.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@208935 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Verifier')
-rw-r--r-- | test/Verifier/musttail-invalid.ll | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/Verifier/musttail-invalid.ll b/test/Verifier/musttail-invalid.ll index 7e427b5046..e5f9a404b9 100644 --- a/test/Verifier/musttail-invalid.ll +++ b/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 |