| ; Test for a problem afflicting several C++ programs in the testsuite. The | |
| ; instcombine pass is trying to get rid of the cast in the invoke instruction, | |
| ; inserting a cast of the return value after the PHI instruction, but which is | |
| ; used by the PHI instruction. This is bad: because of the semantics of the | |
| ; invoke instruction, we really cannot perform this transformation at all at | |
| ; least without splitting the critical edge. | |
| ; | |
| ; RUN: opt < %s -instcombine -disable-output | |
| declare i8* @test() | |
| define i32 @foo() { | |
| entry: | |
| br i1 true, label %cont, label %call | |
| call: ; preds = %entry | |
| %P = invoke i32* bitcast (i8* ()* @test to i32* ()*)( ) | |
| to label %cont unwind label %N ; <i32*> [#uses=1] | |
| cont: ; preds = %call, %entry | |
| %P2 = phi i32* [ %P, %call ], [ null, %entry ] ; <i32*> [#uses=1] | |
| %V = load i32* %P2 ; <i32> [#uses=1] | |
| ret i32 %V | |
| N: ; preds = %call | |
| %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0 | |
| cleanup | |
| ret i32 0 | |
| } | |
| declare i32 @__gxx_personality_v0(...) |