Home
last modified time | relevance | path

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

/art/test/2023-InvariantLoops_typecast/src/
DMain.java37 byte invar2 = 25; in loop1()
43 used1 -= (byte)(invar1 + invar2); in loop1()
44 used2 *= (byte)(invar2 - invar3); in loop1()
46 used4 /= (byte)(invar1 * invar2 - invar3 + invar4); in loop1()
59 double invar2 = 2523423423423424l; in loop2() local
64 used1 += invar1 + invar2; in loop2()
65 used2 *= invar2 - invar3; in loop2()
67 used4 /= invar1 * invar2 - invar3 + invar4; in loop2()
/art/test/2022-Invariantloops/src/
DMain.java31 int invar2 = 25; in loop1() local
36 used1 += invar1 + invar2; in loop1()
37 used2 -= used1 + invar2 - invar3; in loop1()
39 used4 /= used3 + invar1 * invar2 - invar3 + invar4; in loop1()
/art/test/2024-InvariantNegativeLoop/src/
DMain.java32 float invar2 = 25; in loop() local
38 used1 = invar1 + invar2; in loop()
39 used2 = invar2 - invar3; in loop()
41 used4 = invar1 * invar2 - invar3 + invar4; in loop()