Home
last modified time | relevance | path

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

/art/test/2023-InvariantLoops_typecast/src/
DMain.java38 byte invar3 = 35; in loop1()
44 used2 *= (byte)(invar2 - invar3); in loop1()
45 used3 += (byte)(invar3 * invar4); in loop1()
46 used4 /= (byte)(invar1 * invar2 - invar3 + invar4); in loop1()
60 double invar3 = 35234234234234234l; in loop2() local
65 used2 *= invar2 - invar3; in loop2()
66 used3 -= invar3 * invar4; in loop2()
67 used4 /= invar1 * invar2 - invar3 + invar4; in loop2()
/art/test/2022-Invariantloops/src/
DMain.java32 int invar3 = 35; in loop1() local
37 used2 -= used1 + invar2 - invar3; in loop1()
38 used3 *= used2 + invar3 * invar4; in loop1()
39 used4 /= used3 + invar1 * invar2 - invar3 + invar4; in loop1()
/art/test/2024-InvariantNegativeLoop/src/
DMain.java33 float invar3 = 35; in loop() local
39 used2 = invar2 - invar3; in loop()
40 used3 = invar3 * invar4; in loop()
41 used4 = invar1 * invar2 - invar3 + invar4; in loop()