forked from OSchip/llvm-project
25 lines
604 B
LLVM
25 lines
604 B
LLVM
; RUN: llvm-upgrade < %s | llvm-as | opt -loop-reduce | llvm-dis | grep phi | wc -l | grep 1
|
|
|
|
; This testcase should have ONE stride 18 indvar, the other use should have a
|
|
; loop invariant value (B) added to it inside of the loop, instead of having
|
|
; a whole indvar based on B for it.
|
|
|
|
declare bool %cond(uint)
|
|
|
|
void %test(uint %B) {
|
|
br label %Loop
|
|
Loop:
|
|
%IV = phi uint [0, %0], [%IVn, %Loop]
|
|
|
|
%C = mul uint %IV, 18
|
|
%D = mul uint %IV, 18
|
|
%E = add uint %D, %B
|
|
|
|
%cnd = call bool %cond(uint %E)
|
|
call bool %cond(uint %C)
|
|
%IVn = add uint %IV, 1
|
|
br bool %cnd, label %Loop, label %Out
|
|
Out:
|
|
ret void
|
|
}
|