Home
last modified time | relevance | path

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

/art/test/2023-InvariantLoops_typecast/src/
DMain.java33 byte used2 = 2; in loop1()
44 used2 *= (byte)(invar2 - invar3); in loop1()
49 assertIntEquals((byte)(used1 + used2 + used3 + used4), -123); in loop1()
50 return (byte)(used1 + used2 + used3 + used4); in loop1()
55 double used2 = 2; in loop2() local
65 used2 *= invar2 - invar3; 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.java27 int used2 = 2; in loop1() local
37 used2 -= used1 + invar2 - invar3; in loop1()
38 used3 *= used2 + 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.java28 float used2 = 2; in loop() local
39 used2 = invar2 - invar3; in loop()
44 assertFloatEquals(Float.floatToIntBits(used1 + used2 + used3 + used4), 1157152768); in loop()
45 return Float.floatToIntBits(used1 + used2 + used3 + used4); in loop()