1; This testcase was extracted from the gzip SPEC benchmark
2;
3; RUN: opt < %s -adce
4
5@bk = external global i32               ; <i32*> [#uses=2]
6@hufts = external global i32            ; <i32*> [#uses=1]
7
8define i32 @inflate() {
9bb0:
10        br label %bb2
11
12bb2:            ; preds = %bb6, %bb0
13        %reg128 = phi i32 [ %reg130, %bb6 ], [ 0, %bb0 ]                ; <i32> [#uses=2]
14        br i1 true, label %bb4, label %bb3
15
16bb3:            ; preds = %bb2
17        br label %UnifiedExitNode
18
19bb4:            ; preds = %bb2
20        %reg117 = load i32* @hufts              ; <i32> [#uses=2]
21        %cond241 = icmp ule i32 %reg117, %reg128                ; <i1> [#uses=1]
22        br i1 %cond241, label %bb6, label %bb5
23
24bb5:            ; preds = %bb4
25        br label %bb6
26
27bb6:            ; preds = %bb5, %bb4
28        %reg130 = phi i32 [ %reg117, %bb5 ], [ %reg128, %bb4 ]          ; <i32> [#uses=1]
29        br i1 false, label %bb2, label %bb7
30
31bb7:            ; preds = %bb6
32        %reg126 = load i32* @bk         ; <i32> [#uses=1]
33        %cond247 = icmp ule i32 %reg126, 7              ; <i1> [#uses=1]
34        br i1 %cond247, label %bb9, label %bb8
35
36bb8:            ; preds = %bb8, %bb7
37        %reg119 = load i32* @bk         ; <i32> [#uses=1]
38        %cond256 = icmp ugt i32 %reg119, 7              ; <i1> [#uses=1]
39        br i1 %cond256, label %bb8, label %bb9
40
41bb9:            ; preds = %bb8, %bb7
42        br label %UnifiedExitNode
43
44UnifiedExitNode:                ; preds = %bb9, %bb3
45        %UnifiedRetVal = phi i32 [ 7, %bb3 ], [ 0, %bb9 ]               ; <i32> [#uses=1]
46        ret i32 %UnifiedRetVal
47}
48
49