| 12345678910111213141516 |
- ; This testcases makes sure that mem2reg can handle unreachable blocks.
- ; RUN: opt < %s -mem2reg
- define i32 @test() {
- %X = alloca i32 ; <i32*> [#uses=2]
- store i32 6, i32* %X
- br label %Loop
- Loop: ; preds = %EndOfLoop, %0
- store i32 5, i32* %X
- br label %EndOfLoop
- Unreachable: ; No predecessors!
- br label %EndOfLoop
- EndOfLoop: ; preds = %Unreachable, %Loop
- br label %Loop
- }
|
