1 /*
2 * Copyright (c) 1999, 2020, 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 assert(!is_c1_or_interpreter_only(), "C2 compiler is launched, it's not c1/interpreter only mode");
88 // The first compiler thread that gets here will initialize the
89 // small amount of global state (and runtime stubs) that C2 needs.
90
91 // There is a race possible once at startup and then we're fine
92
93 // Note that this is being called from a compiler thread not the
94 // main startup thread.
95 if (should_perform_init()) {
96 bool successful = C2Compiler::init_c2_runtime();
97 int new_state = (successful) ? initialized : failed;
98 set_state(new_state);
99 }
100 }
101
102 void C2Compiler::compile_method(ciEnv* env, ciMethod* target, int entry_bci, bool install_code, DirectiveSet* directive) {
103 assert(is_initialized(), "Compiler thread must be initialized");
104
105 bool subsume_loads = SubsumeLoads;
106 bool do_escape_analysis = DoEscapeAnalysis && !env->should_retain_local_variables()
107 && !env->jvmti_can_get_owned_monitor_info();
108 bool eliminate_boxing = EliminateAutoBox;
109
110 while (!env->failing()) {
111 // Attempt to compile while subsuming loads into machine instructions.
112 Compile C(env, target, entry_bci, subsume_loads, do_escape_analysis, eliminate_boxing, install_code, directive);
113
114 // Check result and retry if appropriate.
115 if (C.failure_reason() != NULL) {
116 if (C.failure_reason_is(retry_class_loading_during_parsing())) {
117 env->report_failure(C.failure_reason());
118 continue; // retry
119 }
120 if (C.failure_reason_is(retry_no_subsuming_loads())) {
121 assert(subsume_loads, "must make progress");
122 subsume_loads = false;
123 env->report_failure(C.failure_reason());
124 continue; // retry
125 }
126 if (C.failure_reason_is(retry_no_escape_analysis())) {
127 assert(do_escape_analysis, "must make progress");
128 do_escape_analysis = false;
129 env->report_failure(C.failure_reason());
130 continue; // retry
131 }
132 if (C.has_boxed_value()) {
133 // Recompile without boxing elimination regardless failure reason.
134 assert(eliminate_boxing, "must make progress");
135 eliminate_boxing = false;
136 env->report_failure(C.failure_reason());
137 continue; // retry
138 }
139 // Pass any other failure reason up to the ciEnv.
140 // Note that serious, irreversible failures are already logged
141 // on the ciEnv via env->record_method_not_compilable().
142 env->record_failure(C.failure_reason());
143 }
144 if (StressRecompilation) {
145 if (subsume_loads) {
146 subsume_loads = false;
147 continue; // retry
148 }
149 if (do_escape_analysis) {
150 do_escape_analysis = false;
151 continue; // retry
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::_makePrivateBuffer:
502 case vmIntrinsics::_finishPrivateBuffer:
503 case vmIntrinsics::_getReference:
504 case vmIntrinsics::_getBoolean:
505 case vmIntrinsics::_getByte:
506 case vmIntrinsics::_getShort:
507 case vmIntrinsics::_getChar:
508 case vmIntrinsics::_getInt:
509 case vmIntrinsics::_getLong:
510 case vmIntrinsics::_getFloat:
511 case vmIntrinsics::_getDouble:
512 case vmIntrinsics::_getValue:
513 case vmIntrinsics::_putReference:
514 case vmIntrinsics::_putBoolean:
515 case vmIntrinsics::_putByte:
516 case vmIntrinsics::_putShort:
517 case vmIntrinsics::_putChar:
518 case vmIntrinsics::_putInt:
519 case vmIntrinsics::_putLong:
520 case vmIntrinsics::_putFloat:
521 case vmIntrinsics::_putDouble:
522 case vmIntrinsics::_putValue:
523 case vmIntrinsics::_getReferenceVolatile:
524 case vmIntrinsics::_getBooleanVolatile:
525 case vmIntrinsics::_getByteVolatile:
526 case vmIntrinsics::_getShortVolatile:
527 case vmIntrinsics::_getCharVolatile:
528 case vmIntrinsics::_getIntVolatile:
529 case vmIntrinsics::_getLongVolatile:
530 case vmIntrinsics::_getFloatVolatile:
531 case vmIntrinsics::_getDoubleVolatile:
532 case vmIntrinsics::_putReferenceVolatile:
533 case vmIntrinsics::_putBooleanVolatile:
534 case vmIntrinsics::_putByteVolatile:
535 case vmIntrinsics::_putShortVolatile:
536 case vmIntrinsics::_putCharVolatile:
537 case vmIntrinsics::_putIntVolatile:
538 case vmIntrinsics::_putLongVolatile:
539 case vmIntrinsics::_putFloatVolatile:
540 case vmIntrinsics::_putDoubleVolatile:
541 case vmIntrinsics::_getReferenceAcquire:
542 case vmIntrinsics::_getBooleanAcquire:
543 case vmIntrinsics::_getByteAcquire:
544 case vmIntrinsics::_getShortAcquire:
545 case vmIntrinsics::_getCharAcquire:
546 case vmIntrinsics::_getIntAcquire:
547 case vmIntrinsics::_getLongAcquire:
548 case vmIntrinsics::_getFloatAcquire:
549 case vmIntrinsics::_getDoubleAcquire:
550 case vmIntrinsics::_putReferenceRelease:
551 case vmIntrinsics::_putBooleanRelease:
552 case vmIntrinsics::_putByteRelease:
553 case vmIntrinsics::_putShortRelease:
554 case vmIntrinsics::_putCharRelease:
555 case vmIntrinsics::_putIntRelease:
556 case vmIntrinsics::_putLongRelease:
557 case vmIntrinsics::_putFloatRelease:
558 case vmIntrinsics::_putDoubleRelease:
559 case vmIntrinsics::_getReferenceOpaque:
560 case vmIntrinsics::_getBooleanOpaque:
561 case vmIntrinsics::_getByteOpaque:
562 case vmIntrinsics::_getShortOpaque:
563 case vmIntrinsics::_getCharOpaque:
564 case vmIntrinsics::_getIntOpaque:
565 case vmIntrinsics::_getLongOpaque:
566 case vmIntrinsics::_getFloatOpaque:
567 case vmIntrinsics::_getDoubleOpaque:
568 case vmIntrinsics::_putReferenceOpaque:
569 case vmIntrinsics::_putBooleanOpaque:
570 case vmIntrinsics::_putByteOpaque:
571 case vmIntrinsics::_putShortOpaque:
572 case vmIntrinsics::_putCharOpaque:
573 case vmIntrinsics::_putIntOpaque:
574 case vmIntrinsics::_putLongOpaque:
575 case vmIntrinsics::_putFloatOpaque:
576 case vmIntrinsics::_putDoubleOpaque:
577 case vmIntrinsics::_getShortUnaligned:
578 case vmIntrinsics::_getCharUnaligned:
579 case vmIntrinsics::_getIntUnaligned:
580 case vmIntrinsics::_getLongUnaligned:
581 case vmIntrinsics::_putShortUnaligned:
582 case vmIntrinsics::_putCharUnaligned:
583 case vmIntrinsics::_putIntUnaligned:
584 case vmIntrinsics::_putLongUnaligned:
585 case vmIntrinsics::_loadFence:
586 case vmIntrinsics::_storeFence:
587 case vmIntrinsics::_fullFence:
588 case vmIntrinsics::_currentThread:
589 #ifdef JFR_HAVE_INTRINSICS
590 case vmIntrinsics::_counterTime:
591 case vmIntrinsics::_getClassId:
592 case vmIntrinsics::_getEventWriter:
593 #endif
594 case vmIntrinsics::_currentTimeMillis:
595 case vmIntrinsics::_nanoTime:
596 case vmIntrinsics::_allocateInstance:
597 case vmIntrinsics::_allocateUninitializedArray:
598 case vmIntrinsics::_newArray:
599 case vmIntrinsics::_getLength:
600 case vmIntrinsics::_copyOf:
601 case vmIntrinsics::_copyOfRange:
602 case vmIntrinsics::_clone:
603 case vmIntrinsics::_isAssignableFrom:
604 case vmIntrinsics::_isInstance:
605 case vmIntrinsics::_getModifiers:
606 case vmIntrinsics::_isInterface:
607 case vmIntrinsics::_isArray:
608 case vmIntrinsics::_isPrimitive:
609 case vmIntrinsics::_isHidden:
610 case vmIntrinsics::_getSuperclass:
611 case vmIntrinsics::_getClassAccessFlags:
612 case vmIntrinsics::_floatToRawIntBits:
613 case vmIntrinsics::_floatToIntBits:
614 case vmIntrinsics::_intBitsToFloat:
615 case vmIntrinsics::_doubleToRawLongBits:
616 case vmIntrinsics::_doubleToLongBits:
617 case vmIntrinsics::_longBitsToDouble:
618 case vmIntrinsics::_Reference_get:
619 case vmIntrinsics::_Class_cast:
620 case vmIntrinsics::_aescrypt_encryptBlock:
621 case vmIntrinsics::_aescrypt_decryptBlock:
622 case vmIntrinsics::_cipherBlockChaining_encryptAESCrypt:
623 case vmIntrinsics::_cipherBlockChaining_decryptAESCrypt:
624 case vmIntrinsics::_electronicCodeBook_encryptAESCrypt:
625 case vmIntrinsics::_electronicCodeBook_decryptAESCrypt:
626 case vmIntrinsics::_counterMode_AESCrypt:
627 case vmIntrinsics::_sha_implCompress:
628 case vmIntrinsics::_sha2_implCompress:
629 case vmIntrinsics::_sha5_implCompress:
630 case vmIntrinsics::_digestBase_implCompressMB:
631 case vmIntrinsics::_multiplyToLen:
632 case vmIntrinsics::_squareToLen:
633 case vmIntrinsics::_mulAdd:
634 case vmIntrinsics::_montgomeryMultiply:
635 case vmIntrinsics::_montgomerySquare:
636 case vmIntrinsics::_bigIntegerRightShiftWorker:
637 case vmIntrinsics::_bigIntegerLeftShiftWorker:
638 case vmIntrinsics::_vectorizedMismatch:
639 case vmIntrinsics::_ghash_processBlocks:
640 case vmIntrinsics::_base64_encodeBlock:
641 case vmIntrinsics::_updateCRC32:
642 case vmIntrinsics::_updateBytesCRC32:
643 case vmIntrinsics::_updateByteBufferCRC32:
644 case vmIntrinsics::_updateBytesCRC32C:
645 case vmIntrinsics::_updateDirectByteBufferCRC32C:
646 case vmIntrinsics::_updateBytesAdler32:
647 case vmIntrinsics::_updateByteBufferAdler32:
648 case vmIntrinsics::_profileBoolean:
649 case vmIntrinsics::_isCompileConstant:
650 case vmIntrinsics::_Preconditions_checkIndex:
651 break;
652 default:
653 return false;
654 }
655 return true;
656 }
657
658 int C2Compiler::initial_code_buffer_size(int const_size) {
659 // See Compile::init_scratch_buffer_blob
660 int locs_size = sizeof(relocInfo) * PhaseOutput::MAX_locs_size;
661 int slop = 2 * CodeSection::end_slop(); // space between sections
662 return PhaseOutput::MAX_inst_size + PhaseOutput::MAX_stubs_size + const_size + slop + locs_size;
663 }