Home
last modified time | relevance | path

Searched refs:used3 (Results 1 – 3 of 3) sorted by relevance

/art/test/2023-InvariantLoops_typecast/src/
DMain.java34 byte used3 = 3; in loop1()
45 used3 += (byte)(invar3 * invar4); in loop1()
49 assertIntEquals((byte)(used1 + used2 + used3 + used4), -123); in loop1()
50 return (byte)(used1 + used2 + used3 + used4); in loop1()
56 double used3 = 3; in loop2() local
66 used3 -= invar3 * invar4; in loop2()
69 assertLongEquals(Double.doubleToLongBits(used1 + used2 + used3 + used4), in loop2()
71 return Double.doubleToLongBits(used1 + used2 + used3 + used4); in loop2()
/art/test/2022-Invariantloops/src/
DMain.java28 int used3 = 3; in loop1() local
38 used3 *= used2 + invar3 * invar4; in loop1()
39 used4 /= used3 + invar1 * invar2 - invar3 + invar4; in loop1()
41 assertIntEquals(used1 + used2 + used3 + used4, -1999709997); in loop1()
42 return used1 + used2 + used3 + used4; in loop1()
/art/test/2024-InvariantNegativeLoop/src/
DMain.java29 float used3 = 3; in loop() local
40 used3 = invar3 * invar4; in loop()
44 assertFloatEquals(Float.floatToIntBits(used1 + used2 + used3 + used4), 1157152768); in loop()
45 return Float.floatToIntBits(used1 + used2 + used3 + used4); in loop()