diff options
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/Inline/inline-tail.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/llvm/test/Transforms/Inline/inline-tail.ll b/llvm/test/Transforms/Inline/inline-tail.ll index 7b0fe57b68e..10b486c5154 100644 --- a/llvm/test/Transforms/Inline/inline-tail.ll +++ b/llvm/test/Transforms/Inline/inline-tail.ll @@ -196,3 +196,24 @@ define i32 @test_notail() { %rv = tail call i32 @notail() ret i32 %rv } + +; PR31014: Inlining a musttail call through a notail call site should remove +; any tail marking, otherwise we break verifier invariants. + +declare void @do_ret(i32) + +define void @test_notail_inline_musttail(i32 %a) { + notail call void @inline_musttail(i32 %a) + musttail call void @do_ret(i32 %a) + ret void +} + +define internal void @inline_musttail(i32 %a) { + musttail call void @do_ret(i32 %a) + ret void +} + +; CHECK-LABEL: define void @test_notail_inline_musttail(i32 %a) +; CHECK: {{^ *}}call void @do_ret(i32 %a) +; CHECK: musttail call void @do_ret(i32 %a) +; CHECK: ret void |
