1 /*
2 * Copyright (c) 1998, 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 #ifndef SHARE_COMPILER_COMPILERDIRECTIVES_HPP
26 #define SHARE_COMPILER_COMPILERDIRECTIVES_HPP
27
28 #include "ci/ciMethod.hpp"
29 #include "classfile/vmIntrinsics.hpp"
30 #include "compiler/methodMatcher.hpp"
31 #include "opto/phasetype.hpp"
32 #include "utilities/bitMap.hpp"
33 #include "utilities/exceptions.hpp"
34 #include "utilities/tribool.hpp"
35
36 // Directives flag name, type, default value, compile command name
37 #define compilerdirectives_common_other_flags(cflags) \
38 cflags(Enable, bool, false, Unknown) \
39 cflags(Exclude, bool, false, Unknown) \
40 cflags(BreakAtExecute, bool, false, BreakAtExecute) \
41 cflags(BreakAtCompile, bool, false, BreakAtCompile) \
42 cflags(Log, bool, LogCompilation, Unknown) \
43 cflags(MemLimit, intx, 0, MemLimit) \
44 cflags(MemStat, uintx, 0, MemStat) \
45 cflags(PrintAssembly, bool, PrintAssembly, PrintAssembly) \
46 cflags(PrintCompilation, bool, PrintCompilation, PrintCompilation) \
47 cflags(PrintInlining, bool, PrintInlining, PrintInlining) \
48 cflags(PrintNMethods, bool, PrintNMethods, PrintNMethods) \
49 cflags(BackgroundCompilation, bool, BackgroundCompilation, BackgroundCompilation) \
50 cflags(ReplayInline, bool, false, ReplayInline) \
51 cflags(DumpReplay, bool, false, DumpReplay) \
52 cflags(DumpInline, bool, false, DumpInline) \
53 cflags(CompilerDirectivesIgnoreCompileCommands, bool, CompilerDirectivesIgnoreCompileCommands, Unknown) \
54 cflags(RepeatCompilation, intx, RepeatCompilation, RepeatCompilation) \
55 cflags(PrecompileRecorded, uintx, 0, PrecompileRecorded) \
56 cflags(DontPrecompile, bool, false, DontPrecompile) \
57 cflags(DontPreload, bool, false, DontPreload) \
58 cflags(IgnoreRecordedProfile, bool, false, IgnoreRecordedProfile) \
59 cflags(IgnorePrecompiled, bool, false, IgnorePrecompiled) \
60 cflags(TooManyTrapsAtBCI, ccstrlist, "", TooManyTrapsAtBCI)
61 #define compilerdirectives_common_string_flags(cflags) \
62 cflags(DisableIntrinsic, ccstrlist, DisableIntrinsic, DisableIntrinsic) \
63 cflags(ControlIntrinsic, ccstrlist, ControlIntrinsic, ControlIntrinsic)
64 #define compilerdirectives_common_flags(cflags) \
65 compilerdirectives_common_other_flags(cflags) \
66 compilerdirectives_common_string_flags(cflags)
67
68 #ifdef COMPILER1
69 #define compilerdirectives_c1_other_flags(cflags)
70 #define compilerdirectives_c1_string_flags(cflags)
71 #else
72 #define compilerdirectives_c1_other_flags(cflags)
73 #define compilerdirectives_c1_string_flags(cflags)
74 #endif
75
76 #define compilerdirectives_c1_flags(cflags) \
77 compilerdirectives_c1_other_flags(cflags) \
78 compilerdirectives_c1_string_flags(cflags)
79
80 #ifdef COMPILER2
81 #define compilerdirectives_c2_other_flags(cflags) \
82 cflags(BlockLayoutByFrequency, bool, BlockLayoutByFrequency, BlockLayoutByFrequency) \
83 cflags(PrintOptoAssembly, bool, PrintOptoAssembly, PrintOptoAssembly) \
84 cflags(PrintIntrinsics, bool, PrintIntrinsics, PrintIntrinsics) \
85 NOT_PRODUCT(cflags(TraceOptoPipelining, bool, TraceOptoPipelining, TraceOptoPipelining)) \
86 NOT_PRODUCT(cflags(TraceOptoOutput, bool, TraceOptoOutput, TraceOptoOutput)) \
87 NOT_PRODUCT(cflags(TraceEscapeAnalysis, bool, false, TraceEscapeAnalysis)) \
88 NOT_PRODUCT(cflags(PrintIdeal, bool, PrintIdeal, PrintIdeal)) \
89 cflags(TraceSpilling, bool, TraceSpilling, TraceSpilling) \
90 cflags(Vectorize, bool, false, Vectorize) \
91 cflags(CloneMapDebug, bool, false, CloneMapDebug) \
92 NOT_PRODUCT(cflags(PhasePrintLevel, intx, PrintPhaseLevel, PhasePrintLevel)) \
93 NOT_PRODUCT(cflags(IGVPrintLevel, intx, PrintIdealGraphLevel, IGVPrintLevel)) \
94 cflags(IncrementalInlineForceCleanup, bool, IncrementalInlineForceCleanup, IncrementalInlineForceCleanup) \
95 cflags(MaxNodeLimit, intx, MaxNodeLimit, MaxNodeLimit)
96 #define compilerdirectives_c2_string_flags(cflags) \
97 NOT_PRODUCT(cflags(TraceAutoVectorization, ccstrlist, "", TraceAutoVectorization)) \
98 NOT_PRODUCT(cflags(TraceMergeStores, ccstrlist, "", TraceMergeStores)) \
99 NOT_PRODUCT(cflags(PrintIdealPhase, ccstrlist, "", PrintIdealPhase))
100 #else
101 #define compilerdirectives_c2_other_flags(cflags)
102 #define compilerdirectives_c2_string_flags(cflags)
103 #endif
104
105 #define compilerdirectives_c2_flags(cflags) \
106 compilerdirectives_c2_other_flags(cflags) \
107 compilerdirectives_c2_string_flags(cflags)
108
109 class AbstractCompiler;
110 class CompilerDirectives;
111 class DirectiveSet;
112
113 class DirectivesStack : AllStatic {
114 private:
115 static CompilerDirectives* _top;
116 static CompilerDirectives* _bottom;
117 static int _depth;
118
119 static void pop_inner(); // no lock version of pop
120 public:
121 static void init();
122 static DirectiveSet* getMatchingDirective(const methodHandle& mh, AbstractCompiler* comp);
123 static DirectiveSet* getDefaultDirective(AbstractCompiler* comp);
124 static void push(CompilerDirectives* directive);
125 static void pop(int count);
126 static bool check_capacity(int request_size, outputStream* st);
127 static void clear();
128 static void print(outputStream* st);
129 static void release(DirectiveSet* set);
130 static void release(CompilerDirectives* dir);
131 };
132
133 class DirectiveSet : public CHeapObj<mtCompiler> {
134 private:
135 InlineMatcher* _inlinematchers;
136 CompilerDirectives* _directive;
137 TriBoolArray<(size_t)vmIntrinsics::number_of_intrinsics(), int> _intrinsic_control_words;
138 CHeapBitMap _ideal_phase_name_set;
139 CHeapBitMap _trace_auto_vectorization_tags;
140 CHeapBitMap _trace_merge_stores_tags;
141
142 public:
143 DirectiveSet(CompilerDirectives* directive);
144 ~DirectiveSet();
145 void init_control_intrinsic();
146 CompilerDirectives* directive();
147 bool parse_and_add_inline(char* str, const char*& error_msg);
148 void append_inline(InlineMatcher* m);
149 bool should_inline(ciMethod* inlinee);
150 bool should_not_inline(ciMethod* inlinee);
151 bool should_delay_inline(ciMethod* inlinee);
152 void print_inline(outputStream* st);
153 DirectiveSet* compilecommand_compatibility_init(const methodHandle& method);
154 bool is_exclusive_copy() { return _directive == nullptr; }
155 bool matches_inline(const methodHandle& method, int inline_action);
156 static DirectiveSet* clone(DirectiveSet const* src);
157 bool is_intrinsic_disabled(vmIntrinsicID id);
158 static ccstrlist canonicalize_control_intrinsic(ccstrlist option_value);
159 void finalize(outputStream* st);
160 bool is_c1(CompilerDirectives* directive) const;
161 bool is_c2(CompilerDirectives* directive) const;
162 bool should_collect_memstat() const;
163 bool should_print_memstat() const;
164 size_t mem_limit() const;
165 bool should_crash_at_mem_limit() const; // true: crash false: stop compilation
166
167 typedef enum {
168 #define enum_of_flags(name, type, dvalue, cc_flag) name##Index,
169 compilerdirectives_common_flags(enum_of_flags)
170 compilerdirectives_c2_flags(enum_of_flags)
171 compilerdirectives_c1_flags(enum_of_flags)
172 #undef enum_of_flags
173 number_of_flags
174 } flags;
175
176 private:
177 bool _modified[number_of_flags]; // Records what options where set by a directive
178 public:
179 #define flag_store_definition(name, type, dvalue, cc_flag) type name##Option;
180 compilerdirectives_common_flags(flag_store_definition)
181 compilerdirectives_c2_flags(flag_store_definition)
182 compilerdirectives_c1_flags(flag_store_definition)
183 #undef flag_store_definition
184
185 // Casting to get the same function signature for all setters. Used from parser.
186 #define set_function_definition(name, type, dvalue, cc_flag) void set_##name(void* value) { type val = *(type*)value; name##Option = val; _modified[name##Index] = true; }
187 compilerdirectives_common_other_flags(set_function_definition)
188 compilerdirectives_c2_other_flags(set_function_definition)
189 compilerdirectives_c1_other_flags(set_function_definition)
190 #undef set_function_definition
191
192 // Casting to get the same function signature for all setters. Used from parser.
193 //
194 // IMPORTANT: Takes ownership, will use os::free. Ensure the memory was dynamically allocated on the
195 // C heap.
196 #define set_string_function_definition(name, type, dvalue, cc_flag) \
197 void set_##name(void* value) { \
198 if (_modified[name##Index]) { \
199 os::free(const_cast<char*>(name##Option)); \
200 } \
201 type val = *(type*)value; \
202 name##Option = val; \
203 _modified[name##Index] = true; \
204 }
205 compilerdirectives_common_string_flags(set_string_function_definition)
206 compilerdirectives_c2_string_flags(set_string_function_definition)
207 compilerdirectives_c1_string_flags(set_string_function_definition)
208 #undef set_string_function_definition
209
210 void set_ideal_phase_name_set(const BitMap& set) {
211 _ideal_phase_name_set.set_from(set);
212 };
213 bool should_print_ideal_phase(const CompilerPhaseType cpt) const {
214 return _ideal_phase_name_set.at(cpt);
215 };
216 void set_trace_auto_vectorization_tags(const CHeapBitMap& tags) {
217 _trace_auto_vectorization_tags.set_from(tags);
218 };
219 const CHeapBitMap& trace_auto_vectorization_tags() {
220 return _trace_auto_vectorization_tags;
221 };
222 void set_trace_merge_stores_tags(const CHeapBitMap& tags) {
223 _trace_merge_stores_tags.set_from(tags);
224 };
225 const CHeapBitMap& trace_merge_stores_tags() {
226 return _trace_merge_stores_tags;
227 };
228
229 void print_intx(outputStream* st, ccstr n, intx v, bool mod) { if (mod) { st->print("%s:%zd ", n, v); } }
230 void print_uintx(outputStream* st, ccstr n, intx v, bool mod) { if (mod) { st->print("%s:%zu ", n, v); } }
231 void print_bool(outputStream* st, ccstr n, bool v, bool mod) { if (mod) { st->print("%s:%s ", n, v ? "true" : "false"); } }
232 void print_double(outputStream* st, ccstr n, double v, bool mod) { if (mod) { st->print("%s:%f ", n, v); } }
233 void print_ccstr(outputStream* st, ccstr n, ccstr v, bool mod) { if (mod) { st->print("%s:%s ", n, v); } }
234 void print_ccstrlist(outputStream* st, ccstr n, ccstr v, bool mod) { print_ccstr(st, n, v, mod); }
235
236 void print(outputStream* st) {
237 print_inline(st);
238 st->print(" ");
239 #define print_function_definition(name, type, dvalue, cc_flag) print_##type(st, #name, this->name##Option, true);
240 compilerdirectives_common_flags(print_function_definition)
241 compilerdirectives_c2_flags(print_function_definition)
242 compilerdirectives_c1_flags(print_function_definition)
243 #undef print_function_definition
244 st->cr();
245 }
246 };
247
248 // Iterator of ControlIntrinsic=+_id1,-_id2,+_id3,...
249 //
250 // If disable_all is set, it accepts DisableIntrinsic and all intrinsic Ids
251 // appear in the list are disabled. Arguments don't have +/- prefix. eg.
252 // DisableIntrinsic=_id1,_id2,_id3,...
253 class ControlIntrinsicIter {
254 private:
255 bool _enabled;
256 char* _token;
257 char* _saved_ptr;
258 char* _list;
259 const bool _disableIntrinsic;
260 void next_token();
261
262 public:
263 ControlIntrinsicIter(ccstrlist option, bool disable_all = false);
264 ~ControlIntrinsicIter();
265
266 bool is_enabled() const { return _enabled; }
267 const char* operator*() const { return _token; }
268
269 ControlIntrinsicIter& operator++();
270 };
271
272 class ControlIntrinsicValidator {
273 private:
274 bool _valid;
275 char* _bad;
276
277 public:
278 ControlIntrinsicValidator(ccstrlist option, bool disable_all) : _valid(true), _bad(nullptr) {
279 for (ControlIntrinsicIter iter(option, disable_all); *iter != nullptr && _valid; ++iter) {
280 if (vmIntrinsics::_none == vmIntrinsics::find_id(*iter)) {
281 const size_t len = MIN2<size_t>(strlen(*iter), 63) + 1; // cap len to a value we know is enough for all intrinsic names
282 _bad = NEW_C_HEAP_ARRAY(char, len, mtCompiler);
283 // strncpy always writes len characters. If the source string is shorter, the function fills the remaining bytes with nullptrs.
284 strncpy(_bad, *iter, len);
285 _valid = false;
286 }
287 }
288 }
289
290 ~ControlIntrinsicValidator() {
291 if (_bad != nullptr) {
292 FREE_C_HEAP_ARRAY(char, _bad);
293 }
294 }
295
296 bool is_valid() const {
297 return _valid;
298 }
299
300 const char* what() const {
301 return _bad;
302 }
303 };
304
305 class CompilerDirectives : public CHeapObj<mtCompiler> {
306 private:
307 CompilerDirectives* _next;
308 BasicMatcher* _match;
309 int _ref_count;
310
311 public:
312
313 CompilerDirectives();
314 ~CompilerDirectives();
315
316 CompilerDirectives* next();
317 void set_next(CompilerDirectives* next) {_next = next; }
318
319 bool match(const methodHandle& method);
320 BasicMatcher* match() { return _match; }
321 bool add_match(char* str, const char*& error_msg);
322 DirectiveSet* get_for(AbstractCompiler *comp);
323 void print(outputStream* st);
324 bool is_default_directive() { return _next == nullptr; }
325 void finalize(outputStream* st);
326
327 void inc_refcount();
328 void dec_refcount();
329 int refcount();
330
331 DirectiveSet* _c1_store;
332 DirectiveSet* _c2_store;
333 };
334
335 #endif // SHARE_COMPILER_COMPILERDIRECTIVES_HPP