1; RUN: opt < %s -indvars -disable-output
2
3define void @get_block() {
4endif.0:
5        br label %no_exit.30
6
7no_exit.30:             ; preds = %no_exit.30, %endif.0
8        %x.12.0 = phi i32 [ %inc.28, %no_exit.30 ], [ -2, %endif.0 ]            ; <i32> [#uses=1]
9        %tmp.583 = load i16* null               ; <i16> [#uses=1]
10        %tmp.584 = zext i16 %tmp.583 to i32             ; <i32> [#uses=1]
11        %tmp.588 = load i32* null               ; <i32> [#uses=1]
12        %tmp.589 = mul i32 %tmp.584, %tmp.588           ; <i32> [#uses=1]
13        %tmp.591 = add i32 %tmp.589, 0          ; <i32> [#uses=1]
14        %inc.28 = add i32 %x.12.0, 1            ; <i32> [#uses=2]
15        %tmp.565 = icmp sgt i32 %inc.28, 3              ; <i1> [#uses=1]
16        br i1 %tmp.565, label %loopexit.30, label %no_exit.30
17
18loopexit.30:            ; preds = %no_exit.30
19        %tmp.591.lcssa = phi i32 [ %tmp.591, %no_exit.30 ]              ; <i32> [#uses=0]
20        ret void
21}
22
23