1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
; Check that this test makes INDVAR and related stuff dead.
; RUN: llvm-upgrade < %s | llvm-as | opt -loop-reduce | llvm-dis | grep phi | count 2
declare bool %pred()
void %test1({ int, int }* %P) {
br label %Loop
Loop:
%INDVAR = phi int [0, %0], [%INDVAR2, %Loop]
%gep1 = getelementptr { int, int}* %P, int %INDVAR, uint 0
store int 0, int* %gep1
%gep2 = getelementptr { int, int}* %P, int %INDVAR, uint 1
store int 0, int* %gep2
%INDVAR2 = add int %INDVAR, 1
%cond = call bool %pred()
br bool %cond, label %Loop, label %Out
Out:
ret void
}
void %test2([2 x int]* %P) {
br label %Loop
Loop:
%INDVAR = phi int [0, %0], [%INDVAR2, %Loop]
%gep1 = getelementptr [2 x int]* %P, int %INDVAR, uint 0
store int 0, int* %gep1
%gep2 = getelementptr [2 x int]* %P, int %INDVAR, uint 1
store int 0, int* %gep2
%INDVAR2 = add int %INDVAR, 1
%cond = call bool %pred()
br bool %cond, label %Loop, label %Out
Out:
ret void
}
|