1 ; RUN: opt -deadargelim -S < %s | FileCheck %s 2 3 define void @test(i32) { 4 ret void 5 } 6 7 define void @foo() { 8 call void @test(i32 0) 9 ret void 10 ; CHECK-LABEL: @foo( 11 ; CHECK: i32 undef 12 } 13 14 define void @f(i32 %X) { 15 entry: 16 tail call void @sideeffect() nounwind 17 ret void 18 } 19 20 declare void @sideeffect() 21 22 define void @g(i32 %n) { 23 entry: 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 30 define void @h() { 31 entry: 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. 42 define weak i32 @weak_f(i32 %x) nounwind { 43 entry: 44 ret i32 0 45 } 46 define void @weak_f_caller() nounwind { 47 entry: 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 55 define 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) 62 define 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
