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 
retry_no_subsuming_loads()40 const char* C2Compiler::retry_no_subsuming_loads() {
41   return "retry without subsuming loads";
42 }
retry_no_escape_analysis()43 const char* C2Compiler::retry_no_escape_analysis() {
44   return "retry without escape analysis";
45 }
retry_class_loading_during_parsing()46 const char* C2Compiler::retry_class_loading_during_parsing() {
47   return "retry class loading during parsing";
48 }
init_c2_runtime()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 
initialize()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 
compile_method(ciEnv * env,ciMethod * target,int entry_bci,DirectiveSet * directive)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, this, 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 
print_timers()162 void C2Compiler::print_timers() {
163   Compile::print_timers();
164 }
165 
is_intrinsic_supported(const methodHandle & method,bool is_virtual)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::_getSuperclass:
606   case vmIntrinsics::_getClassAccessFlags:
607   case vmIntrinsics::_floatToRawIntBits:
608   case vmIntrinsics::_floatToIntBits:
609   case vmIntrinsics::_intBitsToFloat:
610   case vmIntrinsics::_doubleToRawLongBits:
611   case vmIntrinsics::_doubleToLongBits:
612   case vmIntrinsics::_longBitsToDouble:
613   case vmIntrinsics::_Reference_get:
614   case vmIntrinsics::_Class_cast:
615   case vmIntrinsics::_aescrypt_encryptBlock:
616   case vmIntrinsics::_aescrypt_decryptBlock:
617   case vmIntrinsics::_cipherBlockChaining_encryptAESCrypt:
618   case vmIntrinsics::_cipherBlockChaining_decryptAESCrypt:
619   case vmIntrinsics::_electronicCodeBook_encryptAESCrypt:
620   case vmIntrinsics::_electronicCodeBook_decryptAESCrypt:
621   case vmIntrinsics::_counterMode_AESCrypt:
622   case vmIntrinsics::_sha_implCompress:
623   case vmIntrinsics::_sha2_implCompress:
624   case vmIntrinsics::_sha5_implCompress:
625   case vmIntrinsics::_digestBase_implCompressMB:
626   case vmIntrinsics::_multiplyToLen:
627   case vmIntrinsics::_squareToLen:
628   case vmIntrinsics::_mulAdd:
629   case vmIntrinsics::_montgomeryMultiply:
630   case vmIntrinsics::_montgomerySquare:
631   case vmIntrinsics::_vectorizedMismatch:
632   case vmIntrinsics::_ghash_processBlocks:
633   case vmIntrinsics::_base64_encodeBlock:
634   case vmIntrinsics::_updateCRC32:
635   case vmIntrinsics::_updateBytesCRC32:
636   case vmIntrinsics::_updateByteBufferCRC32:
637   case vmIntrinsics::_updateBytesCRC32C:
638   case vmIntrinsics::_updateDirectByteBufferCRC32C:
639   case vmIntrinsics::_updateBytesAdler32:
640   case vmIntrinsics::_updateByteBufferAdler32:
641   case vmIntrinsics::_profileBoolean:
642   case vmIntrinsics::_isCompileConstant:
643   case vmIntrinsics::_Preconditions_checkIndex:
644     break;
645   default:
646     return false;
647   }
648   return true;
649 }
650 
initial_code_buffer_size(int const_size)651 int C2Compiler::initial_code_buffer_size(int const_size) {
652   // See Compile::init_scratch_buffer_blob
653   int locs_size = sizeof(relocInfo) * Compile::MAX_locs_size;
654   int slop = 2 * CodeSection::end_slop(); // space between sections
655   return Compile::MAX_inst_size + Compile::MAX_stubs_size + const_size + slop + locs_size;
656 }
657