Lines Matching refs:i
30 for (int i = 0; i < 10; ++i) { in div()
47 for (int i = 0; i < 10; ++i) { in innerDiv()
63 for (int i = 0; i < 10; ++i) { in innerMul()
68 result += staticField * i; in innerMul()
104 for (int i = 0; i < array.length; ++i) { in arrayLength()
105 result += array[i]; in arrayLength()
121 for (int i = 0; i < array.length; i++) { in divAndIntrinsic()
124 result += (staticField / 42) + Math.abs(array[i]); in divAndIntrinsic()
142 for (int i = 0; i < Math.abs(x); i++) { in invariantBoundIntrinsic()
143 result += i; in invariantBoundIntrinsic()
159 for (int i = 0; i < 10; i++) { in invariantBodyIntrinsic()