; RUN: opt < %s -indvars -disable-output | |
define void @test() { | |
entry: | |
%inc.2 = add i32 1, 1 ; <i32> [#uses=1] | |
br i1 false, label %no_exit, label %loopexit | |
no_exit: ; preds = %no_exit, %entry | |
%j.0.pn = phi i32 [ %inc.3, %no_exit ], [ %inc.2, %entry ] ; <i32> [#uses=1] | |
%k.0.pn = phi i32 [ %inc.4, %no_exit ], [ 1, %entry ] ; <i32> [#uses=1] | |
%inc.3 = add i32 %j.0.pn, 1 ; <i32> [#uses=1] | |
%inc.4 = add i32 %k.0.pn, 1 ; <i32> [#uses=1] | |
br i1 undef, label %no_exit, label %loopexit | |
loopexit: ; preds = %no_exit, %entry | |
ret void | |
} | |