Home
last modified time | relevance | path

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

/art/test/2023-InvariantLoops_typecast/src/
DMain.java36 byte invar1 = 15; in loop1()
43 used1 -= (byte)(invar1 + invar2); in loop1()
46 used4 /= (byte)(invar1 * invar2 - invar3 + invar4); in loop1()
58 double invar1 = 234234234234l; in loop2() local
64 used1 += invar1 + invar2; in loop2()
67 used4 /= invar1 * invar2 - invar3 + invar4; in loop2()
/art/test/2022-Invariantloops/src/
DMain.java30 int invar1 = 15; in loop1() local
36 used1 += invar1 + invar2; in loop1()
39 used4 /= used3 + invar1 * invar2 - invar3 + invar4; in loop1()
/art/test/2024-InvariantNegativeLoop/src/
DMain.java31 float invar1 = 15; in loop() local
38 used1 = invar1 + invar2; in loop()
41 used4 = invar1 * invar2 - invar3 + invar4; in loop()