diff options
| author | Reid Kleckner <rnk@google.com> | 2018-03-01 00:09:35 +0000 |
|---|---|---|
| committer | Reid Kleckner <rnk@google.com> | 2018-03-01 00:09:35 +0000 |
| commit | cb9611ca67f7657dcfbe44aac0cb01a6c0a54c80 (patch) | |
| tree | a29f3dd48677226a711e2503aa8a556ef7ec11df /llvm/test/Transforms | |
| parent | ccfa5257a659cf1f54dd3f8518c8c42218369c41 (diff) | |
| download | bcm5719-llvm-cb9611ca67f7657dcfbe44aac0cb01a6c0a54c80.tar.gz bcm5719-llvm-cb9611ca67f7657dcfbe44aac0cb01a6c0a54c80.zip | |
[DAE] don't remove args of musttail target/caller
`musttail` requires identical signatures of caller and callee. Removing
arguments breaks `musttail` semantics.
PR36441
Patch by Fedor Indutny
Differential Revision: https://reviews.llvm.org/D43708
llvm-svn: 326394
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/DeadArgElim/musttail-caller.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/llvm/test/Transforms/DeadArgElim/musttail-caller.ll b/llvm/test/Transforms/DeadArgElim/musttail-caller.ll new file mode 100644 index 00000000000..981326bba0a --- /dev/null +++ b/llvm/test/Transforms/DeadArgElim/musttail-caller.ll @@ -0,0 +1,16 @@ +; RUN: opt -deadargelim -S < %s | FileCheck %s +; PR36441 +; Dead arguments should not be removed in presence of `musttail` calls. + +; CHECK-LABEL: define internal void @test(i32 %a, i32 %b) +; CHECK: musttail call void @foo(i32 %a, i32 0) +; FIXME: we should replace those with `undef`s +define internal void @test(i32 %a, i32 %b) { + musttail call void @foo(i32 %a, i32 0) + ret void +} + +; CHECK-LABEL: define internal void @foo(i32 %a, i32 %b) +define internal void @foo(i32 %a, i32 %b) { + ret void +} |
