blob: ccb578737226ed534532352ce7c2e16c8e9e7400 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
; RUN: llvm-as < %s | opt -indvars | llvm-dis | %prcontext Loop: 1 | grep %indvar
; The indvar simplification code should ensure that the first PHI in the block
; is the canonical one!
int %test() {
br label %Loop
Loop:
%NonIndvar = phi int [200, %0], [%NonIndvarNext, %Loop]
%Canonical = phi int [0, %0], [%CanonicalNext, %Loop]
%NonIndvarNext = div int %NonIndvar, 2
%CanonicalNext = add int %Canonical, 1
br label %Loop
}
|
