Home
last modified time | relevance | path

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

/art/test/2023-InvariantLoops_typecast/src/
DMain.java39 byte invar4 = 45; in loop1()
45 used3 += (byte)(invar3 * invar4); in loop1()
46 used4 /= (byte)(invar1 * invar2 - invar3 + invar4); in loop1()
61 double invar4 = 45234234234234234l; in loop2() local
66 used3 -= invar3 * invar4; in loop2()
67 used4 /= invar1 * invar2 - invar3 + invar4; in loop2()
/art/test/2022-Invariantloops/src/
DMain.java33 int invar4 = 45; in loop1() local
38 used3 *= used2 + invar3 * invar4; in loop1()
39 used4 /= used3 + invar1 * invar2 - invar3 + invar4; in loop1()
/art/test/2024-InvariantNegativeLoop/src/
DMain.java34 float invar4 = 45; in loop() local
40 used3 = invar3 * invar4; in loop()
41 used4 = invar1 * invar2 - invar3 + invar4; in loop()