1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
; RUN: llvm-upgrade < %s | llvm-as | opt -loop-reduce | llvm-dis | grep phi | count 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
}
|
