23 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes=deadargelim -S < %s | FileCheck %s3; PR364414; Dead arguments should not be removed in presence of `musttail` calls.5 6define internal void @test(i32 %a, i32 %b) {7; CHECK-LABEL: define internal void @test(8; CHECK-SAME: i32 [[A:%.*]], i32 [[B:%.*]]) {9; CHECK-NEXT: musttail call void @foo(i32 poison, i32 poison)10; CHECK-NEXT: ret void11;12 musttail call void @foo(i32 %a, i32 0)13 ret void14}15 16define internal void @foo(i32 %a, i32 %b) {17; CHECK-LABEL: define internal void @foo(18; CHECK-SAME: i32 [[A:%.*]], i32 [[B:%.*]]) {19; CHECK-NEXT: ret void20;21 ret void22}23