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