1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s 2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 3 4 declare i32 @__gxx_personality_v0(...) 5 declare void @__cxa_call_unexpected(i8*) 6 declare void @purefn() nounwind readnone 7 declare i32 @read_only() nounwind readonly 8 declare i32 @nounwind_fn() nounwind 9 declare i32 @fn() 10 11 12 ; CHECK-LABEL: @f1( 13 define i8* @f1() nounwind uwtable ssp { 14 entry: 15 ; CHECK: call void @llvm.trap() 16 ; CHECK: unreachable 17 %call = invoke noalias i8* undef() 18 to label %invoke.cont unwind label %lpad 19 20 invoke.cont: 21 ret i8* %call 22 23 lpad: 24 %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 25 filter [0 x i8*] zeroinitializer 26 %1 = extractvalue { i8*, i32 } %0, 0 27 tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind 28 unreachable 29 } 30 31 ; CHECK-LABEL: @f2( 32 define i8* @f2() nounwind uwtable ssp { 33 entry: 34 ; CHECK: call void @llvm.trap() 35 ; CHECK: unreachable 36 %call = invoke noalias i8* null() 37 to label %invoke.cont unwind label %lpad 38 39 invoke.cont: 40 ret i8* %call 41 42 lpad: 43 %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 44 filter [0 x i8*] zeroinitializer 45 %1 = extractvalue { i8*, i32 } %0, 0 46 tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind 47 unreachable 48 } 49 50 ; CHECK-LABEL: @f3( 51 define i32 @f3() nounwind uwtable ssp { 52 ; CHECK-NEXT: entry 53 entry: 54 ; CHECK-NEXT: ret i32 3 55 %call = invoke i32 @read_only() 56 to label %invoke.cont unwind label %lpad 57 58 invoke.cont: 59 ret i32 3 60 61 lpad: 62 %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 63 filter [0 x i8*] zeroinitializer 64 %1 = extractvalue { i8*, i32 } %0, 0 65 tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind 66 unreachable 67 } 68 69 ; CHECK-LABEL: @f4( 70 define i32 @f4() nounwind uwtable ssp { 71 ; CHECK-NEXT: entry 72 entry: 73 ; CHECK-NEXT: call i32 @read_only() 74 %call = invoke i32 @read_only() 75 to label %invoke.cont unwind label %lpad 76 77 invoke.cont: 78 ; CHECK-NEXT: ret i32 %call 79 ret i32 %call 80 81 lpad: 82 %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 83 filter [0 x i8*] zeroinitializer 84 %1 = extractvalue { i8*, i32 } %0, 0 85 tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind 86 unreachable 87 } 88 89 ; CHECK-LABEL: @f5( 90 define i32 @f5(i1 %cond, i8* %a, i8* %b) { 91 entry: 92 br i1 %cond, label %x, label %y 93 94 x: 95 ; CHECK: invoke i32 @fn() 96 %call = invoke i32 @fn() 97 to label %cont unwind label %lpad 98 99 y: 100 ; CHECK: call i32 @nounwind_fn() 101 %call2 = invoke i32 @nounwind_fn() 102 to label %cont unwind label %lpad 103 104 cont: 105 ; CHECK: phi i32 106 ; CHECK: ret i32 %phi 107 %phi = phi i32 [%call, %x], [%call2, %y] 108 ret i32 %phi 109 110 lpad: 111 ; CHECK-NOT: phi 112 %phi2 = phi i8* [%a, %x], [%b, %y] 113 %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 114 filter [0 x i8*] zeroinitializer 115 ; CHECK: __cxa_call_unexpected(i8* %a) 116 tail call void @__cxa_call_unexpected(i8* %phi2) noreturn nounwind 117 unreachable 118 } 119 120 ; CHECK-LABEL: @f6( 121 define void @f6() { 122 entry: 123 invoke void @purefn() 124 to label %invoke.cont1 unwind label %lpad 125 126 invoke.cont1: 127 %foo = invoke i32 @fn() 128 to label %invoke.cont2 unwind label %lpad 129 130 invoke.cont2: 131 ret void 132 133 lpad: 134 ; CHECK-NOT: phi 135 %tmp = phi i8* [ null, %invoke.cont1 ], [ null, %entry ] 136 landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 137 cleanup 138 ret void 139 } 140
