1 /* 2 * Copyright (c) 1997, 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. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 * 23 */ 24 25 #include "precompiled.hpp" 26 #include "classfile/vmSymbols.hpp" 27 #include "compiler/compilerDirectives.hpp" 28 #include "memory/oopFactory.hpp" 29 #include "oops/oop.inline.hpp" 30 #include "prims/jvm.h" 31 #include "runtime/handles.inline.hpp" 32 #include "utilities/xmlstream.hpp" 33 34 35 Symbol* vmSymbols::_symbols[vmSymbols::SID_LIMIT]; 36 37 Symbol* vmSymbols::_type_signatures[T_VOID+1] = { NULL /*, NULL...*/ }; 38 39 inline int compare_symbol(const Symbol* a, const Symbol* b) { 40 if (a == b) return 0; 41 // follow the natural address order: 42 return (address)a > (address)b ? +1 : -1; 43 } 44 45 static vmSymbols::SID vm_symbol_index[vmSymbols::SID_LIMIT]; 46 extern "C" { 47 static int compare_vmsymbol_sid(const void* void_a, const void* void_b) { 48 const Symbol* a = vmSymbols::symbol_at(*((vmSymbols::SID*) void_a)); 49 const Symbol* b = vmSymbols::symbol_at(*((vmSymbols::SID*) void_b)); 50 return compare_symbol(a, b); 51 } 52 } 53 54 #ifdef ASSERT 55 #define VM_SYMBOL_ENUM_NAME_BODY(name, string) #name "\0" 56 static const char* vm_symbol_enum_names = 57 VM_SYMBOLS_DO(VM_SYMBOL_ENUM_NAME_BODY, VM_ALIAS_IGNORE) 58 "\0"; 59 static const char* vm_symbol_enum_name(vmSymbols::SID sid) { 60 const char* string = &vm_symbol_enum_names[0]; 61 int skip = (int)sid - (int)vmSymbols::FIRST_SID; 62 for (; skip != 0; skip--) { 63 size_t skiplen = strlen(string); 64 if (skiplen == 0) return "<unknown>"; // overflow 65 string += skiplen+1; 66 } 67 return string; 68 } 69 #endif //ASSERT 70 71 // Put all the VM symbol strings in one place. 72 // Makes for a more compact libjvm. 73 #define VM_SYMBOL_BODY(name, string) string "\0" 74 static const char* vm_symbol_bodies = VM_SYMBOLS_DO(VM_SYMBOL_BODY, VM_ALIAS_IGNORE); 75 76 void vmSymbols::initialize(TRAPS) { 77 assert((int)SID_LIMIT <= (1<<log2_SID_LIMIT), "must fit in this bitfield"); 78 assert((int)SID_LIMIT*5 > (1<<log2_SID_LIMIT), "make the bitfield smaller, please"); 79 assert(vmIntrinsics::FLAG_LIMIT <= (1 << vmIntrinsics::log2_FLAG_LIMIT), "must fit in this bitfield"); 80 81 if (!UseSharedSpaces) { 82 const char* string = &vm_symbol_bodies[0]; 83 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { 84 Symbol* sym = SymbolTable::new_permanent_symbol(string, CHECK); 85 _symbols[index] = sym; 86 string += strlen(string); // skip string body 87 string += 1; // skip trailing null 88 } 89 90 _type_signatures[T_BYTE] = byte_signature(); 91 _type_signatures[T_CHAR] = char_signature(); 92 _type_signatures[T_DOUBLE] = double_signature(); 93 _type_signatures[T_FLOAT] = float_signature(); 94 _type_signatures[T_INT] = int_signature(); 95 _type_signatures[T_LONG] = long_signature(); 96 _type_signatures[T_SHORT] = short_signature(); 97 _type_signatures[T_BOOLEAN] = bool_signature(); 98 _type_signatures[T_VOID] = void_signature(); 99 // no single signatures for T_OBJECT or T_ARRAY 100 } 101 102 #ifdef ASSERT 103 // Check for duplicates: 104 for (int i1 = (int)FIRST_SID; i1 < (int)SID_LIMIT; i1++) { 105 Symbol* sym = symbol_at((SID)i1); 106 for (int i2 = (int)FIRST_SID; i2 < i1; i2++) { 107 if (symbol_at((SID)i2) == sym) { 108 tty->print("*** Duplicate VM symbol SIDs %s(%d) and %s(%d): \"", 109 vm_symbol_enum_name((SID)i2), i2, 110 vm_symbol_enum_name((SID)i1), i1); 111 sym->print_symbol_on(tty); 112 tty->print_cr("\""); 113 } 114 } 115 } 116 #endif //ASSERT 117 118 // Create an index for find_id: 119 { 120 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { 121 vm_symbol_index[index] = (SID)index; 122 } 123 int num_sids = SID_LIMIT-FIRST_SID; 124 qsort(&vm_symbol_index[FIRST_SID], num_sids, sizeof(vm_symbol_index[0]), 125 compare_vmsymbol_sid); 126 } 127 128 #ifdef ASSERT 129 { 130 // Spot-check correspondence between strings, symbols, and enums: 131 assert(_symbols[NO_SID] == NULL, "must be"); 132 const char* str = "java/lang/Object"; 133 TempNewSymbol jlo = SymbolTable::new_permanent_symbol(str, CHECK); 134 assert(strncmp(str, (char*)jlo->base(), jlo->utf8_length()) == 0, ""); 135 assert(jlo == java_lang_Object(), ""); 136 SID sid = VM_SYMBOL_ENUM_NAME(java_lang_Object); 137 assert(find_sid(jlo) == sid, ""); 138 assert(symbol_at(sid) == jlo, ""); 139 140 // Make sure find_sid produces the right answer in each case. 141 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { 142 Symbol* sym = symbol_at((SID)index); 143 sid = find_sid(sym); 144 assert(sid == (SID)index, "symbol index works"); 145 // Note: If there are duplicates, this assert will fail. 146 // A "Duplicate VM symbol" message will have already been printed. 147 } 148 149 // The string "format" happens (at the moment) not to be a vmSymbol, 150 // though it is a method name in java.lang.String. 151 str = "format"; 152 TempNewSymbol fmt = SymbolTable::new_permanent_symbol(str, CHECK); 153 sid = find_sid(fmt); 154 assert(sid == NO_SID, "symbol index works (negative test)"); 155 } 156 #endif 157 } 158 159 160 #ifndef PRODUCT 161 const char* vmSymbols::name_for(vmSymbols::SID sid) { 162 if (sid == NO_SID) 163 return "NO_SID"; 164 const char* string = &vm_symbol_bodies[0]; 165 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { 166 if (index == (int)sid) 167 return string; 168 string += strlen(string); // skip string body 169 string += 1; // skip trailing null 170 } 171 return "BAD_SID"; 172 } 173 #endif 174 175 176 177 void vmSymbols::symbols_do(SymbolClosure* f) { 178 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { 179 f->do_symbol(&_symbols[index]); 180 } 181 for (int i = 0; i < T_VOID+1; i++) { 182 f->do_symbol(&_type_signatures[i]); 183 } 184 } 185 186 void vmSymbols::serialize(SerializeClosure* soc) { 187 soc->do_region((u_char*)&_symbols[FIRST_SID], 188 (SID_LIMIT - FIRST_SID) * sizeof(_symbols[0])); 189 soc->do_region((u_char*)_type_signatures, sizeof(_type_signatures)); 190 } 191 192 193 BasicType vmSymbols::signature_type(const Symbol* s) { 194 assert(s != NULL, "checking"); 195 for (int i = T_BOOLEAN; i < T_VOID+1; i++) { 196 if (s == _type_signatures[i]) { 197 return (BasicType)i; 198 } 199 } 200 return T_OBJECT; 201 } 202 203 204 static int mid_hint = (int)vmSymbols::FIRST_SID+1; 205 206 #ifndef PRODUCT 207 static int find_sid_calls, find_sid_probes; 208 // (Typical counts are calls=7000 and probes=17000.) 209 #endif 210 211 vmSymbols::SID vmSymbols::find_sid(const Symbol* symbol) { 212 // Handle the majority of misses by a bounds check. 213 // Then, use a binary search over the index. 214 // Expected trip count is less than log2_SID_LIMIT, about eight. 215 // This is slow but acceptable, given that calls are not 216 // dynamically common. (Method*::intrinsic_id has a cache.) 217 NOT_PRODUCT(find_sid_calls++); 218 int min = (int)FIRST_SID, max = (int)SID_LIMIT - 1; 219 SID sid = NO_SID, sid1; 220 int cmp1; 221 sid1 = vm_symbol_index[min]; 222 cmp1 = compare_symbol(symbol, symbol_at(sid1)); 223 if (cmp1 <= 0) { // before the first 224 if (cmp1 == 0) sid = sid1; 225 } else { 226 sid1 = vm_symbol_index[max]; 227 cmp1 = compare_symbol(symbol, symbol_at(sid1)); 228 if (cmp1 >= 0) { // after the last 229 if (cmp1 == 0) sid = sid1; 230 } else { 231 // After checking the extremes, do a binary search. 232 ++min; --max; // endpoints are done 233 int mid = mid_hint; // start at previous success 234 while (max >= min) { 235 assert(mid >= min && mid <= max, ""); 236 NOT_PRODUCT(find_sid_probes++); 237 sid1 = vm_symbol_index[mid]; 238 cmp1 = compare_symbol(symbol, symbol_at(sid1)); 239 if (cmp1 == 0) { 240 mid_hint = mid; 241 sid = sid1; 242 break; 243 } 244 if (cmp1 < 0) 245 max = mid - 1; // symbol < symbol_at(sid) 246 else 247 min = mid + 1; 248 249 // Pick a new probe point: 250 mid = (max + min) / 2; 251 } 252 } 253 } 254 255 #ifdef ASSERT 256 // Perform the exhaustive self-check the first 1000 calls, 257 // and every 100 calls thereafter. 258 static int find_sid_check_count = -2000; 259 if ((uint)++find_sid_check_count > (uint)100) { 260 if (find_sid_check_count > 0) find_sid_check_count = 0; 261 262 // Make sure this is the right answer, using linear search. 263 // (We have already proven that there are no duplicates in the list.) 264 SID sid2 = NO_SID; 265 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { 266 Symbol* sym2 = symbol_at((SID)index); 267 if (sym2 == symbol) { 268 sid2 = (SID)index; 269 break; 270 } 271 } 272 // Unless it's a duplicate, assert that the sids are the same. 273 if (_symbols[sid] != _symbols[sid2]) { 274 assert(sid == sid2, "binary same as linear search"); 275 } 276 } 277 #endif //ASSERT 278 279 return sid; 280 } 281 282 vmSymbols::SID vmSymbols::find_sid(const char* symbol_name) { 283 Symbol* symbol = SymbolTable::probe(symbol_name, (int) strlen(symbol_name)); 284 if (symbol == NULL) return NO_SID; 285 return find_sid(symbol); 286 } 287 288 static vmIntrinsics::ID wrapper_intrinsic(BasicType type, bool unboxing) { 289 #define TYPE2(type, unboxing) ((int)(type)*2 + ((unboxing) ? 1 : 0)) 290 switch (TYPE2(type, unboxing)) { 291 #define BASIC_TYPE_CASE(type, box, unbox) \ 292 case TYPE2(type, false): return vmIntrinsics::box; \ 293 case TYPE2(type, true): return vmIntrinsics::unbox 294 BASIC_TYPE_CASE(T_BOOLEAN, _Boolean_valueOf, _booleanValue); 295 BASIC_TYPE_CASE(T_BYTE, _Byte_valueOf, _byteValue); 296 BASIC_TYPE_CASE(T_CHAR, _Character_valueOf, _charValue); 297 BASIC_TYPE_CASE(T_SHORT, _Short_valueOf, _shortValue); 298 BASIC_TYPE_CASE(T_INT, _Integer_valueOf, _intValue); 299 BASIC_TYPE_CASE(T_LONG, _Long_valueOf, _longValue); 300 BASIC_TYPE_CASE(T_FLOAT, _Float_valueOf, _floatValue); 301 BASIC_TYPE_CASE(T_DOUBLE, _Double_valueOf, _doubleValue); 302 #undef BASIC_TYPE_CASE 303 } 304 #undef TYPE2 305 return vmIntrinsics::_none; 306 } 307 308 vmIntrinsics::ID vmIntrinsics::for_boxing(BasicType type) { 309 return wrapper_intrinsic(type, false); 310 } 311 vmIntrinsics::ID vmIntrinsics::for_unboxing(BasicType type) { 312 return wrapper_intrinsic(type, true); 313 } 314 315 vmIntrinsics::ID vmIntrinsics::for_raw_conversion(BasicType src, BasicType dest) { 316 #define SRC_DEST(s,d) (((int)(s) << 4) + (int)(d)) 317 switch (SRC_DEST(src, dest)) { 318 case SRC_DEST(T_INT, T_FLOAT): return vmIntrinsics::_intBitsToFloat; 319 case SRC_DEST(T_FLOAT, T_INT): return vmIntrinsics::_floatToRawIntBits; 320 321 case SRC_DEST(T_LONG, T_DOUBLE): return vmIntrinsics::_longBitsToDouble; 322 case SRC_DEST(T_DOUBLE, T_LONG): return vmIntrinsics::_doubleToRawLongBits; 323 } 324 #undef SRC_DEST 325 326 return vmIntrinsics::_none; 327 } 328 329 bool vmIntrinsics::preserves_state(vmIntrinsics::ID id) { 330 assert(id != vmIntrinsics::_none, "must be a VM intrinsic"); 331 switch(id) { 332 #ifdef TRACE_HAVE_INTRINSICS 333 case vmIntrinsics::_counterTime: 334 #endif 335 case vmIntrinsics::_currentTimeMillis: 336 case vmIntrinsics::_nanoTime: 337 case vmIntrinsics::_floatToRawIntBits: 338 case vmIntrinsics::_intBitsToFloat: 339 case vmIntrinsics::_doubleToRawLongBits: 340 case vmIntrinsics::_longBitsToDouble: 341 case vmIntrinsics::_getClass: 342 case vmIntrinsics::_isInstance: 343 case vmIntrinsics::_currentThread: 344 case vmIntrinsics::_dabs: 345 case vmIntrinsics::_dsqrt: 346 case vmIntrinsics::_dsin: 347 case vmIntrinsics::_dcos: 348 case vmIntrinsics::_dtan: 349 case vmIntrinsics::_dlog: 350 case vmIntrinsics::_dlog10: 351 case vmIntrinsics::_dexp: 352 case vmIntrinsics::_dpow: 353 case vmIntrinsics::_checkIndex: 354 case vmIntrinsics::_Reference_get: 355 case vmIntrinsics::_updateCRC32: 356 case vmIntrinsics::_updateBytesCRC32: 357 case vmIntrinsics::_updateByteBufferCRC32: 358 case vmIntrinsics::_vectorizedMismatch: 359 case vmIntrinsics::_fmaD: 360 case vmIntrinsics::_fmaF: 361 return true; 362 default: 363 return false; 364 } 365 } 366 367 bool vmIntrinsics::can_trap(vmIntrinsics::ID id) { 368 assert(id != vmIntrinsics::_none, "must be a VM intrinsic"); 369 switch(id) { 370 #ifdef TRACE_HAVE_INTRINSICS 371 case vmIntrinsics::_counterTime: 372 case vmIntrinsics::_getClassId: 373 #endif 374 case vmIntrinsics::_currentTimeMillis: 375 case vmIntrinsics::_nanoTime: 376 case vmIntrinsics::_floatToRawIntBits: 377 case vmIntrinsics::_intBitsToFloat: 378 case vmIntrinsics::_doubleToRawLongBits: 379 case vmIntrinsics::_longBitsToDouble: 380 case vmIntrinsics::_currentThread: 381 case vmIntrinsics::_dabs: 382 case vmIntrinsics::_dsqrt: 383 case vmIntrinsics::_dsin: 384 case vmIntrinsics::_dcos: 385 case vmIntrinsics::_dtan: 386 case vmIntrinsics::_dlog: 387 case vmIntrinsics::_dlog10: 388 case vmIntrinsics::_dexp: 389 case vmIntrinsics::_dpow: 390 case vmIntrinsics::_updateCRC32: 391 case vmIntrinsics::_updateBytesCRC32: 392 case vmIntrinsics::_updateByteBufferCRC32: 393 case vmIntrinsics::_vectorizedMismatch: 394 case vmIntrinsics::_fmaD: 395 case vmIntrinsics::_fmaF: 396 return false; 397 default: 398 return true; 399 } 400 } 401 402 bool vmIntrinsics::does_virtual_dispatch(vmIntrinsics::ID id) { 403 assert(id != vmIntrinsics::_none, "must be a VM intrinsic"); 404 switch(id) { 405 case vmIntrinsics::_hashCode: 406 case vmIntrinsics::_clone: 407 return true; 408 break; 409 default: 410 return false; 411 } 412 } 413 414 int vmIntrinsics::predicates_needed(vmIntrinsics::ID id) { 415 assert(id != vmIntrinsics::_none, "must be a VM intrinsic"); 416 switch (id) { 417 case vmIntrinsics::_cipherBlockChaining_encryptAESCrypt: 418 case vmIntrinsics::_cipherBlockChaining_decryptAESCrypt: 419 case vmIntrinsics::_counterMode_AESCrypt: 420 return 1; 421 case vmIntrinsics::_digestBase_implCompressMB: 422 return 3; 423 default: 424 return 0; 425 } 426 } 427 428 bool vmIntrinsics::is_intrinsic_available(vmIntrinsics::ID id) { 429 return !vmIntrinsics::is_intrinsic_disabled(id) && 430 !vmIntrinsics::is_disabled_by_flags(id); 431 } 432 433 bool vmIntrinsics::is_intrinsic_disabled(vmIntrinsics::ID id) { 434 assert(id != vmIntrinsics::_none, "must be a VM intrinsic"); 435 436 // Canonicalize DisableIntrinsic to contain only ',' as a separator. 437 // Note, DirectiveSet may not be created at this point yet since this code 438 // is called from initial stub geenration code. 439 char* local_list = (char*)DirectiveSet::canonicalize_disableintrinsic(DisableIntrinsic); 440 441 bool found = false; 442 char* token = strtok(local_list, ","); 443 while (token != NULL) { 444 if (strcmp(token, vmIntrinsics::name_at(id)) == 0) { 445 found = true; 446 break; 447 } else { 448 token = strtok(NULL, ","); 449 } 450 } 451 452 FREE_C_HEAP_ARRAY(char, local_list); 453 return found; 454 } 455 456 457 bool vmIntrinsics::is_disabled_by_flags(const methodHandle& method) { 458 vmIntrinsics::ID id = method->intrinsic_id(); 459 assert(id != vmIntrinsics::_none, "must be a VM intrinsic"); 460 return is_disabled_by_flags(id); 461 } 462 463 bool vmIntrinsics::is_disabled_by_flags(vmIntrinsics::ID id) { 464 assert(id != vmIntrinsics::_none, "must be a VM intrinsic"); 465 466 // -XX:-InlineNatives disables nearly all intrinsics except the ones listed in 467 // the following switch statement. 468 if (!InlineNatives) { 469 switch (id) { 470 case vmIntrinsics::_indexOfL: 471 case vmIntrinsics::_indexOfU: 472 case vmIntrinsics::_indexOfUL: 473 case vmIntrinsics::_indexOfIL: 474 case vmIntrinsics::_indexOfIU: 475 case vmIntrinsics::_indexOfIUL: 476 case vmIntrinsics::_indexOfU_char: 477 case vmIntrinsics::_compareToL: 478 case vmIntrinsics::_compareToU: 479 case vmIntrinsics::_compareToLU: 480 case vmIntrinsics::_compareToUL: 481 case vmIntrinsics::_equalsL: 482 case vmIntrinsics::_equalsU: 483 case vmIntrinsics::_equalsC: 484 case vmIntrinsics::_getCharStringU: 485 case vmIntrinsics::_putCharStringU: 486 case vmIntrinsics::_compressStringC: 487 case vmIntrinsics::_compressStringB: 488 case vmIntrinsics::_inflateStringC: 489 case vmIntrinsics::_inflateStringB: 490 case vmIntrinsics::_getAndAddInt: 491 case vmIntrinsics::_getAndAddLong: 492 case vmIntrinsics::_getAndSetInt: 493 case vmIntrinsics::_getAndSetLong: 494 case vmIntrinsics::_getAndSetObject: 495 case vmIntrinsics::_loadFence: 496 case vmIntrinsics::_storeFence: 497 case vmIntrinsics::_fullFence: 498 case vmIntrinsics::_hasNegatives: 499 case vmIntrinsics::_Reference_get: 500 break; 501 default: 502 return true; 503 } 504 } 505 506 switch (id) { 507 case vmIntrinsics::_isInstance: 508 case vmIntrinsics::_isAssignableFrom: 509 case vmIntrinsics::_getModifiers: 510 case vmIntrinsics::_isInterface: 511 case vmIntrinsics::_isArray: 512 case vmIntrinsics::_isPrimitive: 513 case vmIntrinsics::_getSuperclass: 514 case vmIntrinsics::_Class_cast: 515 case vmIntrinsics::_getLength: 516 case vmIntrinsics::_newArray: 517 case vmIntrinsics::_getClass: 518 if (!InlineClassNatives) return true; 519 break; 520 case vmIntrinsics::_currentThread: 521 case vmIntrinsics::_isInterrupted: 522 if (!InlineThreadNatives) return true; 523 break; 524 case vmIntrinsics::_floatToRawIntBits: 525 case vmIntrinsics::_intBitsToFloat: 526 case vmIntrinsics::_doubleToRawLongBits: 527 case vmIntrinsics::_longBitsToDouble: 528 case vmIntrinsics::_dabs: 529 case vmIntrinsics::_dsqrt: 530 case vmIntrinsics::_dsin: 531 case vmIntrinsics::_dcos: 532 case vmIntrinsics::_dtan: 533 case vmIntrinsics::_dlog: 534 case vmIntrinsics::_dexp: 535 case vmIntrinsics::_dpow: 536 case vmIntrinsics::_dlog10: 537 case vmIntrinsics::_datan2: 538 case vmIntrinsics::_min: 539 case vmIntrinsics::_max: 540 case vmIntrinsics::_floatToIntBits: 541 case vmIntrinsics::_doubleToLongBits: 542 if (!InlineMathNatives) return true; 543 break; 544 case vmIntrinsics::_fmaD: 545 case vmIntrinsics::_fmaF: 546 if (!InlineMathNatives || !UseFMA) return true; 547 break; 548 case vmIntrinsics::_arraycopy: 549 if (!InlineArrayCopy) return true; 550 break; 551 case vmIntrinsics::_updateCRC32: 552 case vmIntrinsics::_updateBytesCRC32: 553 case vmIntrinsics::_updateByteBufferCRC32: 554 if (!UseCRC32Intrinsics) return true; 555 break; 556 case vmIntrinsics::_getObject: 557 case vmIntrinsics::_getBoolean: 558 case vmIntrinsics::_getByte: 559 case vmIntrinsics::_getShort: 560 case vmIntrinsics::_getChar: 561 case vmIntrinsics::_getInt: 562 case vmIntrinsics::_getLong: 563 case vmIntrinsics::_getFloat: 564 case vmIntrinsics::_getDouble: 565 case vmIntrinsics::_putObject: 566 case vmIntrinsics::_putBoolean: 567 case vmIntrinsics::_putByte: 568 case vmIntrinsics::_putShort: 569 case vmIntrinsics::_putChar: 570 case vmIntrinsics::_putInt: 571 case vmIntrinsics::_putLong: 572 case vmIntrinsics::_putFloat: 573 case vmIntrinsics::_putDouble: 574 case vmIntrinsics::_getObjectVolatile: 575 case vmIntrinsics::_getBooleanVolatile: 576 case vmIntrinsics::_getByteVolatile: 577 case vmIntrinsics::_getShortVolatile: 578 case vmIntrinsics::_getCharVolatile: 579 case vmIntrinsics::_getIntVolatile: 580 case vmIntrinsics::_getLongVolatile: 581 case vmIntrinsics::_getFloatVolatile: 582 case vmIntrinsics::_getDoubleVolatile: 583 case vmIntrinsics::_putObjectVolatile: 584 case vmIntrinsics::_putBooleanVolatile: 585 case vmIntrinsics::_putByteVolatile: 586 case vmIntrinsics::_putShortVolatile: 587 case vmIntrinsics::_putCharVolatile: 588 case vmIntrinsics::_putIntVolatile: 589 case vmIntrinsics::_putLongVolatile: 590 case vmIntrinsics::_putFloatVolatile: 591 case vmIntrinsics::_putDoubleVolatile: 592 case vmIntrinsics::_getObjectAcquire: 593 case vmIntrinsics::_getBooleanAcquire: 594 case vmIntrinsics::_getByteAcquire: 595 case vmIntrinsics::_getShortAcquire: 596 case vmIntrinsics::_getCharAcquire: 597 case vmIntrinsics::_getIntAcquire: 598 case vmIntrinsics::_getLongAcquire: 599 case vmIntrinsics::_getFloatAcquire: 600 case vmIntrinsics::_getDoubleAcquire: 601 case vmIntrinsics::_putObjectRelease: 602 case vmIntrinsics::_putBooleanRelease: 603 case vmIntrinsics::_putByteRelease: 604 case vmIntrinsics::_putShortRelease: 605 case vmIntrinsics::_putCharRelease: 606 case vmIntrinsics::_putIntRelease: 607 case vmIntrinsics::_putLongRelease: 608 case vmIntrinsics::_putFloatRelease: 609 case vmIntrinsics::_putDoubleRelease: 610 case vmIntrinsics::_getObjectOpaque: 611 case vmIntrinsics::_getBooleanOpaque: 612 case vmIntrinsics::_getByteOpaque: 613 case vmIntrinsics::_getShortOpaque: 614 case vmIntrinsics::_getCharOpaque: 615 case vmIntrinsics::_getIntOpaque: 616 case vmIntrinsics::_getLongOpaque: 617 case vmIntrinsics::_getFloatOpaque: 618 case vmIntrinsics::_getDoubleOpaque: 619 case vmIntrinsics::_putObjectOpaque: 620 case vmIntrinsics::_putBooleanOpaque: 621 case vmIntrinsics::_putByteOpaque: 622 case vmIntrinsics::_putShortOpaque: 623 case vmIntrinsics::_putCharOpaque: 624 case vmIntrinsics::_putIntOpaque: 625 case vmIntrinsics::_putLongOpaque: 626 case vmIntrinsics::_putFloatOpaque: 627 case vmIntrinsics::_putDoubleOpaque: 628 case vmIntrinsics::_getAndAddInt: 629 case vmIntrinsics::_getAndAddLong: 630 case vmIntrinsics::_getAndSetInt: 631 case vmIntrinsics::_getAndSetLong: 632 case vmIntrinsics::_getAndSetObject: 633 case vmIntrinsics::_loadFence: 634 case vmIntrinsics::_storeFence: 635 case vmIntrinsics::_fullFence: 636 case vmIntrinsics::_compareAndSetLong: 637 case vmIntrinsics::_weakCompareAndSetLong: 638 case vmIntrinsics::_weakCompareAndSetLongPlain: 639 case vmIntrinsics::_weakCompareAndSetLongAcquire: 640 case vmIntrinsics::_weakCompareAndSetLongRelease: 641 case vmIntrinsics::_compareAndSetInt: 642 case vmIntrinsics::_weakCompareAndSetInt: 643 case vmIntrinsics::_weakCompareAndSetIntPlain: 644 case vmIntrinsics::_weakCompareAndSetIntAcquire: 645 case vmIntrinsics::_weakCompareAndSetIntRelease: 646 case vmIntrinsics::_compareAndSetObject: 647 case vmIntrinsics::_weakCompareAndSetObject: 648 case vmIntrinsics::_weakCompareAndSetObjectPlain: 649 case vmIntrinsics::_weakCompareAndSetObjectAcquire: 650 case vmIntrinsics::_weakCompareAndSetObjectRelease: 651 case vmIntrinsics::_compareAndExchangeInt: 652 case vmIntrinsics::_compareAndExchangeIntAcquire: 653 case vmIntrinsics::_compareAndExchangeIntRelease: 654 case vmIntrinsics::_compareAndExchangeLong: 655 case vmIntrinsics::_compareAndExchangeLongAcquire: 656 case vmIntrinsics::_compareAndExchangeLongRelease: 657 case vmIntrinsics::_compareAndExchangeObject: 658 case vmIntrinsics::_compareAndExchangeObjectAcquire: 659 case vmIntrinsics::_compareAndExchangeObjectRelease: 660 if (!InlineUnsafeOps) return true; 661 break; 662 case vmIntrinsics::_getShortUnaligned: 663 case vmIntrinsics::_getCharUnaligned: 664 case vmIntrinsics::_getIntUnaligned: 665 case vmIntrinsics::_getLongUnaligned: 666 case vmIntrinsics::_putShortUnaligned: 667 case vmIntrinsics::_putCharUnaligned: 668 case vmIntrinsics::_putIntUnaligned: 669 case vmIntrinsics::_putLongUnaligned: 670 case vmIntrinsics::_allocateInstance: 671 if (!InlineUnsafeOps || !UseUnalignedAccesses) return true; 672 break; 673 case vmIntrinsics::_hashCode: 674 if (!InlineObjectHash) return true; 675 break; 676 case vmIntrinsics::_aescrypt_encryptBlock: 677 case vmIntrinsics::_aescrypt_decryptBlock: 678 if (!UseAESIntrinsics) return true; 679 break; 680 case vmIntrinsics::_cipherBlockChaining_encryptAESCrypt: 681 case vmIntrinsics::_cipherBlockChaining_decryptAESCrypt: 682 if (!UseAESIntrinsics) return true; 683 break; 684 case vmIntrinsics::_counterMode_AESCrypt: 685 if (!UseAESCTRIntrinsics) return true; 686 break; 687 case vmIntrinsics::_sha_implCompress: 688 if (!UseSHA1Intrinsics) return true; 689 break; 690 case vmIntrinsics::_sha2_implCompress: 691 if (!UseSHA256Intrinsics) return true; 692 break; 693 case vmIntrinsics::_sha5_implCompress: 694 if (!UseSHA512Intrinsics) return true; 695 break; 696 case vmIntrinsics::_digestBase_implCompressMB: 697 if (!(UseSHA1Intrinsics || UseSHA256Intrinsics || UseSHA512Intrinsics)) return true; 698 break; 699 case vmIntrinsics::_ghash_processBlocks: 700 if (!UseGHASHIntrinsics) return true; 701 break; 702 case vmIntrinsics::_updateBytesCRC32C: 703 case vmIntrinsics::_updateDirectByteBufferCRC32C: 704 if (!UseCRC32CIntrinsics) return true; 705 break; 706 case vmIntrinsics::_vectorizedMismatch: 707 if (!UseVectorizedMismatchIntrinsic) return true; 708 break; 709 case vmIntrinsics::_updateBytesAdler32: 710 case vmIntrinsics::_updateByteBufferAdler32: 711 if (!UseAdler32Intrinsics) return true; 712 break; 713 case vmIntrinsics::_copyMemory: 714 if (!InlineArrayCopy || !InlineUnsafeOps) return true; 715 break; 716 #ifdef COMPILER1 717 case vmIntrinsics::_checkIndex: 718 if (!InlineNIOCheckIndex) return true; 719 break; 720 #endif // COMPILER1 721 #ifdef COMPILER2 722 case vmIntrinsics::_clone: 723 case vmIntrinsics::_copyOf: 724 case vmIntrinsics::_copyOfRange: 725 // These intrinsics use both the objectcopy and the arraycopy 726 // intrinsic mechanism. 727 if (!InlineObjectCopy || !InlineArrayCopy) return true; 728 break; 729 case vmIntrinsics::_compareToL: 730 case vmIntrinsics::_compareToU: 731 case vmIntrinsics::_compareToLU: 732 case vmIntrinsics::_compareToUL: 733 if (!SpecialStringCompareTo) return true; 734 break; 735 case vmIntrinsics::_indexOfL: 736 case vmIntrinsics::_indexOfU: 737 case vmIntrinsics::_indexOfUL: 738 case vmIntrinsics::_indexOfIL: 739 case vmIntrinsics::_indexOfIU: 740 case vmIntrinsics::_indexOfIUL: 741 case vmIntrinsics::_indexOfU_char: 742 if (!SpecialStringIndexOf) return true; 743 break; 744 case vmIntrinsics::_equalsL: 745 case vmIntrinsics::_equalsU: 746 if (!SpecialStringEquals) return true; 747 break; 748 case vmIntrinsics::_equalsB: 749 case vmIntrinsics::_equalsC: 750 if (!SpecialArraysEquals) return true; 751 break; 752 case vmIntrinsics::_encodeISOArray: 753 case vmIntrinsics::_encodeByteISOArray: 754 if (!SpecialEncodeISOArray) return true; 755 break; 756 case vmIntrinsics::_getCallerClass: 757 if (!InlineReflectionGetCallerClass) return true; 758 break; 759 case vmIntrinsics::_multiplyToLen: 760 if (!UseMultiplyToLenIntrinsic) return true; 761 break; 762 case vmIntrinsics::_squareToLen: 763 if (!UseSquareToLenIntrinsic) return true; 764 break; 765 case vmIntrinsics::_mulAdd: 766 if (!UseMulAddIntrinsic) return true; 767 break; 768 case vmIntrinsics::_montgomeryMultiply: 769 if (!UseMontgomeryMultiplyIntrinsic) return true; 770 break; 771 case vmIntrinsics::_montgomerySquare: 772 if (!UseMontgomerySquareIntrinsic) return true; 773 break; 774 case vmIntrinsics::_addExactI: 775 case vmIntrinsics::_addExactL: 776 case vmIntrinsics::_decrementExactI: 777 case vmIntrinsics::_decrementExactL: 778 case vmIntrinsics::_incrementExactI: 779 case vmIntrinsics::_incrementExactL: 780 case vmIntrinsics::_multiplyExactI: 781 case vmIntrinsics::_multiplyExactL: 782 case vmIntrinsics::_negateExactI: 783 case vmIntrinsics::_negateExactL: 784 case vmIntrinsics::_subtractExactI: 785 case vmIntrinsics::_subtractExactL: 786 if (!UseMathExactIntrinsics || !InlineMathNatives) return true; 787 break; 788 #endif // COMPILER2 789 default: 790 return false; 791 } 792 793 return false; 794 } 795 796 #define VM_INTRINSIC_INITIALIZE(id, klass, name, sig, flags) #id "\0" 797 static const char* vm_intrinsic_name_bodies = 798 VM_INTRINSICS_DO(VM_INTRINSIC_INITIALIZE, 799 VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE); 800 801 static const char* vm_intrinsic_name_table[vmIntrinsics::ID_LIMIT]; 802 803 const char* vmIntrinsics::name_at(vmIntrinsics::ID id) { 804 const char** nt = &vm_intrinsic_name_table[0]; 805 if (nt[_none] == NULL) { 806 char* string = (char*) &vm_intrinsic_name_bodies[0]; 807 for (int index = FIRST_ID; index < ID_LIMIT; index++) { 808 nt[index] = string; 809 string += strlen(string); // skip string body 810 string += 1; // skip trailing null 811 } 812 assert(!strcmp(nt[_hashCode], "_hashCode"), "lined up"); 813 nt[_none] = "_none"; 814 } 815 if ((uint)id < (uint)ID_LIMIT) 816 return vm_intrinsic_name_table[(uint)id]; 817 else 818 return "(unknown intrinsic)"; 819 } 820 821 // These are flag-matching functions: 822 inline bool match_F_R(jshort flags) { 823 const int req = 0; 824 const int neg = JVM_ACC_STATIC | JVM_ACC_SYNCHRONIZED; 825 return (flags & (req | neg)) == req; 826 } 827 inline bool match_F_Y(jshort flags) { 828 const int req = JVM_ACC_SYNCHRONIZED; 829 const int neg = JVM_ACC_STATIC; 830 return (flags & (req | neg)) == req; 831 } 832 inline bool match_F_RN(jshort flags) { 833 const int req = JVM_ACC_NATIVE; 834 const int neg = JVM_ACC_STATIC | JVM_ACC_SYNCHRONIZED; 835 return (flags & (req | neg)) == req; 836 } 837 inline bool match_F_S(jshort flags) { 838 const int req = JVM_ACC_STATIC; 839 const int neg = JVM_ACC_SYNCHRONIZED; 840 return (flags & (req | neg)) == req; 841 } 842 inline bool match_F_SN(jshort flags) { 843 const int req = JVM_ACC_STATIC | JVM_ACC_NATIVE; 844 const int neg = JVM_ACC_SYNCHRONIZED; 845 return (flags & (req | neg)) == req; 846 } 847 inline bool match_F_RNY(jshort flags) { 848 const int req = JVM_ACC_NATIVE | JVM_ACC_SYNCHRONIZED; 849 const int neg = JVM_ACC_STATIC; 850 return (flags & (req | neg)) == req; 851 } 852 853 // These are for forming case labels: 854 #define ID3(x, y, z) (( jlong)(z) + \ 855 ((jlong)(y) << vmSymbols::log2_SID_LIMIT) + \ 856 ((jlong)(x) << (2*vmSymbols::log2_SID_LIMIT)) ) 857 #define SID_ENUM(n) vmSymbols::VM_SYMBOL_ENUM_NAME(n) 858 859 vmIntrinsics::ID vmIntrinsics::find_id_impl(vmSymbols::SID holder, 860 vmSymbols::SID name, 861 vmSymbols::SID sig, 862 jshort flags) { 863 assert((int)vmSymbols::SID_LIMIT <= (1<<vmSymbols::log2_SID_LIMIT), "must fit"); 864 865 // Let the C compiler build the decision tree. 866 867 #define VM_INTRINSIC_CASE(id, klass, name, sig, fcode) \ 868 case ID3(SID_ENUM(klass), SID_ENUM(name), SID_ENUM(sig)): \ 869 if (!match_##fcode(flags)) break; \ 870 return id; 871 872 switch (ID3(holder, name, sig)) { 873 VM_INTRINSICS_DO(VM_INTRINSIC_CASE, 874 VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE); 875 } 876 return vmIntrinsics::_none; 877 878 #undef VM_INTRINSIC_CASE 879 } 880 881 882 const char* vmIntrinsics::short_name_as_C_string(vmIntrinsics::ID id, char* buf, int buflen) { 883 const char* str = name_at(id); 884 #ifndef PRODUCT 885 const char* kname = vmSymbols::name_for(class_for(id)); 886 const char* mname = vmSymbols::name_for(name_for(id)); 887 const char* sname = vmSymbols::name_for(signature_for(id)); 888 const char* fname = ""; 889 switch (flags_for(id)) { 890 case F_Y: fname = "synchronized "; break; 891 case F_RN: fname = "native "; break; 892 case F_SN: fname = "native static "; break; 893 case F_S: fname = "static "; break; 894 case F_RNY:fname = "native synchronized "; break; 895 } 896 const char* kptr = strrchr(kname, '/'); 897 if (kptr != NULL) kname = kptr + 1; 898 int len = jio_snprintf(buf, buflen, "%s: %s%s.%s%s", 899 str, fname, kname, mname, sname); 900 if (len < buflen) 901 str = buf; 902 #endif //PRODUCT 903 return str; 904 } 905 906 907 // These are to get information about intrinsics. 908 909 #define ID4(x, y, z, f) ((ID3(x, y, z) << vmIntrinsics::log2_FLAG_LIMIT) | (jlong) (f)) 910 911 static const jlong intrinsic_info_array[vmIntrinsics::ID_LIMIT+1] = { 912 #define VM_INTRINSIC_INFO(ignore_id, klass, name, sig, fcode) \ 913 ID4(SID_ENUM(klass), SID_ENUM(name), SID_ENUM(sig), vmIntrinsics::fcode), 914 915 0, VM_INTRINSICS_DO(VM_INTRINSIC_INFO, 916 VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE) 917 0 918 #undef VM_INTRINSIC_INFO 919 }; 920 921 inline jlong intrinsic_info(vmIntrinsics::ID id) { 922 return intrinsic_info_array[vmIntrinsics::ID_from((int)id)]; 923 } 924 925 vmSymbols::SID vmIntrinsics::class_for(vmIntrinsics::ID id) { 926 jlong info = intrinsic_info(id); 927 int shift = 2*vmSymbols::log2_SID_LIMIT + log2_FLAG_LIMIT, mask = right_n_bits(vmSymbols::log2_SID_LIMIT); 928 assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 1021, ""); 929 return vmSymbols::SID( (info >> shift) & mask ); 930 } 931 932 vmSymbols::SID vmIntrinsics::name_for(vmIntrinsics::ID id) { 933 jlong info = intrinsic_info(id); 934 int shift = vmSymbols::log2_SID_LIMIT + log2_FLAG_LIMIT, mask = right_n_bits(vmSymbols::log2_SID_LIMIT); 935 assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 1022, ""); 936 return vmSymbols::SID( (info >> shift) & mask ); 937 } 938 939 vmSymbols::SID vmIntrinsics::signature_for(vmIntrinsics::ID id) { 940 jlong info = intrinsic_info(id); 941 int shift = log2_FLAG_LIMIT, mask = right_n_bits(vmSymbols::log2_SID_LIMIT); 942 assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 1023, ""); 943 return vmSymbols::SID( (info >> shift) & mask ); 944 } 945 946 vmIntrinsics::Flags vmIntrinsics::flags_for(vmIntrinsics::ID id) { 947 jlong info = intrinsic_info(id); 948 int shift = 0, mask = right_n_bits(log2_FLAG_LIMIT); 949 assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 15, ""); 950 return Flags( (info >> shift) & mask ); 951 } 952 953 954 #ifndef PRODUCT 955 // verify_method performs an extra check on a matched intrinsic method 956 957 static bool match_method(Method* m, Symbol* n, Symbol* s) { 958 return (m->name() == n && 959 m->signature() == s); 960 } 961 962 static vmIntrinsics::ID match_method_with_klass(Method* m, Symbol* mk) { 963 #define VM_INTRINSIC_MATCH(id, klassname, namepart, sigpart, flags) \ 964 { Symbol* k = vmSymbols::klassname(); \ 965 if (mk == k) { \ 966 Symbol* n = vmSymbols::namepart(); \ 967 Symbol* s = vmSymbols::sigpart(); \ 968 if (match_method(m, n, s)) \ 969 return vmIntrinsics::id; \ 970 } } 971 VM_INTRINSICS_DO(VM_INTRINSIC_MATCH, 972 VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE); 973 return vmIntrinsics::_none; 974 #undef VM_INTRINSIC_MATCH 975 } 976 977 void vmIntrinsics::verify_method(ID actual_id, Method* m) { 978 Symbol* mk = m->method_holder()->name(); 979 ID declared_id = match_method_with_klass(m, mk); 980 981 if (declared_id == actual_id) return; // success 982 983 if (declared_id == _none && actual_id != _none && mk == vmSymbols::java_lang_StrictMath()) { 984 // Here are a few special cases in StrictMath not declared in vmSymbols.hpp. 985 switch (actual_id) { 986 case _min: 987 case _max: 988 case _dsqrt: 989 declared_id = match_method_with_klass(m, vmSymbols::java_lang_Math()); 990 if (declared_id == actual_id) return; // acceptable alias 991 break; 992 } 993 } 994 995 const char* declared_name = name_at(declared_id); 996 const char* actual_name = name_at(actual_id); 997 methodHandle mh = m; 998 m = NULL; 999 ttyLocker ttyl; 1000 if (xtty != NULL) { 1001 xtty->begin_elem("intrinsic_misdeclared actual='%s' declared='%s'", 1002 actual_name, declared_name); 1003 xtty->method(mh); 1004 xtty->end_elem("%s", ""); 1005 } 1006 if (PrintMiscellaneous && (WizardMode || Verbose)) { 1007 tty->print_cr("*** misidentified method; %s(%d) should be %s(%d):", 1008 declared_name, declared_id, actual_name, actual_id); 1009 mh()->print_short_name(tty); 1010 tty->cr(); 1011 } 1012 } 1013 #endif //PRODUCT