1; RUN: opt < %s -simplifycfg -S | FileCheck %s 2target 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 4declare i32 @__gxx_personality_v0(...) 5declare void @__cxa_call_unexpected(i8*) 6declare void @purefn() nounwind readnone 7declare i32 @read_only() nounwind readonly 8declare i32 @nounwind_fn() nounwind 9declare i32 @fn() 10 11 12; CHECK-LABEL: @f1( 13define i8* @f1() nounwind uwtable ssp personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { 14entry: 15; CHECK: call void @llvm.trap() 16; CHECK: unreachable 17 %call = invoke noalias i8* undef() 18 to label %invoke.cont unwind label %lpad 19 20invoke.cont: 21 ret i8* %call 22 23lpad: 24 %0 = landingpad { i8*, i32 } 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( 32define i8* @f2() nounwind uwtable ssp personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { 33entry: 34; CHECK: call void @llvm.trap() 35; CHECK: unreachable 36 %call = invoke noalias i8* null() 37 to label %invoke.cont unwind label %lpad 38 39invoke.cont: 40 ret i8* %call 41 42lpad: 43 %0 = landingpad { i8*, i32 } 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( 51define i32 @f3() nounwind uwtable ssp personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { 52; CHECK-NEXT: entry 53entry: 54; CHECK-NEXT: ret i32 3 55 %call = invoke i32 @read_only() 56 to label %invoke.cont unwind label %lpad 57 58invoke.cont: 59 ret i32 3 60 61lpad: 62 %0 = landingpad { i8*, i32 } 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( 70define i32 @f4() nounwind uwtable ssp personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { 71; CHECK-NEXT: entry 72entry: 73; CHECK-NEXT: call i32 @read_only() 74 %call = invoke i32 @read_only() 75 to label %invoke.cont unwind label %lpad 76 77invoke.cont: 78; CHECK-NEXT: ret i32 %call 79 ret i32 %call 80 81lpad: 82 %0 = landingpad { i8*, i32 } 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( 90define i32 @f5(i1 %cond, i8* %a, i8* %b) personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { 91entry: 92 br i1 %cond, label %x, label %y 93 94x: 95; CHECK: invoke i32 @fn() 96 %call = invoke i32 @fn() 97 to label %cont unwind label %lpad 98 99y: 100; CHECK: call i32 @nounwind_fn() 101 %call2 = invoke i32 @nounwind_fn() 102 to label %cont unwind label %lpad 103 104cont: 105; CHECK: phi i32 106; CHECK: ret i32 %phi 107 %phi = phi i32 [%call, %x], [%call2, %y] 108 ret i32 %phi 109 110lpad: 111; CHECK-NOT: phi 112 %phi2 = phi i8* [%a, %x], [%b, %y] 113 %0 = landingpad { i8*, i32 } 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( 121define void @f6() personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { 122entry: 123 invoke void @purefn() 124 to label %invoke.cont1 unwind label %lpad 125 126invoke.cont1: 127 %foo = invoke i32 @fn() 128 to label %invoke.cont2 unwind label %lpad 129 130invoke.cont2: 131 ret void 132 133lpad: 134; CHECK-NOT: phi 135 %tmp = phi i8* [ null, %invoke.cont1 ], [ null, %entry ] 136 landingpad { i8*, i32 } 137 cleanup 138 ret void 139} 140