1; RUN: opt -deadargelim -S < %s | FileCheck %s 2 3define void @test(i32) { 4 ret void 5} 6 7define void @foo() { 8 call void @test(i32 0) 9 ret void 10; CHECK-LABEL: @foo( 11; CHECK: i32 undef 12} 13 14define void @f(i32 %X) { 15entry: 16 tail call void @sideeffect() nounwind 17 ret void 18} 19 20declare void @sideeffect() 21 22define void @g(i32 %n) { 23entry: 24 %add = add nsw i32 %n, 1 25; CHECK: tail call void @f(i32 undef) 26 tail call void @f(i32 %add) 27 ret void 28} 29 30define void @h() { 31entry: 32 %i = alloca i32, align 4 33 store volatile i32 10, i32* %i, align 4 34; CHECK: %tmp = load volatile i32, i32* %i, align 4 35; CHECK-NEXT: call void @f(i32 undef) 36 %tmp = load volatile i32, i32* %i, align 4 37 call void @f(i32 %tmp) 38 ret void 39} 40 41; Check that callers are not transformed for weak definitions. 42define weak i32 @weak_f(i32 %x) nounwind { 43entry: 44 ret i32 0 45} 46define void @weak_f_caller() nounwind { 47entry: 48; CHECK: call i32 @weak_f(i32 10) 49 %call = tail call i32 @weak_f(i32 10) 50 ret void 51} 52 53%swift_error = type opaque 54 55define void @unused_swifterror_arg(%swift_error** swifterror %dead_arg) { 56 tail call void @sideeffect() nounwind 57 ret void 58} 59 60; CHECK-LABEL: @dont_replace_by_undef 61; CHECK-NOT: call void @unused_swifterror_arg({{.*}}undef) 62define void @dont_replace_by_undef() { 63 %error_ptr_ref = alloca swifterror %swift_error* 64 store %swift_error* null, %swift_error** %error_ptr_ref 65 call void @unused_swifterror_arg(%swift_error** %error_ptr_ref) 66 ret void 67} 68