blob: 78bfcb4197b238bdee434cd72297b0b1087bc7e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
; This testcases makes sure that mem2reg can handle unreachable blocks.
; RUN: llvm-as < %s | opt -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
}
|
