Home
last modified time | relevance | path

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

/art/test/2023-InvariantLoops_typecast/src/
DMain.java35 byte used4 = 4; in loop1()
46 used4 /= (byte)(invar1 * invar2 - invar3 + invar4); in loop1()
49 assertIntEquals((byte)(used1 + used2 + used3 + used4), -123); in loop1()
50 return (byte)(used1 + used2 + used3 + used4); in loop1()
57 double used4 = 4; in loop2() local
67 used4 /= invar1 * invar2 - 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.java29 int used4 = 4; in loop1() local
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.java30 float used4 = 4; in loop() local
41 used4 = invar1 * invar2 - 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()