xref: /aosp_15_r20/art/test/622-checker-bce-regressions/src/Main.java (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
1*795d594fSAndroid Build Coastguard Worker /*
2*795d594fSAndroid Build Coastguard Worker  * Copyright (C) 2016 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 /**
18*795d594fSAndroid Build Coastguard Worker  * Regression tests for BCE.
19*795d594fSAndroid Build Coastguard Worker  */
20*795d594fSAndroid Build Coastguard Worker public class Main {
21*795d594fSAndroid Build Coastguard Worker 
22*795d594fSAndroid Build Coastguard Worker   static int[] array = new int[10];
23*795d594fSAndroid Build Coastguard Worker 
24*795d594fSAndroid Build Coastguard Worker   /// CHECK-START: int Main.doNotVisitAfterForwardBCE(int[]) BCE (before)
25*795d594fSAndroid Build Coastguard Worker   /// CHECK-DAG: BoundsCheck loop:<<Loop:B\d+>> outer_loop:none
26*795d594fSAndroid Build Coastguard Worker   /// CHECK-DAG: BoundsCheck loop:<<Loop>>      outer_loop:none
27*795d594fSAndroid Build Coastguard Worker   //
28*795d594fSAndroid Build Coastguard Worker   /// CHECK-START: int Main.doNotVisitAfterForwardBCE(int[]) BCE (after)
29*795d594fSAndroid Build Coastguard Worker   /// CHECK-NOT: BoundsCheck
doNotVisitAfterForwardBCE(int[] a)30*795d594fSAndroid Build Coastguard Worker   static int doNotVisitAfterForwardBCE(int[] a) {
31*795d594fSAndroid Build Coastguard Worker     if (a == null) {
32*795d594fSAndroid Build Coastguard Worker       throw new Error("Null");
33*795d594fSAndroid Build Coastguard Worker     }
34*795d594fSAndroid Build Coastguard Worker     int k = 0;
35*795d594fSAndroid Build Coastguard Worker     int j = 0;
36*795d594fSAndroid Build Coastguard Worker     for (int i = 1; i < 10; i++) {
37*795d594fSAndroid Build Coastguard Worker       j = i - 1;
38*795d594fSAndroid Build Coastguard Worker       // b/32547652: after DCE, bounds checks become consecutive,
39*795d594fSAndroid Build Coastguard Worker       // and second should not be revisited after forward BCE.
40*795d594fSAndroid Build Coastguard Worker       k = a[i] + a[i - 1];
41*795d594fSAndroid Build Coastguard Worker     }
42*795d594fSAndroid Build Coastguard Worker     return j;
43*795d594fSAndroid Build Coastguard Worker   }
44*795d594fSAndroid Build Coastguard Worker 
$noinline$regressionTest123284765(String str)45*795d594fSAndroid Build Coastguard Worker   static public void $noinline$regressionTest123284765(String str) {
46*795d594fSAndroid Build Coastguard Worker     try {
47*795d594fSAndroid Build Coastguard Worker       int l = str.length();
48*795d594fSAndroid Build Coastguard Worker       if (l == 34) {
49*795d594fSAndroid Build Coastguard Worker         str.charAt(l);
50*795d594fSAndroid Build Coastguard Worker         fail();
51*795d594fSAndroid Build Coastguard Worker       }
52*795d594fSAndroid Build Coastguard Worker     } catch (StringIndexOutOfBoundsException expected) {
53*795d594fSAndroid Build Coastguard Worker       expectEquals(34, str.length());
54*795d594fSAndroid Build Coastguard Worker     }
55*795d594fSAndroid Build Coastguard Worker   }
56*795d594fSAndroid Build Coastguard Worker 
main(String[] args)57*795d594fSAndroid Build Coastguard Worker   public static void main(String[] args) {
58*795d594fSAndroid Build Coastguard Worker     expectEquals(8, doNotVisitAfterForwardBCE(array));
59*795d594fSAndroid Build Coastguard Worker     $noinline$regressionTest123284765("0123456789012345678901234567890123");
60*795d594fSAndroid Build Coastguard Worker     $noinline$regressionTest123284765("012345678901");
61*795d594fSAndroid Build Coastguard Worker     System.out.println("passed");
62*795d594fSAndroid Build Coastguard Worker   }
63*795d594fSAndroid Build Coastguard Worker 
expectEquals(int expected, int result)64*795d594fSAndroid Build Coastguard Worker   private static void expectEquals(int expected, int result) {
65*795d594fSAndroid Build Coastguard Worker     if (expected != result) {
66*795d594fSAndroid Build Coastguard Worker       throw new Error("Expected: " + expected + ", found: " + result);
67*795d594fSAndroid Build Coastguard Worker     }
68*795d594fSAndroid Build Coastguard Worker   }
69*795d594fSAndroid Build Coastguard Worker 
fail()70*795d594fSAndroid Build Coastguard Worker   private static void fail() {
71*795d594fSAndroid Build Coastguard Worker     throw new Error("FAIL");
72*795d594fSAndroid Build Coastguard Worker   }
73*795d594fSAndroid Build Coastguard Worker }
74