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