diff options
| author | Reid Kleckner <rnk@google.com> | 2018-04-02 21:23:16 +0000 |
|---|---|---|
| committer | Reid Kleckner <rnk@google.com> | 2018-04-02 21:23:16 +0000 |
| commit | a9e9918ee4e23a4d971cca8b970e378eb69cc049 (patch) | |
| tree | f8ac9ac70926966eddfcabdd545306b0c97eae68 /llvm/test/Transforms | |
| parent | 3e7d6fc2c6e0e3f229c5060a985b17015738da07 (diff) | |
| download | bcm5719-llvm-a9e9918ee4e23a4d971cca8b970e378eb69cc049.tar.gz bcm5719-llvm-a9e9918ee4e23a4d971cca8b970e378eb69cc049.zip | |
Treat inlining a notail call as a regular, non-tail call
Otherwise, we end up inlining a musttail call into a non-tail position,
which breaks verifier invariants.
Fixes PR31014
llvm-svn: 329015
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 |
