1 /* 2 * Copyright (c) 1999, 2023, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 * 23 */ 24 25 #include "precompiled.hpp" 26 #include "classfile/vmClasses.hpp" 27 #include "compiler/compilerDefinitions.inline.hpp" 28 #include "runtime/handles.inline.hpp" 29 #include "jfr/support/jfrIntrinsics.hpp" 30 #include "opto/c2compiler.hpp" 31 #include "opto/compile.hpp" 32 #include "opto/optoreg.hpp" 33 #include "opto/output.hpp" 34 #include "opto/runtime.hpp" 35 #include "runtime/stubRoutines.hpp" 36 #include "utilities/macros.hpp" 37 38 39 // register information defined by ADLC 40 extern const char register_save_policy[]; 41 extern const int register_save_type[]; 42 43 const char* C2Compiler::retry_no_subsuming_loads() { 44 return "retry without subsuming loads"; 45 } 46 const char* C2Compiler::retry_no_escape_analysis() { 47 return "retry without escape analysis"; 48 } 49 const char* C2Compiler::retry_no_locks_coarsening() { 50 return "retry without locks coarsening"; 51 } 52 const char* C2Compiler::retry_no_iterative_escape_analysis() { 53 return "retry without iterative escape analysis"; 54 } 55 const char* C2Compiler::retry_no_reduce_allocation_merges() { 56 return "retry without reducing allocation merges"; 57 } 58 59 void compiler_stubs_init(bool in_compiler_thread); 60 61 bool C2Compiler::init_c2_runtime() { 62 63 // Check assumptions used while running ADLC 64 Compile::adlc_verification(); 65 assert(REG_COUNT <= ConcreteRegisterImpl::number_of_registers, "incompatible register counts"); 66 67 for (int i = 0; i < ConcreteRegisterImpl::number_of_registers ; i++ ) { 68 OptoReg::vm2opto[i] = OptoReg::Bad; 69 } 70 71 for( OptoReg::Name i=OptoReg::Name(0); i<OptoReg::Name(REG_COUNT); i = OptoReg::add(i,1) ) { 72 VMReg r = OptoReg::as_VMReg(i); 73 if (r->is_valid()) { 74 OptoReg::vm2opto[r->value()] = i; 75 } 76 } 77 78 DEBUG_ONLY( Node::init_NodeProperty(); ) 79 80 compiler_stubs_init(true /* in_compiler_thread */); // generate compiler's intrinsics stubs 81 82 Compile::pd_compiler2_init(); 83 84 CompilerThread* thread = CompilerThread::current(); 85 86 HandleMark handle_mark(thread); 87 return OptoRuntime::generate(thread->env()); 88 } 89 90 void C2Compiler::initialize() { 91 assert(!CompilerConfig::is_c1_or_interpreter_only_no_jvmci(), "C2 compiler is launched, it's not c1/interpreter only mode"); 92 // The first compiler thread that gets here will initialize the 93 // small amount of global state (and runtime stubs) that C2 needs. 94 95 // There is a race possible once at startup and then we're fine 96 97 // Note that this is being called from a compiler thread not the 98 // main startup thread. 99 if (should_perform_init()) { 100 bool successful = C2Compiler::init_c2_runtime(); 101 int new_state = (successful) ? initialized : failed; 102 set_state(new_state); 103 } 104 } 105 106 void C2Compiler::compile_method(ciEnv* env, ciMethod* target, int entry_bci, bool install_code, DirectiveSet* directive) { 107 assert(is_initialized(), "Compiler thread must be initialized"); 108 109 bool subsume_loads = SubsumeLoads; 110 bool do_escape_analysis = DoEscapeAnalysis; 111 bool do_iterative_escape_analysis = DoEscapeAnalysis; 112 bool do_reduce_allocation_merges = ReduceAllocationMerges && EliminateAllocations; 113 bool eliminate_boxing = EliminateAutoBox; 114 bool do_locks_coarsening = EliminateLocks; 115 116 while (!env->failing()) { 117 // Attempt to compile while subsuming loads into machine instructions. 118 Options options(subsume_loads, do_escape_analysis, do_iterative_escape_analysis, do_reduce_allocation_merges, eliminate_boxing, do_locks_coarsening, install_code); 119 Compile C(env, target, entry_bci, options, directive); 120 121 // Check result and retry if appropriate. 122 if (C.failure_reason() != nullptr) { 123 if (C.failure_reason_is(retry_no_subsuming_loads())) { 124 assert(subsume_loads, "must make progress"); 125 subsume_loads = false; 126 env->report_failure(C.failure_reason()); 127 continue; // retry 128 } 129 if (C.failure_reason_is(retry_no_escape_analysis())) { 130 assert(do_escape_analysis, "must make progress"); 131 do_escape_analysis = false; 132 env->report_failure(C.failure_reason()); 133 continue; // retry 134 } 135 if (C.failure_reason_is(retry_no_iterative_escape_analysis())) { 136 assert(do_iterative_escape_analysis, "must make progress"); 137 do_iterative_escape_analysis = false; 138 env->report_failure(C.failure_reason()); 139 continue; // retry 140 } 141 if (C.failure_reason_is(retry_no_reduce_allocation_merges())) { 142 assert(do_reduce_allocation_merges, "must make progress"); 143 do_reduce_allocation_merges = false; 144 env->report_failure(C.failure_reason()); 145 continue; // retry 146 } 147 if (C.failure_reason_is(retry_no_locks_coarsening())) { 148 assert(do_locks_coarsening, "must make progress"); 149 do_locks_coarsening = false; 150 env->report_failure(C.failure_reason()); 151 continue; // retry 152 } 153 if (C.has_boxed_value()) { 154 // Recompile without boxing elimination regardless failure reason. 155 assert(eliminate_boxing, "must make progress"); 156 eliminate_boxing = false; 157 env->report_failure(C.failure_reason()); 158 continue; // retry 159 } 160 // Pass any other failure reason up to the ciEnv. 161 // Note that serious, irreversible failures are already logged 162 // on the ciEnv via env->record_method_not_compilable(). 163 env->record_failure(C.failure_reason()); 164 } 165 if (StressRecompilation) { 166 if (subsume_loads) { 167 subsume_loads = false; 168 continue; // retry 169 } 170 if (do_escape_analysis) { 171 do_escape_analysis = false; 172 continue; // retry 173 } 174 if (do_locks_coarsening) { 175 do_locks_coarsening = false; 176 continue; // retry 177 } 178 } 179 // print inlining for last compilation only 180 C.dump_print_inlining(); 181 182 // No retry; just break the loop. 183 break; 184 } 185 } 186 187 void C2Compiler::print_timers() { 188 Compile::print_timers(); 189 } 190 191 bool C2Compiler::is_intrinsic_supported(const methodHandle& method) { 192 vmIntrinsics::ID id = method->intrinsic_id(); 193 return C2Compiler::is_intrinsic_supported(id); 194 } 195 196 bool C2Compiler::is_intrinsic_supported(vmIntrinsics::ID id) { 197 assert(id != vmIntrinsics::_none, "must be a VM intrinsic"); 198 199 if (id < vmIntrinsics::FIRST_ID || id > vmIntrinsics::LAST_COMPILER_INLINE) { 200 return false; 201 } 202 203 switch (id) { 204 case vmIntrinsics::_compressStringC: 205 case vmIntrinsics::_compressStringB: 206 if (!Matcher::match_rule_supported(Op_StrCompressedCopy)) return false; 207 break; 208 case vmIntrinsics::_inflateStringC: 209 case vmIntrinsics::_inflateStringB: 210 if (!Matcher::match_rule_supported(Op_StrInflatedCopy)) return false; 211 break; 212 case vmIntrinsics::_compareToL: 213 case vmIntrinsics::_compareToU: 214 case vmIntrinsics::_compareToLU: 215 case vmIntrinsics::_compareToUL: 216 if (!Matcher::match_rule_supported(Op_StrComp)) return false; 217 break; 218 case vmIntrinsics::_equalsL: 219 case vmIntrinsics::_equalsU: 220 if (!Matcher::match_rule_supported(Op_StrEquals)) return false; 221 break; 222 case vmIntrinsics::_vectorizedHashCode: 223 if (!Matcher::match_rule_supported(Op_VectorizedHashCode)) return false; 224 break; 225 case vmIntrinsics::_equalsB: 226 case vmIntrinsics::_equalsC: 227 if (!Matcher::match_rule_supported(Op_AryEq)) return false; 228 break; 229 case vmIntrinsics::_copyMemory: 230 if (StubRoutines::unsafe_arraycopy() == nullptr) return false; 231 break; 232 case vmIntrinsics::_electronicCodeBook_encryptAESCrypt: 233 if (StubRoutines::electronicCodeBook_encryptAESCrypt() == nullptr) return false; 234 break; 235 case vmIntrinsics::_electronicCodeBook_decryptAESCrypt: 236 if (StubRoutines::electronicCodeBook_decryptAESCrypt() == nullptr) return false; 237 break; 238 case vmIntrinsics::_galoisCounterMode_AESCrypt: 239 if (StubRoutines::galoisCounterMode_AESCrypt() == nullptr) return false; 240 break; 241 case vmIntrinsics::_bigIntegerRightShiftWorker: 242 if (StubRoutines::bigIntegerRightShift() == nullptr) return false; 243 break; 244 case vmIntrinsics::_bigIntegerLeftShiftWorker: 245 if (StubRoutines::bigIntegerLeftShift() == nullptr) return false; 246 break; 247 case vmIntrinsics::_encodeAsciiArray: 248 if (!Matcher::match_rule_supported(Op_EncodeISOArray) || !Matcher::supports_encode_ascii_array) return false; 249 break; 250 case vmIntrinsics::_encodeISOArray: 251 case vmIntrinsics::_encodeByteISOArray: 252 if (!Matcher::match_rule_supported(Op_EncodeISOArray)) return false; 253 break; 254 case vmIntrinsics::_countPositives: 255 if (!Matcher::match_rule_supported(Op_CountPositives)) return false; 256 break; 257 case vmIntrinsics::_bitCount_i: 258 if (!Matcher::match_rule_supported(Op_PopCountI)) return false; 259 break; 260 case vmIntrinsics::_bitCount_l: 261 if (!Matcher::match_rule_supported(Op_PopCountL)) return false; 262 break; 263 case vmIntrinsics::_compress_i: 264 case vmIntrinsics::_compress_l: 265 if (!Matcher::match_rule_supported(Op_CompressBits)) return false; 266 break; 267 case vmIntrinsics::_expand_i: 268 case vmIntrinsics::_expand_l: 269 if (!Matcher::match_rule_supported(Op_ExpandBits)) return false; 270 break; 271 case vmIntrinsics::_numberOfLeadingZeros_i: 272 if (!Matcher::match_rule_supported(Op_CountLeadingZerosI)) return false; 273 break; 274 case vmIntrinsics::_numberOfLeadingZeros_l: 275 if (!Matcher::match_rule_supported(Op_CountLeadingZerosL)) return false; 276 break; 277 case vmIntrinsics::_numberOfTrailingZeros_i: 278 if (!Matcher::match_rule_supported(Op_CountTrailingZerosI)) return false; 279 break; 280 case vmIntrinsics::_numberOfTrailingZeros_l: 281 if (!Matcher::match_rule_supported(Op_CountTrailingZerosL)) return false; 282 break; 283 case vmIntrinsics::_reverse_i: 284 if (!Matcher::match_rule_supported(Op_ReverseI)) return false; 285 break; 286 case vmIntrinsics::_reverse_l: 287 if (!Matcher::match_rule_supported(Op_ReverseL)) return false; 288 break; 289 case vmIntrinsics::_reverseBytes_c: 290 if (!Matcher::match_rule_supported(Op_ReverseBytesUS)) return false; 291 break; 292 case vmIntrinsics::_reverseBytes_s: 293 if (!Matcher::match_rule_supported(Op_ReverseBytesS)) return false; 294 break; 295 case vmIntrinsics::_reverseBytes_i: 296 if (!Matcher::match_rule_supported(Op_ReverseBytesI)) return false; 297 break; 298 case vmIntrinsics::_reverseBytes_l: 299 if (!Matcher::match_rule_supported(Op_ReverseBytesL)) return false; 300 break; 301 case vmIntrinsics::_compareUnsigned_i: 302 if (!Matcher::match_rule_supported(Op_CmpU3)) return false; 303 break; 304 case vmIntrinsics::_compareUnsigned_l: 305 if (!Matcher::match_rule_supported(Op_CmpUL3)) return false; 306 break; 307 case vmIntrinsics::_divideUnsigned_i: 308 if (!Matcher::match_rule_supported(Op_UDivI)) return false; 309 break; 310 case vmIntrinsics::_remainderUnsigned_i: 311 if (!Matcher::match_rule_supported(Op_UModI)) return false; 312 break; 313 case vmIntrinsics::_divideUnsigned_l: 314 if (!Matcher::match_rule_supported(Op_UDivL)) return false; 315 break; 316 case vmIntrinsics::_remainderUnsigned_l: 317 if (!Matcher::match_rule_supported(Op_UModL)) return false; 318 break; 319 case vmIntrinsics::_float16ToFloat: 320 if (!Matcher::match_rule_supported(Op_ConvHF2F)) return false; 321 break; 322 case vmIntrinsics::_floatToFloat16: 323 if (!Matcher::match_rule_supported(Op_ConvF2HF)) return false; 324 break; 325 326 /* CompareAndSet, Object: */ 327 case vmIntrinsics::_compareAndSetReference: 328 #ifdef _LP64 329 if ( UseCompressedOops && !Matcher::match_rule_supported(Op_CompareAndSwapN)) return false; 330 if (!UseCompressedOops && !Matcher::match_rule_supported(Op_CompareAndSwapP)) return false; 331 #else 332 if (!Matcher::match_rule_supported(Op_CompareAndSwapP)) return false; 333 #endif 334 break; 335 case vmIntrinsics::_weakCompareAndSetReferencePlain: 336 case vmIntrinsics::_weakCompareAndSetReferenceAcquire: 337 case vmIntrinsics::_weakCompareAndSetReferenceRelease: 338 case vmIntrinsics::_weakCompareAndSetReference: 339 #ifdef _LP64 340 if ( UseCompressedOops && !Matcher::match_rule_supported(Op_WeakCompareAndSwapN)) return false; 341 if (!UseCompressedOops && !Matcher::match_rule_supported(Op_WeakCompareAndSwapP)) return false; 342 #else 343 if (!Matcher::match_rule_supported(Op_WeakCompareAndSwapP)) return false; 344 #endif 345 break; 346 /* CompareAndSet, Long: */ 347 case vmIntrinsics::_compareAndSetLong: 348 if (!Matcher::match_rule_supported(Op_CompareAndSwapL)) return false; 349 break; 350 case vmIntrinsics::_weakCompareAndSetLongPlain: 351 case vmIntrinsics::_weakCompareAndSetLongAcquire: 352 case vmIntrinsics::_weakCompareAndSetLongRelease: 353 case vmIntrinsics::_weakCompareAndSetLong: 354 if (!Matcher::match_rule_supported(Op_WeakCompareAndSwapL)) return false; 355 break; 356 357 /* CompareAndSet, Int: */ 358 case vmIntrinsics::_compareAndSetInt: 359 if (!Matcher::match_rule_supported(Op_CompareAndSwapI)) return false; 360 break; 361 case vmIntrinsics::_weakCompareAndSetIntPlain: 362 case vmIntrinsics::_weakCompareAndSetIntAcquire: 363 case vmIntrinsics::_weakCompareAndSetIntRelease: 364 case vmIntrinsics::_weakCompareAndSetInt: 365 if (!Matcher::match_rule_supported(Op_WeakCompareAndSwapI)) return false; 366 break; 367 368 /* CompareAndSet, Byte: */ 369 case vmIntrinsics::_compareAndSetByte: 370 if (!Matcher::match_rule_supported(Op_CompareAndSwapB)) return false; 371 break; 372 case vmIntrinsics::_weakCompareAndSetBytePlain: 373 case vmIntrinsics::_weakCompareAndSetByteAcquire: 374 case vmIntrinsics::_weakCompareAndSetByteRelease: 375 case vmIntrinsics::_weakCompareAndSetByte: 376 if (!Matcher::match_rule_supported(Op_WeakCompareAndSwapB)) return false; 377 break; 378 379 /* CompareAndSet, Short: */ 380 case vmIntrinsics::_compareAndSetShort: 381 if (!Matcher::match_rule_supported(Op_CompareAndSwapS)) return false; 382 break; 383 case vmIntrinsics::_weakCompareAndSetShortPlain: 384 case vmIntrinsics::_weakCompareAndSetShortAcquire: 385 case vmIntrinsics::_weakCompareAndSetShortRelease: 386 case vmIntrinsics::_weakCompareAndSetShort: 387 if (!Matcher::match_rule_supported(Op_WeakCompareAndSwapS)) return false; 388 break; 389 390 /* CompareAndExchange, Object: */ 391 case vmIntrinsics::_compareAndExchangeReference: 392 case vmIntrinsics::_compareAndExchangeReferenceAcquire: 393 case vmIntrinsics::_compareAndExchangeReferenceRelease: 394 #ifdef _LP64 395 if ( UseCompressedOops && !Matcher::match_rule_supported(Op_CompareAndExchangeN)) return false; 396 if (!UseCompressedOops && !Matcher::match_rule_supported(Op_CompareAndExchangeP)) return false; 397 #else 398 if (!Matcher::match_rule_supported(Op_CompareAndExchangeP)) return false; 399 #endif 400 break; 401 402 /* CompareAndExchange, Long: */ 403 case vmIntrinsics::_compareAndExchangeLong: 404 case vmIntrinsics::_compareAndExchangeLongAcquire: 405 case vmIntrinsics::_compareAndExchangeLongRelease: 406 if (!Matcher::match_rule_supported(Op_CompareAndExchangeL)) return false; 407 break; 408 409 /* CompareAndExchange, Int: */ 410 case vmIntrinsics::_compareAndExchangeInt: 411 case vmIntrinsics::_compareAndExchangeIntAcquire: 412 case vmIntrinsics::_compareAndExchangeIntRelease: 413 if (!Matcher::match_rule_supported(Op_CompareAndExchangeI)) return false; 414 break; 415 416 /* CompareAndExchange, Byte: */ 417 case vmIntrinsics::_compareAndExchangeByte: 418 case vmIntrinsics::_compareAndExchangeByteAcquire: 419 case vmIntrinsics::_compareAndExchangeByteRelease: 420 if (!Matcher::match_rule_supported(Op_CompareAndExchangeB)) return false; 421 break; 422 423 /* CompareAndExchange, Short: */ 424 case vmIntrinsics::_compareAndExchangeShort: 425 case vmIntrinsics::_compareAndExchangeShortAcquire: 426 case vmIntrinsics::_compareAndExchangeShortRelease: 427 if (!Matcher::match_rule_supported(Op_CompareAndExchangeS)) return false; 428 break; 429 430 case vmIntrinsics::_getAndAddByte: 431 if (!Matcher::match_rule_supported(Op_GetAndAddB)) return false; 432 break; 433 case vmIntrinsics::_getAndAddShort: 434 if (!Matcher::match_rule_supported(Op_GetAndAddS)) return false; 435 break; 436 case vmIntrinsics::_getAndAddInt: 437 if (!Matcher::match_rule_supported(Op_GetAndAddI)) return false; 438 break; 439 case vmIntrinsics::_getAndAddLong: 440 if (!Matcher::match_rule_supported(Op_GetAndAddL)) return false; 441 break; 442 443 case vmIntrinsics::_getAndSetByte: 444 if (!Matcher::match_rule_supported(Op_GetAndSetB)) return false; 445 break; 446 case vmIntrinsics::_getAndSetShort: 447 if (!Matcher::match_rule_supported(Op_GetAndSetS)) return false; 448 break; 449 case vmIntrinsics::_getAndSetInt: 450 if (!Matcher::match_rule_supported(Op_GetAndSetI)) return false; 451 break; 452 case vmIntrinsics::_getAndSetLong: 453 if (!Matcher::match_rule_supported(Op_GetAndSetL)) return false; 454 break; 455 case vmIntrinsics::_getAndSetReference: 456 #ifdef _LP64 457 if (!UseCompressedOops && !Matcher::match_rule_supported(Op_GetAndSetP)) return false; 458 if (UseCompressedOops && !Matcher::match_rule_supported(Op_GetAndSetN)) return false; 459 break; 460 #else 461 if (!Matcher::match_rule_supported(Op_GetAndSetP)) return false; 462 break; 463 #endif 464 case vmIntrinsics::_incrementExactI: 465 case vmIntrinsics::_addExactI: 466 if (!Matcher::match_rule_supported(Op_OverflowAddI)) return false; 467 break; 468 case vmIntrinsics::_incrementExactL: 469 case vmIntrinsics::_addExactL: 470 if (!Matcher::match_rule_supported(Op_OverflowAddL)) return false; 471 break; 472 case vmIntrinsics::_decrementExactI: 473 case vmIntrinsics::_subtractExactI: 474 if (!Matcher::match_rule_supported(Op_OverflowSubI)) return false; 475 break; 476 case vmIntrinsics::_decrementExactL: 477 case vmIntrinsics::_subtractExactL: 478 if (!Matcher::match_rule_supported(Op_OverflowSubL)) return false; 479 break; 480 case vmIntrinsics::_negateExactI: 481 if (!Matcher::match_rule_supported(Op_OverflowSubI)) return false; 482 break; 483 case vmIntrinsics::_negateExactL: 484 if (!Matcher::match_rule_supported(Op_OverflowSubL)) return false; 485 break; 486 case vmIntrinsics::_multiplyExactI: 487 if (!Matcher::match_rule_supported(Op_OverflowMulI)) return false; 488 break; 489 case vmIntrinsics::_multiplyExactL: 490 if (!Matcher::match_rule_supported(Op_OverflowMulL)) return false; 491 break; 492 case vmIntrinsics::_multiplyHigh: 493 if (!Matcher::match_rule_supported(Op_MulHiL)) return false; 494 break; 495 case vmIntrinsics::_unsignedMultiplyHigh: 496 if (!Matcher::match_rule_supported(Op_UMulHiL)) return false; 497 break; 498 case vmIntrinsics::_getCallerClass: 499 if (vmClasses::reflect_CallerSensitive_klass() == nullptr) return false; 500 break; 501 case vmIntrinsics::_onSpinWait: 502 if (!Matcher::match_rule_supported(Op_OnSpinWait)) return false; 503 break; 504 case vmIntrinsics::_fmaD: 505 if (!Matcher::match_rule_supported(Op_FmaD)) return false; 506 break; 507 case vmIntrinsics::_fmaF: 508 if (!Matcher::match_rule_supported(Op_FmaF)) return false; 509 break; 510 case vmIntrinsics::_isDigit: 511 if (!Matcher::match_rule_supported(Op_Digit)) return false; 512 break; 513 case vmIntrinsics::_isLowerCase: 514 if (!Matcher::match_rule_supported(Op_LowerCase)) return false; 515 break; 516 case vmIntrinsics::_isUpperCase: 517 if (!Matcher::match_rule_supported(Op_UpperCase)) return false; 518 break; 519 case vmIntrinsics::_isWhitespace: 520 if (!Matcher::match_rule_supported(Op_Whitespace)) return false; 521 break; 522 case vmIntrinsics::_maxF: 523 case vmIntrinsics::_maxF_strict: 524 if (!Matcher::match_rule_supported(Op_MaxF)) return false; 525 break; 526 case vmIntrinsics::_minF: 527 case vmIntrinsics::_minF_strict: 528 if (!Matcher::match_rule_supported(Op_MinF)) return false; 529 break; 530 case vmIntrinsics::_maxD: 531 case vmIntrinsics::_maxD_strict: 532 if (!Matcher::match_rule_supported(Op_MaxD)) return false; 533 break; 534 case vmIntrinsics::_minD: 535 case vmIntrinsics::_minD_strict: 536 if (!Matcher::match_rule_supported(Op_MinD)) return false; 537 break; 538 case vmIntrinsics::_writeback0: 539 if (!Matcher::match_rule_supported(Op_CacheWB)) return false; 540 break; 541 case vmIntrinsics::_writebackPreSync0: 542 if (!Matcher::match_rule_supported(Op_CacheWBPreSync)) return false; 543 break; 544 case vmIntrinsics::_writebackPostSync0: 545 if (!Matcher::match_rule_supported(Op_CacheWBPostSync)) return false; 546 break; 547 case vmIntrinsics::_rint: 548 case vmIntrinsics::_ceil: 549 case vmIntrinsics::_floor: 550 if (!Matcher::match_rule_supported(Op_RoundDoubleMode)) return false; 551 break; 552 case vmIntrinsics::_dcopySign: 553 if (!Matcher::match_rule_supported(Op_CopySignD)) return false; 554 break; 555 case vmIntrinsics::_fcopySign: 556 if (!Matcher::match_rule_supported(Op_CopySignF)) return false; 557 break; 558 case vmIntrinsics::_dsignum: 559 if (!Matcher::match_rule_supported(Op_SignumD)) return false; 560 break; 561 case vmIntrinsics::_fsignum: 562 if (!Matcher::match_rule_supported(Op_SignumF)) return false; 563 break; 564 case vmIntrinsics::_floatIsInfinite: 565 if (!Matcher::match_rule_supported(Op_IsInfiniteF)) return false; 566 break; 567 case vmIntrinsics::_floatIsFinite: 568 if (!Matcher::match_rule_supported(Op_IsFiniteF)) return false; 569 break; 570 case vmIntrinsics::_doubleIsInfinite: 571 if (!Matcher::match_rule_supported(Op_IsInfiniteD)) return false; 572 break; 573 case vmIntrinsics::_doubleIsFinite: 574 if (!Matcher::match_rule_supported(Op_IsFiniteD)) return false; 575 break; 576 case vmIntrinsics::_hashCode: 577 case vmIntrinsics::_identityHashCode: 578 case vmIntrinsics::_getClass: 579 case vmIntrinsics::_dsin: 580 case vmIntrinsics::_dcos: 581 case vmIntrinsics::_dtan: 582 case vmIntrinsics::_dabs: 583 case vmIntrinsics::_fabs: 584 case vmIntrinsics::_iabs: 585 case vmIntrinsics::_labs: 586 case vmIntrinsics::_datan2: 587 case vmIntrinsics::_dsqrt: 588 case vmIntrinsics::_dsqrt_strict: 589 case vmIntrinsics::_dexp: 590 case vmIntrinsics::_dlog: 591 case vmIntrinsics::_dlog10: 592 case vmIntrinsics::_dpow: 593 case vmIntrinsics::_roundD: 594 case vmIntrinsics::_roundF: 595 case vmIntrinsics::_min: 596 case vmIntrinsics::_max: 597 case vmIntrinsics::_min_strict: 598 case vmIntrinsics::_max_strict: 599 case vmIntrinsics::_arraycopy: 600 case vmIntrinsics::_indexOfL: 601 case vmIntrinsics::_indexOfU: 602 case vmIntrinsics::_indexOfUL: 603 case vmIntrinsics::_indexOfIL: 604 case vmIntrinsics::_indexOfIU: 605 case vmIntrinsics::_indexOfIUL: 606 case vmIntrinsics::_indexOfU_char: 607 case vmIntrinsics::_indexOfL_char: 608 case vmIntrinsics::_toBytesStringU: 609 case vmIntrinsics::_getCharsStringU: 610 case vmIntrinsics::_getCharStringU: 611 case vmIntrinsics::_putCharStringU: 612 case vmIntrinsics::_getReference: 613 case vmIntrinsics::_getBoolean: 614 case vmIntrinsics::_getByte: 615 case vmIntrinsics::_getShort: 616 case vmIntrinsics::_getChar: 617 case vmIntrinsics::_getInt: 618 case vmIntrinsics::_getLong: 619 case vmIntrinsics::_getFloat: 620 case vmIntrinsics::_getDouble: 621 case vmIntrinsics::_putReference: 622 case vmIntrinsics::_putBoolean: 623 case vmIntrinsics::_putByte: 624 case vmIntrinsics::_putShort: 625 case vmIntrinsics::_putChar: 626 case vmIntrinsics::_putInt: 627 case vmIntrinsics::_putLong: 628 case vmIntrinsics::_putFloat: 629 case vmIntrinsics::_putDouble: 630 case vmIntrinsics::_getReferenceVolatile: 631 case vmIntrinsics::_getBooleanVolatile: 632 case vmIntrinsics::_getByteVolatile: 633 case vmIntrinsics::_getShortVolatile: 634 case vmIntrinsics::_getCharVolatile: 635 case vmIntrinsics::_getIntVolatile: 636 case vmIntrinsics::_getLongVolatile: 637 case vmIntrinsics::_getFloatVolatile: 638 case vmIntrinsics::_getDoubleVolatile: 639 case vmIntrinsics::_putReferenceVolatile: 640 case vmIntrinsics::_putBooleanVolatile: 641 case vmIntrinsics::_putByteVolatile: 642 case vmIntrinsics::_putShortVolatile: 643 case vmIntrinsics::_putCharVolatile: 644 case vmIntrinsics::_putIntVolatile: 645 case vmIntrinsics::_putLongVolatile: 646 case vmIntrinsics::_putFloatVolatile: 647 case vmIntrinsics::_putDoubleVolatile: 648 case vmIntrinsics::_getReferenceAcquire: 649 case vmIntrinsics::_getBooleanAcquire: 650 case vmIntrinsics::_getByteAcquire: 651 case vmIntrinsics::_getShortAcquire: 652 case vmIntrinsics::_getCharAcquire: 653 case vmIntrinsics::_getIntAcquire: 654 case vmIntrinsics::_getLongAcquire: 655 case vmIntrinsics::_getFloatAcquire: 656 case vmIntrinsics::_getDoubleAcquire: 657 case vmIntrinsics::_putReferenceRelease: 658 case vmIntrinsics::_putBooleanRelease: 659 case vmIntrinsics::_putByteRelease: 660 case vmIntrinsics::_putShortRelease: 661 case vmIntrinsics::_putCharRelease: 662 case vmIntrinsics::_putIntRelease: 663 case vmIntrinsics::_putLongRelease: 664 case vmIntrinsics::_putFloatRelease: 665 case vmIntrinsics::_putDoubleRelease: 666 case vmIntrinsics::_getReferenceOpaque: 667 case vmIntrinsics::_getBooleanOpaque: 668 case vmIntrinsics::_getByteOpaque: 669 case vmIntrinsics::_getShortOpaque: 670 case vmIntrinsics::_getCharOpaque: 671 case vmIntrinsics::_getIntOpaque: 672 case vmIntrinsics::_getLongOpaque: 673 case vmIntrinsics::_getFloatOpaque: 674 case vmIntrinsics::_getDoubleOpaque: 675 case vmIntrinsics::_putReferenceOpaque: 676 case vmIntrinsics::_putBooleanOpaque: 677 case vmIntrinsics::_putByteOpaque: 678 case vmIntrinsics::_putShortOpaque: 679 case vmIntrinsics::_putCharOpaque: 680 case vmIntrinsics::_putIntOpaque: 681 case vmIntrinsics::_putLongOpaque: 682 case vmIntrinsics::_putFloatOpaque: 683 case vmIntrinsics::_putDoubleOpaque: 684 case vmIntrinsics::_getShortUnaligned: 685 case vmIntrinsics::_getCharUnaligned: 686 case vmIntrinsics::_getIntUnaligned: 687 case vmIntrinsics::_getLongUnaligned: 688 case vmIntrinsics::_putShortUnaligned: 689 case vmIntrinsics::_putCharUnaligned: 690 case vmIntrinsics::_putIntUnaligned: 691 case vmIntrinsics::_putLongUnaligned: 692 case vmIntrinsics::_loadFence: 693 case vmIntrinsics::_storeFence: 694 case vmIntrinsics::_storeStoreFence: 695 case vmIntrinsics::_fullFence: 696 case vmIntrinsics::_currentCarrierThread: 697 case vmIntrinsics::_currentThread: 698 case vmIntrinsics::_setCurrentThread: 699 case vmIntrinsics::_scopedValueCache: 700 case vmIntrinsics::_setScopedValueCache: 701 #ifdef JFR_HAVE_INTRINSICS 702 case vmIntrinsics::_counterTime: 703 case vmIntrinsics::_getEventWriter: 704 case vmIntrinsics::_jvm_commit: 705 #endif 706 case vmIntrinsics::_currentTimeMillis: 707 case vmIntrinsics::_nanoTime: 708 case vmIntrinsics::_allocateInstance: 709 case vmIntrinsics::_allocateUninitializedArray: 710 case vmIntrinsics::_newArray: 711 case vmIntrinsics::_getLength: 712 case vmIntrinsics::_copyOf: 713 case vmIntrinsics::_copyOfRange: 714 case vmIntrinsics::_clone: 715 case vmIntrinsics::_isAssignableFrom: 716 case vmIntrinsics::_isInstance: 717 case vmIntrinsics::_getModifiers: 718 case vmIntrinsics::_isInterface: 719 case vmIntrinsics::_isArray: 720 case vmIntrinsics::_isPrimitive: 721 case vmIntrinsics::_isHidden: 722 case vmIntrinsics::_getSuperclass: 723 case vmIntrinsics::_getClassAccessFlags: 724 case vmIntrinsics::_floatToRawIntBits: 725 case vmIntrinsics::_floatToIntBits: 726 case vmIntrinsics::_intBitsToFloat: 727 case vmIntrinsics::_doubleToRawLongBits: 728 case vmIntrinsics::_doubleToLongBits: 729 case vmIntrinsics::_longBitsToDouble: 730 case vmIntrinsics::_Reference_get: 731 case vmIntrinsics::_Reference_refersTo0: 732 case vmIntrinsics::_PhantomReference_refersTo0: 733 case vmIntrinsics::_Class_cast: 734 case vmIntrinsics::_aescrypt_encryptBlock: 735 case vmIntrinsics::_aescrypt_decryptBlock: 736 case vmIntrinsics::_cipherBlockChaining_encryptAESCrypt: 737 case vmIntrinsics::_cipherBlockChaining_decryptAESCrypt: 738 case vmIntrinsics::_counterMode_AESCrypt: 739 case vmIntrinsics::_md5_implCompress: 740 case vmIntrinsics::_sha_implCompress: 741 case vmIntrinsics::_sha2_implCompress: 742 case vmIntrinsics::_sha5_implCompress: 743 case vmIntrinsics::_sha3_implCompress: 744 case vmIntrinsics::_digestBase_implCompressMB: 745 case vmIntrinsics::_multiplyToLen: 746 case vmIntrinsics::_squareToLen: 747 case vmIntrinsics::_mulAdd: 748 case vmIntrinsics::_montgomeryMultiply: 749 case vmIntrinsics::_montgomerySquare: 750 case vmIntrinsics::_vectorizedMismatch: 751 case vmIntrinsics::_ghash_processBlocks: 752 case vmIntrinsics::_chacha20Block: 753 case vmIntrinsics::_base64_encodeBlock: 754 case vmIntrinsics::_base64_decodeBlock: 755 case vmIntrinsics::_poly1305_processBlocks: 756 case vmIntrinsics::_updateCRC32: 757 case vmIntrinsics::_updateBytesCRC32: 758 case vmIntrinsics::_updateByteBufferCRC32: 759 case vmIntrinsics::_updateBytesCRC32C: 760 case vmIntrinsics::_updateDirectByteBufferCRC32C: 761 case vmIntrinsics::_updateBytesAdler32: 762 case vmIntrinsics::_updateByteBufferAdler32: 763 case vmIntrinsics::_profileBoolean: 764 case vmIntrinsics::_isCompileConstant: 765 case vmIntrinsics::_Preconditions_checkIndex: 766 case vmIntrinsics::_Preconditions_checkLongIndex: 767 case vmIntrinsics::_getObjectSize: 768 break; 769 case vmIntrinsics::_VectorCompressExpand: 770 case vmIntrinsics::_VectorUnaryOp: 771 case vmIntrinsics::_VectorBinaryOp: 772 case vmIntrinsics::_VectorTernaryOp: 773 case vmIntrinsics::_VectorFromBitsCoerced: 774 case vmIntrinsics::_VectorShuffleIota: 775 case vmIntrinsics::_VectorShuffleToVector: 776 case vmIntrinsics::_VectorLoadOp: 777 case vmIntrinsics::_VectorLoadMaskedOp: 778 case vmIntrinsics::_VectorStoreOp: 779 case vmIntrinsics::_VectorStoreMaskedOp: 780 case vmIntrinsics::_VectorGatherOp: 781 case vmIntrinsics::_VectorScatterOp: 782 case vmIntrinsics::_VectorReductionCoerced: 783 case vmIntrinsics::_VectorTest: 784 case vmIntrinsics::_VectorBlend: 785 case vmIntrinsics::_VectorRearrange: 786 case vmIntrinsics::_VectorCompare: 787 case vmIntrinsics::_VectorBroadcastInt: 788 case vmIntrinsics::_VectorConvert: 789 case vmIntrinsics::_VectorInsert: 790 case vmIntrinsics::_VectorExtract: 791 case vmIntrinsics::_VectorMaskOp: 792 case vmIntrinsics::_IndexVector: 793 case vmIntrinsics::_IndexPartiallyInUpperRange: 794 return EnableVectorSupport; 795 case vmIntrinsics::_blackhole: 796 #if INCLUDE_JVMTI 797 case vmIntrinsics::_notifyJvmtiVThreadStart: 798 case vmIntrinsics::_notifyJvmtiVThreadEnd: 799 case vmIntrinsics::_notifyJvmtiVThreadMount: 800 case vmIntrinsics::_notifyJvmtiVThreadUnmount: 801 case vmIntrinsics::_notifyJvmtiVThreadHideFrames: 802 #endif 803 break; 804 805 default: 806 return false; 807 } 808 return true; 809 } 810 811 int C2Compiler::initial_code_buffer_size(int const_size) { 812 // See Compile::init_scratch_buffer_blob 813 int locs_size = sizeof(relocInfo) * PhaseOutput::MAX_locs_size; 814 int slop = 2 * CodeSection::end_slop(); // space between sections 815 return PhaseOutput::MAX_inst_size + PhaseOutput::MAX_stubs_size + const_size + slop + locs_size; 816 }