| ; This testcase shows a bug where an common subexpression exists, but there | |
| ; is no shared dominator block that the expression can be hoisted out to. | |
| ; | |
| ; RUN: llvm-as < %s | opt -load-vn -gcse | llvm-dis | not grep load | |
| define i32 @test(i32* %P) { | |
| store i32 5, i32* %P | |
| %Z = load i32* %P ; <i32> [#uses=1] | |
| ret i32 %Z | |
| } | |