Home
last modified time | relevance | path

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

/art/test/2023-InvariantLoops_typecast/src/
DMain.java32 byte used1 = 1; in loop1()
43 used1 -= (byte)(invar1 + invar2); in loop1()
49 assertIntEquals((byte)(used1 + used2 + used3 + used4), -123); in loop1()
50 return (byte)(used1 + used2 + used3 + used4); in loop1()
54 double used1 = 1; in loop2() local
64 used1 += invar1 + invar2; 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.java26 int used1 = 1; in loop1() local
36 used1 += invar1 + invar2; in loop1()
37 used2 -= used1 + invar2 - invar3; 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.java27 float used1 = 1; in loop() local
38 used1 = invar1 + invar2; in loop()
44 assertFloatEquals(Float.floatToIntBits(used1 + used2 + used3 + used4), 1157152768); in loop()
45 return Float.floatToIntBits(used1 + used2 + used3 + used4); in loop()