; The PHI cannot be eliminated from this testcase, SCCP is mishandling invoke's!
-; RUN: as < %s | opt -sccp | dis | grep phi
+; RUN: opt < %s -sccp -S | grep phi
-declare void %foo()
-int %test(bool %cond) {
+declare void @foo()
+
+define i32 @test(i1 %cond) {
Entry:
- br bool %cond, label %Inv, label %Cont
-Inv:
- invoke void %foo() to label %Ok except label %Cont
-Ok:
+ br i1 %cond, label %Inv, label %Cont
+Inv: ; preds = %Entry
+ invoke void @foo( )
+ to label %Ok unwind label %LPad
+Ok: ; preds = %Inv
br label %Cont
-Cont:
- %X = phi int [0, %Entry], [1,%Ok], [0, %Inv]
- ret int %X
+LPad:
+ %val = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
+ catch i8* null
+ br label %Cont
+Cont: ; preds = %Ok, %Inv, %Entry
+ %X = phi i32 [ 0, %Entry ], [ 1, %Ok ], [ 0, %LPad ] ; <i32> [#uses=1]
+ ret i32 %X
}
+
+declare i32 @__gxx_personality_v0(...)