1b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik/* 2b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * Copyright (C) 2016 The Android Open Source Project 3b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * 4b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * Licensed under the Apache License, Version 2.0 (the "License"); 5b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * you may not use this file except in compliance with the License. 6b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * You may obtain a copy of the License at 7b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * 8b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * http://www.apache.org/licenses/LICENSE-2.0 9b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * 10b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * Unless required by applicable law or agreed to in writing, software 11b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * distributed under the License is distributed on an "AS IS" BASIS, 12b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * See the License for the specific language governing permissions and 14b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * limitations under the License. 15b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik */ 16b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik 17b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik/** 18b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * Automatically generated fuzz test that exposed bug in the way bounds 19b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * check elimination visits basic blocks. If, after dynamic bce, the same 20b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * block would be visited again, then static length based bce would incorrectly 21b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik * feed information back to itself and removed a necessary bounds check. 22b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik */ 23b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bikpublic class Main { 24b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik 25b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik private static int[][][] mA = new int[10][10][10]; 26b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik 27b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik private static int mX = 17; 28b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik 29b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik private static int doit() { 30b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik int l0 = (((++mA[7][2][8]) <= mA[0][1][3]) ? (++mA[9][0][5]) : ((( -mA[0][7][0]) * ((mX == mX) ? 180 : mX)) + (mA[7][8][8]++))); 31b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik mA[1][0][4] -= mX; 32b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik int l1 = (((l0 >= ( ~mA[6][7][5])) && ((921 <= l0) && (mA[3][9][6] > l0))) ? mX : (l0--)); 33b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik int l2 = ( -384); 34b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik for (int i0 = 7 - 1; i0 >= 1; i0--) { 35b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik mA[6][0][0] -= ((((l0++) == ( -mX)) ? (((mA[3][i0][1] > 503) || (mX <= i0)) ? (--l0) : (l0--)) : mX) - ( ~(mX--))); 36b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik int l3 = 24; 37b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik int l4 = ((l2--) & mX); 38b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik for (int i1 = i0-2 - 1; i1 >= 3; i1--) { 39b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik for (int i2 = 2; i2 < i0; i2++) { 40b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik mA[i0][4][l3] >>= 1; 41b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik } 42b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik } 43b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik } 44b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik return 1; 45b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik } 46b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik 47b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik public static void main(String[] args) { 48b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik int k = 1; 49b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik for (int i0 = 0; i0 < 10; i0++) 50b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik for (int i1 = 0; i1 < 10; i1++) 51b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik for (int i2 = 0; i2 < 10; i2++) 52b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik mA[i0][i1][i2] = k++; 53b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik try { 54b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik k = doit(); 55b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik } catch (Exception e) { 56b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik System.out.println("exception caught"); 57b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik } 58b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik System.out.println("FUZZ result = " + k + " " + mX); 59b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik } 60b6347b7a3dbf9f55cbd638c630e9d044d6d53ac6Aart Bik} 61