[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / DeadArgElim / musttail-caller.ll
blob981326bba0aa3f88eb90461648883d947f108f17
1 ; RUN: opt -deadargelim -S < %s | FileCheck %s
2 ; PR36441
3 ; Dead arguments should not be removed in presence of `musttail` calls.
5 ; CHECK-LABEL: define internal void @test(i32 %a, i32 %b)
6 ; CHECK: musttail call void @foo(i32 %a, i32 0)
7 ; FIXME: we should replace those with `undef`s
8 define internal void @test(i32 %a, i32 %b) {
9   musttail call void @foo(i32 %a, i32 0)
10   ret void
13 ; CHECK-LABEL: define internal void @foo(i32 %a, i32 %b)
14 define internal void @foo(i32 %a, i32 %b) {
15   ret void