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