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