6 for (int i
= 0; i
< 10; i
++) {
13 static int fwhile(void)
35 * check-name: loop-linearization
36 * check-command: test-linearize $file
42 phisrc.32 %phi5(i) <- $0
46 phi.32 %r1(i) <- %phi5(i), %phi6(i)
47 setlt.32 %r2 <- %r1(i), $10
51 call.32 %r4 <- p, %r1(i)
55 phisrc.32 %phi1(return) <- $0
59 add.32 %r7 <- %r1(i), $1
60 phisrc.32 %phi6(i) <- %r7
64 phisrc.32 %phi2(return) <- $1
68 phi.32 %r5 <- %phi1(return), %phi2(return)
75 phisrc.32 %phi11(i) <- $0
79 phi.32 %r8(i) <- %phi11(i), %phi12(i)
80 setlt.32 %r9 <- %r8(i), $10
84 call.32 %r11 <- p, %r8(i)
88 phisrc.32 %phi7(return) <- $0
92 add.32 %r14 <- %r8(i), $1
93 phisrc.32 %phi12(i) <- %r14
97 phisrc.32 %phi8(return) <- $1
101 phi.32 %r12 <- %phi7(return), %phi8(return)
108 phisrc.32 %phi16(i) <- $0
112 phi.32 %r15(i) <- %phi16(i), %phi17(i)
113 call.32 %r16 <- p, %r15(i)
117 phisrc.32 %phi13(return) <- $0
121 add.32 %r19 <- %r15(i), $1
122 setlt.32 %r20 <- %r15(i), $10
123 phisrc.32 %phi17(i) <- %r19
127 phisrc.32 %phi14(return) <- $1
131 phi.32 %r17 <- %phi13(return), %phi14(return)