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