1 /*
2 * Copyright (c) 1999, 2025, 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 "classfile/vmClasses.hpp"
26 #include "compiler/compilationMemoryStatistic.hpp"
27 #include "compiler/compilerDefinitions.inline.hpp"
28 #include "jfr/support/jfrIntrinsics.hpp"
29 #include "opto/c2compiler.hpp"
30 #include "opto/compile.hpp"
31 #include "opto/optoreg.hpp"
32 #include "opto/output.hpp"
33 #include "opto/runtime.hpp"
34 #include "runtime/globals_extension.hpp"
35 #include "runtime/handles.inline.hpp"
36 #include "runtime/stubRoutines.hpp"
37 #include "utilities/macros.hpp"
38
39
40 // register information defined by ADLC
41 extern const char register_save_policy[];
42 extern const int register_save_type[];
43
44 const char* C2Compiler::retry_no_subsuming_loads() {
45 return "retry without subsuming loads";
46 }
47 const char* C2Compiler::retry_no_escape_analysis() {
48 return "retry without escape analysis";
49 }
50 const char* C2Compiler::retry_no_locks_coarsening() {
51 return "retry without locks coarsening";
52 }
53 const char* C2Compiler::retry_no_iterative_escape_analysis() {
112 // There is a race possible once at startup and then we're fine
113
114 // Note that this is being called from a compiler thread not the
115 // main startup thread.
116 if (should_perform_init()) {
117 bool successful = C2Compiler::init_c2_runtime();
118 int new_state = (successful) ? initialized : failed;
119 set_state(new_state);
120 }
121 }
122
123 void C2Compiler::compile_method(ciEnv* env, ciMethod* target, int entry_bci, bool install_code, DirectiveSet* directive) {
124 assert(is_initialized(), "Compiler thread must be initialized");
125
126 CompilationMemoryStatisticMark cmsm(directive);
127
128 bool subsume_loads = SubsumeLoads;
129 bool do_escape_analysis = DoEscapeAnalysis;
130 bool do_iterative_escape_analysis = DoEscapeAnalysis;
131 bool do_reduce_allocation_merges = ReduceAllocationMerges && EliminateAllocations;
132 bool eliminate_boxing = EliminateAutoBox;
133 bool do_locks_coarsening = EliminateLocks;
134 bool do_superword = UseSuperWord;
135
136 while (!env->failing()) {
137 ResourceMark rm;
138 // Attempt to compile while subsuming loads into machine instructions.
139 Options options(subsume_loads,
140 do_escape_analysis,
141 do_iterative_escape_analysis,
142 do_reduce_allocation_merges,
143 eliminate_boxing,
144 do_locks_coarsening,
145 do_superword,
146 install_code);
147 Compile C(env, target, entry_bci, options, directive);
148
149 // Check result and retry if appropriate.
150 if (C.failure_reason() != nullptr) {
151 if (C.failure_reason_is(retry_no_subsuming_loads())) {
152 assert(subsume_loads, "must make progress");
650 case vmIntrinsics::_indexOfU:
651 case vmIntrinsics::_indexOfUL:
652 case vmIntrinsics::_indexOfIL:
653 case vmIntrinsics::_indexOfIU:
654 case vmIntrinsics::_indexOfIUL:
655 case vmIntrinsics::_indexOfU_char:
656 case vmIntrinsics::_indexOfL_char:
657 case vmIntrinsics::_toBytesStringU:
658 case vmIntrinsics::_getCharsStringU:
659 case vmIntrinsics::_getCharStringU:
660 case vmIntrinsics::_putCharStringU:
661 case vmIntrinsics::_getReference:
662 case vmIntrinsics::_getBoolean:
663 case vmIntrinsics::_getByte:
664 case vmIntrinsics::_getShort:
665 case vmIntrinsics::_getChar:
666 case vmIntrinsics::_getInt:
667 case vmIntrinsics::_getLong:
668 case vmIntrinsics::_getFloat:
669 case vmIntrinsics::_getDouble:
670 case vmIntrinsics::_putReference:
671 case vmIntrinsics::_putBoolean:
672 case vmIntrinsics::_putByte:
673 case vmIntrinsics::_putShort:
674 case vmIntrinsics::_putChar:
675 case vmIntrinsics::_putInt:
676 case vmIntrinsics::_putLong:
677 case vmIntrinsics::_putFloat:
678 case vmIntrinsics::_putDouble:
679 case vmIntrinsics::_getReferenceVolatile:
680 case vmIntrinsics::_getBooleanVolatile:
681 case vmIntrinsics::_getByteVolatile:
682 case vmIntrinsics::_getShortVolatile:
683 case vmIntrinsics::_getCharVolatile:
684 case vmIntrinsics::_getIntVolatile:
685 case vmIntrinsics::_getLongVolatile:
686 case vmIntrinsics::_getFloatVolatile:
687 case vmIntrinsics::_getDoubleVolatile:
688 case vmIntrinsics::_putReferenceVolatile:
689 case vmIntrinsics::_putBooleanVolatile:
690 case vmIntrinsics::_putByteVolatile:
691 case vmIntrinsics::_putShortVolatile:
692 case vmIntrinsics::_putCharVolatile:
693 case vmIntrinsics::_putIntVolatile:
694 case vmIntrinsics::_putLongVolatile:
695 case vmIntrinsics::_putFloatVolatile:
696 case vmIntrinsics::_putDoubleVolatile:
697 case vmIntrinsics::_getReferenceAcquire:
698 case vmIntrinsics::_getBooleanAcquire:
725 case vmIntrinsics::_putBooleanOpaque:
726 case vmIntrinsics::_putByteOpaque:
727 case vmIntrinsics::_putShortOpaque:
728 case vmIntrinsics::_putCharOpaque:
729 case vmIntrinsics::_putIntOpaque:
730 case vmIntrinsics::_putLongOpaque:
731 case vmIntrinsics::_putFloatOpaque:
732 case vmIntrinsics::_putDoubleOpaque:
733 case vmIntrinsics::_getShortUnaligned:
734 case vmIntrinsics::_getCharUnaligned:
735 case vmIntrinsics::_getIntUnaligned:
736 case vmIntrinsics::_getLongUnaligned:
737 case vmIntrinsics::_putShortUnaligned:
738 case vmIntrinsics::_putCharUnaligned:
739 case vmIntrinsics::_putIntUnaligned:
740 case vmIntrinsics::_putLongUnaligned:
741 case vmIntrinsics::_loadFence:
742 case vmIntrinsics::_storeFence:
743 case vmIntrinsics::_storeStoreFence:
744 case vmIntrinsics::_fullFence:
745 case vmIntrinsics::_currentCarrierThread:
746 case vmIntrinsics::_currentThread:
747 case vmIntrinsics::_setCurrentThread:
748 case vmIntrinsics::_scopedValueCache:
749 case vmIntrinsics::_setScopedValueCache:
750 case vmIntrinsics::_Continuation_pin:
751 case vmIntrinsics::_Continuation_unpin:
752 #ifdef JFR_HAVE_INTRINSICS
753 case vmIntrinsics::_counterTime:
754 case vmIntrinsics::_getEventWriter:
755 case vmIntrinsics::_jvm_commit:
756 #endif
757 case vmIntrinsics::_currentTimeMillis:
758 case vmIntrinsics::_nanoTime:
759 case vmIntrinsics::_allocateInstance:
760 case vmIntrinsics::_allocateUninitializedArray:
761 case vmIntrinsics::_newArray:
762 case vmIntrinsics::_getLength:
763 case vmIntrinsics::_copyOf:
764 case vmIntrinsics::_copyOfRange:
765 case vmIntrinsics::_clone:
766 case vmIntrinsics::_isAssignableFrom:
767 case vmIntrinsics::_isInstance:
768 case vmIntrinsics::_isHidden:
769 case vmIntrinsics::_getSuperclass:
770 case vmIntrinsics::_floatToRawIntBits:
771 case vmIntrinsics::_floatToIntBits:
772 case vmIntrinsics::_intBitsToFloat:
773 case vmIntrinsics::_doubleToRawLongBits:
774 case vmIntrinsics::_doubleToLongBits:
775 case vmIntrinsics::_longBitsToDouble:
776 case vmIntrinsics::_Reference_get0:
777 case vmIntrinsics::_Reference_refersTo0:
778 case vmIntrinsics::_PhantomReference_refersTo0:
779 case vmIntrinsics::_Reference_clear0:
780 case vmIntrinsics::_PhantomReference_clear0:
781 case vmIntrinsics::_Class_cast:
|
1 /*
2 * Copyright (c) 1999, 2026, 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 "classfile/vmClasses.hpp"
26 #include "classfile/vmIntrinsics.hpp"
27 #include "compiler/compilationMemoryStatistic.hpp"
28 #include "compiler/compilerDefinitions.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/arguments.hpp"
36 #include "runtime/globals_extension.hpp"
37 #include "runtime/handles.inline.hpp"
38 #include "runtime/stubRoutines.hpp"
39 #include "utilities/macros.hpp"
40
41
42 // register information defined by ADLC
43 extern const char register_save_policy[];
44 extern const int register_save_type[];
45
46 const char* C2Compiler::retry_no_subsuming_loads() {
47 return "retry without subsuming loads";
48 }
49 const char* C2Compiler::retry_no_escape_analysis() {
50 return "retry without escape analysis";
51 }
52 const char* C2Compiler::retry_no_locks_coarsening() {
53 return "retry without locks coarsening";
54 }
55 const char* C2Compiler::retry_no_iterative_escape_analysis() {
114 // There is a race possible once at startup and then we're fine
115
116 // Note that this is being called from a compiler thread not the
117 // main startup thread.
118 if (should_perform_init()) {
119 bool successful = C2Compiler::init_c2_runtime();
120 int new_state = (successful) ? initialized : failed;
121 set_state(new_state);
122 }
123 }
124
125 void C2Compiler::compile_method(ciEnv* env, ciMethod* target, int entry_bci, bool install_code, DirectiveSet* directive) {
126 assert(is_initialized(), "Compiler thread must be initialized");
127
128 CompilationMemoryStatisticMark cmsm(directive);
129
130 bool subsume_loads = SubsumeLoads;
131 bool do_escape_analysis = DoEscapeAnalysis;
132 bool do_iterative_escape_analysis = DoEscapeAnalysis;
133 bool do_reduce_allocation_merges = ReduceAllocationMerges && EliminateAllocations;
134 // TODO 8328675 Re-enable
135 bool eliminate_boxing = EliminateAutoBox && !Arguments::is_valhalla_enabled();
136 bool do_locks_coarsening = EliminateLocks;
137 bool do_superword = UseSuperWord;
138
139 while (!env->failing()) {
140 ResourceMark rm;
141 // Attempt to compile while subsuming loads into machine instructions.
142 Options options(subsume_loads,
143 do_escape_analysis,
144 do_iterative_escape_analysis,
145 do_reduce_allocation_merges,
146 eliminate_boxing,
147 do_locks_coarsening,
148 do_superword,
149 install_code);
150 Compile C(env, target, entry_bci, options, directive);
151
152 // Check result and retry if appropriate.
153 if (C.failure_reason() != nullptr) {
154 if (C.failure_reason_is(retry_no_subsuming_loads())) {
155 assert(subsume_loads, "must make progress");
653 case vmIntrinsics::_indexOfU:
654 case vmIntrinsics::_indexOfUL:
655 case vmIntrinsics::_indexOfIL:
656 case vmIntrinsics::_indexOfIU:
657 case vmIntrinsics::_indexOfIUL:
658 case vmIntrinsics::_indexOfU_char:
659 case vmIntrinsics::_indexOfL_char:
660 case vmIntrinsics::_toBytesStringU:
661 case vmIntrinsics::_getCharsStringU:
662 case vmIntrinsics::_getCharStringU:
663 case vmIntrinsics::_putCharStringU:
664 case vmIntrinsics::_getReference:
665 case vmIntrinsics::_getBoolean:
666 case vmIntrinsics::_getByte:
667 case vmIntrinsics::_getShort:
668 case vmIntrinsics::_getChar:
669 case vmIntrinsics::_getInt:
670 case vmIntrinsics::_getLong:
671 case vmIntrinsics::_getFloat:
672 case vmIntrinsics::_getDouble:
673 case vmIntrinsics::_getFlatValue:
674 case vmIntrinsics::_putReference:
675 case vmIntrinsics::_putBoolean:
676 case vmIntrinsics::_putByte:
677 case vmIntrinsics::_putShort:
678 case vmIntrinsics::_putChar:
679 case vmIntrinsics::_putInt:
680 case vmIntrinsics::_putLong:
681 case vmIntrinsics::_putFloat:
682 case vmIntrinsics::_putDouble:
683 case vmIntrinsics::_putFlatValue:
684 case vmIntrinsics::_getReferenceVolatile:
685 case vmIntrinsics::_getBooleanVolatile:
686 case vmIntrinsics::_getByteVolatile:
687 case vmIntrinsics::_getShortVolatile:
688 case vmIntrinsics::_getCharVolatile:
689 case vmIntrinsics::_getIntVolatile:
690 case vmIntrinsics::_getLongVolatile:
691 case vmIntrinsics::_getFloatVolatile:
692 case vmIntrinsics::_getDoubleVolatile:
693 case vmIntrinsics::_putReferenceVolatile:
694 case vmIntrinsics::_putBooleanVolatile:
695 case vmIntrinsics::_putByteVolatile:
696 case vmIntrinsics::_putShortVolatile:
697 case vmIntrinsics::_putCharVolatile:
698 case vmIntrinsics::_putIntVolatile:
699 case vmIntrinsics::_putLongVolatile:
700 case vmIntrinsics::_putFloatVolatile:
701 case vmIntrinsics::_putDoubleVolatile:
702 case vmIntrinsics::_getReferenceAcquire:
703 case vmIntrinsics::_getBooleanAcquire:
730 case vmIntrinsics::_putBooleanOpaque:
731 case vmIntrinsics::_putByteOpaque:
732 case vmIntrinsics::_putShortOpaque:
733 case vmIntrinsics::_putCharOpaque:
734 case vmIntrinsics::_putIntOpaque:
735 case vmIntrinsics::_putLongOpaque:
736 case vmIntrinsics::_putFloatOpaque:
737 case vmIntrinsics::_putDoubleOpaque:
738 case vmIntrinsics::_getShortUnaligned:
739 case vmIntrinsics::_getCharUnaligned:
740 case vmIntrinsics::_getIntUnaligned:
741 case vmIntrinsics::_getLongUnaligned:
742 case vmIntrinsics::_putShortUnaligned:
743 case vmIntrinsics::_putCharUnaligned:
744 case vmIntrinsics::_putIntUnaligned:
745 case vmIntrinsics::_putLongUnaligned:
746 case vmIntrinsics::_loadFence:
747 case vmIntrinsics::_storeFence:
748 case vmIntrinsics::_storeStoreFence:
749 case vmIntrinsics::_fullFence:
750 case vmIntrinsics::_arrayInstanceBaseOffset:
751 case vmIntrinsics::_arrayInstanceIndexScale:
752 case vmIntrinsics::_arrayLayout:
753 case vmIntrinsics::_getFieldMap:
754 case vmIntrinsics::_currentCarrierThread:
755 case vmIntrinsics::_currentThread:
756 case vmIntrinsics::_setCurrentThread:
757 case vmIntrinsics::_scopedValueCache:
758 case vmIntrinsics::_setScopedValueCache:
759 case vmIntrinsics::_Continuation_pin:
760 case vmIntrinsics::_Continuation_unpin:
761 #ifdef JFR_HAVE_INTRINSICS
762 case vmIntrinsics::_counterTime:
763 case vmIntrinsics::_getEventWriter:
764 case vmIntrinsics::_jvm_commit:
765 #endif
766 case vmIntrinsics::_currentTimeMillis:
767 case vmIntrinsics::_nanoTime:
768 case vmIntrinsics::_allocateInstance:
769 case vmIntrinsics::_allocateUninitializedArray:
770 case vmIntrinsics::_newArray:
771 case vmIntrinsics::_newNullRestrictedNonAtomicArray:
772 case vmIntrinsics::_newNullRestrictedAtomicArray:
773 case vmIntrinsics::_newNullableAtomicArray:
774 case vmIntrinsics::_isFlatArray:
775 case vmIntrinsics::_isNullRestrictedArray:
776 case vmIntrinsics::_isAtomicArray:
777 case vmIntrinsics::_getLength:
778 case vmIntrinsics::_copyOf:
779 case vmIntrinsics::_copyOfRange:
780 case vmIntrinsics::_clone:
781 case vmIntrinsics::_isAssignableFrom:
782 case vmIntrinsics::_isInstance:
783 case vmIntrinsics::_isHidden:
784 case vmIntrinsics::_getSuperclass:
785 case vmIntrinsics::_floatToRawIntBits:
786 case vmIntrinsics::_floatToIntBits:
787 case vmIntrinsics::_intBitsToFloat:
788 case vmIntrinsics::_doubleToRawLongBits:
789 case vmIntrinsics::_doubleToLongBits:
790 case vmIntrinsics::_longBitsToDouble:
791 case vmIntrinsics::_Reference_get0:
792 case vmIntrinsics::_Reference_refersTo0:
793 case vmIntrinsics::_PhantomReference_refersTo0:
794 case vmIntrinsics::_Reference_clear0:
795 case vmIntrinsics::_PhantomReference_clear0:
796 case vmIntrinsics::_Class_cast:
|