; RUN: opt < %s -licm | lli -jit-kind=mcjit -force-interpreter | |
define i32 @main() { | |
entry: | |
br label %Loop | |
Loop: ; preds = %LoopCont, %entry | |
br i1 true, label %LoopCont, label %Out | |
LoopCont: ; preds = %Loop | |
%X = add i32 1, 0 ; <i32> [#uses=1] | |
br i1 true, label %Out, label %Loop | |
Out: ; preds = %LoopCont, %Loop | |
%V = phi i32 [ 2, %Loop ], [ %X, %LoopCont ] ; <i32> [#uses=1] | |
%V2 = sub i32 %V, 1 ; <i32> [#uses=1] | |
ret i32 %V2 | |
} | |