1 /*
   2  * Copyright (c) 1999, 2019, 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 "runtime/handles.inline.hpp"
  27 #include "jfr/support/jfrIntrinsics.hpp"
  28 #include "opto/c2compiler.hpp"
  29 #include "opto/compile.hpp"
  30 #include "opto/optoreg.hpp"
  31 #include "opto/output.hpp"
  32 #include "opto/runtime.hpp"
  33 #include "utilities/macros.hpp"
  34 
  35 
  36 // register information defined by ADLC
  37 extern const char register_save_policy[];
  38 extern const int  register_save_type[];
  39 
  40 const char* C2Compiler::retry_no_subsuming_loads() {
  41   return "retry without subsuming loads";
  42 }
  43 const char* C2Compiler::retry_no_escape_analysis() {
  44   return "retry without escape analysis";
  45 }
  46 const char* C2Compiler::retry_class_loading_during_parsing() {
  47   return "retry class loading during parsing";
  48 }
  49 bool C2Compiler::init_c2_runtime() {
  50 
  51   // Check assumptions used while running ADLC
  52   Compile::adlc_verification();
  53   assert(REG_COUNT <= ConcreteRegisterImpl::number_of_registers, "incompatible register counts");
  54 
  55   for (int i = 0; i < ConcreteRegisterImpl::number_of_registers ; i++ ) {
  56       OptoReg::vm2opto[i] = OptoReg::Bad;
  57   }
  58 
  59   for( OptoReg::Name i=OptoReg::Name(0); i<OptoReg::Name(REG_COUNT); i = OptoReg::add(i,1) ) {
  60     VMReg r = OptoReg::as_VMReg(i);
  61     if (r->is_valid()) {
  62       OptoReg::vm2opto[r->value()] = i;
  63     }
  64   }
  65 
  66   // Check that runtime and architecture description agree on callee-saved-floats
  67   bool callee_saved_floats = false;
  68   for( OptoReg::Name i=OptoReg::Name(0); i<OptoReg::Name(_last_Mach_Reg); i = OptoReg::add(i,1) ) {
  69     // Is there a callee-saved float or double?
  70     if( register_save_policy[i] == 'E' /* callee-saved */ &&
  71        (register_save_type[i] == Op_RegF || register_save_type[i] == Op_RegD) ) {
  72       callee_saved_floats = true;
  73     }
  74   }
  75 
  76   DEBUG_ONLY( Node::init_NodeProperty(); )
  77 
  78   Compile::pd_compiler2_init();
  79 
  80   CompilerThread* thread = CompilerThread::current();
  81 
  82   HandleMark handle_mark(thread);
  83   return OptoRuntime::generate(thread->env());
  84 }
  85 
  86 void C2Compiler::initialize() {
  87   // The first compiler thread that gets here will initialize the
  88   // small amount of global state (and runtime stubs) that C2 needs.
  89 
  90   // There is a race possible once at startup and then we're fine
  91 
  92   // Note that this is being called from a compiler thread not the
  93   // main startup thread.
  94   if (should_perform_init()) {
  95     bool successful = C2Compiler::init_c2_runtime();
  96     int new_state = (successful) ? initialized : failed;
  97     set_state(new_state);
  98   }
  99 }
 100 
 101 void C2Compiler::compile_method(ciEnv* env, ciMethod* target, int entry_bci, DirectiveSet* directive) {
 102   assert(is_initialized(), "Compiler thread must be initialized");
 103 
 104   bool subsume_loads = SubsumeLoads;
 105   bool do_escape_analysis = DoEscapeAnalysis && !env->should_retain_local_variables()
 106                                              && !env->jvmti_can_get_owned_monitor_info();
 107   bool eliminate_boxing = EliminateAutoBox;
 108 
 109   while (!env->failing()) {
 110     // Attempt to compile while subsuming loads into machine instructions.
 111     Compile C(env, target, entry_bci, subsume_loads, do_escape_analysis, eliminate_boxing, directive);
 112 
 113     // Check result and retry if appropriate.
 114     if (C.failure_reason() != NULL) {
 115       if (C.failure_reason_is(retry_class_loading_during_parsing())) {
 116         env->report_failure(C.failure_reason());
 117         continue;  // retry
 118       }
 119       if (C.failure_reason_is(retry_no_subsuming_loads())) {
 120         assert(subsume_loads, "must make progress");
 121         subsume_loads = false;
 122         env->report_failure(C.failure_reason());
 123         continue;  // retry
 124       }
 125       if (C.failure_reason_is(retry_no_escape_analysis())) {
 126         assert(do_escape_analysis, "must make progress");
 127         do_escape_analysis = false;
 128         env->report_failure(C.failure_reason());
 129         continue;  // retry
 130       }
 131       if (C.has_boxed_value()) {
 132         // Recompile without boxing elimination regardless failure reason.
 133         assert(eliminate_boxing, "must make progress");
 134         eliminate_boxing = false;
 135         env->report_failure(C.failure_reason());
 136         continue;  // retry
 137       }
 138       // Pass any other failure reason up to the ciEnv.
 139       // Note that serious, irreversible failures are already logged
 140       // on the ciEnv via env->record_method_not_compilable().
 141       env->record_failure(C.failure_reason());
 142     }
 143     if (StressRecompilation) {
 144       if (subsume_loads) {
 145         subsume_loads = false;
 146         continue;  // retry
 147       }
 148       if (do_escape_analysis) {
 149         do_escape_analysis = false;
 150         continue;  // retry
 151       }
 152     }
 153 
 154     // print inlining for last compilation only
 155     C.dump_print_inlining();
 156 
 157     // No retry; just break the loop.
 158     break;
 159   }
 160 }
 161 
 162 void C2Compiler::print_timers() {
 163   Compile::print_timers();
 164 }
 165 
 166 bool C2Compiler::is_intrinsic_supported(const methodHandle& method, bool is_virtual) {
 167   vmIntrinsics::ID id = method->intrinsic_id();
 168   assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
 169 
 170   if (id < vmIntrinsics::FIRST_ID || id > vmIntrinsics::LAST_COMPILER_INLINE) {
 171     return false;
 172   }
 173 
 174   // Only Object.hashCode and Object.clone intrinsics implement also a virtual
 175   // dispatch because calling both methods is expensive but both methods are
 176   // frequently overridden. All other intrinsics implement only a non-virtual
 177   // dispatch.
 178   if (is_virtual) {
 179     switch (id) {
 180     case vmIntrinsics::_hashCode:
 181     case vmIntrinsics::_clone:
 182       break;
 183     default:
 184       return false;
 185     }
 186   }
 187 
 188   switch (id) {
 189   case vmIntrinsics::_compressStringC:
 190   case vmIntrinsics::_compressStringB:
 191     if (!Matcher::has_match_rule(Op_StrCompressedCopy)) return false;
 192     break;
 193   case vmIntrinsics::_inflateStringC:
 194   case vmIntrinsics::_inflateStringB:
 195     if (!Matcher::has_match_rule(Op_StrInflatedCopy)) return false;
 196     break;
 197   case vmIntrinsics::_compareToL:
 198   case vmIntrinsics::_compareToU:
 199   case vmIntrinsics::_compareToLU:
 200   case vmIntrinsics::_compareToUL:
 201     if (!Matcher::match_rule_supported(Op_StrComp)) return false;
 202     break;
 203   case vmIntrinsics::_equalsL:
 204   case vmIntrinsics::_equalsU:
 205     if (!Matcher::match_rule_supported(Op_StrEquals)) return false;
 206     break;
 207   case vmIntrinsics::_equalsB:
 208   case vmIntrinsics::_equalsC:
 209     if (!Matcher::match_rule_supported(Op_AryEq)) return false;
 210     break;
 211   case vmIntrinsics::_copyMemory:
 212     if (StubRoutines::unsafe_arraycopy() == NULL) return false;
 213     break;
 214   case vmIntrinsics::_encodeISOArray:
 215   case vmIntrinsics::_encodeByteISOArray:
 216     if (!Matcher::match_rule_supported(Op_EncodeISOArray)) return false;
 217     break;
 218   case vmIntrinsics::_hasNegatives:
 219     if (!Matcher::match_rule_supported(Op_HasNegatives))  return false;
 220     break;
 221   case vmIntrinsics::_bitCount_i:
 222     if (!Matcher::match_rule_supported(Op_PopCountI)) return false;
 223     break;
 224   case vmIntrinsics::_bitCount_l:
 225     if (!Matcher::match_rule_supported(Op_PopCountL)) return false;
 226     break;
 227   case vmIntrinsics::_numberOfLeadingZeros_i:
 228     if (!Matcher::match_rule_supported(Op_CountLeadingZerosI)) return false;
 229     break;
 230   case vmIntrinsics::_numberOfLeadingZeros_l:
 231     if (!Matcher::match_rule_supported(Op_CountLeadingZerosL)) return false;
 232     break;
 233   case vmIntrinsics::_numberOfTrailingZeros_i:
 234     if (!Matcher::match_rule_supported(Op_CountTrailingZerosI)) return false;
 235     break;
 236   case vmIntrinsics::_numberOfTrailingZeros_l:
 237     if (!Matcher::match_rule_supported(Op_CountTrailingZerosL)) return false;
 238     break;
 239   case vmIntrinsics::_reverseBytes_c:
 240     if (!Matcher::match_rule_supported(Op_ReverseBytesUS)) return false;
 241     break;
 242   case vmIntrinsics::_reverseBytes_s:
 243     if (!Matcher::match_rule_supported(Op_ReverseBytesS)) return false;
 244     break;
 245   case vmIntrinsics::_reverseBytes_i:
 246     if (!Matcher::match_rule_supported(Op_ReverseBytesI)) return false;
 247     break;
 248   case vmIntrinsics::_reverseBytes_l:
 249     if (!Matcher::match_rule_supported(Op_ReverseBytesL)) return false;
 250     break;
 251 
 252   /* CompareAndSet, Object: */
 253   case vmIntrinsics::_compareAndSetReference:
 254 #ifdef _LP64
 255     if ( UseCompressedOops && !Matcher::match_rule_supported(Op_CompareAndSwapN)) return false;
 256     if (!UseCompressedOops && !Matcher::match_rule_supported(Op_CompareAndSwapP)) return false;
 257 #else
 258     if (!Matcher::match_rule_supported(Op_CompareAndSwapP)) return false;
 259 #endif
 260     break;
 261   case vmIntrinsics::_weakCompareAndSetReferencePlain:
 262   case vmIntrinsics::_weakCompareAndSetReferenceAcquire:
 263   case vmIntrinsics::_weakCompareAndSetReferenceRelease:
 264   case vmIntrinsics::_weakCompareAndSetReference:
 265 #ifdef _LP64
 266     if ( UseCompressedOops && !Matcher::match_rule_supported(Op_WeakCompareAndSwapN)) return false;
 267     if (!UseCompressedOops && !Matcher::match_rule_supported(Op_WeakCompareAndSwapP)) return false;
 268 #else
 269     if (!Matcher::match_rule_supported(Op_WeakCompareAndSwapP)) return false;
 270 #endif
 271     break;
 272   /* CompareAndSet, Long: */
 273   case vmIntrinsics::_compareAndSetLong:
 274     if (!Matcher::match_rule_supported(Op_CompareAndSwapL)) return false;
 275     break;
 276   case vmIntrinsics::_weakCompareAndSetLongPlain:
 277   case vmIntrinsics::_weakCompareAndSetLongAcquire:
 278   case vmIntrinsics::_weakCompareAndSetLongRelease:
 279   case vmIntrinsics::_weakCompareAndSetLong:
 280     if (!Matcher::match_rule_supported(Op_WeakCompareAndSwapL)) return false;
 281     break;
 282 
 283   /* CompareAndSet, Int: */
 284   case vmIntrinsics::_compareAndSetInt:
 285     if (!Matcher::match_rule_supported(Op_CompareAndSwapI)) return false;
 286     break;
 287   case vmIntrinsics::_weakCompareAndSetIntPlain:
 288   case vmIntrinsics::_weakCompareAndSetIntAcquire:
 289   case vmIntrinsics::_weakCompareAndSetIntRelease:
 290   case vmIntrinsics::_weakCompareAndSetInt:
 291     if (!Matcher::match_rule_supported(Op_WeakCompareAndSwapI)) return false;
 292     break;
 293 
 294   /* CompareAndSet, Byte: */
 295   case vmIntrinsics::_compareAndSetByte:
 296     if (!Matcher::match_rule_supported(Op_CompareAndSwapB)) return false;
 297     break;
 298   case vmIntrinsics::_weakCompareAndSetBytePlain:
 299   case vmIntrinsics::_weakCompareAndSetByteAcquire:
 300   case vmIntrinsics::_weakCompareAndSetByteRelease:
 301   case vmIntrinsics::_weakCompareAndSetByte:
 302     if (!Matcher::match_rule_supported(Op_WeakCompareAndSwapB)) return false;
 303     break;
 304 
 305   /* CompareAndSet, Short: */
 306   case vmIntrinsics::_compareAndSetShort:
 307     if (!Matcher::match_rule_supported(Op_CompareAndSwapS)) return false;
 308     break;
 309   case vmIntrinsics::_weakCompareAndSetShortPlain:
 310   case vmIntrinsics::_weakCompareAndSetShortAcquire:
 311   case vmIntrinsics::_weakCompareAndSetShortRelease:
 312   case vmIntrinsics::_weakCompareAndSetShort:
 313     if (!Matcher::match_rule_supported(Op_WeakCompareAndSwapS)) return false;
 314     break;
 315 
 316   /* CompareAndExchange, Object: */
 317   case vmIntrinsics::_compareAndExchangeReference:
 318   case vmIntrinsics::_compareAndExchangeReferenceAcquire:
 319   case vmIntrinsics::_compareAndExchangeReferenceRelease:
 320 #ifdef _LP64
 321     if ( UseCompressedOops && !Matcher::match_rule_supported(Op_CompareAndExchangeN)) return false;
 322     if (!UseCompressedOops && !Matcher::match_rule_supported(Op_CompareAndExchangeP)) return false;
 323 #else
 324     if (!Matcher::match_rule_supported(Op_CompareAndExchangeP)) return false;
 325 #endif
 326     break;
 327 
 328   /* CompareAndExchange, Long: */
 329   case vmIntrinsics::_compareAndExchangeLong:
 330   case vmIntrinsics::_compareAndExchangeLongAcquire:
 331   case vmIntrinsics::_compareAndExchangeLongRelease:
 332     if (!Matcher::match_rule_supported(Op_CompareAndExchangeL)) return false;
 333     break;
 334 
 335   /* CompareAndExchange, Int: */
 336   case vmIntrinsics::_compareAndExchangeInt:
 337   case vmIntrinsics::_compareAndExchangeIntAcquire:
 338   case vmIntrinsics::_compareAndExchangeIntRelease:
 339     if (!Matcher::match_rule_supported(Op_CompareAndExchangeI)) return false;
 340     break;
 341 
 342   /* CompareAndExchange, Byte: */
 343   case vmIntrinsics::_compareAndExchangeByte:
 344   case vmIntrinsics::_compareAndExchangeByteAcquire:
 345   case vmIntrinsics::_compareAndExchangeByteRelease:
 346     if (!Matcher::match_rule_supported(Op_CompareAndExchangeB)) return false;
 347     break;
 348 
 349   /* CompareAndExchange, Short: */
 350   case vmIntrinsics::_compareAndExchangeShort:
 351   case vmIntrinsics::_compareAndExchangeShortAcquire:
 352   case vmIntrinsics::_compareAndExchangeShortRelease:
 353     if (!Matcher::match_rule_supported(Op_CompareAndExchangeS)) return false;
 354     break;
 355 
 356   case vmIntrinsics::_getAndAddByte:
 357     if (!Matcher::match_rule_supported(Op_GetAndAddB)) return false;
 358     break;
 359   case vmIntrinsics::_getAndAddShort:
 360     if (!Matcher::match_rule_supported(Op_GetAndAddS)) return false;
 361     break;
 362   case vmIntrinsics::_getAndAddInt:
 363     if (!Matcher::match_rule_supported(Op_GetAndAddI)) return false;
 364     break;
 365   case vmIntrinsics::_getAndAddLong:
 366     if (!Matcher::match_rule_supported(Op_GetAndAddL)) return false;
 367     break;
 368 
 369   case vmIntrinsics::_getAndSetByte:
 370     if (!Matcher::match_rule_supported(Op_GetAndSetB)) return false;
 371     break;
 372   case vmIntrinsics::_getAndSetShort:
 373     if (!Matcher::match_rule_supported(Op_GetAndSetS)) return false;
 374     break;
 375   case vmIntrinsics::_getAndSetInt:
 376     if (!Matcher::match_rule_supported(Op_GetAndSetI)) return false;
 377     break;
 378   case vmIntrinsics::_getAndSetLong:
 379     if (!Matcher::match_rule_supported(Op_GetAndSetL)) return false;
 380     break;
 381   case vmIntrinsics::_getAndSetReference:
 382 #ifdef _LP64
 383     if (!UseCompressedOops && !Matcher::match_rule_supported(Op_GetAndSetP)) return false;
 384     if (UseCompressedOops && !Matcher::match_rule_supported(Op_GetAndSetN)) return false;
 385     break;
 386 #else
 387     if (!Matcher::match_rule_supported(Op_GetAndSetP)) return false;
 388     break;
 389 #endif
 390   case vmIntrinsics::_incrementExactI:
 391   case vmIntrinsics::_addExactI:
 392     if (!Matcher::match_rule_supported(Op_OverflowAddI)) return false;
 393     break;
 394   case vmIntrinsics::_incrementExactL:
 395   case vmIntrinsics::_addExactL:
 396     if (!Matcher::match_rule_supported(Op_OverflowAddL)) return false;
 397     break;
 398   case vmIntrinsics::_decrementExactI:
 399   case vmIntrinsics::_subtractExactI:
 400     if (!Matcher::match_rule_supported(Op_OverflowSubI)) return false;
 401     break;
 402   case vmIntrinsics::_decrementExactL:
 403   case vmIntrinsics::_subtractExactL:
 404     if (!Matcher::match_rule_supported(Op_OverflowSubL)) return false;
 405     break;
 406   case vmIntrinsics::_negateExactI:
 407     if (!Matcher::match_rule_supported(Op_OverflowSubI)) return false;
 408     break;
 409   case vmIntrinsics::_negateExactL:
 410     if (!Matcher::match_rule_supported(Op_OverflowSubL)) return false;
 411     break;
 412   case vmIntrinsics::_multiplyExactI:
 413     if (!Matcher::match_rule_supported(Op_OverflowMulI)) return false;
 414     break;
 415   case vmIntrinsics::_multiplyExactL:
 416     if (!Matcher::match_rule_supported(Op_OverflowMulL)) return false;
 417     break;
 418   case vmIntrinsics::_multiplyHigh:
 419     if (!Matcher::match_rule_supported(Op_MulHiL)) return false;
 420     break;
 421   case vmIntrinsics::_getCallerClass:
 422     if (SystemDictionary::reflect_CallerSensitive_klass() == NULL) return false;
 423     break;
 424   case vmIntrinsics::_onSpinWait:
 425     if (!Matcher::match_rule_supported(Op_OnSpinWait)) return false;
 426     break;
 427   case vmIntrinsics::_fmaD:
 428     if (!UseFMA || !Matcher::match_rule_supported(Op_FmaD)) return false;
 429     break;
 430   case vmIntrinsics::_fmaF:
 431     if (!UseFMA || !Matcher::match_rule_supported(Op_FmaF)) return false;
 432     break;
 433   case vmIntrinsics::_isDigit:
 434     if (!Matcher::match_rule_supported(Op_Digit)) return false;
 435     break;
 436   case vmIntrinsics::_isLowerCase:
 437     if (!Matcher::match_rule_supported(Op_LowerCase)) return false;
 438     break;
 439   case vmIntrinsics::_isUpperCase:
 440     if (!Matcher::match_rule_supported(Op_UpperCase)) return false;
 441     break;
 442   case vmIntrinsics::_isWhitespace:
 443     if (!Matcher::match_rule_supported(Op_Whitespace)) return false;
 444     break;
 445   case vmIntrinsics::_maxF:
 446     if (!Matcher::match_rule_supported(Op_MaxF)) return false;
 447     break;
 448   case vmIntrinsics::_minF:
 449     if (!Matcher::match_rule_supported(Op_MinF)) return false;
 450     break;
 451   case vmIntrinsics::_maxD:
 452     if (!Matcher::match_rule_supported(Op_MaxD)) return false;
 453     break;
 454   case vmIntrinsics::_minD:
 455     if (!Matcher::match_rule_supported(Op_MinD)) return false;
 456     break;
 457   case vmIntrinsics::_writeback0:
 458     if (!Matcher::match_rule_supported(Op_CacheWB)) return false;
 459     break;
 460   case vmIntrinsics::_writebackPreSync0:
 461     if (!Matcher::match_rule_supported(Op_CacheWBPreSync)) return false;
 462     break;
 463   case vmIntrinsics::_writebackPostSync0:
 464     if (!Matcher::match_rule_supported(Op_CacheWBPostSync)) return false;
 465     break;
 466   case vmIntrinsics::_rint:
 467   case vmIntrinsics::_ceil:
 468   case vmIntrinsics::_floor:
 469     if (!Matcher::match_rule_supported(Op_RoundDoubleMode)) return false;
 470     break;
 471   case vmIntrinsics::_hashCode:
 472   case vmIntrinsics::_identityHashCode:
 473   case vmIntrinsics::_getClass:
 474   case vmIntrinsics::_dsin:
 475   case vmIntrinsics::_dcos:
 476   case vmIntrinsics::_dtan:
 477   case vmIntrinsics::_dabs:
 478   case vmIntrinsics::_fabs:
 479   case vmIntrinsics::_iabs:
 480   case vmIntrinsics::_labs:
 481   case vmIntrinsics::_datan2:
 482   case vmIntrinsics::_dsqrt:
 483   case vmIntrinsics::_dexp:
 484   case vmIntrinsics::_dlog:
 485   case vmIntrinsics::_dlog10:
 486   case vmIntrinsics::_dpow:
 487   case vmIntrinsics::_min:
 488   case vmIntrinsics::_max:
 489   case vmIntrinsics::_arraycopy:
 490   case vmIntrinsics::_indexOfL:
 491   case vmIntrinsics::_indexOfU:
 492   case vmIntrinsics::_indexOfUL:
 493   case vmIntrinsics::_indexOfIL:
 494   case vmIntrinsics::_indexOfIU:
 495   case vmIntrinsics::_indexOfIUL:
 496   case vmIntrinsics::_indexOfU_char:
 497   case vmIntrinsics::_toBytesStringU:
 498   case vmIntrinsics::_getCharsStringU:
 499   case vmIntrinsics::_getCharStringU:
 500   case vmIntrinsics::_putCharStringU:
 501   case vmIntrinsics::_getReference:
 502   case vmIntrinsics::_getBoolean:
 503   case vmIntrinsics::_getByte:
 504   case vmIntrinsics::_getShort:
 505   case vmIntrinsics::_getChar:
 506   case vmIntrinsics::_getInt:
 507   case vmIntrinsics::_getLong:
 508   case vmIntrinsics::_getFloat:
 509   case vmIntrinsics::_getDouble:
 510   case vmIntrinsics::_putReference:
 511   case vmIntrinsics::_putBoolean:
 512   case vmIntrinsics::_putByte:
 513   case vmIntrinsics::_putShort:
 514   case vmIntrinsics::_putChar:
 515   case vmIntrinsics::_putInt:
 516   case vmIntrinsics::_putLong:
 517   case vmIntrinsics::_putFloat:
 518   case vmIntrinsics::_putDouble:
 519   case vmIntrinsics::_getReferenceVolatile:
 520   case vmIntrinsics::_getBooleanVolatile:
 521   case vmIntrinsics::_getByteVolatile:
 522   case vmIntrinsics::_getShortVolatile:
 523   case vmIntrinsics::_getCharVolatile:
 524   case vmIntrinsics::_getIntVolatile:
 525   case vmIntrinsics::_getLongVolatile:
 526   case vmIntrinsics::_getFloatVolatile:
 527   case vmIntrinsics::_getDoubleVolatile:
 528   case vmIntrinsics::_putReferenceVolatile:
 529   case vmIntrinsics::_putBooleanVolatile:
 530   case vmIntrinsics::_putByteVolatile:
 531   case vmIntrinsics::_putShortVolatile:
 532   case vmIntrinsics::_putCharVolatile:
 533   case vmIntrinsics::_putIntVolatile:
 534   case vmIntrinsics::_putLongVolatile:
 535   case vmIntrinsics::_putFloatVolatile:
 536   case vmIntrinsics::_putDoubleVolatile:
 537   case vmIntrinsics::_getReferenceAcquire:
 538   case vmIntrinsics::_getBooleanAcquire:
 539   case vmIntrinsics::_getByteAcquire:
 540   case vmIntrinsics::_getShortAcquire:
 541   case vmIntrinsics::_getCharAcquire:
 542   case vmIntrinsics::_getIntAcquire:
 543   case vmIntrinsics::_getLongAcquire:
 544   case vmIntrinsics::_getFloatAcquire:
 545   case vmIntrinsics::_getDoubleAcquire:
 546   case vmIntrinsics::_putReferenceRelease:
 547   case vmIntrinsics::_putBooleanRelease:
 548   case vmIntrinsics::_putByteRelease:
 549   case vmIntrinsics::_putShortRelease:
 550   case vmIntrinsics::_putCharRelease:
 551   case vmIntrinsics::_putIntRelease:
 552   case vmIntrinsics::_putLongRelease:
 553   case vmIntrinsics::_putFloatRelease:
 554   case vmIntrinsics::_putDoubleRelease:
 555   case vmIntrinsics::_getReferenceOpaque:
 556   case vmIntrinsics::_getBooleanOpaque:
 557   case vmIntrinsics::_getByteOpaque:
 558   case vmIntrinsics::_getShortOpaque:
 559   case vmIntrinsics::_getCharOpaque:
 560   case vmIntrinsics::_getIntOpaque:
 561   case vmIntrinsics::_getLongOpaque:
 562   case vmIntrinsics::_getFloatOpaque:
 563   case vmIntrinsics::_getDoubleOpaque:
 564   case vmIntrinsics::_putReferenceOpaque:
 565   case vmIntrinsics::_putBooleanOpaque:
 566   case vmIntrinsics::_putByteOpaque:
 567   case vmIntrinsics::_putShortOpaque:
 568   case vmIntrinsics::_putCharOpaque:
 569   case vmIntrinsics::_putIntOpaque:
 570   case vmIntrinsics::_putLongOpaque:
 571   case vmIntrinsics::_putFloatOpaque:
 572   case vmIntrinsics::_putDoubleOpaque:
 573   case vmIntrinsics::_getShortUnaligned:
 574   case vmIntrinsics::_getCharUnaligned:
 575   case vmIntrinsics::_getIntUnaligned:
 576   case vmIntrinsics::_getLongUnaligned:
 577   case vmIntrinsics::_putShortUnaligned:
 578   case vmIntrinsics::_putCharUnaligned:
 579   case vmIntrinsics::_putIntUnaligned:
 580   case vmIntrinsics::_putLongUnaligned:
 581   case vmIntrinsics::_loadFence:
 582   case vmIntrinsics::_storeFence:
 583   case vmIntrinsics::_fullFence:
 584   case vmIntrinsics::_currentThread:
 585 #ifdef JFR_HAVE_INTRINSICS
 586   case vmIntrinsics::_counterTime:
 587   case vmIntrinsics::_getClassId:
 588   case vmIntrinsics::_getEventWriter:
 589 #endif
 590   case vmIntrinsics::_currentTimeMillis:
 591   case vmIntrinsics::_nanoTime:
 592   case vmIntrinsics::_allocateInstance:
 593   case vmIntrinsics::_allocateUninitializedArray:
 594   case vmIntrinsics::_newArray:
 595   case vmIntrinsics::_getLength:
 596   case vmIntrinsics::_copyOf:
 597   case vmIntrinsics::_copyOfRange:
 598   case vmIntrinsics::_clone:
 599   case vmIntrinsics::_isAssignableFrom:
 600   case vmIntrinsics::_isInstance:
 601   case vmIntrinsics::_getModifiers:
 602   case vmIntrinsics::_isInterface:
 603   case vmIntrinsics::_isArray:
 604   case vmIntrinsics::_isPrimitive:
 605   case vmIntrinsics::_isHiddenClass:
 606   case vmIntrinsics::_getSuperclass:
 607   case vmIntrinsics::_getClassAccessFlags:
 608   case vmIntrinsics::_floatToRawIntBits:
 609   case vmIntrinsics::_floatToIntBits:
 610   case vmIntrinsics::_intBitsToFloat:
 611   case vmIntrinsics::_doubleToRawLongBits:
 612   case vmIntrinsics::_doubleToLongBits:
 613   case vmIntrinsics::_longBitsToDouble:
 614   case vmIntrinsics::_Reference_get:
 615   case vmIntrinsics::_Class_cast:
 616   case vmIntrinsics::_aescrypt_encryptBlock:
 617   case vmIntrinsics::_aescrypt_decryptBlock:
 618   case vmIntrinsics::_cipherBlockChaining_encryptAESCrypt:
 619   case vmIntrinsics::_cipherBlockChaining_decryptAESCrypt:
 620   case vmIntrinsics::_electronicCodeBook_encryptAESCrypt:
 621   case vmIntrinsics::_electronicCodeBook_decryptAESCrypt:
 622   case vmIntrinsics::_counterMode_AESCrypt:
 623   case vmIntrinsics::_sha_implCompress:
 624   case vmIntrinsics::_sha2_implCompress:
 625   case vmIntrinsics::_sha5_implCompress:
 626   case vmIntrinsics::_digestBase_implCompressMB:
 627   case vmIntrinsics::_multiplyToLen:
 628   case vmIntrinsics::_squareToLen:
 629   case vmIntrinsics::_mulAdd:
 630   case vmIntrinsics::_montgomeryMultiply:
 631   case vmIntrinsics::_montgomerySquare:
 632   case vmIntrinsics::_bigIntegerRightShiftWorker:
 633   case vmIntrinsics::_bigIntegerLeftShiftWorker:
 634   case vmIntrinsics::_vectorizedMismatch:
 635   case vmIntrinsics::_ghash_processBlocks:
 636   case vmIntrinsics::_base64_encodeBlock:
 637   case vmIntrinsics::_updateCRC32:
 638   case vmIntrinsics::_updateBytesCRC32:
 639   case vmIntrinsics::_updateByteBufferCRC32:
 640   case vmIntrinsics::_updateBytesCRC32C:
 641   case vmIntrinsics::_updateDirectByteBufferCRC32C:
 642   case vmIntrinsics::_updateBytesAdler32:
 643   case vmIntrinsics::_updateByteBufferAdler32:
 644   case vmIntrinsics::_profileBoolean:
 645   case vmIntrinsics::_isCompileConstant:
 646   case vmIntrinsics::_Preconditions_checkIndex:
 647     break;
 648   default:
 649     return false;
 650   }
 651   return true;
 652 }
 653 
 654 int C2Compiler::initial_code_buffer_size(int const_size) {
 655   // See Compile::init_scratch_buffer_blob
 656   int locs_size = sizeof(relocInfo) * PhaseOutput::MAX_locs_size;
 657   int slop = 2 * CodeSection::end_slop(); // space between sections
 658   return PhaseOutput::MAX_inst_size + PhaseOutput::MAX_stubs_size + const_size + slop + locs_size;
 659 }