Remove the ability for ADCE to remove unreachable blocks in loop nests, because,...
[oota-llvm.git] / test / Transforms / ADCE / basictest.ll
1 ; RUN: llvm-as < %s | opt -adce -simplifycfg | llvm-dis
2
3 define i32 @Test(i32 %A, i32 %B) {
4 BB1:
5         br label %BB4
6
7 BB2:            ; No predecessors!
8         br label %BB3
9
10 BB3:            ; preds = %BB4, %BB2
11         %ret = phi i32 [ %X, %BB4 ], [ %B, %BB2 ]               ; <i32> [#uses=1]
12         ret i32 %ret
13
14 BB4:            ; preds = %BB1
15         %X = phi i32 [ %A, %BB1 ]               ; <i32> [#uses=1]
16         br label %BB3
17 }
18
19