1 ; RUN: opt < %s -indvars -disable-output 2 3 define void @test() { 4 br label %endif.0.i 5 6 endif.0.i: ; preds = %0 7 br i1 false, label %then.3.i, label %endif.3.i 8 9 then.3.i: ; preds = %endif.0.i 10 br label %endif.3.i 11 12 endif.3.i: ; preds = %then.3.i, %endif.0.i 13 %inxm.0.i = phi i32 [ 8, %then.3.i ], [ 0, %endif.0.i ] ; <i32> [#uses=1] 14 %doinner.1.i = phi i32 [ 0, %then.3.i ], [ 0, %endif.0.i ] ; <i32> [#uses=0] 15 br label %loopentry.2.i 16 17 loopentry.2.i: ; preds = %no_exit.2.i, %endif.3.i 18 %inxk.0.i = phi i32 [ %tmp.210.i, %no_exit.2.i ], [ 0, %endif.3.i ] ; <i32> [#uses=1] 19 br label %no_exit.2.i 20 21 no_exit.2.i: ; preds = %loopentry.2.i 22 %tmp.210.i = sub i32 %inxk.0.i, %inxm.0.i ; <i32> [#uses=2] 23 %tmp.213.i = add i32 %tmp.210.i, 0 ; <i32> [#uses=0] 24 br label %loopentry.2.i 25 } 26 27