blob: eb308afc0e6d03d188395cb81b60db40925c8dc5 [file] [log] [blame]
Chris Lattnerfa982a52003-08-27 01:05:19 +00001; The PHI cannot be eliminated from this testcase, SCCP is mishandling invoke's!
Dan Gohman18800922009-09-11 18:01:28 +00002; RUN: opt < %s -sccp -S | grep phi
Chris Lattnerfa982a52003-08-27 01:05:19 +00003
Tanya Lattner1d526b92008-03-19 04:14:49 +00004declare void @foo()
5
David Majnemer7fddecc2015-06-17 20:52:32 +00006define i32 @test(i1 %cond) personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
Chris Lattnerfa982a52003-08-27 01:05:19 +00007Entry:
Tanya Lattner1d526b92008-03-19 04:14:49 +00008 br i1 %cond, label %Inv, label %Cont
9Inv: ; preds = %Entry
10 invoke void @foo( )
Bill Wendlingb1e680f2011-08-31 20:55:40 +000011 to label %Ok unwind label %LPad
Tanya Lattner1d526b92008-03-19 04:14:49 +000012Ok: ; preds = %Inv
Chris Lattnerfa982a52003-08-27 01:05:19 +000013 br label %Cont
Bill Wendlingb1e680f2011-08-31 20:55:40 +000014LPad:
David Majnemer7fddecc2015-06-17 20:52:32 +000015 %val = landingpad { i8*, i32 }
Bill Wendlingb1e680f2011-08-31 20:55:40 +000016 catch i8* null
17 br label %Cont
Tanya Lattner1d526b92008-03-19 04:14:49 +000018Cont: ; preds = %Ok, %Inv, %Entry
Bill Wendlingb1e680f2011-08-31 20:55:40 +000019 %X = phi i32 [ 0, %Entry ], [ 1, %Ok ], [ 0, %LPad ] ; <i32> [#uses=1]
Tanya Lattner1d526b92008-03-19 04:14:49 +000020 ret i32 %X
Chris Lattnerfa982a52003-08-27 01:05:19 +000021}
Tanya Lattner1d526b92008-03-19 04:14:49 +000022
Bill Wendlingb1e680f2011-08-31 20:55:40 +000023declare i32 @__gxx_personality_v0(...)