xref: /aosp_15_r20/art/test/2022-Invariantloops/src/Main.java (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
1*795d594fSAndroid Build Coastguard Worker /*
2*795d594fSAndroid Build Coastguard Worker  * Copyright (C) 2019 The Android Open Source Project
3*795d594fSAndroid Build Coastguard Worker  *
4*795d594fSAndroid Build Coastguard Worker  * Licensed under the Apache License, Version 2.0 (the "License");
5*795d594fSAndroid Build Coastguard Worker  * you may not use this file except in compliance with the License.
6*795d594fSAndroid Build Coastguard Worker  * You may obtain a copy of the License at
7*795d594fSAndroid Build Coastguard Worker  *
8*795d594fSAndroid Build Coastguard Worker  *      http://www.apache.org/licenses/LICENSE-2.0
9*795d594fSAndroid Build Coastguard Worker  *
10*795d594fSAndroid Build Coastguard Worker  * Unless required by applicable law or agreed to in writing, software
11*795d594fSAndroid Build Coastguard Worker  * distributed under the License is distributed on an "AS IS" BASIS,
12*795d594fSAndroid Build Coastguard Worker  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13*795d594fSAndroid Build Coastguard Worker  * See the License for the specific language governing permissions and
14*795d594fSAndroid Build Coastguard Worker  * limitations under the License.
15*795d594fSAndroid Build Coastguard Worker  */
16*795d594fSAndroid Build Coastguard Worker 
17*795d594fSAndroid Build Coastguard Worker public class Main {
18*795d594fSAndroid Build Coastguard Worker 
assertIntEquals(int expected, int result)19*795d594fSAndroid Build Coastguard Worker     public static void assertIntEquals(int expected, int result) {
20*795d594fSAndroid Build Coastguard Worker         if (expected != result) {
21*795d594fSAndroid Build Coastguard Worker             throw new Error("Expected: " + expected + ", found: " + result);
22*795d594fSAndroid Build Coastguard Worker         }
23*795d594fSAndroid Build Coastguard Worker     }
24*795d594fSAndroid Build Coastguard Worker 
loop1()25*795d594fSAndroid Build Coastguard Worker     public int loop1() {
26*795d594fSAndroid Build Coastguard Worker         int used1 = 1;
27*795d594fSAndroid Build Coastguard Worker         int used2 = 2;
28*795d594fSAndroid Build Coastguard Worker         int used3 = 3;
29*795d594fSAndroid Build Coastguard Worker         int used4 = 4;
30*795d594fSAndroid Build Coastguard Worker         int invar1 = 15;
31*795d594fSAndroid Build Coastguard Worker         int invar2 = 25;
32*795d594fSAndroid Build Coastguard Worker         int invar3 = 35;
33*795d594fSAndroid Build Coastguard Worker         int invar4 = 45;
34*795d594fSAndroid Build Coastguard Worker 
35*795d594fSAndroid Build Coastguard Worker         for (int i = 0; i < 10000; i++) {
36*795d594fSAndroid Build Coastguard Worker             used1 += invar1 + invar2;
37*795d594fSAndroid Build Coastguard Worker             used2 -= used1 + invar2 - invar3;
38*795d594fSAndroid Build Coastguard Worker             used3 *= used2 + invar3 * invar4;
39*795d594fSAndroid Build Coastguard Worker             used4 /= used3 + invar1 * invar2 - invar3 + invar4;
40*795d594fSAndroid Build Coastguard Worker         }
41*795d594fSAndroid Build Coastguard Worker         assertIntEquals(used1 + used2 + used3 + used4, -1999709997);
42*795d594fSAndroid Build Coastguard Worker         return used1 + used2 + used3 + used4;
43*795d594fSAndroid Build Coastguard Worker     }
44*795d594fSAndroid Build Coastguard Worker 
main(String[] args)45*795d594fSAndroid Build Coastguard Worker     public static void main(String[] args) {
46*795d594fSAndroid Build Coastguard Worker         int res = new Main().loop1();
47*795d594fSAndroid Build Coastguard Worker     }
48*795d594fSAndroid Build Coastguard Worker }
49