1/* 2 * Copyright (c) 2017, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. Oracle designates this 8 * particular file as subject to the "Classpath" exception as provided 9 * by Oracle in the LICENSE file that accompanied this code. 10 * 11 * This code is distributed in the hope that it will be useful, but WITHOUT 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 14 * version 2 for more details (a copy is included in the LICENSE file that 15 * accompanied this code). 16 * 17 * You should have received a copy of the GNU General Public License version 18 * 2 along with this work; if not, write to the Free Software Foundation, 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 20 * 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 22 * or visit www.oracle.com if you need additional information or have any 23 * questions. 24 */ 25 26/* 27 * @test 28 * @bug 8158168 29 * @summary Verifies that callers of StringUTF16 intrinsics throw array out of bounds exceptions. 30 * @library /compiler/patches /test/lib 31 * @build java.base/java.lang.Helper 32 * @run main/othervm -Xbatch -XX:CompileThreshold=100 -XX:+UnlockDiagnosticVMOptions -XX:DisableIntrinsic=_getCharStringU,_putCharStringU compiler.intrinsics.string.TestStringUTF16IntrinsicRangeChecks 33 * @run main/othervm -Xbatch -XX:CompileThreshold=100 -esa -ea -XX:+UnlockDiagnosticVMOptions -XX:DisableIntrinsic=_getCharStringU,_putCharStringU compiler.intrinsics.string.TestStringUTF16IntrinsicRangeChecks 34 */ 35package compiler.intrinsics.string; 36 37import java.lang.reflect.Field; 38import java.util.Arrays; 39 40public class TestStringUTF16IntrinsicRangeChecks { 41 42 public static void main(String[] args) throws Exception { 43 byte[] val = new byte[2]; 44 byte[] b4 = new byte[4]; 45 char[] c4 = new char[4]; 46 String s4 = new String(c4); 47 byte[] valHigh = new byte[2]; 48 byte[] valLow = new byte[2]; 49 Helper.putCharSB(valHigh, 0, Character.MIN_HIGH_SURROGATE); 50 Helper.putCharSB(valLow, 0, Character.MIN_LOW_SURROGATE); 51 52 for (int i = 0; i < 1000; ++i) { 53 getChars((int)1234, -5, -5 + 4, val); 54 getChars((int)1234, -1, -1 + 4, val); 55 getChars((int)1234, 0, 0 + 4, val); 56 getChars((int)1234, 1, 1 + 4, val); 57 58 getChars((long)1234, -5, -5 + 4, val); 59 getChars((long)1234, -1, -1 + 4, val); 60 getChars((long)1234, 0, 0 + 4, val); 61 getChars((long)1234, 1, 1 + 4, val); 62 63 byte[] val2 = Arrays.copyOf(val, val.length); 64 putCharSB(val2, -1, '!'); 65 putCharSB(val2, 1, '!'); 66 67 byte[] val4 = Arrays.copyOf(b4, b4.length); 68 char[] c2 = new char[2]; 69 String s2 = new String(c2); 70 71 putCharsSB(val4, -3, c2, 0, 2); 72 putCharsSB(val4, -1, c2, 0, 2); 73 putCharsSB(val4, 0, c4, 0, 4); 74 putCharsSB(val4, 1, c2, 0, 2); 75 putCharsSB(val4, -3, s2, 0, 2); 76 putCharsSB(val4, -1, s2, 0, 2); 77 putCharsSB(val4, 0, s4, 0, 4); 78 putCharsSB(val4, 1, s2, 0, 2); 79 80 codePointAtSB(valHigh, -1, 1); 81 codePointAtSB(valHigh, -1, 2); 82 codePointAtSB(valHigh, 0, 2); 83 codePointAtSB(valHigh, 1, 2); 84 85 codePointBeforeSB(valLow, 0); 86 codePointBeforeSB(valLow, -1); 87 codePointBeforeSB(valLow, 2); 88 89 if (Helper.codePointCountSB(valHigh, 0, 1) != 1) { 90 throw new AssertionError("codePointCountSB"); 91 } 92 if (Helper.codePointCountSB(valLow, 0, 1) != 1) { 93 throw new AssertionError("codePointCountSB"); 94 } 95 codePointCountSB(valHigh, -1, 0); 96 codePointCountSB(valHigh, -1, 2); 97 codePointCountSB(valHigh, 0, 2); 98 99 charAt(val, -1); 100 charAt(val, 1); 101 102 contentEquals(b4, val, -1); 103 contentEquals(b4, val, 2); 104 contentEquals(val, s4, 2); 105 contentEquals(val, s4, -1); 106 107 StringBuilder sb = new StringBuilder(); 108 sb.append((String)null).append(true).append(false); 109 if (!sb.toString().equals("nulltruefalse")) { 110 throw new AssertionError("append"); 111 } 112 113 putCharsAt(val2, -1, '1', '2', '3', '4'); 114 putCharsAt(val2, 0, '1', '2', '3', '4'); 115 putCharsAt(val2, 2, '1', '2', '3', '4'); 116 putCharsAt(val2, -1, '1', '2', '3', '4', '5'); 117 putCharsAt(val2, 0, '1', '2', '3', '4', '5'); 118 putCharsAt(val2, 2, '1', '2', '3', '4', '5'); 119 120 reverse(valHigh, -1); 121 reverse(valHigh, 2); 122 reverse(valLow, -1); 123 reverse(valLow, 2); 124 125 byte[] d4 = new byte[4]; 126 inflate(b4, 0, d4, -1, 2); 127 inflate(b4, 0, d4, 3, 2); 128 inflate(b4, 0, d4, 4, 1); 129 130 byte[] b0 = new byte[0]; 131 byte[] b1 = new byte[1]; 132 byte[] b2 = new byte[2]; 133 byte[] t1 = new byte[] {1}; 134 byte[] t2 = new byte[] {1, 2}; 135 byte[] t4 = new byte[] {1, 2, 3, 4}; 136 indexOf(b1, 1, t2, 1, 0); 137 indexOf(b2, 1, t1, 1, 0); 138 indexOf(b2, 2, t2, 1, 0); 139 indexOf(b2, 1, t2, 2, 0); 140 indexOf(b2, -1, t2, 1, 0); 141 indexOf(b2, 1, t2, -1, 0); 142 indexOf(b2, 1, t2, 1, 1); 143 144 indexOfLatin1(b1, 1, t1, 1, 0); 145 indexOfLatin1(b2, 2, t1, 1, 0); 146 indexOfLatin1(b2, 1, b0, 1, 0); 147 indexOfLatin1(b2, 1, t1, 2, 0); 148 indexOfLatin1(b2, -1, t1, 1, 0); 149 indexOfLatin1(b2, 2, t1, 1, 0); 150 indexOfLatin1(b2, 1, t1, -1, 0); 151 indexOfLatin1(b2, 1, t1, 2, 0); 152 153 lastIndexOf(b1, t2, 1, 0); 154 lastIndexOf(b2, t4, 2, 0); 155 lastIndexOf(b2, t2, 1, 0); 156 lastIndexOf(b2, t2, 1, 1); 157 158 lastIndexOfLatin1(b1, t1, 1, 0); 159 lastIndexOfLatin1(b2, t2, 2, 0); 160 lastIndexOfLatin1(b2, t1, 1, 0); 161 lastIndexOfLatin1(b2, t1, 1, 1); 162 } 163 } 164 165 static void getChars(int i, int begin, int end, byte[] value) { 166 try { 167 Helper.getChars(i, begin, end, value); 168 throw new AssertionError("getChars"); 169 } catch (IndexOutOfBoundsException io) { 170 } 171 } 172 173 static void getChars(long l, int begin, int end, byte[] value) { 174 try { 175 Helper.getChars(l, begin, end, value); 176 throw new AssertionError("getChars"); 177 } catch (IndexOutOfBoundsException io) { 178 } 179 } 180 181 static void putCharSB(byte[] val, int index, int c) { 182 try { 183 Helper.putCharSB(val, index, c); 184 throw new AssertionError("putCharSB"); 185 } catch (IndexOutOfBoundsException io) { 186 } 187 } 188 189 static void putCharsSB(byte[] val, int index, char[] ca, int off, int end) { 190 try { 191 Helper.putCharsSB(val, index, ca, off, end); 192 throw new AssertionError("putCharsSB"); 193 } catch (IndexOutOfBoundsException io) { 194 } 195 } 196 197 static void putCharsSB(byte[] val, int index, CharSequence s, int off, int end) { 198 try { 199 Helper.putCharsSB(val, index, s, off, end); 200 throw new AssertionError("putCharsSB"); 201 } catch (IndexOutOfBoundsException io) { 202 } 203 } 204 205 static void codePointAtSB(byte[] val, int index, int end) { 206 try { 207 Helper.codePointAtSB(val, index, end); 208 throw new AssertionError("codePointAtSB"); 209 } catch (IndexOutOfBoundsException io) { 210 } 211 } 212 213 static void codePointBeforeSB(byte[] val, int index) { 214 try { 215 Helper.codePointBeforeSB(val, index); 216 throw new AssertionError("codePointBeforeSB"); 217 } catch (IndexOutOfBoundsException io) { 218 } 219 } 220 221 static void codePointCountSB(byte[] val, int beginIndex, int endIndex) { 222 try { 223 Helper.codePointCountSB(val, beginIndex, endIndex); 224 throw new AssertionError("codePointCountSB"); 225 } catch (IndexOutOfBoundsException io) { 226 } 227 } 228 229 static void charAt(byte[] v, int index) { 230 try { 231 Helper.charAt(v, index); 232 throw new AssertionError("charAt"); 233 } catch (IndexOutOfBoundsException io) { 234 } 235 } 236 237 static void contentEquals(byte[] v1, byte[] v2, int len) { 238 try { 239 Helper.contentEquals(v1, v2, len); 240 throw new AssertionError("contentEquals"); 241 } catch (IndexOutOfBoundsException io) { 242 } 243 } 244 245 static void contentEquals(byte[] v, CharSequence cs, int len) { 246 try { 247 Helper.contentEquals(v, cs, len); 248 throw new AssertionError("contentEquals"); 249 } catch (IndexOutOfBoundsException io) { 250 } 251 } 252 253 static void putCharsAt(byte[] v, int i, char c1, char c2, char c3, char c4) { 254 try { 255 Helper.putCharsAt(v, i, c1, c2, c3, c4); 256 throw new AssertionError("putCharsAt"); 257 } catch (IndexOutOfBoundsException io) { 258 } 259 } 260 261 static void putCharsAt(byte[] v, int i, char c1, char c2, char c3, char c4, char c5) { 262 try { 263 Helper.putCharsAt(v, i, c1, c2, c3, c4, c5); 264 throw new AssertionError("putCharsAt"); 265 } catch (IndexOutOfBoundsException io) { 266 } 267 } 268 269 static void reverse(byte[] v, int len) { 270 try { 271 Helper.reverse(v, len); 272 throw new AssertionError("reverse"); 273 } catch (IndexOutOfBoundsException io) { 274 } 275 } 276 277 static void inflate(byte[] v1, int o1, byte[] v2, int o2, int len) { 278 try { 279 Helper.inflate(v1, o1, v2, o2, len); 280 throw new AssertionError("inflate"); 281 } catch (IndexOutOfBoundsException io) { 282 } 283 } 284 285 static void indexOf(byte[] v1, int l1, byte[] v2, int l2, int from) { 286 try { 287 if (Helper.indexOf(v1, l1, v2, l2, from) != -1) { 288 throw new AssertionError("indexOf"); 289 } 290 } catch (IndexOutOfBoundsException io) { 291 } 292 } 293 294 static void lastIndexOf(byte[] v1, byte[] v2, int l2, int from) { 295 try { 296 if (Helper.lastIndexOf(v1, v2, l2, from) != -1) { 297 throw new AssertionError("lastIndexOf"); 298 } 299 } catch (IndexOutOfBoundsException io) { 300 } 301 } 302 303 static void indexOfLatin1(byte[] v1, int l1, byte[] v2, int l2, int from) { 304 try { 305 if (Helper.indexOfLatin1(v1, l1, v2, l2, from) != -1) { 306 throw new AssertionError("indexOfLatin1"); 307 } 308 } catch (IndexOutOfBoundsException io) { 309 } 310 } 311 312 static void lastIndexOfLatin1(byte[] v1, byte[] v2, int l2, int from) { 313 try { 314 if (Helper.lastIndexOfLatin1(v1, v2, l2, from) != -1) { 315 throw new AssertionError("lastIndexOfLatin1"); 316 } 317 } catch (IndexOutOfBoundsException io) { 318 } 319 } 320} 321