1 /*
2 * Copyright (c) 2021, 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 package compiler.lib.ir_framework;
25
26 import compiler.lib.ir_framework.driver.irmatching.mapping.*;
27 import compiler.lib.ir_framework.driver.irmatching.parser.VMInfo;
28 import compiler.lib.ir_framework.shared.CheckedTestFrameworkException;
29 import compiler.lib.ir_framework.shared.TestFormat;
30 import compiler.lib.ir_framework.shared.TestFormatException;
31 import compiler.valhalla.inlinetypes.InlineTypeIRNode;
32 import jdk.test.lib.Platform;
33 import jdk.test.whitebox.WhiteBox;
34
35 import java.util.HashMap;
36 import java.util.Map;
37
38 /**
39 * This class specifies IR node placeholder strings (also referred to as just "IR nodes") with mappings to regexes
40 * depending on the selected compile phases. The mappings are stored in {@link #IR_NODE_MAPPINGS}. Each IR node
41 * placeholder string is mapped to a {@link IRNodeMapEntry} instance defined in
42 * {@link compiler.lib.ir_framework.driver.irmatching.mapping}.
43 *
44 * <p>
45 * IR node placeholder strings can be used in {@link IR#failOn()} and/or {@link IR#counts()} attributes to define IR
46 * constraints. They usually represent a single C2 IR node or a group of them.
47 *
48 * <p>
49 * Each IR node placeholder string is accompanied by a static block that defines an IR node placeholder to regex(es)
50 * mapping. The IR framework will automatically replace each IR node placeholder string in a user defined test with a
51 * regex depending on the selected compile phases in {@link IR#phase} and the provided mapping.
52 *
53 * <p>
54 * Each mapping must define a default compile phase which is applied when the user does not explicitly set the
55 * {@link IR#phase()} attribute or when directly using {@link CompilePhase#DEFAULT}. In this case, the IR framework
56 * falls back on the default compile phase of any {@link IRNodeMapEntry}.
57 *
58 * <p>
59 * The IR framework reports a {@link TestFormatException} if:
60 * <ul>
61 * <li><p> A user test specifies a compile phase for which no mapping is defined in this class.</li>
62 * <li><p> An IR node placeholder string is either missing a mapping or does not provide a regex for a specified
63 * compile phase in {@link IR#phase}.
64 * </ul>
65 *
66 * <p>
67 * There are two types of IR nodes:
68 * <ul>
69 * <li><p>Normal IR nodes: The IR node placeholder string is directly replaced by a regex.</li>
70 * <li><p>Composite IR nodes: The IR node placeholder string contains an additional {@link #COMPOSITE_PREFIX}.
71 * Using this IR node expects another user provided string in the constraint list of
72 * {@link IR#failOn()} and {@link IR#counts()}. They cannot be used as normal IR nodes.
73 * Trying to do so will result in a format violation error.</li>
74 * <li><p>Vector IR nodes: The IR node placeholder string contains an additional {@link #VECTOR_PREFIX}.
75 * Using this IR node, one can check for the type and size of a vector. The type must
76 * be directly specified in {@link #vectorNode}. The size can be specified directly with
77 * an additional argument using {@link #VECTOR_SIZE}, followed by a size tag or a comma
78 * separated list of sizes. If the size argument is not given, then a default size of
79 * {@link #VECTOR_SIZE_MAX} is taken, which is the number of elements that can fit in a
80 * vector of the specified type (depends on the VM flag MaxVectorSize and CPU features).
81 * However, when using {@link IR#failOn} or {@link IR#counts()} with comparison {@code <},
82 * or {@code <=} or {@code =0}, the default size is {@link #VECTOR_SIZE_ANY}, allowing any
83 * size. The motivation for these default values is that in most cases one wants to have
84 * vectorization with maximal vector width, or no vectorization of any vector width.
85 * </ul>
86 */
87 public class IRNode {
88 /**
89 * Prefix for normal IR nodes.
90 */
91 public static final String PREFIX = "_#";
92 /**
93 * Prefix for composite IR nodes.
94 */
95 private static final String COMPOSITE_PREFIX = PREFIX + "C#";
96 /**
97 * Prefix for vector IR nodes.
98 */
99 private static final String VECTOR_PREFIX = PREFIX + "V#";
100
101 private static final String POSTFIX = "#_";
102
103 public static final String START = "(\\d+(\\s){2}(";
104 public static final String MID = ".*)+(\\s){2}===.*";
105 public static final String END = ")";
106
107 public static final String IS_REPLACED = "#IS_REPLACED#"; // Is replaced by an additional user-defined string.
108
109 public static final String VECTOR_SIZE = "_@";
110 public static final String VECTOR_SIZE_TAG_ANY = "any";
111 public static final String VECTOR_SIZE_TAG_MAX = "max_for_type";
112 public static final String VECTOR_SIZE_ANY = VECTOR_SIZE + VECTOR_SIZE_TAG_ANY; // default for counts "=0" and failOn
113 public static final String VECTOR_SIZE_MAX = VECTOR_SIZE + VECTOR_SIZE_TAG_MAX; // default in counts
114 public static final String VECTOR_SIZE_2 = VECTOR_SIZE + "2";
115 public static final String VECTOR_SIZE_4 = VECTOR_SIZE + "4";
116 public static final String VECTOR_SIZE_8 = VECTOR_SIZE + "8";
117 public static final String VECTOR_SIZE_16 = VECTOR_SIZE + "16";
118 public static final String VECTOR_SIZE_32 = VECTOR_SIZE + "32";
119 public static final String VECTOR_SIZE_64 = VECTOR_SIZE + "64";
120
121 private static final String TYPE_BYTE = "B";
122 private static final String TYPE_CHAR = "C";
123 private static final String TYPE_SHORT = "S";
124 private static final String TYPE_INT = "I";
125 private static final String TYPE_LONG = "J";
126 private static final String TYPE_FLOAT = "F";
127 private static final String TYPE_DOUBLE = "D";
128
129 /**
130 * IR placeholder string to regex-for-compile-phase map.
131 */
132 private static final Map<String, IRNodeMapEntry> IR_NODE_MAPPINGS = new HashMap<>();
133
134 /**
135 * Map every vectorNode to a type string.
136 */
137 private static final Map<String, String> VECTOR_NODE_TYPE = new HashMap<>();
138
139 /*
140 * Start of IR placeholder string definitions followed by a static block defining the regex-for-compile-phase mapping.
141 * An IR node placeholder string must start with PREFIX for normal IR nodes or COMPOSITE_PREFIX for composite IR
142 * nodes, or VECTOR_PREFIX for vector nodes (see class description above).
143 *
144 * An IR node definition looks like this:
145 *
146 * public static final String IR_NODE = [PREFIX|COMPOSITE_PREFIX|VECTOR_PREFIX] + "IR_NODE" + POSTFIX;
147 * static {
148 * // Define IR_NODE to regex-for-compile-phase mapping. Create a new IRNodeMapEntry object and add it to
149 * // IR_NODE_MAPPINGS. This can be done by using the helper methods defined after all IR node placeholder string
150 * // definitions.
151 * }
152 */
153
154 // Valhalla: Make sure that all Valhalla specific IR nodes are also properly initialized. Doing it here also
155 // ensures that the Flag VM is able to pick up the correct compile phases.
156 static {
157 InlineTypeIRNode.forceStaticInitialization();
158 }
159
160 public static final String ABS_D = PREFIX + "ABS_D" + POSTFIX;
161 static {
162 beforeMatchingNameRegex(ABS_D, "AbsD");
163 }
164
165 public static final String ABS_F = PREFIX + "ABS_F" + POSTFIX;
166 static {
167 beforeMatchingNameRegex(ABS_F, "AbsF");
168 }
169
170 public static final String ABS_I = PREFIX + "ABS_I" + POSTFIX;
171 static {
172 beforeMatchingNameRegex(ABS_I, "AbsI");
173 }
174
175 public static final String ABS_L = PREFIX + "ABS_L" + POSTFIX;
176 static {
177 beforeMatchingNameRegex(ABS_L, "AbsL");
178 }
179
180 public static final String ABS_VB = VECTOR_PREFIX + "ABS_VB" + POSTFIX;
181 static {
182 vectorNode(ABS_VB, "AbsVB", TYPE_BYTE);
183 }
184
185 // ABS_VC / AbsVC does not exist (char is 2 byte unsigned)
186
187 public static final String ABS_VS = VECTOR_PREFIX + "ABS_VS" + POSTFIX;
188 static {
189 vectorNode(ABS_VS, "AbsVS", TYPE_SHORT);
190 }
191
192 public static final String ABS_VI = VECTOR_PREFIX + "ABS_VI" + POSTFIX;
193 static {
194 vectorNode(ABS_VI, "AbsVI", TYPE_INT);
195 }
196
197 public static final String ABS_VL = VECTOR_PREFIX + "ABS_VL" + POSTFIX;
198 static {
199 vectorNode(ABS_VL, "AbsVL", TYPE_LONG);
200 }
201
202 public static final String ABS_VF = VECTOR_PREFIX + "ABS_VF" + POSTFIX;
203 static {
204 vectorNode(ABS_VF, "AbsVF", TYPE_FLOAT);
205 }
206
207 public static final String ABS_VD = VECTOR_PREFIX + "ABS_VD" + POSTFIX;
208 static {
209 vectorNode(ABS_VD, "AbsVD", TYPE_DOUBLE);
210 }
211
212 public static final String ADD = PREFIX + "ADD" + POSTFIX;
213 static {
214 beforeMatchingNameRegex(ADD, "Add(I|L|F|D|P)");
215 }
216
217 public static final String ADD_F = PREFIX + "ADD_F" + POSTFIX;
218 static {
219 beforeMatchingNameRegex(ADD_F, "AddF");
220 }
221
222 public static final String ADD_I = PREFIX + "ADD_I" + POSTFIX;
223 static {
224 beforeMatchingNameRegex(ADD_I, "AddI");
225 }
226
227 public static final String ADD_L = PREFIX + "ADD_L" + POSTFIX;
228 static {
229 beforeMatchingNameRegex(ADD_L, "AddL");
230 }
231
232 public static final String ADD_HF = PREFIX + "ADD_HF" + POSTFIX;
233 static {
234 beforeMatchingNameRegex(ADD_HF, "AddHF");
235 }
236
237 public static final String ADD_P = PREFIX + "ADD_P" + POSTFIX;
238 static {
239 beforeMatchingNameRegex(ADD_P, "AddP");
240 }
241
242 public static final String ADD_VD = VECTOR_PREFIX + "ADD_VD" + POSTFIX;
243 static {
244 vectorNode(ADD_VD, "AddVD", TYPE_DOUBLE);
245 }
246
247 public static final String ADD_VI = VECTOR_PREFIX + "ADD_VI" + POSTFIX;
248 static {
249 vectorNode(ADD_VI, "AddVI", TYPE_INT);
250 }
251
252 public static final String ADD_VHF = VECTOR_PREFIX + "ADD_VHF" + POSTFIX;
253 static {
254 vectorNode(ADD_VHF, "AddVHF", TYPE_SHORT);
255 }
256
257 public static final String ADD_VF = VECTOR_PREFIX + "ADD_VF" + POSTFIX;
258 static {
259 vectorNode(ADD_VF, "AddVF", TYPE_FLOAT);
260 }
261
262 public static final String ADD_VB = VECTOR_PREFIX + "ADD_VB" + POSTFIX;
263 static {
264 vectorNode(ADD_VB, "AddVB", TYPE_BYTE);
265 }
266
267 public static final String ADD_VS = VECTOR_PREFIX + "ADD_VS" + POSTFIX;
268 static {
269 vectorNode(ADD_VS, "AddVS", TYPE_SHORT);
270 }
271
272 public static final String ADD_VL = VECTOR_PREFIX + "ADD_VL" + POSTFIX;
273 static {
274 vectorNode(ADD_VL, "AddVL", TYPE_LONG);
275 }
276
277 public static final String SATURATING_ADD_VB = VECTOR_PREFIX + "SATURATING_ADD_VB" + POSTFIX;
278 static {
279 vectorNode(SATURATING_ADD_VB, "SaturatingAddV", TYPE_BYTE);
280 }
281
282 public static final String SATURATING_ADD_VS = VECTOR_PREFIX + "SATURATING_ADD_VS" + POSTFIX;
283 static {
284 vectorNode(SATURATING_ADD_VS, "SaturatingAddV", TYPE_SHORT);
285 }
286
287 public static final String SATURATING_ADD_VI = VECTOR_PREFIX + "SATURATING_ADD_VI" + POSTFIX;
288 static {
289 vectorNode(SATURATING_ADD_VI, "SaturatingAddV", TYPE_INT);
290 }
291
292 public static final String SATURATING_ADD_VL = VECTOR_PREFIX + "SATURATING_ADD_VL" + POSTFIX;
293 static {
294 vectorNode(SATURATING_ADD_VL, "SaturatingAddV", TYPE_LONG);
295 }
296
297 public static final String SATURATING_SUB_VB = VECTOR_PREFIX + "SATURATING_SUB_VB" + POSTFIX;
298 static {
299 vectorNode(SATURATING_SUB_VB, "SaturatingSubV", TYPE_BYTE);
300 }
301
302 public static final String SATURATING_SUB_VS = VECTOR_PREFIX + "SATURATING_SUB_VS" + POSTFIX;
303 static {
304 vectorNode(SATURATING_SUB_VS, "SaturatingSubV", TYPE_SHORT);
305 }
306
307 public static final String SATURATING_SUB_VI = VECTOR_PREFIX + "SATURATING_SUB_VI" + POSTFIX;
308 static {
309 vectorNode(SATURATING_SUB_VI, "SaturatingSubV", TYPE_INT);
310 }
311
312 public static final String SATURATING_SUB_VL = VECTOR_PREFIX + "SATURATING_SUB_VL" + POSTFIX;
313 static {
314 vectorNode(SATURATING_SUB_VL, "SaturatingSubV", TYPE_LONG);
315 }
316
317 public static final String ADD_REDUCTION_V = PREFIX + "ADD_REDUCTION_V" + POSTFIX;
318 static {
319 beforeMatchingNameRegex(ADD_REDUCTION_V, "AddReductionV(B|S|I|L|F|D)");
320 }
321
322 public static final String ADD_REDUCTION_VD = PREFIX + "ADD_REDUCTION_VD" + POSTFIX;
323 static {
324 superWordNodes(ADD_REDUCTION_VD, "AddReductionVD");
325 }
326
327 public static final String ADD_REDUCTION_VF = PREFIX + "ADD_REDUCTION_VF" + POSTFIX;
328 static {
329 superWordNodes(ADD_REDUCTION_VF, "AddReductionVF");
330 }
331
332 public static final String ADD_REDUCTION_VI = PREFIX + "ADD_REDUCTION_VI" + POSTFIX;
333 static {
334 superWordNodes(ADD_REDUCTION_VI, "AddReductionVI");
335 }
336
337 public static final String ADD_REDUCTION_VL = PREFIX + "ADD_REDUCTION_VL" + POSTFIX;
338 static {
339 superWordNodes(ADD_REDUCTION_VL, "AddReductionVL");
340 }
341
342 public static final String OPAQUE_MULTIVERSIONING = PREFIX + "OPAQUE_MULTIVERSIONING" + POSTFIX;
343 static {
344 beforeMatchingNameRegex(OPAQUE_MULTIVERSIONING, "OpaqueMultiversioning");
345 }
346
347 public static final String REARRANGE_VB = VECTOR_PREFIX + "REARRANGE_VB" + POSTFIX;
348 static {
349 vectorNode(REARRANGE_VB, "VectorRearrange", TYPE_BYTE);
350 }
351
352 public static final String REARRANGE_VS = VECTOR_PREFIX + "REARRANGE_VS" + POSTFIX;
353 static {
354 vectorNode(REARRANGE_VS, "VectorRearrange", TYPE_SHORT);
355 }
356
357 public static final String REARRANGE_VI = VECTOR_PREFIX + "REARRANGE_VI" + POSTFIX;
358 static {
359 vectorNode(REARRANGE_VI, "VectorRearrange", TYPE_INT);
360 }
361
362 public static final String REARRANGE_VL = VECTOR_PREFIX + "REARRANGE_VL" + POSTFIX;
363 static {
364 vectorNode(REARRANGE_VL, "VectorRearrange", TYPE_LONG);
365 }
366
367 public static final String REARRANGE_VF = VECTOR_PREFIX + "REARRANGE_VF" + POSTFIX;
368 static {
369 vectorNode(REARRANGE_VF, "VectorRearrange", TYPE_FLOAT);
370 }
371
372 public static final String REARRANGE_VD = VECTOR_PREFIX + "REARRANGE_VD" + POSTFIX;
373 static {
374 vectorNode(REARRANGE_VD, "VectorRearrange", TYPE_DOUBLE);
375 }
376
377 public static final String ADD_P_OF = COMPOSITE_PREFIX + "ADD_P_OF" + POSTFIX;
378 static {
379 String regex = START + "addP_" + IS_REPLACED + MID + ".*" + END;
380 machOnly(ADD_P_OF, regex);
381 }
382
383 public static final String ALLOC = PREFIX + "ALLOC" + POSTFIX;
384 static {
385 String regex = START + "Allocate\\b" + MID + END;
386 macroNodes(ALLOC, regex);
387 }
388
389 public static final String ALLOC_OF = COMPOSITE_PREFIX + "ALLOC_OF" + POSTFIX;
390 static {
391 allocateOfNodes(ALLOC_OF, IS_REPLACED);
392 }
393
394 public static void allocateOfNodes(String irNodePlaceholder, String allocatee) {
395 String regex = START + "Allocate\\b" + MID + "allocationKlass:.*\\b" + allocatee + "\\s.*" + END;
396 macroNodes(irNodePlaceholder, regex);
397 }
398
399 public static final String ALLOC_ARRAY = PREFIX + "ALLOC_ARRAY" + POSTFIX;
400 static {
401 String regex = START + "AllocateArray\\b" + MID + END;
402 macroNodes(ALLOC_ARRAY, regex);
403 }
404
405 public static final String ALLOC_ARRAY_OF = COMPOSITE_PREFIX + "ALLOC_ARRAY_OF" + POSTFIX;
406 static {
407 allocateArrayOfNodes(ALLOC_ARRAY_OF, IS_REPLACED);
408 }
409
410 public static void allocateArrayOfNodes(String irNodePlaceholder, String allocatee) {
411 // Assuming we are looking for an array of "some/package/MyClass". The printout is
412 // [Lsome/package/MyClass;
413 // or, with more dimensions
414 // [[[Lsome/package/MyClass;
415
416 // Case where the searched string is a not fully qualified name (but maybe partially qualified):
417 // package/MyClass or MyClass
418 // The ".*\\b" will eat the "some/" and "some/package/" resp.
419 String partial_name_prefix = ".+\\b";
420
421 // The thing after "allocationKlass:" (the name of the allocated class) is a sequence of:
422 // - a non-empty sequence of "["
423 // - a single character ("L"),
424 // - maybe a non-empty sequence of characters ending on a word boundary
425 // this sequence is omitted if the given name is already fully qualified (exact match)
426 // but will eat the package path prefix in the cases described above
427 // - the name we are looking for
428 // - the final ";".
429 String name_part = "\\[+.(" + partial_name_prefix + ")?" + allocatee + ";";
430 String regex = START + "AllocateArray\\b" + MID + "allocationKlass:" + name_part + ".*" + END;
431 macroNodes(irNodePlaceholder, regex);
432 }
433
434 public static final String OR = PREFIX + "OR" + POSTFIX;
435 static {
436 beforeMatchingNameRegex(OR, "Or(I|L)");
437 }
438
439 public static final String AND = PREFIX + "AND" + POSTFIX;
440 static {
441 beforeMatchingNameRegex(AND, "And(I|L)");
442 }
443
444 public static final String AND_I = PREFIX + "AND_I" + POSTFIX;
445 static {
446 beforeMatchingNameRegex(AND_I, "AndI");
447 }
448
449 public static final String AND_L = PREFIX + "AND_L" + POSTFIX;
450 static {
451 beforeMatchingNameRegex(AND_L, "AndL");
452 }
453
454 public static final String AND_VB = VECTOR_PREFIX + "AND_VB" + POSTFIX;
455 static {
456 vectorNode(AND_VB, "AndV", TYPE_BYTE);
457 }
458
459 public static final String AND_VC = VECTOR_PREFIX + "AND_VC" + POSTFIX;
460 static {
461 vectorNode(AND_VC, "AndV", TYPE_CHAR);
462 }
463
464 public static final String AND_VS = VECTOR_PREFIX + "AND_VS" + POSTFIX;
465 static {
466 vectorNode(AND_VS, "AndV", TYPE_SHORT);
467 }
468
469 public static final String AND_VI = VECTOR_PREFIX + "AND_VI" + POSTFIX;
470 static {
471 vectorNode(AND_VI, "AndV", TYPE_INT);
472 }
473
474 public static final String AND_VL = VECTOR_PREFIX + "AND_VL" + POSTFIX;
475 static {
476 vectorNode(AND_VL, "AndV", TYPE_LONG);
477 }
478
479 public static final String AND_V_MASK = PREFIX + "AND_V_MASK" + POSTFIX;
480 static {
481 beforeMatchingNameRegex(AND_V_MASK, "AndVMask");
482 }
483
484 public static final String AND_REDUCTION_V = PREFIX + "AND_REDUCTION_V" + POSTFIX;
485 static {
486 superWordNodes(AND_REDUCTION_V, "AndReductionV");
487 }
488
489 public static final String CALL = PREFIX + "CALL" + POSTFIX;
490 static {
491 beforeMatchingNameRegex(CALL, "Call.*Java");
492 }
493
494 public static final String CALL_OF = COMPOSITE_PREFIX + "CALL_OF" + POSTFIX;
495 static {
496 callOfNodes(CALL_OF, "Call.*", IS_REPLACED + " " );
497 }
498
499 public static final String CALL_OF_METHOD = COMPOSITE_PREFIX + "CALL_OF_METHOD" + POSTFIX;
500 static {
501 callOfNodes(CALL_OF_METHOD, "Call.*Java", IS_REPLACED + " ");
502 }
503
504 public static final String STATIC_CALL = PREFIX + "STATIC_CALL" + POSTFIX;
505 static {
506 beforeMatchingNameRegex(STATIC_CALL, "CallStaticJava");
507 }
508
509 public static final String STATIC_CALL_OF_METHOD = COMPOSITE_PREFIX + "STATIC_CALL_OF_METHOD" + POSTFIX;
510 static {
511 staticCallOfMethodNodes(STATIC_CALL_OF_METHOD, IS_REPLACED + " ");
512 }
513
514 public static void staticCallOfMethodNodes(String irNodePlaceholder, String calleeRegex) {
515 callOfNodes(irNodePlaceholder, "CallStaticJava", calleeRegex);
516 }
517
518 public static final String CALL_LEAF_NO_FP = PREFIX + "CALL_LEAF_NO_FP" + POSTFIX;
519 static {
520 beforeMatchingNameRegex(CALL_LEAF_NO_FP, "CallLeafNoFP");
521 }
522
523 public static final String CALL_LEAF_NO_FP_OF_METHOD = COMPOSITE_PREFIX + "CALL_LEAF_NO_FP_OF_METHOD" + POSTFIX;
524 static {
525 callLeafNoFpOfMethodNodes(CALL_LEAF_NO_FP_OF_METHOD, IS_REPLACED);
526 }
527
528 public static void callLeafNoFpOfMethodNodes(String irNodePlaceholder, String calleeRegex) {
529 callOfNodes(irNodePlaceholder, "CallLeafNoFP", calleeRegex);
530 }
531
532 public static final String CAST_II = PREFIX + "CAST_II" + POSTFIX;
533 static {
534 beforeMatchingNameRegex(CAST_II, "CastII");
535 }
536
537 public static final String CAST_LL = PREFIX + "CAST_LL" + POSTFIX;
538 static {
539 beforeMatchingNameRegex(CAST_LL, "CastLL");
540 }
541
542 public static final String CBNZW_HI = PREFIX + "CBNZW_HI" + POSTFIX;
543 static {
544 optoOnly(CBNZW_HI, "cbwhi");
545 }
546
547 public static final String CBZW_LS = PREFIX + "CBZW_LS" + POSTFIX;
548 static {
549 optoOnly(CBZW_LS, "cbwls");
550 }
551
552 public static final String CBZ_LS = PREFIX + "CBZ_LS" + POSTFIX;
553 static {
554 optoOnly(CBZ_LS, "cbls");
555 }
556
557 public static final String CBZ_HI = PREFIX + "CBZ_HI" + POSTFIX;
558 static {
559 optoOnly(CBZ_HI, "cbhi");
560 }
561
562 public static final String CHECKCAST_ARRAY = PREFIX + "CHECKCAST_ARRAY" + POSTFIX;
563 static {
564 String regex = "(((?i:cmp|CLFI|CLR).*aryklassptr:\\[.*:Constant|.*(?i:mov|mv|or).*aryklassptr:\\[.*:Constant.*\\R.*(cmp|CMP|CLR))" + END;
565 optoOnly(CHECKCAST_ARRAY, regex);
566 }
567
568 public static final String CHECKCAST_ARRAY_OF = COMPOSITE_PREFIX + "CHECKCAST_ARRAY_OF" + POSTFIX;
569 static {
570 String regex = "(((?i:cmp|CLFI|CLR).*aryklassptr:\\[.*" + IS_REPLACED + ":.*:Constant|.*(?i:mov|mv|or).*aryklassptr:\\[.*" + IS_REPLACED + ":.*:Constant.*\\R.*(cmp|CMP|CLR))" + END;
571 optoOnly(CHECKCAST_ARRAY_OF, regex);
572 }
573
574 // Does not work on s390 (a rule containing this regex will be skipped on s390).
575 public static final String CHECKCAST_ARRAYCOPY = PREFIX + "CHECKCAST_ARRAYCOPY" + POSTFIX;
576 static {
577 String regex = "(.*((?i:call_leaf_nofp,runtime)|CALL,\\s?runtime leaf nofp|BCTRL.*.leaf call).*checkcast_arraycopy.*" + END;
578 optoOnly(CHECKCAST_ARRAYCOPY, regex);
579 }
580
581 public static final String CLASS_CHECK_TRAP = PREFIX + "CLASS_CHECK_TRAP" + POSTFIX;
582 static {
583 trapNodes(CLASS_CHECK_TRAP, "class_check");
584 }
585
586 public static final String CMOVE_I = PREFIX + "CMOVE_I" + POSTFIX;
587 static {
588 beforeMatchingNameRegex(CMOVE_I, "CMoveI");
589 }
590
591 public static final String CMP_I = PREFIX + "CMP_I" + POSTFIX;
592 static {
593 beforeMatchingNameRegex(CMP_I, "CmpI");
594 }
595
596 public static final String CMP_L = PREFIX + "CMP_L" + POSTFIX;
597 static {
598 beforeMatchingNameRegex(CMP_L, "CmpL");
599 }
600
601 public static final String CMP_U = PREFIX + "CMP_U" + POSTFIX;
602 static {
603 beforeMatchingNameRegex(CMP_U, "CmpU\\b");
604 }
605
606 public static final String CMP_U3 = PREFIX + "CMP_U3" + POSTFIX;
607 static {
608 beforeMatchingNameRegex(CMP_U3, "CmpU3");
609 }
610
611 public static final String CMP_UL = PREFIX + "CMP_UL" + POSTFIX;
612 static {
613 beforeMatchingNameRegex(CMP_UL, "CmpUL");
614 }
615
616 public static final String CMP_UL3 = PREFIX + "CMP_UL3" + POSTFIX;
617 static {
618 beforeMatchingNameRegex(CMP_UL3, "CmpUL3");
619 }
620
621 public static final String CMP_P = PREFIX + "CMP_P" + POSTFIX;
622 static {
623 beforeMatchingNameRegex(CMP_P, "CmpP");
624 }
625
626 public static final String CMP_N = PREFIX + "CMP_N" + POSTFIX;
627 static {
628 beforeMatchingNameRegex(CMP_N, "CmpN");
629 }
630
631 public static final String CMP_LT_MASK = PREFIX + "CMP_LT_MASK" + POSTFIX;
632 static {
633 beforeMatchingNameRegex(CMP_LT_MASK, "CmpLTMask");
634 }
635
636 public static final String ROUND_F = PREFIX + "ROUND_F" + POSTFIX;
637 static {
638 beforeMatchingNameRegex(ROUND_F, "RoundF");
639 }
640
641 public static final String ROUND_D = PREFIX + "ROUND_D" + POSTFIX;
642 static {
643 beforeMatchingNameRegex(ROUND_D, "RoundD");
644 }
645
646 public static final String COMPRESS_BITS = PREFIX + "COMPRESS_BITS" + POSTFIX;
647 static {
648 beforeMatchingNameRegex(COMPRESS_BITS, "CompressBits");
649 }
650
651 public static final String CONV = PREFIX + "CONV" + POSTFIX;
652 static {
653 beforeMatchingNameRegex(CONV, "Conv");
654 }
655
656 public static final String CONV_D2I = PREFIX + "CONV_D2I" + POSTFIX;
657 static {
658 beforeMatchingNameRegex(CONV_D2I, "ConvD2I");
659 }
660
661 public static final String CONV_D2L = PREFIX + "CONV_D2L" + POSTFIX;
662 static {
663 beforeMatchingNameRegex(CONV_D2L, "ConvD2L");
664 }
665
666 public static final String CONV_F2HF = PREFIX + "CONV_F2HF" + POSTFIX;
667 static {
668 beforeMatchingNameRegex(CONV_F2HF, "ConvF2HF");
669 }
670
671 public static final String CONV_F2I = PREFIX + "CONV_F2I" + POSTFIX;
672 static {
673 beforeMatchingNameRegex(CONV_F2I, "ConvF2I");
674 }
675
676 public static final String CONV_F2L = PREFIX + "CONV_F2L" + POSTFIX;
677 static {
678 beforeMatchingNameRegex(CONV_F2L, "ConvF2L");
679 }
680
681 public static final String CONV_I2L = PREFIX + "CONV_I2L" + POSTFIX;
682 static {
683 beforeMatchingNameRegex(CONV_I2L, "ConvI2L");
684 }
685
686 public static final String CONV_L2I = PREFIX + "CONV_L2I" + POSTFIX;
687 static {
688 beforeMatchingNameRegex(CONV_L2I, "ConvL2I");
689 }
690
691 public static final String CONV_HF2F = PREFIX + "CONV_HF2F" + POSTFIX;
692 static {
693 beforeMatchingNameRegex(CONV_HF2F, "ConvHF2F");
694 }
695
696 public static final String CON_I = PREFIX + "CON_I" + POSTFIX;
697 static {
698 beforeMatchingNameRegex(CON_I, "ConI");
699 }
700
701 public static final String CON_L = PREFIX + "CON_L" + POSTFIX;
702 static {
703 beforeMatchingNameRegex(CON_L, "ConL");
704 }
705
706 public static final String CON_D = PREFIX + "CON_D" + POSTFIX;
707 static {
708 beforeMatchingNameRegex(CON_D, "ConD");
709 }
710
711 public static final String CON_F = PREFIX + "CON_F" + POSTFIX;
712 static {
713 beforeMatchingNameRegex(CON_F, "ConF");
714 }
715
716 public static final String COUNTED_LOOP = PREFIX + "COUNTED_LOOP" + POSTFIX;
717 static {
718 String regex = START + "CountedLoop\\b" + MID + END;
719 fromAfterCountedLoops(COUNTED_LOOP, regex);
720 }
721
722 public static final String COUNTED_LOOP_MAIN = PREFIX + "COUNTED_LOOP_MAIN" + POSTFIX;
723 static {
724 String regex = START + "CountedLoop\\b" + MID + "main" + END;
725 fromAfterCountedLoops(COUNTED_LOOP_MAIN, regex);
726 }
727
728 public static final String DECODE_HEAP_OOP_NOT_NULL = PREFIX + "DECODE_HEAP_OOP_NOT_NULL" + POSTFIX;
729 static {
730 machOnly(DECODE_HEAP_OOP_NOT_NULL, "decodeHeapOop_not_null");
731 }
732
733 public static final String DIV = PREFIX + "DIV" + POSTFIX;
734 static {
735 beforeMatchingNameRegex(DIV, "Div(I|L|F|D)");
736 }
737
738 public static final String UDIV = PREFIX + "UDIV" + POSTFIX;
739 static {
740 beforeMatchingNameRegex(UDIV, "UDiv(I|L|F|D)");
741 }
742
743 public static final String DIV_BY_ZERO_TRAP = PREFIX + "DIV_BY_ZERO_TRAP" + POSTFIX;
744 static {
745 trapNodes(DIV_BY_ZERO_TRAP, "div0_check");
746 }
747
748 public static final String DIV_I = PREFIX + "DIV_I" + POSTFIX;
749 static {
750 beforeMatchingNameRegex(DIV_I, "DivI");
751 }
752
753 public static final String DIV_L = PREFIX + "DIV_L" + POSTFIX;
754 static {
755 beforeMatchingNameRegex(DIV_L, "DivL");
756 }
757
758 public static final String DIV_MOD_I = PREFIX + "DIV_MOD_I" + POSTFIX;
759 static {
760 beforeMatchingNameRegex(DIV_MOD_I, "DivModI");
761 }
762
763 public static final String DIV_MOD_L = PREFIX + "DIV_MOD_L" + POSTFIX;
764 static {
765 beforeMatchingNameRegex(DIV_MOD_L, "DivModL");
766 }
767
768 public static final String DIV_VHF = VECTOR_PREFIX + "DIV_VHF" + POSTFIX;
769 static {
770 vectorNode(DIV_VHF, "DivVHF", TYPE_SHORT);
771 }
772
773 public static final String DIV_VF = VECTOR_PREFIX + "DIV_VF" + POSTFIX;
774 static {
775 vectorNode(DIV_VF, "DivVF", TYPE_FLOAT);
776 }
777
778 public static final String DIV_VD = VECTOR_PREFIX + "DIV_VD" + POSTFIX;
779 static {
780 vectorNode(DIV_VD, "DivVD", TYPE_DOUBLE);
781 }
782
783 public static final String DYNAMIC_CALL_OF_METHOD = COMPOSITE_PREFIX + "DYNAMIC_CALL_OF_METHOD" + POSTFIX;
784 static {
785 callOfNodes(DYNAMIC_CALL_OF_METHOD, "CallDynamicJava", IS_REPLACED);
786 }
787
788 public static final String EXPAND_BITS = PREFIX + "EXPAND_BITS" + POSTFIX;
789 static {
790 beforeMatchingNameRegex(EXPAND_BITS, "ExpandBits");
791 }
792
793 public static final String FAST_LOCK = PREFIX + "FAST_LOCK" + POSTFIX;
794 static {
795 beforeMatchingNameRegex(FAST_LOCK, "FastLock");
796 }
797
798 public static final String FAST_UNLOCK = PREFIX + "FAST_UNLOCK" + POSTFIX;
799 static {
800 String regex = START + "FastUnlock" + MID + END;
801 fromMacroToBeforeMatching(FAST_UNLOCK, regex);
802 }
803
804 public static final String FIELD_ACCESS = PREFIX + "FIELD_ACCESS" + POSTFIX;
805 static {
806 String regex = "(.*Field: *" + END;
807 optoOnly(FIELD_ACCESS, regex);
808 }
809
810 public static final String FMA_VHF = VECTOR_PREFIX + "FMA_VHF" + POSTFIX;
811 static {
812 vectorNode(FMA_VHF, "FmaVHF", TYPE_SHORT);
813 }
814
815 public static final String FMA_VF = VECTOR_PREFIX + "FMA_VF" + POSTFIX;
816 static {
817 vectorNode(FMA_VF, "FmaVF", TYPE_FLOAT);
818 }
819
820 public static final String FMA_VD = VECTOR_PREFIX + "FMA_VD" + POSTFIX;
821 static {
822 vectorNode(FMA_VD, "FmaVD", TYPE_DOUBLE);
823 }
824
825 public static final String FMA_HF = PREFIX + "FMA_HF" + POSTFIX;
826 static {
827 beforeMatchingNameRegex(FMA_HF, "FmaHF");
828 }
829
830 public static final String G1_COMPARE_AND_EXCHANGE_N_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_COMPARE_AND_EXCHANGE_N_WITH_BARRIER_FLAG" + POSTFIX;
831 static {
832 String regex = START + "g1CompareAndExchangeN\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
833 machOnly(G1_COMPARE_AND_EXCHANGE_N_WITH_BARRIER_FLAG, regex);
834 }
835
836 public static final String G1_COMPARE_AND_EXCHANGE_P_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_COMPARE_AND_EXCHANGE_P_WITH_BARRIER_FLAG" + POSTFIX;
837 static {
838 String regex = START + "g1CompareAndExchangeP\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
839 machOnly(G1_COMPARE_AND_EXCHANGE_P_WITH_BARRIER_FLAG, regex);
840 }
841
842 public static final String G1_COMPARE_AND_SWAP_N_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_COMPARE_AND_SWAP_N_WITH_BARRIER_FLAG" + POSTFIX;
843 static {
844 String regex = START + "g1CompareAndSwapN\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
845 machOnly(G1_COMPARE_AND_SWAP_N_WITH_BARRIER_FLAG, regex);
846 }
847
848 public static final String G1_COMPARE_AND_SWAP_P_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_COMPARE_AND_SWAP_P_WITH_BARRIER_FLAG" + POSTFIX;
849 static {
850 String regex = START + "g1CompareAndSwapP\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
851 machOnly(G1_COMPARE_AND_SWAP_P_WITH_BARRIER_FLAG, regex);
852 }
853
854 public static final String G1_ENCODE_P_AND_STORE_N = PREFIX + "G1_ENCODE_P_AND_STORE_N" + POSTFIX;
855 static {
856 machOnlyNameRegex(G1_ENCODE_P_AND_STORE_N, "g1EncodePAndStoreN");
857 }
858
859 public static final String G1_ENCODE_P_AND_STORE_N_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_ENCODE_P_AND_STORE_N_WITH_BARRIER_FLAG" + POSTFIX;
860 static {
861 String regex = START + "g1EncodePAndStoreN\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
862 machOnly(G1_ENCODE_P_AND_STORE_N_WITH_BARRIER_FLAG, regex);
863 }
864
865 public static final String G1_GET_AND_SET_N_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_GET_AND_SET_N_WITH_BARRIER_FLAG" + POSTFIX;
866 static {
867 String regex = START + "g1GetAndSetN\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
868 machOnly(G1_GET_AND_SET_N_WITH_BARRIER_FLAG, regex);
869 }
870
871 public static final String G1_GET_AND_SET_P_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_GET_AND_SET_P_WITH_BARRIER_FLAG" + POSTFIX;
872 static {
873 String regex = START + "g1GetAndSetP\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
874 machOnly(G1_GET_AND_SET_P_WITH_BARRIER_FLAG, regex);
875 }
876
877 public static final String G1_LOAD_N = PREFIX + "G1_LOAD_N" + POSTFIX;
878 static {
879 machOnlyNameRegex(G1_LOAD_N, "g1LoadN");
880 }
881
882 public static final String G1_LOAD_N_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_LOAD_N_WITH_BARRIER_FLAG" + POSTFIX;
883 static {
884 String regex = START + "g1LoadN\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
885 machOnly(G1_LOAD_N_WITH_BARRIER_FLAG, regex);
886 }
887
888 public static final String G1_LOAD_P_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_LOAD_P_WITH_BARRIER_FLAG" + POSTFIX;
889 static {
890 String regex = START + "g1LoadP\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
891 machOnly(G1_LOAD_P_WITH_BARRIER_FLAG, regex);
892 }
893
894 public static final String G1_STORE_N = PREFIX + "G1_STORE_N" + POSTFIX;
895 static {
896 machOnlyNameRegex(G1_STORE_N, "g1StoreN");
897 }
898
899 public static final String G1_STORE_N_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_STORE_N_WITH_BARRIER_FLAG" + POSTFIX;
900 static {
901 String regex = START + "g1StoreN\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
902 machOnly(G1_STORE_N_WITH_BARRIER_FLAG, regex);
903 }
904
905 public static final String G1_STORE_P = PREFIX + "G1_STORE_P" + POSTFIX;
906 static {
907 machOnlyNameRegex(G1_STORE_P, "g1StoreP");
908 }
909
910 public static final String G1_STORE_P_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "G1_STORE_P_WITH_BARRIER_FLAG" + POSTFIX;
911 static {
912 String regex = START + "g1StoreP\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
913 machOnly(G1_STORE_P_WITH_BARRIER_FLAG, regex);
914 }
915
916 public static final String IF = PREFIX + "IF" + POSTFIX;
917 static {
918 beforeMatchingNameRegex(IF, "If\\b");
919 }
920
921 public static final String INLINE_TYPE = PREFIX + "INLINE_TYPE" + POSTFIX;
922 static {
923 beforeMatchingNameRegex(INLINE_TYPE, "InlineType");
924 }
925
926 // Does not work for VM builds without JVMCI like x86_32 (a rule containing this regex will be skipped without having JVMCI built).
927 public static final String INTRINSIC_OR_TYPE_CHECKED_INLINING_TRAP = PREFIX + "INTRINSIC_OR_TYPE_CHECKED_INLINING_TRAP" + POSTFIX;
928 static {
929 trapNodes(INTRINSIC_OR_TYPE_CHECKED_INLINING_TRAP, "intrinsic_or_type_checked_inlining");
930 }
931
932 public static final String INTRINSIC_TRAP = PREFIX + "INTRINSIC_TRAP" + POSTFIX;
933 static {
934 trapNodes(INTRINSIC_TRAP, "intrinsic");
935 }
936
937 // Is only supported on riscv64.
938 public static final String IS_FINITE_D = PREFIX + "IS_FINITE_D" + POSTFIX;
939 static {
940 beforeMatchingNameRegex(IS_FINITE_D, "IsFiniteD");
941 }
942
943 // Is only supported on riscv64.
944 public static final String IS_FINITE_F = PREFIX + "IS_FINITE_F" + POSTFIX;
945 static {
946 beforeMatchingNameRegex(IS_FINITE_F, "IsFiniteF");
947 }
948
949 public static final String IS_INFINITE_D = PREFIX + "IS_INFINITE_D" + POSTFIX;
950 static {
951 beforeMatchingNameRegex(IS_INFINITE_D, "IsInfiniteD");
952 }
953
954 public static final String IS_INFINITE_F = PREFIX + "IS_INFINITE_F" + POSTFIX;
955 static {
956 beforeMatchingNameRegex(IS_INFINITE_F, "IsInfiniteF");
957 }
958
959 // Only supported on x86.
960 public static final String LEA_P = PREFIX + "LEA_P" + POSTFIX;
961 static {
962 machOnly(LEA_P, "leaP(CompressedOopOffset|(8|32)Narrow)");
963 }
964
965 public static final String LOAD = PREFIX + "LOAD" + POSTFIX;
966 static {
967 beforeMatchingNameRegex(LOAD, "Load(B|UB|S|US|I|L|F|D|P|N)");
968 }
969
970 public static final String LOAD_OF_CLASS = COMPOSITE_PREFIX + "LOAD_OF_CLASS" + POSTFIX;
971 static {
972 anyLoadOfNodes(LOAD_OF_CLASS, IS_REPLACED);
973 }
974
975 public static void anyLoadOfNodes(String irNodePlaceholder, String fieldHolder) {
976 loadOfNodes(irNodePlaceholder, "Load(B|UB|S|US|I|L|F|D|P|N)", fieldHolder);
977 }
978
979 public static final String LOAD_B = PREFIX + "LOAD_B" + POSTFIX;
980 static {
981 beforeMatchingNameRegex(LOAD_B, "LoadB");
982 }
983
984 public static final String LOAD_B_OF_CLASS = COMPOSITE_PREFIX + "LOAD_B_OF_CLASS" + POSTFIX;
985 static {
986 loadOfNodes(LOAD_B_OF_CLASS, "LoadB", IS_REPLACED);
987 }
988
989 public static final String LOAD_D = PREFIX + "LOAD_D" + POSTFIX;
990 static {
991 beforeMatchingNameRegex(LOAD_D, "LoadD");
992 }
993
994 public static final String LOAD_D_OF_CLASS = COMPOSITE_PREFIX + "LOAD_D_OF_CLASS" + POSTFIX;
995 static {
996 loadOfNodes(LOAD_D_OF_CLASS, "LoadD", IS_REPLACED);
997 }
998
999 public static final String LOAD_F = PREFIX + "LOAD_F" + POSTFIX;
1000 static {
1001 beforeMatchingNameRegex(LOAD_F, "LoadF");
1002 }
1003
1004 public static final String LOAD_F_OF_CLASS = COMPOSITE_PREFIX + "LOAD_F_OF_CLASS" + POSTFIX;
1005 static {
1006 loadOfNodes(LOAD_F_OF_CLASS, "LoadF", IS_REPLACED);
1007 }
1008
1009 public static final String LOAD_I = PREFIX + "LOAD_I" + POSTFIX;
1010 static {
1011 beforeMatchingNameRegex(LOAD_I, "LoadI");
1012 }
1013
1014 public static final String LOAD_I_OF_CLASS = COMPOSITE_PREFIX + "LOAD_I_OF_CLASS" + POSTFIX;
1015 static {
1016 loadOfNodes(LOAD_I_OF_CLASS, "LoadI", IS_REPLACED);
1017 }
1018
1019 public static final String LOAD_KLASS = PREFIX + "LOAD_KLASS" + POSTFIX;
1020 static {
1021 beforeMatchingNameRegex(LOAD_KLASS, "LoadKlass");
1022 }
1023
1024 public static final String LOAD_NKLASS = PREFIX + "LOAD_NKLASS" + POSTFIX;
1025 static {
1026 beforeMatchingNameRegex(LOAD_NKLASS, "LoadNKlass");
1027 }
1028
1029 public static final String LOAD_KLASS_OR_NKLASS = PREFIX + "LOAD_KLASS_OR_NKLASS" + POSTFIX;
1030 static {
1031 beforeMatchingNameRegex(LOAD_KLASS_OR_NKLASS, "LoadN?Klass");
1032 }
1033
1034 public static final String LOAD_L = PREFIX + "LOAD_L" + POSTFIX;
1035 static {
1036 beforeMatchingNameRegex(LOAD_L, "LoadL");
1037 }
1038
1039 public static final String LOAD_L_OF_CLASS = COMPOSITE_PREFIX + "LOAD_L_OF_CLASS" + POSTFIX;
1040 static {
1041 loadOfNodes(LOAD_L_OF_CLASS, "LoadL", IS_REPLACED);
1042 }
1043
1044 public static final String LOAD_N = PREFIX + "LOAD_N" + POSTFIX;
1045 static {
1046 beforeMatchingNameRegex(LOAD_N, "LoadN");
1047 }
1048
1049 public static final String LOAD_N_OF_CLASS = COMPOSITE_PREFIX + "LOAD_N_OF_CLASS" + POSTFIX;
1050 static {
1051 loadOfNodes(LOAD_N_OF_CLASS, "LoadN", IS_REPLACED);
1052 }
1053
1054 public static final String LOAD_OF_FIELD = COMPOSITE_PREFIX + "LOAD_OF_FIELD" + POSTFIX;
1055 static {
1056 String regex = START + "Load(B|C|S|I|L|F|D|P|N)" + MID + "@.*name=" + IS_REPLACED + ",.*" + END;
1057 beforeMatching(LOAD_OF_FIELD, regex);
1058 }
1059
1060 public static final String LOAD_P = PREFIX + "LOAD_P" + POSTFIX;
1061 static {
1062 beforeMatchingNameRegex(LOAD_P, "LoadP");
1063 }
1064
1065 public static final String LOAD_P_OF_CLASS = COMPOSITE_PREFIX + "LOAD_P_OF_CLASS" + POSTFIX;
1066 static {
1067 loadOfNodes(LOAD_P_OF_CLASS, "LoadP", IS_REPLACED);
1068 }
1069
1070 public static final String LOAD_S = PREFIX + "LOAD_S" + POSTFIX;
1071 static {
1072 beforeMatchingNameRegex(LOAD_S, "LoadS");
1073 }
1074
1075 public static final String LOAD_S_OF_CLASS = COMPOSITE_PREFIX + "LOAD_S_OF_CLASS" + POSTFIX;
1076 static {
1077 loadOfNodes(LOAD_S_OF_CLASS, "LoadS", IS_REPLACED);
1078 }
1079
1080 public static final String LOAD_UB = PREFIX + "LOAD_UB" + POSTFIX;
1081 static {
1082 beforeMatchingNameRegex(LOAD_UB, "LoadUB");
1083 }
1084
1085 public static final String LOAD_UB_OF_CLASS = COMPOSITE_PREFIX + "LOAD_UB_OF_CLASS" + POSTFIX;
1086 static {
1087 loadOfNodes(LOAD_UB_OF_CLASS, "LoadUB", IS_REPLACED);
1088 }
1089
1090 public static final String LOAD_US = PREFIX + "LOAD_US" + POSTFIX;
1091 static {
1092 beforeMatchingNameRegex(LOAD_US, "LoadUS");
1093 }
1094
1095 public static final String LOAD_US_OF_CLASS = COMPOSITE_PREFIX + "LOAD_US_OF_CLASS" + POSTFIX;
1096 static {
1097 loadOfNodes(LOAD_US_OF_CLASS, "LoadUS", IS_REPLACED);
1098 }
1099
1100 public static final String LOAD_VECTOR_B = VECTOR_PREFIX + "LOAD_VECTOR_B" + POSTFIX;
1101 static {
1102 vectorNode(LOAD_VECTOR_B, "LoadVector", TYPE_BYTE);
1103 }
1104
1105 public static final String LOAD_VECTOR_C = VECTOR_PREFIX + "LOAD_VECTOR_C" + POSTFIX;
1106 static {
1107 vectorNode(LOAD_VECTOR_C, "LoadVector", TYPE_CHAR);
1108 }
1109
1110 public static final String LOAD_VECTOR_S = VECTOR_PREFIX + "LOAD_VECTOR_S" + POSTFIX;
1111 static {
1112 vectorNode(LOAD_VECTOR_S, "LoadVector", TYPE_SHORT);
1113 }
1114
1115 public static final String LOAD_VECTOR_I = VECTOR_PREFIX + "LOAD_VECTOR_I" + POSTFIX;
1116 static {
1117 vectorNode(LOAD_VECTOR_I, "LoadVector", TYPE_INT);
1118 }
1119
1120 public static final String LOAD_VECTOR_L = VECTOR_PREFIX + "LOAD_VECTOR_L" + POSTFIX;
1121 static {
1122 vectorNode(LOAD_VECTOR_L, "LoadVector", TYPE_LONG);
1123 }
1124
1125 public static final String LOAD_VECTOR_F = VECTOR_PREFIX + "LOAD_VECTOR_F" + POSTFIX;
1126 static {
1127 vectorNode(LOAD_VECTOR_F, "LoadVector", TYPE_FLOAT);
1128 }
1129
1130 public static final String LOAD_VECTOR_D = VECTOR_PREFIX + "LOAD_VECTOR_D" + POSTFIX;
1131 static {
1132 vectorNode(LOAD_VECTOR_D, "LoadVector", TYPE_DOUBLE);
1133 }
1134
1135 public static final String LOAD_VECTOR_GATHER = PREFIX + "LOAD_VECTOR_GATHER" + POSTFIX;
1136 static {
1137 beforeMatchingNameRegex(LOAD_VECTOR_GATHER, "LoadVectorGather");
1138 }
1139
1140 public static final String LOAD_VECTOR_MASKED = PREFIX + "LOAD_VECTOR_MASKED" + POSTFIX;
1141 static {
1142 beforeMatchingNameRegex(LOAD_VECTOR_MASKED, "LoadVectorMasked");
1143 }
1144
1145 public static final String LOAD_VECTOR_GATHER_MASKED = PREFIX + "LOAD_VECTOR_GATHER_MASKED" + POSTFIX;
1146 static {
1147 beforeMatchingNameRegex(LOAD_VECTOR_GATHER_MASKED, "LoadVectorGatherMasked");
1148 }
1149
1150 public static final String LONG_COUNTED_LOOP = PREFIX + "LONG_COUNTED_LOOP" + POSTFIX;
1151 static {
1152 String regex = START + "LongCountedLoop\\b" + MID + END;
1153 fromAfterCountedLoops(LONG_COUNTED_LOOP, regex);
1154 }
1155
1156 public static final String LOOP = PREFIX + "LOOP" + POSTFIX;
1157 static {
1158 String regex = START + "Loop" + MID + END;
1159 fromBeforeCountedLoops(LOOP, regex);
1160 }
1161
1162 public static final String LSHIFT = PREFIX + "LSHIFT" + POSTFIX;
1163 static {
1164 beforeMatchingNameRegex(LSHIFT, "LShift(I|L)");
1165 }
1166
1167 public static final String LSHIFT_I = PREFIX + "LSHIFT_I" + POSTFIX;
1168 static {
1169 beforeMatchingNameRegex(LSHIFT_I, "LShiftI");
1170 }
1171
1172 public static final String LSHIFT_L = PREFIX + "LSHIFT_L" + POSTFIX;
1173 static {
1174 beforeMatchingNameRegex(LSHIFT_L, "LShiftL");
1175 }
1176
1177 public static final String LSHIFT_VB = VECTOR_PREFIX + "LSHIFT_VB" + POSTFIX;
1178 static {
1179 vectorNode(LSHIFT_VB, "LShiftVB", TYPE_BYTE);
1180 }
1181
1182 public static final String LSHIFT_VS = VECTOR_PREFIX + "LSHIFT_VS" + POSTFIX;
1183 static {
1184 vectorNode(LSHIFT_VS, "LShiftVS", TYPE_SHORT);
1185 }
1186
1187 public static final String LSHIFT_VC = VECTOR_PREFIX + "LSHIFT_VC" + POSTFIX;
1188 static {
1189 vectorNode(LSHIFT_VC, "LShiftVS", TYPE_CHAR); // using short op with char type
1190 }
1191
1192 public static final String LSHIFT_VI = VECTOR_PREFIX + "LSHIFT_VI" + POSTFIX;
1193 static {
1194 vectorNode(LSHIFT_VI, "LShiftVI", TYPE_INT);
1195 }
1196
1197 public static final String LSHIFT_VL = VECTOR_PREFIX + "LSHIFT_VL" + POSTFIX;
1198 static {
1199 vectorNode(LSHIFT_VL, "LShiftVL", TYPE_LONG);
1200 }
1201
1202 public static final String MACH_TEMP = PREFIX + "MACH_TEMP" + POSTFIX;
1203 static {
1204 machOnlyNameRegex(MACH_TEMP, "MachTemp");
1205 }
1206
1207 public static final String MACRO_LOGIC_V = PREFIX + "MACRO_LOGIC_V" + POSTFIX;
1208 static {
1209 afterBarrierExpansionToBeforeMatching(MACRO_LOGIC_V, "MacroLogicV");
1210 }
1211
1212 public static final String MAX = PREFIX + "MAX" + POSTFIX;
1213 static {
1214 beforeMatchingNameRegex(MAX, "Max(I|L|F|D)");
1215 }
1216
1217 public static final String MAX_D = PREFIX + "MAX_D" + POSTFIX;
1218 static {
1219 beforeMatchingNameRegex(MAX_D, "MaxD");
1220 }
1221
1222 public static final String MAX_D_REDUCTION_REG = PREFIX + "MAX_D_REDUCTION_REG" + POSTFIX;
1223 static {
1224 machOnlyNameRegex(MAX_D_REDUCTION_REG, "maxD_reduction_reg");
1225 }
1226
1227 public static final String MAX_D_REG = PREFIX + "MAX_D_REG" + POSTFIX;
1228 static {
1229 machOnlyNameRegex(MAX_D_REG, "maxD_reg");
1230 }
1231
1232 public static final String MAX_F = PREFIX + "MAX_F" + POSTFIX;
1233 static {
1234 beforeMatchingNameRegex(MAX_F, "MaxF");
1235 }
1236
1237 public static final String MAX_F_REDUCTION_REG = PREFIX + "MAX_F_REDUCTION_REG" + POSTFIX;
1238 static {
1239 machOnlyNameRegex(MAX_F_REDUCTION_REG, "maxF_reduction_reg");
1240 }
1241
1242 public static final String MAX_F_REG = PREFIX + "MAX_F_REG" + POSTFIX;
1243 static {
1244 machOnlyNameRegex(MAX_F_REG, "maxF_reg");
1245 }
1246
1247 public static final String MAX_I = PREFIX + "MAX_I" + POSTFIX;
1248 static {
1249 beforeMatchingNameRegex(MAX_I, "MaxI");
1250 }
1251
1252 public static final String MAX_L = PREFIX + "MAX_L" + POSTFIX;
1253 static {
1254 beforeMatchingNameRegex(MAX_L, "MaxL");
1255 }
1256
1257 public static final String MAX_VI = VECTOR_PREFIX + "MAX_VI" + POSTFIX;
1258 static {
1259 vectorNode(MAX_VI, "MaxV", TYPE_INT);
1260 }
1261
1262 public static final String MAX_VHF = VECTOR_PREFIX + "MAX_VHF" + POSTFIX;
1263 static {
1264 vectorNode(MAX_VHF, "MaxVHF", TYPE_SHORT);
1265 }
1266
1267 public static final String MAX_VF = VECTOR_PREFIX + "MAX_VF" + POSTFIX;
1268 static {
1269 vectorNode(MAX_VF, "MaxV", TYPE_FLOAT);
1270 }
1271
1272 public static final String MAX_VD = VECTOR_PREFIX + "MAX_VD" + POSTFIX;
1273 static {
1274 vectorNode(MAX_VD, "MaxV", TYPE_DOUBLE);
1275 }
1276
1277 public static final String MAX_VL = VECTOR_PREFIX + "MAX_VL" + POSTFIX;
1278 static {
1279 vectorNode(MAX_VL, "MaxV", TYPE_LONG);
1280 }
1281
1282 public static final String MEMBAR = PREFIX + "MEMBAR" + POSTFIX;
1283 static {
1284 beforeMatchingNameRegex(MEMBAR, "MemBar");
1285 }
1286
1287 public static final String MEMBAR_ACQUIRE = PREFIX + "MEMBAR_ACQUIRE" + POSTFIX;
1288 static {
1289 beforeMatchingNameRegex(MEMBAR_ACQUIRE, "MemBarAcquire");
1290 }
1291
1292 public static final String MEMBAR_RELEASE = PREFIX + "MEMBAR_RELEASE" + POSTFIX;
1293 static {
1294 beforeMatchingNameRegex(MEMBAR_RELEASE, "MemBarRelease");
1295 }
1296
1297 public static final String MEMBAR_STORESTORE = PREFIX + "MEMBAR_STORESTORE" + POSTFIX;
1298 static {
1299 beforeMatchingNameRegex(MEMBAR_STORESTORE, "MemBarStoreStore");
1300 }
1301
1302 public static final String MEMBAR_VOLATILE = PREFIX + "MEMBAR_VOLATILE" + POSTFIX;
1303 static {
1304 beforeMatchingNameRegex(MEMBAR_VOLATILE, "MemBarVolatile");
1305 }
1306
1307 public static final String MEM_TO_REG_SPILL_COPY = PREFIX + "MEM_TO_REG_SPILL_COPY" + POSTFIX;
1308 static {
1309 machOnly(MEM_TO_REG_SPILL_COPY, "MemToRegSpillCopy");
1310 }
1311
1312 public static final String MEM_TO_REG_SPILL_COPY_TYPE = COMPOSITE_PREFIX + "MEM_TO_REG_SPILL_COPY_TYPE" + POSTFIX;
1313 static {
1314 String regex = START + "MemToRegSpillCopy" + MID + IS_REPLACED + ".*" + END;
1315 machOnly(MEM_TO_REG_SPILL_COPY_TYPE, regex);
1316 }
1317
1318 public static final String MIN = PREFIX + "MIN" + POSTFIX;
1319 static {
1320 beforeMatchingNameRegex(MIN, "Min(I|L)");
1321 }
1322
1323 public static final String MIN_D = PREFIX + "MIN_D" + POSTFIX;
1324 static {
1325 beforeMatchingNameRegex(MIN_D, "MinD");
1326 }
1327
1328 public static final String MIN_D_REDUCTION_REG = PREFIX + "MIN_D_REDUCTION_REG" + POSTFIX;
1329 static {
1330 machOnlyNameRegex(MIN_D_REDUCTION_REG, "minD_reduction_reg");
1331 }
1332
1333 public static final String MIN_D_REG = PREFIX + "MIN_D_REG" + POSTFIX;
1334 static {
1335 machOnlyNameRegex(MIN_D_REG, "minD_reg");
1336 }
1337
1338 public static final String MIN_F = PREFIX + "MIN_F" + POSTFIX;
1339 static {
1340 beforeMatchingNameRegex(MIN_F, "MinF");
1341 }
1342
1343 public static final String MIN_F_REDUCTION_REG = PREFIX + "MIN_F_REDUCTION_REG" + POSTFIX;
1344 static {
1345 machOnlyNameRegex(MIN_F_REDUCTION_REG, "minF_reduction_reg");
1346 }
1347
1348 public static final String MIN_F_REG = PREFIX + "MIN_F_REG" + POSTFIX;
1349 static {
1350 machOnlyNameRegex(MIN_F_REG, "minF_reg");
1351 }
1352
1353 public static final String MIN_I = PREFIX + "MIN_I" + POSTFIX;
1354 static {
1355 beforeMatchingNameRegex(MIN_I, "MinI");
1356 }
1357
1358 public static final String MIN_L = PREFIX + "MIN_L" + POSTFIX;
1359 static {
1360 beforeMatchingNameRegex(MIN_L, "MinL");
1361 }
1362
1363 public static final String MIN_HF = PREFIX + "MIN_HF" + POSTFIX;
1364 static {
1365 beforeMatchingNameRegex(MIN_HF, "MinHF");
1366 }
1367
1368 public static final String MAX_HF = PREFIX + "MAX_HF" + POSTFIX;
1369 static {
1370 beforeMatchingNameRegex(MAX_HF, "MaxHF");
1371 }
1372
1373 public static final String MIN_VI = VECTOR_PREFIX + "MIN_VI" + POSTFIX;
1374 static {
1375 vectorNode(MIN_VI, "MinV", TYPE_INT);
1376 }
1377
1378 public static final String MIN_VHF = VECTOR_PREFIX + "MIN_VHF" + POSTFIX;
1379 static {
1380 vectorNode(MIN_VHF, "MinVHF", TYPE_SHORT);
1381 }
1382
1383 public static final String MIN_VF = VECTOR_PREFIX + "MIN_VF" + POSTFIX;
1384 static {
1385 vectorNode(MIN_VF, "MinV", TYPE_FLOAT);
1386 }
1387
1388 public static final String MIN_VD = VECTOR_PREFIX + "MIN_VD" + POSTFIX;
1389 static {
1390 vectorNode(MIN_VD, "MinV", TYPE_DOUBLE);
1391 }
1392
1393 public static final String MIN_VL = VECTOR_PREFIX + "MIN_VL" + POSTFIX;
1394 static {
1395 vectorNode(MIN_VL, "MinV", TYPE_LONG);
1396 }
1397
1398 public static final String MOD_I = PREFIX + "MOD_I" + POSTFIX;
1399 static {
1400 beforeMatchingNameRegex(MOD_I, "ModI");
1401 }
1402
1403 public static final String MOD_L = PREFIX + "MOD_L" + POSTFIX;
1404 static {
1405 beforeMatchingNameRegex(MOD_L, "ModL");
1406 }
1407
1408 public static final String MOV_F2I = PREFIX + "MOV_F2I" + POSTFIX;
1409 static {
1410 beforeMatchingNameRegex(MOV_F2I, "MoveF2I");
1411 }
1412
1413 public static final String MOV_I2F = PREFIX + "MOV_I2F" + POSTFIX;
1414 static {
1415 beforeMatchingNameRegex(MOV_I2F, "MoveI2F");
1416 }
1417
1418 public static final String MOV_D2L = PREFIX + "MOV_D2L" + POSTFIX;
1419 static {
1420 beforeMatchingNameRegex(MOV_D2L, "MoveD2L");
1421 }
1422
1423 public static final String MOV_L2D = PREFIX + "MOD_L2D" + POSTFIX;
1424 static {
1425 beforeMatchingNameRegex(MOV_L2D, "MoveL2D");
1426 }
1427
1428 public static final String MUL = PREFIX + "MUL" + POSTFIX;
1429 static {
1430 beforeMatchingNameRegex(MUL, "Mul(I|L|F|D)");
1431 }
1432
1433 public static final String MUL_ADD_S2I = PREFIX + "MUL_ADD_S2I" + POSTFIX;
1434 static {
1435 beforeMatchingNameRegex(MUL_ADD_S2I, "MulAddS2I");
1436 }
1437
1438 public static final String MUL_ADD_VS2VI = VECTOR_PREFIX + "MUL_ADD_VS2VI" + POSTFIX;
1439 static {
1440 vectorNode(MUL_ADD_VS2VI, "MulAddVS2VI", TYPE_INT);
1441 }
1442
1443 public static final String UMIN_VB = VECTOR_PREFIX + "UMIN_VB" + POSTFIX;
1444 static {
1445 vectorNode(UMIN_VB, "UMinV", TYPE_BYTE);
1446 }
1447
1448 public static final String UMIN_VS = VECTOR_PREFIX + "UMIN_VS" + POSTFIX;
1449 static {
1450 vectorNode(UMIN_VS, "UMinV", TYPE_SHORT);
1451 }
1452
1453 public static final String UMIN_VI = VECTOR_PREFIX + "UMIN_VI" + POSTFIX;
1454 static {
1455 vectorNode(UMIN_VI, "UMinV", TYPE_INT);
1456 }
1457
1458 public static final String UMIN_VL = VECTOR_PREFIX + "UMIN_VL" + POSTFIX;
1459 static {
1460 vectorNode(UMIN_VL, "UMinV", TYPE_LONG);
1461 }
1462
1463 public static final String UMAX_VB = VECTOR_PREFIX + "UMAX_VB" + POSTFIX;
1464 static {
1465 vectorNode(UMAX_VB, "UMaxV", TYPE_BYTE);
1466 }
1467
1468 public static final String UMAX_VS = VECTOR_PREFIX + "UMAX_VS" + POSTFIX;
1469 static {
1470 vectorNode(UMAX_VS, "UMaxV", TYPE_SHORT);
1471 }
1472
1473 public static final String UMAX_VI = VECTOR_PREFIX + "UMAX_VI" + POSTFIX;
1474 static {
1475 vectorNode(UMAX_VI, "UMaxV", TYPE_INT);
1476 }
1477
1478 public static final String UMAX_VL = VECTOR_PREFIX + "UMAX_VL" + POSTFIX;
1479 static {
1480 vectorNode(UMAX_VL, "UMaxV", TYPE_LONG);
1481 }
1482
1483 public static final String MASK_ALL = PREFIX + "MASK_ALL" + POSTFIX;
1484 static {
1485 beforeMatchingNameRegex(MASK_ALL, "MaskAll");
1486 }
1487
1488 public static final String VECTOR_LONG_TO_MASK = PREFIX + "VECTOR_LONG_TO_MASK" + POSTFIX;
1489 static {
1490 beforeMatchingNameRegex(VECTOR_LONG_TO_MASK, "VectorLongToMask");
1491 }
1492
1493 public static final String VECTOR_MASK_TO_LONG = PREFIX + "VECTOR_MASK_TO_LONG" + POSTFIX;
1494 static {
1495 beforeMatchingNameRegex(VECTOR_MASK_TO_LONG, "VectorMaskToLong");
1496 }
1497
1498 public static final String VECTOR_MASK_LANE_IS_SET = PREFIX + "VECTOR_MASK_LANE_IS_SET" + POSTFIX;
1499 static {
1500 beforeMatchingNameRegex(VECTOR_MASK_LANE_IS_SET, "ExtractUB");
1501 }
1502
1503 // Can only be used if avx512_vnni is available.
1504 public static final String MUL_ADD_VS2VI_VNNI = PREFIX + "MUL_ADD_VS2VI_VNNI" + POSTFIX;
1505 static {
1506 machOnly(MUL_ADD_VS2VI_VNNI, "vmuladdaddS2I_reg");
1507 }
1508
1509 public static final String MUL_D = PREFIX + "MUL_D" + POSTFIX;
1510 static {
1511 beforeMatchingNameRegex(MUL_D, "MulD");
1512 }
1513
1514 public static final String MUL_F = PREFIX + "MUL_F" + POSTFIX;
1515 static {
1516 beforeMatchingNameRegex(MUL_F, "MulF");
1517 }
1518
1519 public static final String MUL_HF = PREFIX + "MUL_HF" + POSTFIX;
1520 static {
1521 beforeMatchingNameRegex(MUL_HF, "MulHF");
1522 }
1523
1524 public static final String MUL_I = PREFIX + "MUL_I" + POSTFIX;
1525 static {
1526 beforeMatchingNameRegex(MUL_I, "MulI");
1527 }
1528
1529 public static final String MUL_L = PREFIX + "MUL_L" + POSTFIX;
1530 static {
1531 beforeMatchingNameRegex(MUL_L, "MulL");
1532 }
1533
1534 public static final String MUL_VL = VECTOR_PREFIX + "MUL_VL" + POSTFIX;
1535 static {
1536 vectorNode(MUL_VL, "MulVL", TYPE_LONG);
1537 }
1538
1539 public static final String MUL_VI = VECTOR_PREFIX + "MUL_VI" + POSTFIX;
1540 static {
1541 vectorNode(MUL_VI, "MulVI", TYPE_INT);
1542 }
1543
1544 public static final String MUL_VHF = VECTOR_PREFIX + "MUL_VHF" + POSTFIX;
1545 static {
1546 vectorNode(MUL_VHF, "MulVHF", TYPE_SHORT);
1547 }
1548
1549 public static final String MUL_VF = VECTOR_PREFIX + "MUL_VF" + POSTFIX;
1550 static {
1551 vectorNode(MUL_VF, "MulVF", TYPE_FLOAT);
1552 }
1553
1554 public static final String MUL_VD = VECTOR_PREFIX + "MUL_VD" + POSTFIX;
1555 static {
1556 vectorNode(MUL_VD, "MulVD", TYPE_DOUBLE);
1557 }
1558
1559 public static final String MUL_VB = VECTOR_PREFIX + "MUL_VB" + POSTFIX;
1560 static {
1561 vectorNode(MUL_VB, "MulVB", TYPE_BYTE);
1562 }
1563
1564 public static final String MUL_VS = VECTOR_PREFIX + "MUL_VS" + POSTFIX;
1565 static {
1566 vectorNode(MUL_VS, "MulVS", TYPE_SHORT);
1567 }
1568
1569 public static final String MUL_REDUCTION_VD = PREFIX + "MUL_REDUCTION_VD" + POSTFIX;
1570 static {
1571 superWordNodes(MUL_REDUCTION_VD, "MulReductionVD");
1572 }
1573
1574 public static final String MUL_REDUCTION_VF = PREFIX + "MUL_REDUCTION_VF" + POSTFIX;
1575 static {
1576 superWordNodes(MUL_REDUCTION_VF, "MulReductionVF");
1577 }
1578
1579 public static final String MUL_REDUCTION_VI = PREFIX + "MUL_REDUCTION_VI" + POSTFIX;
1580 static {
1581 superWordNodes(MUL_REDUCTION_VI, "MulReductionVI");
1582 }
1583
1584 public static final String MUL_REDUCTION_VL = PREFIX + "MUL_REDUCTION_VL" + POSTFIX;
1585 static {
1586 superWordNodes(MUL_REDUCTION_VL, "MulReductionVL");
1587 }
1588
1589 public static final String MIN_REDUCTION_V = PREFIX + "MIN_REDUCTION_V" + POSTFIX;
1590 static {
1591 superWordNodes(MIN_REDUCTION_V, "MinReductionV");
1592 }
1593
1594 public static final String MAX_REDUCTION_V = PREFIX + "MAX_REDUCTION_V" + POSTFIX;
1595 static {
1596 superWordNodes(MAX_REDUCTION_V, "MaxReductionV");
1597 }
1598
1599 public static final String NEG_VF = VECTOR_PREFIX + "NEG_VF" + POSTFIX;
1600 static {
1601 vectorNode(NEG_VF, "NegVF", TYPE_FLOAT);
1602 }
1603
1604 public static final String NEG_VD = VECTOR_PREFIX + "NEG_VD" + POSTFIX;
1605 static {
1606 vectorNode(NEG_VD, "NegVD", TYPE_DOUBLE);
1607 }
1608
1609 public static final String NOP = PREFIX + "NOP" + POSTFIX;
1610 static {
1611 machOnlyNameRegex(NOP, "Nop");
1612 }
1613
1614 public static final String NULL_ASSERT_TRAP = PREFIX + "NULL_ASSERT_TRAP" + POSTFIX;
1615 static {
1616 trapNodes(NULL_ASSERT_TRAP, "null_assert");
1617 }
1618
1619 public static final String NULL_CHECK = PREFIX + "NULL_CHECK" + POSTFIX;
1620 static {
1621 machOnlyNameRegex(NULL_CHECK, "NullCheck");
1622 }
1623
1624 public static final String NULL_CHECK_TRAP = PREFIX + "NULL_CHECK_TRAP" + POSTFIX;
1625 static {
1626 trapNodes(NULL_CHECK_TRAP, "null_check");
1627 }
1628
1629 public static final String OOPMAP_WITH = COMPOSITE_PREFIX + "OOPMAP_WITH" + POSTFIX;
1630 static {
1631 String regex = "(#\\s*OopMap\\s*\\{.*" + IS_REPLACED + ".*\\})";
1632 optoOnly(OOPMAP_WITH, regex);
1633 }
1634
1635 public static final String OPAQUE_TEMPLATE_ASSERTION_PREDICATE = PREFIX + "OPAQUE_TEMPLATE_ASSERTION_PREDICATE" + POSTFIX;
1636 static {
1637 duringLoopOpts(OPAQUE_TEMPLATE_ASSERTION_PREDICATE, "OpaqueTemplateAssertionPredicate");
1638 }
1639
1640 public static final String OR_I = PREFIX + "OR_I" + POSTFIX;
1641 static {
1642 beforeMatchingNameRegex(OR_I, "OrI");
1643 }
1644
1645 public static final String OR_L = PREFIX + "OR_L" + POSTFIX;
1646 static {
1647 beforeMatchingNameRegex(OR_L, "OrL");
1648 }
1649
1650 public static final String OR_VB = VECTOR_PREFIX + "OR_VB" + POSTFIX;
1651 static {
1652 vectorNode(OR_VB, "OrV", TYPE_BYTE);
1653 }
1654
1655 public static final String OR_VS = VECTOR_PREFIX + "OR_VS" + POSTFIX;
1656 static {
1657 vectorNode(OR_VS, "OrV", TYPE_SHORT);
1658 }
1659
1660 public static final String OR_VI = VECTOR_PREFIX + "OR_VI" + POSTFIX;
1661 static {
1662 vectorNode(OR_VI, "OrV", TYPE_INT);
1663 }
1664
1665 public static final String OR_VL = VECTOR_PREFIX + "OR_VL" + POSTFIX;
1666 static {
1667 vectorNode(OR_VL, "OrV", TYPE_LONG);
1668 }
1669
1670 public static final String OR_V_MASK = PREFIX + "OR_V_MASK" + POSTFIX;
1671 static {
1672 beforeMatchingNameRegex(OR_V_MASK, "OrVMask");
1673 }
1674
1675 public static final String OR_REDUCTION_V = PREFIX + "OR_REDUCTION_V" + POSTFIX;
1676 static {
1677 superWordNodes(OR_REDUCTION_V, "OrReductionV");
1678 }
1679
1680 public static final String OUTER_STRIP_MINED_LOOP = PREFIX + "OUTER_STRIP_MINED_LOOP" + POSTFIX;
1681 static {
1682 String regex = START + "OuterStripMinedLoop\\b" + MID + END;
1683 fromAfterCountedLoops(OUTER_STRIP_MINED_LOOP, regex);
1684 }
1685
1686 public static final String PARTIAL_SUBTYPE_CHECK = PREFIX + "PARTIAL_SUBTYPE_CHECK" + POSTFIX;
1687 static {
1688 beforeMatchingNameRegex(PARTIAL_SUBTYPE_CHECK, "PartialSubtypeCheck");
1689 }
1690
1691 public static final String PHI = PREFIX + "PHI" + POSTFIX;
1692 static {
1693 beforeMatchingNameRegex(PHI, "Phi");
1694 }
1695
1696 public static final String POPCOUNT_I = PREFIX + "POPCOUNT_I" + POSTFIX;
1697 static {
1698 beforeMatchingNameRegex(POPCOUNT_I, "PopCountI");
1699 }
1700
1701 public static final String POPCOUNT_L = PREFIX + "POPCOUNT_L" + POSTFIX;
1702 static {
1703 beforeMatchingNameRegex(POPCOUNT_L, "PopCountL");
1704 }
1705
1706 public static final String POPCOUNT_VI = VECTOR_PREFIX + "POPCOUNT_VI" + POSTFIX;
1707 static {
1708 vectorNode(POPCOUNT_VI, "PopCountVI", TYPE_INT);
1709 }
1710
1711 public static final String POPCOUNT_VL = VECTOR_PREFIX + "POPCOUNT_VL" + POSTFIX;
1712 static {
1713 vectorNode(POPCOUNT_VL, "PopCountVL", TYPE_LONG);
1714 }
1715
1716 public static final String COUNT_TRAILING_ZEROS_VL = VECTOR_PREFIX + "COUNT_TRAILING_ZEROS_VL" + POSTFIX;
1717 static {
1718 vectorNode(COUNT_TRAILING_ZEROS_VL, "CountTrailingZerosV", TYPE_LONG);
1719 }
1720
1721 public static final String COUNT_TRAILING_ZEROS_VI = VECTOR_PREFIX + "COUNT_TRAILING_ZEROS_VI" + POSTFIX;
1722 static {
1723 vectorNode(COUNT_TRAILING_ZEROS_VI, "CountTrailingZerosV", TYPE_INT);
1724 }
1725
1726 public static final String COUNT_LEADING_ZEROS_VL = VECTOR_PREFIX + "COUNT_LEADING_ZEROS_VL" + POSTFIX;
1727 static {
1728 vectorNode(COUNT_LEADING_ZEROS_VL, "CountLeadingZerosV", TYPE_LONG);
1729 }
1730
1731 public static final String COUNT_LEADING_ZEROS_VI = VECTOR_PREFIX + "COUNT_LEADING_ZEROS_VI" + POSTFIX;
1732 static {
1733 vectorNode(COUNT_LEADING_ZEROS_VI, "CountLeadingZerosV", TYPE_INT);
1734 }
1735
1736 public static final String POPULATE_INDEX = PREFIX + "POPULATE_INDEX" + POSTFIX;
1737 static {
1738 String regex = START + "PopulateIndex" + MID + END;
1739 IR_NODE_MAPPINGS.put(POPULATE_INDEX, new SinglePhaseRangeEntry(CompilePhase.PRINT_IDEAL, regex,
1740 CompilePhase.AFTER_CLOOPS,
1741 CompilePhase.BEFORE_MATCHING));
1742 }
1743
1744 public static final String LOOP_PARSE_PREDICATE = PREFIX + "LOOP_PARSE_PREDICATE" + POSTFIX;
1745 static {
1746 parsePredicateNodes(LOOP_PARSE_PREDICATE, "Loop");
1747 }
1748
1749 public static final String LOOP_LIMIT_CHECK_PARSE_PREDICATE = PREFIX + "LOOP_LIMIT_CHECK_PARSE_PREDICATE" + POSTFIX;
1750 static {
1751 parsePredicateNodes(LOOP_LIMIT_CHECK_PARSE_PREDICATE, "Loop_Limit_Check");
1752 }
1753
1754 public static final String PROFILED_LOOP_PARSE_PREDICATE = PREFIX + "PROFILED_LOOP_PARSE_PREDICATE" + POSTFIX;
1755 static {
1756 parsePredicateNodes(PROFILED_LOOP_PARSE_PREDICATE, "Profiled_Loop");
1757 }
1758
1759 public static final String AUTO_VECTORIZATION_CHECK_PARSE_PREDICATE = PREFIX + "AUTO_VECTORIZATION_CHECK_PARSE_PREDICATE" + POSTFIX;
1760 static {
1761 parsePredicateNodes(AUTO_VECTORIZATION_CHECK_PARSE_PREDICATE, "Auto_Vectorization_Check");
1762 }
1763
1764 public static final String PREDICATE_TRAP = PREFIX + "PREDICATE_TRAP" + POSTFIX;
1765 static {
1766 trapNodes(PREDICATE_TRAP, "predicate");
1767 }
1768
1769 public static final String RANGE_CHECK_TRAP = PREFIX + "RANGE_CHECK_TRAP" + POSTFIX;
1770 static {
1771 trapNodes(RANGE_CHECK_TRAP, "range_check");
1772 }
1773
1774 public static final String SHORT_RUNNING_LOOP_TRAP = PREFIX + "SHORT_RUNNING_LOOP_TRAP" + POSTFIX;
1775 static {
1776 trapNodes(SHORT_RUNNING_LOOP_TRAP, "short_running_loop");
1777 }
1778
1779 public static final String REINTERPRET_S2HF = PREFIX + "REINTERPRET_S2HF" + POSTFIX;
1780 static {
1781 beforeMatchingNameRegex(REINTERPRET_S2HF, "ReinterpretS2HF");
1782 }
1783
1784 public static final String REINTERPRET_HF2S = PREFIX + "REINTERPRET_HF2S" + POSTFIX;
1785 static {
1786 beforeMatchingNameRegex(REINTERPRET_HF2S, "ReinterpretHF2S");
1787 }
1788
1789 public static final String REPLICATE_B = VECTOR_PREFIX + "REPLICATE_B" + POSTFIX;
1790 static {
1791 vectorNode(REPLICATE_B, "Replicate", TYPE_BYTE);
1792 }
1793
1794 public static final String REPLICATE_S = VECTOR_PREFIX + "REPLICATE_S" + POSTFIX;
1795 static {
1796 vectorNode(REPLICATE_S, "Replicate", TYPE_SHORT);
1797 }
1798
1799 public static final String REPLICATE_I = VECTOR_PREFIX + "REPLICATE_I" + POSTFIX;
1800 static {
1801 vectorNode(REPLICATE_I, "Replicate", TYPE_INT);
1802 }
1803
1804 public static final String REPLICATE_L = VECTOR_PREFIX + "REPLICATE_L" + POSTFIX;
1805 static {
1806 vectorNode(REPLICATE_L, "Replicate", TYPE_LONG);
1807 }
1808
1809 public static final String REPLICATE_F = VECTOR_PREFIX + "REPLICATE_F" + POSTFIX;
1810 static {
1811 vectorNode(REPLICATE_F, "Replicate", TYPE_FLOAT);
1812 }
1813
1814 public static final String REPLICATE_D = VECTOR_PREFIX + "REPLICATE_D" + POSTFIX;
1815 static {
1816 vectorNode(REPLICATE_D, "Replicate", TYPE_DOUBLE);
1817 }
1818
1819 public static final String REVERSE_BYTES_I = PREFIX + "REVERSE_BYTES_I" + POSTFIX;
1820 static {
1821 beforeMatchingNameRegex(REVERSE_BYTES_I, "ReverseBytesI");
1822 }
1823
1824 public static final String REVERSE_BYTES_L = PREFIX + "REVERSE_BYTES_L" + POSTFIX;
1825 static {
1826 beforeMatchingNameRegex(REVERSE_BYTES_L, "ReverseBytesL");
1827 }
1828
1829 public static final String REVERSE_BYTES_S = PREFIX + "REVERSE_BYTES_S" + POSTFIX;
1830 static {
1831 beforeMatchingNameRegex(REVERSE_BYTES_S, "ReverseBytesS");
1832 }
1833
1834 public static final String REVERSE_BYTES_US = PREFIX + "REVERSE_BYTES_US" + POSTFIX;
1835 static {
1836 beforeMatchingNameRegex(REVERSE_BYTES_US, "ReverseBytesUS");
1837 }
1838
1839 public static final String REVERSE_BYTES_VB = VECTOR_PREFIX + "REVERSE_BYTES_VB" + POSTFIX;
1840 static {
1841 vectorNode(REVERSE_BYTES_VB, "ReverseBytesV", TYPE_BYTE);
1842 }
1843
1844 public static final String REVERSE_BYTES_VS = VECTOR_PREFIX + "REVERSE_BYTES_VS" + POSTFIX;
1845 static {
1846 vectorNode(REVERSE_BYTES_VS, "ReverseBytesV", TYPE_SHORT);
1847 }
1848
1849 public static final String REVERSE_BYTES_VI = VECTOR_PREFIX + "REVERSE_BYTES_VI" + POSTFIX;
1850 static {
1851 vectorNode(REVERSE_BYTES_VI, "ReverseBytesV", TYPE_INT);
1852 }
1853
1854 public static final String REVERSE_BYTES_VL = VECTOR_PREFIX + "REVERSE_BYTES_VL" + POSTFIX;
1855 static {
1856 vectorNode(REVERSE_BYTES_VL, "ReverseBytesV", TYPE_LONG);
1857 }
1858
1859 public static final String REVERSE_I = PREFIX + "REVERSE_I" + POSTFIX;
1860 static {
1861 beforeMatchingNameRegex(REVERSE_I, "ReverseI");
1862 }
1863
1864 public static final String REVERSE_L = PREFIX + "REVERSE_L" + POSTFIX;
1865 static {
1866 beforeMatchingNameRegex(REVERSE_L, "ReverseL");
1867 }
1868
1869 public static final String REVERSE_VI = VECTOR_PREFIX + "REVERSE_VI" + POSTFIX;
1870 static {
1871 vectorNode(REVERSE_VI, "ReverseV", TYPE_INT);
1872 }
1873
1874 public static final String REVERSE_VL = VECTOR_PREFIX + "REVERSE_VL" + POSTFIX;
1875 static {
1876 vectorNode(REVERSE_VL, "ReverseV", TYPE_LONG);
1877 }
1878
1879 public static final String ROUND_VD = VECTOR_PREFIX + "ROUND_VD" + POSTFIX;
1880 static {
1881 vectorNode(ROUND_VD, "RoundVD", TYPE_LONG);
1882 }
1883
1884 public static final String ROUND_VF = VECTOR_PREFIX + "ROUND_VF" + POSTFIX;
1885 static {
1886 vectorNode(ROUND_VF, "RoundVF", TYPE_INT);
1887 }
1888
1889 public static final String ROTATE_LEFT = PREFIX + "ROTATE_LEFT" + POSTFIX;
1890 static {
1891 beforeMatchingNameRegex(ROTATE_LEFT, "RotateLeft");
1892 }
1893
1894 public static final String ROTATE_RIGHT = PREFIX + "ROTATE_RIGHT" + POSTFIX;
1895 static {
1896 beforeMatchingNameRegex(ROTATE_RIGHT, "RotateRight");
1897 }
1898
1899 public static final String ROTATE_LEFT_V = PREFIX + "ROTATE_LEFT_V" + POSTFIX;
1900 static {
1901 beforeMatchingNameRegex(ROTATE_LEFT_V, "RotateLeftV");
1902 }
1903
1904 public static final String ROTATE_RIGHT_V = PREFIX + "ROTATE_RIGHT_V" + POSTFIX;
1905 static {
1906 beforeMatchingNameRegex(ROTATE_RIGHT_V, "RotateRightV");
1907 }
1908
1909 public static final String ROUND_DOUBLE_MODE_V = VECTOR_PREFIX + "ROUND_DOUBLE_MODE_V" + POSTFIX;
1910 static {
1911 vectorNode(ROUND_DOUBLE_MODE_V, "RoundDoubleModeV", TYPE_DOUBLE);
1912 }
1913
1914 public static final String RSHIFT = PREFIX + "RSHIFT" + POSTFIX;
1915 static {
1916 beforeMatchingNameRegex(RSHIFT, "RShift(I|L)");
1917 }
1918
1919 public static final String RSHIFT_I = PREFIX + "RSHIFT_I" + POSTFIX;
1920 static {
1921 beforeMatchingNameRegex(RSHIFT_I, "RShiftI");
1922 }
1923
1924 public static final String RSHIFT_L = PREFIX + "RSHIFT_L" + POSTFIX;
1925 static {
1926 beforeMatchingNameRegex(RSHIFT_L, "RShiftL");
1927 }
1928
1929 public static final String RSHIFT_VB = VECTOR_PREFIX + "RSHIFT_VB" + POSTFIX;
1930 static {
1931 vectorNode(RSHIFT_VB, "RShiftVB", TYPE_BYTE);
1932 }
1933
1934 public static final String RSHIFT_VS = VECTOR_PREFIX + "RSHIFT_VS" + POSTFIX;
1935 static {
1936 vectorNode(RSHIFT_VS, "RShiftVS", TYPE_SHORT);
1937 }
1938
1939 public static final String RSHIFT_VC = VECTOR_PREFIX + "RSHIFT_VC" + POSTFIX;
1940 static {
1941 vectorNode(RSHIFT_VC, "RShiftVS", TYPE_CHAR); // short computation with char type
1942 }
1943
1944 public static final String RSHIFT_VI = VECTOR_PREFIX + "RSHIFT_VI" + POSTFIX;
1945 static {
1946 vectorNode(RSHIFT_VI, "RShiftVI", TYPE_INT);
1947 }
1948
1949 public static final String RSHIFT_VL = VECTOR_PREFIX + "RSHIFT_VL" + POSTFIX;
1950 static {
1951 vectorNode(RSHIFT_VL, "RShiftVL", TYPE_LONG);
1952 }
1953
1954 public static final String SAFEPOINT = PREFIX + "SAFEPOINT" + POSTFIX;
1955 static {
1956 beforeMatchingNameRegex(SAFEPOINT, "SafePoint");
1957 }
1958
1959 public static final String SCOPE_OBJECT = PREFIX + "SCOPE_OBJECT" + POSTFIX;
1960 static {
1961 String regex = "(.*# ScObj.*" + END;
1962 optoOnly(SCOPE_OBJECT, regex);
1963 }
1964
1965 public static final String SAFEPOINT_SCALAROBJECT_OF = COMPOSITE_PREFIX + "SAFEPOINT_SCALAROBJECT_OF" + POSTFIX;
1966 static {
1967 safepointScalarobjectOfNodes(SAFEPOINT_SCALAROBJECT_OF, "SafePointScalarObject");
1968 }
1969
1970 public static final String SIGNUM_VD = VECTOR_PREFIX + "SIGNUM_VD" + POSTFIX;
1971 static {
1972 vectorNode(SIGNUM_VD, "SignumVD", TYPE_DOUBLE);
1973 }
1974
1975 public static final String SIGNUM_VF = VECTOR_PREFIX + "SIGNUM_VF" + POSTFIX;
1976 static {
1977 vectorNode(SIGNUM_VF, "SignumVF", TYPE_FLOAT);
1978 }
1979
1980 public static final String SQRT_VHF = VECTOR_PREFIX + "SQRT_VHF" + POSTFIX;
1981 static {
1982 vectorNode(SQRT_VHF, "SqrtVHF", TYPE_SHORT);
1983 }
1984
1985 public static final String SQRT_HF = PREFIX + "SQRT_HF" + POSTFIX;
1986 static {
1987 beforeMatchingNameRegex(SQRT_HF, "SqrtHF");
1988 }
1989
1990 public static final String SQRT_F = PREFIX + "SQRT_F" + POSTFIX;
1991 static {
1992 beforeMatchingNameRegex(SQRT_F, "SqrtF");
1993 }
1994
1995 public static final String SQRT_VF = VECTOR_PREFIX + "SQRT_VF" + POSTFIX;
1996 static {
1997 vectorNode(SQRT_VF, "SqrtVF", TYPE_FLOAT);
1998 }
1999
2000 public static final String SQRT_VD = VECTOR_PREFIX + "SQRT_VD" + POSTFIX;
2001 static {
2002 vectorNode(SQRT_VD, "SqrtVD", TYPE_DOUBLE);
2003 }
2004
2005 public static final String STORE = PREFIX + "STORE" + POSTFIX;
2006 static {
2007 beforeMatchingNameRegex(STORE, "Store(B|C|S|I|L|F|D|P|N)");
2008 }
2009
2010 public static final String STORE_B = PREFIX + "STORE_B" + POSTFIX;
2011 static {
2012 beforeMatchingNameRegex(STORE_B, "StoreB");
2013 }
2014
2015 public static final String STORE_B_OF_CLASS = COMPOSITE_PREFIX + "STORE_B_OF_CLASS" + POSTFIX;
2016 static {
2017 storeOfNodes(STORE_B_OF_CLASS, "StoreB", IS_REPLACED);
2018 }
2019
2020 public static final String STORE_C = PREFIX + "STORE_C" + POSTFIX;
2021 static {
2022 beforeMatchingNameRegex(STORE_C, "StoreC");
2023 }
2024
2025 public static final String STORE_C_OF_CLASS = COMPOSITE_PREFIX + "STORE_C_OF_CLASS" + POSTFIX;
2026 static {
2027 storeOfNodes(STORE_C_OF_CLASS, "StoreC", IS_REPLACED);
2028 }
2029
2030 public static final String STORE_D = PREFIX + "STORE_D" + POSTFIX;
2031 static {
2032 beforeMatchingNameRegex(STORE_D, "StoreD");
2033 }
2034
2035 public static final String STORE_D_OF_CLASS = COMPOSITE_PREFIX + "STORE_D_OF_CLASS" + POSTFIX;
2036 static {
2037 storeOfNodes(STORE_D_OF_CLASS, "StoreD", IS_REPLACED);
2038 }
2039
2040 public static final String STORE_F = PREFIX + "STORE_F" + POSTFIX;
2041 static {
2042 beforeMatchingNameRegex(STORE_F, "StoreF");
2043 }
2044
2045 public static final String STORE_F_OF_CLASS = COMPOSITE_PREFIX + "STORE_F_OF_CLASS" + POSTFIX;
2046 static {
2047 storeOfNodes(STORE_F_OF_CLASS, "StoreF", IS_REPLACED);
2048 }
2049
2050 public static final String STORE_I = PREFIX + "STORE_I" + POSTFIX;
2051 static {
2052 beforeMatchingNameRegex(STORE_I, "StoreI");
2053 }
2054
2055 public static final String STORE_I_OF_CLASS = COMPOSITE_PREFIX + "STORE_I_OF_CLASS" + POSTFIX;
2056 static {
2057 storeOfNodes(STORE_I_OF_CLASS, "StoreI", IS_REPLACED);
2058 }
2059
2060 public static final String STORE_L = PREFIX + "STORE_L" + POSTFIX;
2061 static {
2062 beforeMatchingNameRegex(STORE_L, "StoreL");
2063 }
2064
2065 public static final String STORE_L_OF_CLASS = COMPOSITE_PREFIX + "STORE_L_OF_CLASS" + POSTFIX;
2066 static {
2067 storeOfNodes(STORE_L_OF_CLASS, "StoreL", IS_REPLACED);
2068 }
2069
2070 public static final String STORE_N = PREFIX + "STORE_N" + POSTFIX;
2071 static {
2072 beforeMatchingNameRegex(STORE_N, "StoreN");
2073 }
2074
2075 public static final String STORE_N_OF_CLASS = COMPOSITE_PREFIX + "STORE_N_OF_CLASS" + POSTFIX;
2076 static {
2077 storeOfNodes(STORE_N_OF_CLASS, "StoreN", IS_REPLACED);
2078 }
2079
2080 public static final String STORE_OF_CLASS = COMPOSITE_PREFIX + "STORE_OF_CLASS" + POSTFIX;
2081 static {
2082 anyStoreOfNodes(STORE_OF_CLASS, IS_REPLACED);
2083 }
2084
2085 public static void anyStoreOfNodes(String irNodePlaceholder, String fieldHolder) {
2086 storeOfNodes(irNodePlaceholder, "Store(B|C|S|I|L|F|D|P|N)", fieldHolder);
2087 }
2088
2089 public static final String STORE_OF_FIELD = COMPOSITE_PREFIX + "STORE_OF_FIELD" + POSTFIX;
2090 static {
2091 String regex = START + "Store(B|C|S|I|L|F|D|P|N)" + MID + "@.*name=" + IS_REPLACED + ",.*" + END;
2092 beforeMatching(STORE_OF_FIELD, regex);
2093 }
2094
2095 public static final String STORE_P = PREFIX + "STORE_P" + POSTFIX;
2096 static {
2097 beforeMatchingNameRegex(STORE_P, "StoreP");
2098 }
2099
2100 public static final String STORE_P_OF_CLASS = COMPOSITE_PREFIX + "STORE_P_OF_CLASS" + POSTFIX;
2101 static {
2102 storeOfNodes(STORE_P_OF_CLASS, "StoreP", IS_REPLACED);
2103 }
2104
2105 public static final String STORE_VECTOR = PREFIX + "STORE_VECTOR" + POSTFIX;
2106 static {
2107 beforeMatchingNameRegex(STORE_VECTOR, "StoreVector");
2108 }
2109
2110 public static final String STORE_VECTOR_SCATTER = PREFIX + "STORE_VECTOR_SCATTER" + POSTFIX;
2111 static {
2112 beforeMatchingNameRegex(STORE_VECTOR_SCATTER, "StoreVectorScatter");
2113 }
2114
2115 public static final String STORE_VECTOR_MASKED = PREFIX + "STORE_VECTOR_MASKED" + POSTFIX;
2116 static {
2117 beforeMatchingNameRegex(STORE_VECTOR_MASKED, "StoreVectorMasked");
2118 }
2119
2120 public static final String STORE_VECTOR_SCATTER_MASKED = PREFIX + "STORE_VECTOR_SCATTER_MASKED" + POSTFIX;
2121 static {
2122 beforeMatchingNameRegex(STORE_VECTOR_SCATTER_MASKED, "StoreVectorScatterMasked");
2123 }
2124
2125 public static final String VECTOR_LOAD_MASK = PREFIX + "VECTOR_LOAD_MASK" + POSTFIX;
2126 static {
2127 beforeMatchingNameRegex(VECTOR_LOAD_MASK, "VectorLoadMask");
2128 }
2129
2130 public static final String VECTOR_STORE_MASK = PREFIX + "VECTOR_STORE_MASK" + POSTFIX;
2131 static {
2132 beforeMatchingNameRegex(VECTOR_STORE_MASK, "VectorStoreMask");
2133 }
2134
2135 public static final String SUB = PREFIX + "SUB" + POSTFIX;
2136 static {
2137 beforeMatchingNameRegex(SUB, "Sub(I|L|F|D|HF)");
2138 }
2139
2140 public static final String SUB_D = PREFIX + "SUB_D" + POSTFIX;
2141 static {
2142 beforeMatchingNameRegex(SUB_D, "SubD");
2143 }
2144
2145 public static final String SUB_F = PREFIX + "SUB_F" + POSTFIX;
2146 static {
2147 beforeMatchingNameRegex(SUB_F, "SubF");
2148 }
2149
2150 public static final String SUB_HF = PREFIX + "SUB_HF" + POSTFIX;
2151 static {
2152 beforeMatchingNameRegex(SUB_HF, "SubHF");
2153 }
2154
2155 public static final String SUB_I = PREFIX + "SUB_I" + POSTFIX;
2156 static {
2157 beforeMatchingNameRegex(SUB_I, "SubI");
2158 }
2159
2160 public static final String SUB_L = PREFIX + "SUB_L" + POSTFIX;
2161 static {
2162 beforeMatchingNameRegex(SUB_L, "SubL");
2163 }
2164
2165 public static final String SUB_VB = VECTOR_PREFIX + "SUB_VB" + POSTFIX;
2166 static {
2167 vectorNode(SUB_VB, "SubVB", TYPE_BYTE);
2168 }
2169
2170 public static final String SUB_VS = VECTOR_PREFIX + "SUB_VS" + POSTFIX;
2171 static {
2172 vectorNode(SUB_VS, "SubVS", TYPE_SHORT);
2173 }
2174
2175 public static final String SUB_VI = VECTOR_PREFIX + "SUB_VI" + POSTFIX;
2176 static {
2177 vectorNode(SUB_VI, "SubVI", TYPE_INT);
2178 }
2179
2180 public static final String SUB_VL = VECTOR_PREFIX + "SUB_VL" + POSTFIX;
2181 static {
2182 vectorNode(SUB_VL, "SubVL", TYPE_LONG);
2183 }
2184
2185 public static final String SUB_VHF = VECTOR_PREFIX + "SUB_VHF" + POSTFIX;
2186 static {
2187 vectorNode(SUB_VHF, "SubVHF", TYPE_SHORT);
2188 }
2189
2190 public static final String SUB_VF = VECTOR_PREFIX + "SUB_VF" + POSTFIX;
2191 static {
2192 vectorNode(SUB_VF, "SubVF", TYPE_FLOAT);
2193 }
2194
2195 public static final String SUB_VD = VECTOR_PREFIX + "SUB_VD" + POSTFIX;
2196 static {
2197 vectorNode(SUB_VD, "SubVD", TYPE_DOUBLE);
2198 }
2199
2200 public static final String SUBTYPE_CHECK = PREFIX + "SUBTYPE_CHECK" + POSTFIX;
2201 static {
2202 String regex = START + "SubTypeCheck" + MID + END;
2203 macroNodes(SUBTYPE_CHECK, regex);
2204 }
2205
2206 public static final String TRAP = PREFIX + "TRAP" + POSTFIX;
2207 static {
2208 trapNodes(TRAP, "reason");
2209 }
2210
2211 public static final String DIV_HF = PREFIX + "DIV_HF" + POSTFIX;
2212 static {
2213 beforeMatchingNameRegex(DIV_HF, "DivHF");
2214 }
2215
2216 public static final String UDIV_I = PREFIX + "UDIV_I" + POSTFIX;
2217 static {
2218 beforeMatchingNameRegex(UDIV_I, "UDivI");
2219 }
2220
2221 public static final String UDIV_L = PREFIX + "UDIV_L" + POSTFIX;
2222 static {
2223 beforeMatchingNameRegex(UDIV_L, "UDivL");
2224 }
2225
2226 public static final String UDIV_MOD_I = PREFIX + "UDIV_MOD_I" + POSTFIX;
2227 static {
2228 beforeMatchingNameRegex(UDIV_MOD_I, "UDivModI");
2229 }
2230
2231 public static final String UDIV_MOD_L = PREFIX + "UDIV_MOD_L" + POSTFIX;
2232 static {
2233 beforeMatchingNameRegex(UDIV_MOD_L, "UDivModL");
2234 }
2235
2236 public static final String UMOD_I = PREFIX + "UMOD_I" + POSTFIX;
2237 static {
2238 beforeMatchingNameRegex(UMOD_I, "UModI");
2239 }
2240
2241 public static final String UMOD_L = PREFIX + "UMOD_L" + POSTFIX;
2242 static {
2243 beforeMatchingNameRegex(UMOD_L, "UModL");
2244 }
2245
2246 public static final String UNHANDLED_TRAP = PREFIX + "UNHANDLED_TRAP" + POSTFIX;
2247 static {
2248 trapNodes(UNHANDLED_TRAP, "unhandled");
2249 }
2250
2251 public static final String UNSTABLE_IF_TRAP = PREFIX + "UNSTABLE_IF_TRAP" + POSTFIX;
2252 static {
2253 trapNodes(UNSTABLE_IF_TRAP, "unstable_if");
2254 }
2255
2256 public static final String UNREACHED_TRAP = PREFIX + "UNREACHED_TRAP" + POSTFIX;
2257 static {
2258 trapNodes(UNREACHED_TRAP, "unreached");
2259 }
2260
2261 public static final String URSHIFT = PREFIX + "URSHIFT" + POSTFIX;
2262 static {
2263 beforeMatchingNameRegex(URSHIFT, "URShift(B|S|I|L)");
2264 }
2265
2266 public static final String URSHIFT_B = PREFIX + "URSHIFT_B" + POSTFIX;
2267 static {
2268 beforeMatchingNameRegex(URSHIFT_B, "URShiftB");
2269 }
2270
2271 public static final String URSHIFT_I = PREFIX + "URSHIFT_I" + POSTFIX;
2272 static {
2273 beforeMatchingNameRegex(URSHIFT_I, "URShiftI");
2274 }
2275
2276 public static final String URSHIFT_L = PREFIX + "URSHIFT_L" + POSTFIX;
2277 static {
2278 beforeMatchingNameRegex(URSHIFT_L, "URShiftL");
2279 }
2280
2281 public static final String URSHIFT_S = PREFIX + "URSHIFT_S" + POSTFIX;
2282 static {
2283 beforeMatchingNameRegex(URSHIFT_S, "URShiftS");
2284 }
2285
2286 public static final String URSHIFT_VB = VECTOR_PREFIX + "URSHIFT_VB" + POSTFIX;
2287 static {
2288 vectorNode(URSHIFT_VB, "URShiftVB", TYPE_BYTE);
2289 }
2290
2291 public static final String URSHIFT_VS = VECTOR_PREFIX + "URSHIFT_VS" + POSTFIX;
2292 static {
2293 vectorNode(URSHIFT_VS, "URShiftVS", TYPE_SHORT);
2294 }
2295
2296 public static final String URSHIFT_VC = VECTOR_PREFIX + "URSHIFT_VC" + POSTFIX;
2297 static {
2298 vectorNode(URSHIFT_VC, "URShiftVS", TYPE_CHAR); // short computation with char type
2299 }
2300
2301 public static final String URSHIFT_VI = VECTOR_PREFIX + "URSHIFT_VI" + POSTFIX;
2302 static {
2303 vectorNode(URSHIFT_VI, "URShiftVI", TYPE_INT);
2304 }
2305
2306 public static final String URSHIFT_VL = VECTOR_PREFIX + "URSHIFT_VL" + POSTFIX;
2307 static {
2308 vectorNode(URSHIFT_VL, "URShiftVL", TYPE_LONG);
2309 }
2310
2311 public static final String VAND_NOT_I = PREFIX + "VAND_NOT_I" + POSTFIX;
2312 static {
2313 machOnlyNameRegex(VAND_NOT_I, "vand_notI");
2314 }
2315
2316 public static final String VAND_NOT_L = PREFIX + "VAND_NOT_L" + POSTFIX;
2317 static {
2318 machOnlyNameRegex(VAND_NOT_L, "vand_notL");
2319 }
2320
2321 public static final String VAND_NOT_I_MASKED = PREFIX + "VAND_NOT_I_MASKED" + POSTFIX;
2322 static {
2323 machOnlyNameRegex(VAND_NOT_I_MASKED, "vand_notI_masked");
2324 }
2325
2326 public static final String VAND_NOT_L_MASKED = PREFIX + "VAND_NOT_L_MASKED" + POSTFIX;
2327 static {
2328 machOnlyNameRegex(VAND_NOT_L_MASKED, "vand_notL_masked");
2329 }
2330
2331 public static final String RISCV_VAND_NOTI_VX = PREFIX + "RISCV_VAND_NOTI_VX" + POSTFIX;
2332 static {
2333 machOnlyNameRegex(RISCV_VAND_NOTI_VX, "vand_notI_vx");
2334 }
2335
2336 public static final String RISCV_VAND_NOTL_VX = PREFIX + "RISCV_VAND_NOTL_VX" + POSTFIX;
2337 static {
2338 machOnlyNameRegex(RISCV_VAND_NOTL_VX, "vand_notL_vx");
2339 }
2340
2341 public static final String RISCV_VAND_NOTI_VX_MASKED = PREFIX + "RISCV_VAND_NOTI_VX_MASKED" + POSTFIX;
2342 static {
2343 machOnlyNameRegex(RISCV_VAND_NOTI_VX_MASKED, "vand_notI_vx_masked");
2344 }
2345
2346 public static final String RISCV_VAND_NOTL_VX_MASKED = PREFIX + "RISCV_VAND_NOTL_VX_MASKED" + POSTFIX;
2347 static {
2348 machOnlyNameRegex(RISCV_VAND_NOTL_VX_MASKED, "vand_notL_vx_masked");
2349 }
2350
2351 public static final String VECTOR_BLEND_B = VECTOR_PREFIX + "VECTOR_BLEND_B" + POSTFIX;
2352 static {
2353 vectorNode(VECTOR_BLEND_B, "VectorBlend", TYPE_BYTE);
2354 }
2355
2356 public static final String VECTOR_BLEND_S = VECTOR_PREFIX + "VECTOR_BLEND_S" + POSTFIX;
2357 static {
2358 vectorNode(VECTOR_BLEND_S, "VectorBlend", TYPE_SHORT);
2359 }
2360
2361 public static final String VECTOR_BLEND_I = VECTOR_PREFIX + "VECTOR_BLEND_I" + POSTFIX;
2362 static {
2363 vectorNode(VECTOR_BLEND_I, "VectorBlend", TYPE_INT);
2364 }
2365
2366 public static final String VECTOR_BLEND_L = VECTOR_PREFIX + "VECTOR_BLEND_L" + POSTFIX;
2367 static {
2368 vectorNode(VECTOR_BLEND_L, "VectorBlend", TYPE_LONG);
2369 }
2370
2371 public static final String VECTOR_BLEND_F = VECTOR_PREFIX + "VECTOR_BLEND_F" + POSTFIX;
2372 static {
2373 vectorNode(VECTOR_BLEND_F, "VectorBlend", TYPE_FLOAT);
2374 }
2375
2376 public static final String VECTOR_BLEND_D = VECTOR_PREFIX + "VECTOR_BLEND_D" + POSTFIX;
2377 static {
2378 vectorNode(VECTOR_BLEND_D, "VectorBlend", TYPE_DOUBLE);
2379 }
2380
2381 public static final String VECTOR_MASK_CMP_I = VECTOR_PREFIX + "VECTOR_MASK_CMP_I" + POSTFIX;
2382 static {
2383 vectorNode(VECTOR_MASK_CMP_I, "VectorMaskCmp", TYPE_INT);
2384 }
2385
2386 public static final String VECTOR_MASK_CMP_L = VECTOR_PREFIX + "VECTOR_MASK_CMP_L" + POSTFIX;
2387 static {
2388 vectorNode(VECTOR_MASK_CMP_L, "VectorMaskCmp", TYPE_LONG);
2389 }
2390
2391 public static final String VECTOR_MASK_CMP_F = VECTOR_PREFIX + "VECTOR_MASK_CMP_F" + POSTFIX;
2392 static {
2393 vectorNode(VECTOR_MASK_CMP_F, "VectorMaskCmp", TYPE_FLOAT);
2394 }
2395
2396 public static final String VECTOR_MASK_CMP_D = VECTOR_PREFIX + "VECTOR_MASK_CMP_D" + POSTFIX;
2397 static {
2398 vectorNode(VECTOR_MASK_CMP_D, "VectorMaskCmp", TYPE_DOUBLE);
2399 }
2400
2401 public static final String VECTOR_MASK_CMP = PREFIX + "VECTOR_MASK_CMP" + POSTFIX;
2402 static {
2403 beforeMatchingNameRegex(VECTOR_MASK_CMP, "VectorMaskCmp");
2404 }
2405
2406 public static final String VECTOR_CAST_B2S = VECTOR_PREFIX + "VECTOR_CAST_B2S" + POSTFIX;
2407 static {
2408 vectorNode(VECTOR_CAST_B2S, "VectorCastB2X", TYPE_SHORT);
2409 }
2410
2411 public static final String VECTOR_CAST_B2I = VECTOR_PREFIX + "VECTOR_CAST_B2I" + POSTFIX;
2412 static {
2413 vectorNode(VECTOR_CAST_B2I, "VectorCastB2X", TYPE_INT);
2414 }
2415
2416 public static final String VECTOR_CAST_B2L = VECTOR_PREFIX + "VECTOR_CAST_B2L" + POSTFIX;
2417 static {
2418 vectorNode(VECTOR_CAST_B2L, "VectorCastB2X", TYPE_LONG);
2419 }
2420
2421 public static final String VECTOR_CAST_B2F = VECTOR_PREFIX + "VECTOR_CAST_B2F" + POSTFIX;
2422 static {
2423 vectorNode(VECTOR_CAST_B2F, "VectorCastB2X", TYPE_FLOAT);
2424 }
2425
2426 public static final String VECTOR_CAST_B2D = VECTOR_PREFIX + "VECTOR_CAST_B2D" + POSTFIX;
2427 static {
2428 vectorNode(VECTOR_CAST_B2D, "VectorCastB2X", TYPE_DOUBLE);
2429 }
2430
2431 public static final String VECTOR_CAST_D2B = VECTOR_PREFIX + "VECTOR_CAST_D2B" + POSTFIX;
2432 static {
2433 vectorNode(VECTOR_CAST_D2B, "VectorCastD2X", TYPE_BYTE);
2434 }
2435
2436 public static final String VECTOR_CAST_D2S = VECTOR_PREFIX + "VECTOR_CAST_D2S" + POSTFIX;
2437 static {
2438 vectorNode(VECTOR_CAST_D2S, "VectorCastD2X", TYPE_SHORT);
2439 }
2440
2441 public static final String VECTOR_CAST_D2I = VECTOR_PREFIX + "VECTOR_CAST_D2I" + POSTFIX;
2442 static {
2443 vectorNode(VECTOR_CAST_D2I, "VectorCastD2X", TYPE_INT);
2444 }
2445
2446 public static final String VECTOR_CAST_D2L = VECTOR_PREFIX + "VECTOR_CAST_D2L" + POSTFIX;
2447 static {
2448 vectorNode(VECTOR_CAST_D2L, "VectorCastD2X", TYPE_LONG);
2449 }
2450
2451 public static final String VECTOR_CAST_D2F = VECTOR_PREFIX + "VECTOR_CAST_D2F" + POSTFIX;
2452 static {
2453 vectorNode(VECTOR_CAST_D2F, "VectorCastD2X", TYPE_FLOAT);
2454 }
2455
2456 public static final String VECTOR_CAST_F2B = VECTOR_PREFIX + "VECTOR_CAST_F2B" + POSTFIX;
2457 static {
2458 vectorNode(VECTOR_CAST_F2B, "VectorCastF2X", TYPE_BYTE);
2459 }
2460
2461 public static final String VECTOR_CAST_F2S = VECTOR_PREFIX + "VECTOR_CAST_F2S" + POSTFIX;
2462 static {
2463 vectorNode(VECTOR_CAST_F2S, "VectorCastF2X", TYPE_SHORT);
2464 }
2465
2466 public static final String VECTOR_CAST_F2I = VECTOR_PREFIX + "VECTOR_CAST_F2I" + POSTFIX;
2467 static {
2468 vectorNode(VECTOR_CAST_F2I, "VectorCastF2X", TYPE_INT);
2469 }
2470
2471 public static final String VECTOR_CAST_F2L = VECTOR_PREFIX + "VECTOR_CAST_F2L" + POSTFIX;
2472 static {
2473 vectorNode(VECTOR_CAST_F2L, "VectorCastF2X", TYPE_LONG);
2474 }
2475
2476 public static final String VECTOR_CAST_F2D = VECTOR_PREFIX + "VECTOR_CAST_F2D" + POSTFIX;
2477 static {
2478 vectorNode(VECTOR_CAST_F2D, "VectorCastF2X", TYPE_DOUBLE);
2479 }
2480
2481 public static final String VECTOR_CAST_I2B = VECTOR_PREFIX + "VECTOR_CAST_I2B" + POSTFIX;
2482 static {
2483 vectorNode(VECTOR_CAST_I2B, "VectorCastI2X", TYPE_BYTE);
2484 }
2485
2486 public static final String VECTOR_CAST_I2S = VECTOR_PREFIX + "VECTOR_CAST_I2S" + POSTFIX;
2487 static {
2488 vectorNode(VECTOR_CAST_I2S, "VectorCastI2X", TYPE_SHORT);
2489 }
2490
2491 public static final String VECTOR_CAST_I2L = VECTOR_PREFIX + "VECTOR_CAST_I2L" + POSTFIX;
2492 static {
2493 vectorNode(VECTOR_CAST_I2L, "VectorCastI2X", TYPE_LONG);
2494 }
2495
2496 public static final String VECTOR_CAST_I2F = VECTOR_PREFIX + "VECTOR_CAST_I2F" + POSTFIX;
2497 static {
2498 vectorNode(VECTOR_CAST_I2F, "VectorCastI2X", TYPE_FLOAT);
2499 }
2500
2501 public static final String VECTOR_CAST_I2D = VECTOR_PREFIX + "VECTOR_CAST_I2D" + POSTFIX;
2502 static {
2503 vectorNode(VECTOR_CAST_I2D, "VectorCastI2X", TYPE_DOUBLE);
2504 }
2505
2506 public static final String VECTOR_CAST_L2B = VECTOR_PREFIX + "VECTOR_CAST_L2B" + POSTFIX;
2507 static {
2508 vectorNode(VECTOR_CAST_L2B, "VectorCastL2X", TYPE_BYTE);
2509 }
2510
2511 public static final String VECTOR_CAST_L2S = VECTOR_PREFIX + "VECTOR_CAST_L2S" + POSTFIX;
2512 static {
2513 vectorNode(VECTOR_CAST_L2S, "VectorCastL2X", TYPE_SHORT);
2514 }
2515
2516 public static final String VECTOR_CAST_L2I = VECTOR_PREFIX + "VECTOR_CAST_L2I" + POSTFIX;
2517 static {
2518 vectorNode(VECTOR_CAST_L2I, "VectorCastL2X", TYPE_INT);
2519 }
2520
2521 public static final String VECTOR_CAST_L2F = VECTOR_PREFIX + "VECTOR_CAST_L2F" + POSTFIX;
2522 static {
2523 vectorNode(VECTOR_CAST_L2F, "VectorCastL2X", TYPE_FLOAT);
2524 }
2525
2526 public static final String VECTOR_CAST_L2D = VECTOR_PREFIX + "VECTOR_CAST_L2D" + POSTFIX;
2527 static {
2528 vectorNode(VECTOR_CAST_L2D, "VectorCastL2X", TYPE_DOUBLE);
2529 }
2530
2531 public static final String VECTOR_CAST_S2B = VECTOR_PREFIX + "VECTOR_CAST_S2B" + POSTFIX;
2532 static {
2533 vectorNode(VECTOR_CAST_S2B, "VectorCastS2X", TYPE_BYTE);
2534 }
2535
2536 public static final String VECTOR_CAST_S2I = VECTOR_PREFIX + "VECTOR_CAST_S2I" + POSTFIX;
2537 static {
2538 vectorNode(VECTOR_CAST_S2I, "VectorCastS2X", TYPE_INT);
2539 }
2540
2541 public static final String VECTOR_CAST_S2L = VECTOR_PREFIX + "VECTOR_CAST_S2L" + POSTFIX;
2542 static {
2543 vectorNode(VECTOR_CAST_S2L, "VectorCastS2X", TYPE_LONG);
2544 }
2545
2546 public static final String VECTOR_CAST_S2F = VECTOR_PREFIX + "VECTOR_CAST_S2F" + POSTFIX;
2547 static {
2548 vectorNode(VECTOR_CAST_S2F, "VectorCastS2X", TYPE_FLOAT);
2549 }
2550
2551 public static final String VECTOR_CAST_S2D = VECTOR_PREFIX + "VECTOR_CAST_S2D" + POSTFIX;
2552 static {
2553 vectorNode(VECTOR_CAST_S2D, "VectorCastS2X", TYPE_DOUBLE);
2554 }
2555
2556 public static final String VECTOR_CAST_F2HF = VECTOR_PREFIX + "VECTOR_CAST_F2HF" + POSTFIX;
2557 static {
2558 vectorNode(VECTOR_CAST_F2HF, "VectorCastF2HF", TYPE_SHORT);
2559 }
2560
2561 public static final String VECTOR_CAST_HF2F = VECTOR_PREFIX + "VECTOR_CAST_HF2F" + POSTFIX;
2562 static {
2563 vectorNode(VECTOR_CAST_HF2F, "VectorCastHF2F", TYPE_FLOAT);
2564 }
2565
2566 public static final String VECTOR_MASK_CAST = PREFIX + "VECTOR_MASK_CAST" + POSTFIX;
2567 static {
2568 beforeMatchingNameRegex(VECTOR_MASK_CAST, "VectorMaskCast");
2569 }
2570
2571 public static final String VECTOR_REINTERPRET = PREFIX + "VECTOR_REINTERPRET" + POSTFIX;
2572 static {
2573 beforeMatchingNameRegex(VECTOR_REINTERPRET, "VectorReinterpret");
2574 }
2575
2576 public static final String VECTOR_UCAST_B2S = VECTOR_PREFIX + "VECTOR_UCAST_B2S" + POSTFIX;
2577 static {
2578 vectorNode(VECTOR_UCAST_B2S, "VectorUCastB2X", TYPE_SHORT);
2579 }
2580
2581 public static final String VECTOR_UCAST_B2I = VECTOR_PREFIX + "VECTOR_UCAST_B2I" + POSTFIX;
2582 static {
2583 vectorNode(VECTOR_UCAST_B2I, "VectorUCastB2X", TYPE_INT);
2584 }
2585
2586 public static final String VECTOR_UCAST_B2L = VECTOR_PREFIX + "VECTOR_UCAST_B2L" + POSTFIX;
2587 static {
2588 vectorNode(VECTOR_UCAST_B2L, "VectorUCastB2X", TYPE_LONG);
2589 }
2590
2591 public static final String VECTOR_UCAST_I2L = VECTOR_PREFIX + "VECTOR_UCAST_I2L" + POSTFIX;
2592 static {
2593 vectorNode(VECTOR_UCAST_I2L, "VectorUCastI2X", TYPE_LONG);
2594 }
2595
2596 public static final String VECTOR_UCAST_S2I = VECTOR_PREFIX + "VECTOR_UCAST_S2I" + POSTFIX;
2597 static {
2598 vectorNode(VECTOR_UCAST_S2I, "VectorUCastS2X", TYPE_INT);
2599 }
2600
2601 public static final String VECTOR_UCAST_S2L = VECTOR_PREFIX + "VECTOR_UCAST_S2L" + POSTFIX;
2602 static {
2603 vectorNode(VECTOR_UCAST_S2L, "VectorUCastS2X", TYPE_LONG);
2604 }
2605
2606 public static final String VECTOR_TEST = PREFIX + "VECTOR_TEST" + POSTFIX;
2607 static {
2608 beforeMatchingNameRegex(VECTOR_TEST, "VectorTest");
2609 }
2610
2611 public static final String VFABD = PREFIX + "VFABD" + POSTFIX;
2612 static {
2613 machOnlyNameRegex(VFABD, "vfabd");
2614 }
2615
2616 public static final String VFABD_MASKED = PREFIX + "VFABD_MASKED" + POSTFIX;
2617 static {
2618 machOnlyNameRegex(VFABD_MASKED, "vfabd_masked");
2619 }
2620
2621 public static final String VFMSB_MASKED = PREFIX + "VFMSB_MASKED" + POSTFIX;
2622 static {
2623 machOnlyNameRegex(VFMSB_MASKED, "vfmsb_masked");
2624 }
2625
2626 public static final String RISCV_VFNMSUB_MASKED = PREFIX + "RISCV_VFNMSUB_MASKED" + POSTFIX;
2627 static {
2628 machOnlyNameRegex(RISCV_VFNMSUB_MASKED, "vfnmsub_masked");
2629 }
2630
2631 public static final String VFNMAD_MASKED = PREFIX + "VFNMAD_MASKED" + POSTFIX;
2632 static {
2633 machOnlyNameRegex(VFNMAD_MASKED, "vfnmad_masked");
2634 }
2635
2636 public static final String RISCV_VFNMADD_MASKED = PREFIX + "RISCV_VFNMADD_MASKED" + POSTFIX;
2637 static {
2638 machOnlyNameRegex(RISCV_VFNMADD_MASKED, "vfnmadd_masked");
2639 }
2640
2641 public static final String VFNMSB_MASKED = PREFIX + "VFNMSB_MASKED" + POSTFIX;
2642 static {
2643 machOnlyNameRegex(VFNMSB_MASKED, "vfnmsb_masked");
2644 }
2645
2646 public static final String RISCV_VFMSUB_MASKED = PREFIX + "RISCV_VFMSUB_MASKED" + POSTFIX;
2647 static {
2648 machOnlyNameRegex(RISCV_VFMSUB_MASKED, "vfmsub_masked");
2649 }
2650
2651 public static final String VFMAD_MASKED = PREFIX + "VFMAD_MASKED" + POSTFIX;
2652 static {
2653 machOnlyNameRegex(VFMAD_MASKED, "vfmad_masked");
2654 }
2655
2656 public static final String RISCV_VFMADD_MASKED = PREFIX + "RISCV_VFMADD_MASKED" + POSTFIX;
2657 static {
2658 machOnlyNameRegex(RISCV_VFMADD_MASKED, "vfmadd_masked");
2659 }
2660
2661 public static final String VMASK_AND_NOT_L = PREFIX + "VMASK_AND_NOT_L" + POSTFIX;
2662 static {
2663 machOnlyNameRegex(VMASK_AND_NOT_L, "vmask_and_notL");
2664 }
2665
2666 public static final String VMLA = PREFIX + "VMLA" + POSTFIX;
2667 static {
2668 machOnlyNameRegex(VMLA, "vmla");
2669 }
2670
2671 public static final String VMLA_MASKED = PREFIX + "VMLA_MASKED" + POSTFIX;
2672 static {
2673 machOnlyNameRegex(VMLA_MASKED, "vmla_masked");
2674 }
2675
2676 public static final String FMSUB = PREFIX + "FMSUB" + POSTFIX;
2677 static {
2678 machOnlyNameRegex(FMSUB, "msub(F|D)_reg_reg");
2679 }
2680
2681 public static final String FNMADD = PREFIX + "FNMADD" + POSTFIX;
2682 static {
2683 machOnlyNameRegex(FNMADD, "mnadd(F|D)_reg_reg");
2684 }
2685
2686 public static final String FNMSUB = PREFIX + "FNMSUB" + POSTFIX;
2687 static {
2688 machOnlyNameRegex(FNMSUB, "mnsub(F|D)_reg_reg");
2689 }
2690
2691 public static final String FMA_F = PREFIX + "FMA_F" + POSTFIX;
2692 static {
2693 beforeMatchingNameRegex(FMA_F, "FmaF");
2694 }
2695
2696 public static final String FMA_D = PREFIX + "FMA_D" + POSTFIX;
2697 static {
2698 beforeMatchingNameRegex(FMA_D, "FmaD");
2699 }
2700
2701 public static final String VFMLA = PREFIX + "VFMLA" + POSTFIX;
2702 static {
2703 machOnlyNameRegex(VFMLA, "vfmla");
2704 }
2705
2706 public static final String VFMLS = PREFIX + "VFMLS" + POSTFIX;
2707 static {
2708 machOnlyNameRegex(VFMLS, "vfmls");
2709 }
2710
2711 public static final String VFNMLA = PREFIX + "VFNMLA" + POSTFIX;
2712 static {
2713 machOnlyNameRegex(VFNMLA, "vfnmla");
2714 }
2715
2716 public static final String VMLS = PREFIX + "VMLS" + POSTFIX;
2717 static {
2718 machOnlyNameRegex(VMLS, "vmls");
2719 }
2720
2721 public static final String VMLS_MASKED = PREFIX + "VMLS_MASKED" + POSTFIX;
2722 static {
2723 machOnlyNameRegex(VMLS_MASKED, "vmls_masked");
2724 }
2725
2726 public static final String VMASK_CMP_ZERO_I_NEON = PREFIX + "VMASK_CMP_ZERO_I_NEON" + POSTFIX;
2727 static {
2728 machOnlyNameRegex(VMASK_CMP_ZERO_I_NEON, "vmaskcmp_zeroI_neon");
2729 }
2730
2731 public static final String VMASK_CMP_ZERO_L_NEON = PREFIX + "VMASK_CMP_ZERO_L_NEON" + POSTFIX;
2732 static {
2733 machOnlyNameRegex(VMASK_CMP_ZERO_L_NEON, "vmaskcmp_zeroL_neon");
2734 }
2735
2736 public static final String VMASK_CMP_ZERO_F_NEON = PREFIX + "VMASK_CMP_ZERO_F_NEON" + POSTFIX;
2737 static {
2738 machOnlyNameRegex(VMASK_CMP_ZERO_F_NEON, "vmaskcmp_zeroF_neon");
2739 }
2740
2741 public static final String VMASK_CMP_ZERO_D_NEON = PREFIX + "VMASK_CMP_ZERO_D_NEON" + POSTFIX;
2742 static {
2743 machOnlyNameRegex(VMASK_CMP_ZERO_D_NEON, "vmaskcmp_zeroD_neon");
2744 }
2745
2746 public static final String VMASK_CMP_IMM_I_SVE = PREFIX + "VMASK_CMP_IMM_I_SVE" + POSTFIX;
2747 static {
2748 machOnlyNameRegex(VMASK_CMP_IMM_I_SVE, "vmaskcmp_immI_sve");
2749 }
2750
2751 public static final String VMASK_CMPU_IMM_I_SVE = PREFIX + "VMASK_CMPU_IMM_I_SVE" + POSTFIX;
2752 static {
2753 machOnlyNameRegex(VMASK_CMPU_IMM_I_SVE, "vmaskcmpU_immI_sve");
2754 }
2755
2756 public static final String VMASK_CMP_IMM_L_SVE = PREFIX + "VMASK_CMP_IMM_L_SVE" + POSTFIX;
2757 static {
2758 machOnlyNameRegex(VMASK_CMP_IMM_L_SVE, "vmaskcmp_immL_sve");
2759 }
2760
2761 public static final String VMASK_CMPU_IMM_L_SVE = PREFIX + "VMASK_CMPU_IMM_L_SVE" + POSTFIX;
2762 static {
2763 machOnlyNameRegex(VMASK_CMPU_IMM_L_SVE, "vmaskcmpU_immL_sve");
2764 }
2765
2766 public static final String VNOT_I_MASKED = PREFIX + "VNOT_I_MASKED" + POSTFIX;
2767 static {
2768 machOnlyNameRegex(VNOT_I_MASKED, "vnotI_masked");
2769 }
2770
2771 public static final String VNOT_L_MASKED = PREFIX + "VNOT_L_MASKED" + POSTFIX;
2772 static {
2773 machOnlyNameRegex(VNOT_L_MASKED, "vnotL_masked");
2774 }
2775
2776 public static final String VSTOREMASK_TRUECOUNT = PREFIX + "VSTOREMASK_TRUECOUNT" + POSTFIX;
2777 static {
2778 machOnlyNameRegex(VSTOREMASK_TRUECOUNT, "vstoremask_truecount_neon");
2779 }
2780
2781 public static final String X86_SCONV_D2I = PREFIX + "X86_SCONV_D2I" + POSTFIX;
2782 static {
2783 machOnlyNameRegex(X86_SCONV_D2I, "convD2I_reg_reg");
2784 }
2785
2786 public static final String X86_SCONV_D2L = PREFIX + "X86_SCONV_D2L" + POSTFIX;
2787 static {
2788 machOnlyNameRegex(X86_SCONV_D2L, "convD2L_reg_reg");
2789 }
2790
2791 public static final String X86_SCONV_F2I = PREFIX + "X86_SCONV_F2I" + POSTFIX;
2792 static {
2793 machOnlyNameRegex(X86_SCONV_F2I, "convF2I_reg_reg");
2794 }
2795
2796 public static final String X86_SCONV_F2L = PREFIX + "X86_SCONV_F2L" + POSTFIX;
2797 static {
2798 machOnlyNameRegex(X86_SCONV_F2L, "convF2L_reg_reg");
2799 }
2800
2801 public static final String X86_SCONV_D2I_AVX10 = PREFIX + "X86_SCONV2_D2I_AVX10" + POSTFIX;
2802 static {
2803 machOnlyNameRegex(X86_SCONV_D2I_AVX10, "convD2I_(reg_reg|reg_mem)_avx10");
2804 }
2805
2806 public static final String X86_SCONV_D2L_AVX10 = PREFIX + "X86_SCONV_D2L_AVX10" + POSTFIX;
2807 static {
2808 machOnlyNameRegex(X86_SCONV_D2L_AVX10, "convD2L_(reg_reg|reg_mem)_avx10");
2809 }
2810
2811 public static final String X86_SCONV_F2I_AVX10 = PREFIX + "X86_SCONV_F2I_AVX10" + POSTFIX;
2812 static {
2813 machOnlyNameRegex(X86_SCONV_F2I_AVX10, "convF2I_(reg_reg|reg_mem)_avx10");
2814 }
2815
2816 public static final String X86_SCONV_F2L_AVX10 = PREFIX + "X86_SCONV_F2L_AVX10" + POSTFIX;
2817 static {
2818 machOnlyNameRegex(X86_SCONV_F2L_AVX10, "convF2L_(reg_reg|reg_mem)_avx10");
2819 }
2820
2821 public static final String X86_VCAST_F2X = PREFIX + "X86_VCAST_F2X" + POSTFIX;
2822 static {
2823 machOnlyNameRegex(X86_VCAST_F2X, "castFtoX_reg_(av|eve)x");
2824 }
2825
2826 public static final String X86_VCAST_D2X = PREFIX + "X86_VCAST_D2X" + POSTFIX;
2827 static {
2828 machOnlyNameRegex(X86_VCAST_D2X, "castDtoX_reg_(av|eve)x");
2829 }
2830
2831 public static final String X86_VCAST_F2X_AVX10 = PREFIX + "X86_VCAST_F2X_AVX10" + POSTFIX;
2832 static {
2833 machOnlyNameRegex(X86_VCAST_F2X_AVX10, "castFtoX_(reg|mem)_avx10");
2834 }
2835
2836 public static final String X86_VCAST_D2X_AVX10 = PREFIX + "X86_VCAST_D2X_AVX10" + POSTFIX;
2837 static {
2838 machOnlyNameRegex(X86_VCAST_D2X_AVX10, "castDtoX_(reg|mem)_avx10");
2839 }
2840
2841 public static final String XOR = PREFIX + "XOR" + POSTFIX;
2842 static {
2843 beforeMatchingNameRegex(XOR, "Xor(I|L)");
2844 }
2845
2846 public static final String XOR_I = PREFIX + "XOR_I" + POSTFIX;
2847 static {
2848 beforeMatchingNameRegex(XOR_I, "XorI");
2849 }
2850
2851 public static final String XOR_L = PREFIX + "XOR_L" + POSTFIX;
2852 static {
2853 beforeMatchingNameRegex(XOR_L, "XorL");
2854 }
2855
2856 public static final String XOR_VB = VECTOR_PREFIX + "XOR_VB" + POSTFIX;
2857 static {
2858 vectorNode(XOR_VB, "XorV", TYPE_BYTE);
2859 }
2860
2861 public static final String XOR_VS = VECTOR_PREFIX + "XOR_VS" + POSTFIX;
2862 static {
2863 vectorNode(XOR_VS, "XorV", TYPE_SHORT);
2864 }
2865
2866 public static final String XOR_VI = VECTOR_PREFIX + "XOR_VI" + POSTFIX;
2867 static {
2868 vectorNode(XOR_VI, "XorV", TYPE_INT);
2869 }
2870
2871 public static final String XOR_VL = VECTOR_PREFIX + "XOR_VL" + POSTFIX;
2872 static {
2873 vectorNode(XOR_VL, "XorV", TYPE_LONG);
2874 }
2875
2876 public static final String XOR_V = PREFIX + "XOR_V" + POSTFIX;
2877 static {
2878 beforeMatchingNameRegex(XOR_V, "XorV");
2879 }
2880
2881 public static final String XOR_V_MASK = PREFIX + "XOR_V_MASK" + POSTFIX;
2882 static {
2883 beforeMatchingNameRegex(XOR_V_MASK, "XorVMask");
2884 }
2885
2886 public static final String XOR_REDUCTION_V = PREFIX + "XOR_REDUCTION_V" + POSTFIX;
2887 static {
2888 superWordNodes(XOR_REDUCTION_V, "XorReductionV");
2889 }
2890
2891 public static final String XOR3_NEON = PREFIX + "XOR3_NEON" + POSTFIX;
2892 static {
2893 machOnlyNameRegex(XOR3_NEON, "veor3_neon");
2894 }
2895
2896 public static final String XOR3_SVE = PREFIX + "XOR3_SVE" + POSTFIX;
2897 static {
2898 machOnlyNameRegex(XOR3_SVE, "veor3_sve");
2899 }
2900
2901 public static final String COMPRESS_BITS_VI = VECTOR_PREFIX + "COMPRESS_BITS_VI" + POSTFIX;
2902 static {
2903 vectorNode(COMPRESS_BITS_VI, "CompressBitsV", TYPE_INT);
2904 }
2905
2906 public static final String COMPRESS_BITS_VL = VECTOR_PREFIX + "COMPRESS_BITS_VL" + POSTFIX;
2907 static {
2908 vectorNode(COMPRESS_BITS_VL, "CompressBitsV", TYPE_LONG);
2909 }
2910
2911 public static final String EXPAND_BITS_VI = VECTOR_PREFIX + "EXPAND_BITS_VI" + POSTFIX;
2912 static {
2913 vectorNode(EXPAND_BITS_VI, "ExpandBitsV", TYPE_INT);
2914 }
2915
2916 public static final String EXPAND_BITS_VL = VECTOR_PREFIX + "EXPAND_BITS_VL" + POSTFIX;
2917 static {
2918 vectorNode(EXPAND_BITS_VL, "ExpandBitsV", TYPE_LONG);
2919 }
2920
2921 public static final String COMPRESS_VB = VECTOR_PREFIX + "COMPRESS_VB" + POSTFIX;
2922 static {
2923 vectorNode(COMPRESS_VB, "CompressV", TYPE_BYTE);
2924 }
2925
2926 public static final String COMPRESS_VS = VECTOR_PREFIX + "COMPRESS_VS" + POSTFIX;
2927 static {
2928 vectorNode(COMPRESS_VS, "CompressV", TYPE_SHORT);
2929 }
2930
2931 public static final String COMPRESS_VI = VECTOR_PREFIX + "COMPRESS_VI" + POSTFIX;
2932 static {
2933 vectorNode(COMPRESS_VI, "CompressV", TYPE_INT);
2934 }
2935
2936 public static final String COMPRESS_VL = VECTOR_PREFIX + "COMPRESS_VL" + POSTFIX;
2937 static {
2938 vectorNode(COMPRESS_VL, "CompressV", TYPE_LONG);
2939 }
2940
2941 public static final String COMPRESS_VF = VECTOR_PREFIX + "COMPRESS_VF" + POSTFIX;
2942 static {
2943 vectorNode(COMPRESS_VF, "CompressV", TYPE_FLOAT);
2944 }
2945
2946 public static final String COMPRESS_VD = VECTOR_PREFIX + "COMPRESS_VD" + POSTFIX;
2947 static {
2948 vectorNode(COMPRESS_VD, "CompressV", TYPE_DOUBLE);
2949 }
2950
2951 public static final String EXPAND_VB = VECTOR_PREFIX + "EXPAND_VB" + POSTFIX;
2952 static {
2953 vectorNode(EXPAND_VB, "ExpandV", TYPE_BYTE);
2954 }
2955
2956 public static final String EXPAND_VS = VECTOR_PREFIX + "EXPAND_VS" + POSTFIX;
2957 static {
2958 vectorNode(EXPAND_VS, "ExpandV", TYPE_SHORT);
2959 }
2960
2961 public static final String EXPAND_VI = VECTOR_PREFIX + "EXPAND_VI" + POSTFIX;
2962 static {
2963 vectorNode(EXPAND_VI, "ExpandV", TYPE_INT);
2964 }
2965
2966 public static final String EXPAND_VL = VECTOR_PREFIX + "EXPAND_VL" + POSTFIX;
2967 static {
2968 vectorNode(EXPAND_VL, "ExpandV", TYPE_LONG);
2969 }
2970
2971 public static final String EXPAND_VF = VECTOR_PREFIX + "EXPAND_VF" + POSTFIX;
2972 static {
2973 vectorNode(EXPAND_VF, "ExpandV", TYPE_FLOAT);
2974 }
2975
2976 public static final String EXPAND_VD = VECTOR_PREFIX + "EXPAND_VD" + POSTFIX;
2977 static {
2978 vectorNode(EXPAND_VD, "ExpandV", TYPE_DOUBLE);
2979 }
2980
2981 public static final String Z_LOAD_P_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "Z_LOAD_P_WITH_BARRIER_FLAG" + POSTFIX;
2982 static {
2983 String regex = START + "zLoadP\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
2984 machOnly(Z_LOAD_P_WITH_BARRIER_FLAG, regex);
2985 }
2986
2987 public static final String Z_STORE_P_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "Z_STORE_P_WITH_BARRIER_FLAG" + POSTFIX;
2988 static {
2989 String regex = START + "zStoreP\\S*" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
2990 machOnly(Z_STORE_P_WITH_BARRIER_FLAG, regex);
2991 }
2992
2993 public static final String Z_COMPARE_AND_SWAP_P_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "Z_COMPARE_AND_SWAP_P_WITH_BARRIER_FLAG" + POSTFIX;
2994 static {
2995 String regex = START + "zCompareAndSwapP" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
2996 machOnly(Z_COMPARE_AND_SWAP_P_WITH_BARRIER_FLAG, regex);
2997 }
2998
2999 public static final String Z_GET_AND_SET_P_WITH_BARRIER_FLAG = COMPOSITE_PREFIX + "Z_GET_AND_SET_P_WITH_BARRIER_FLAG" + POSTFIX;
3000 static {
3001 String regex = START + "(zXChgP)|(zGetAndSetP\\S*)" + MID + "barrier\\(\\s*" + IS_REPLACED + "\\s*\\)" + END;
3002 machOnly(Z_GET_AND_SET_P_WITH_BARRIER_FLAG, regex);
3003 }
3004
3005 public static final String X86_LOCK_ADDB_REG = PREFIX + "X86_LOCK_ADDB_REG" + POSTFIX;
3006 static {
3007 machOnlyNameRegex(X86_LOCK_ADDB_REG, "xaddB_reg_no_res");
3008 }
3009
3010 public static final String X86_LOCK_ADDB_IMM = PREFIX + "X86_LOCK_ADDB_IMM" + POSTFIX;
3011 static {
3012 machOnlyNameRegex(X86_LOCK_ADDB_IMM, "xaddB_imm_no_res");
3013 }
3014
3015 public static final String X86_LOCK_XADDB = PREFIX + "X86_LOCK_XADDB" + POSTFIX;
3016 static {
3017 machOnlyNameRegex(X86_LOCK_XADDB, "xaddB");
3018 }
3019
3020 public static final String X86_LOCK_ADDS_REG = PREFIX + "X86_LOCK_ADDS_REG" + POSTFIX;
3021 static {
3022 machOnlyNameRegex(X86_LOCK_ADDS_REG, "xaddS_reg_no_res");
3023 }
3024
3025 public static final String X86_LOCK_ADDS_IMM = PREFIX + "X86_LOCK_ADDS_IMM" + POSTFIX;
3026 static {
3027 machOnlyNameRegex(X86_LOCK_ADDS_IMM, "xaddS_imm_no_res");
3028 }
3029
3030 public static final String X86_LOCK_XADDS = PREFIX + "X86_LOCK_XADDS" + POSTFIX;
3031 static {
3032 machOnlyNameRegex(X86_LOCK_XADDS, "xaddS");
3033 }
3034
3035 public static final String X86_LOCK_ADDI_REG = PREFIX + "X86_LOCK_ADDI_REG" + POSTFIX;
3036 static {
3037 machOnlyNameRegex(X86_LOCK_ADDI_REG, "xaddI_reg_no_res");
3038 }
3039
3040 public static final String X86_LOCK_ADDI_IMM = PREFIX + "X86_LOCK_ADDI_IMM" + POSTFIX;
3041 static {
3042 machOnlyNameRegex(X86_LOCK_ADDI_IMM, "xaddI_imm_no_res");
3043 }
3044
3045 public static final String X86_LOCK_XADDI = PREFIX + "X86_LOCK_XADDI" + POSTFIX;
3046 static {
3047 machOnlyNameRegex(X86_LOCK_XADDI, "xaddI");
3048 }
3049
3050 public static final String X86_LOCK_ADDL_REG = PREFIX + "X86_LOCK_ADDL_REG" + POSTFIX;
3051 static {
3052 machOnlyNameRegex(X86_LOCK_ADDL_REG, "xaddL_reg_no_res");
3053 }
3054
3055 public static final String X86_LOCK_ADDL_IMM = PREFIX + "X86_LOCK_ADDL_IMM" + POSTFIX;
3056 static {
3057 machOnlyNameRegex(X86_LOCK_ADDL_IMM, "xaddL_imm_no_res");
3058 }
3059
3060 public static final String X86_LOCK_XADDL = PREFIX + "X86_LOCK_XADDL" + POSTFIX;
3061 static {
3062 machOnlyNameRegex(X86_LOCK_XADDL, "xaddL");
3063 }
3064
3065 public static final String X86_TESTI_REG = PREFIX + "X86_TESTI_REG" + POSTFIX;
3066 static {
3067 machOnlyNameRegex(X86_TESTI_REG, "testI_reg");
3068 }
3069
3070 public static final String X86_TESTL_REG = PREFIX + "X86_TESTL_REG" + POSTFIX;
3071 static {
3072 machOnlyNameRegex(X86_TESTL_REG, "testL_reg");
3073 }
3074
3075 public static final String X86_CMOVEL_IMM01 = PREFIX + "X86_CMOVEL_IMM01" + POSTFIX;
3076 static {
3077 machOnlyNameRegex(X86_CMOVEL_IMM01, "cmovL_imm_01");
3078 }
3079
3080 public static final String X86_CMOVEL_IMM01U = PREFIX + "X86_CMOVEL_IMM01U" + POSTFIX;
3081 static {
3082 machOnlyNameRegex(X86_CMOVEL_IMM01U, "cmovL_imm_01U");
3083 }
3084
3085 public static final String X86_CMOVEL_IMM01UCF = PREFIX + "X86_CMOVEL_IMM01UCF" + POSTFIX;
3086 static {
3087 machOnlyNameRegex(X86_CMOVEL_IMM01UCF, "cmovL_imm_01UCF");
3088 }
3089
3090 public static final String MOD_F = PREFIX + "MOD_F" + POSTFIX;
3091 static {
3092 String regex = START + "ModF" + MID + END;
3093 macroNodes(MOD_F, regex);
3094 }
3095
3096 public static final String MOD_D = PREFIX + "MOD_D" + POSTFIX;
3097 static {
3098 String regex = START + "ModD" + MID + END;
3099 macroNodes(MOD_D, regex);
3100 }
3101
3102 public static final String BLACKHOLE = PREFIX + "BLACKHOLE" + POSTFIX;
3103 static {
3104 fromBeforeRemoveUselessToFinalCode(BLACKHOLE, "Blackhole");
3105 }
3106
3107 public static final String SELECT_FROM_TWO_VECTOR_VB = VECTOR_PREFIX + "SELECT_FROM_TWO_VECTOR_VB" + POSTFIX;
3108 static {
3109 vectorNode(SELECT_FROM_TWO_VECTOR_VB, "SelectFromTwoVector", TYPE_BYTE);
3110 }
3111
3112 public static final String SELECT_FROM_TWO_VECTOR_VS = VECTOR_PREFIX + "SELECT_FROM_TWO_VECTOR_VS" + POSTFIX;
3113 static {
3114 vectorNode(SELECT_FROM_TWO_VECTOR_VS, "SelectFromTwoVector", TYPE_SHORT);
3115 }
3116
3117 public static final String SELECT_FROM_TWO_VECTOR_VI = VECTOR_PREFIX + "SELECT_FROM_TWO_VECTOR_VI" + POSTFIX;
3118 static {
3119 vectorNode(SELECT_FROM_TWO_VECTOR_VI, "SelectFromTwoVector", TYPE_INT);
3120 }
3121
3122 public static final String SELECT_FROM_TWO_VECTOR_VF = VECTOR_PREFIX + "SELECT_FROM_TWO_VECTOR_VF" + POSTFIX;
3123 static {
3124 vectorNode(SELECT_FROM_TWO_VECTOR_VF, "SelectFromTwoVector", TYPE_FLOAT);
3125 }
3126
3127 public static final String SELECT_FROM_TWO_VECTOR_VD = VECTOR_PREFIX + "SELECT_FROM_TWO_VECTOR_VD" + POSTFIX;
3128 static {
3129 vectorNode(SELECT_FROM_TWO_VECTOR_VD, "SelectFromTwoVector", TYPE_DOUBLE);
3130 }
3131
3132 public static final String SELECT_FROM_TWO_VECTOR_VL = VECTOR_PREFIX + "SELECT_FROM_TWO_VECTOR_VL" + POSTFIX;
3133 static {
3134 vectorNode(SELECT_FROM_TWO_VECTOR_VL, "SelectFromTwoVector", TYPE_LONG);
3135 }
3136
3137 public static final String REPLICATE_HF = PREFIX + "REPLICATE_HF" + POSTFIX;
3138 static {
3139 machOnlyNameRegex(REPLICATE_HF, "replicateHF");
3140 }
3141
3142 public static final String REPLICATE_HF_IMM8 = PREFIX + "REPLICATE_HF_IMM8" + POSTFIX;
3143 static {
3144 machOnlyNameRegex(REPLICATE_HF_IMM8, "replicateHF_imm8_gt128b");
3145 }
3146
3147 /*
3148 * Utility methods to set up IR_NODE_MAPPINGS.
3149 */
3150
3151 /**
3152 * Apply {@code regex} on all machine independent ideal graph phases up to and including
3153 * {@link CompilePhase#BEFORE_MATCHING}.
3154 */
3155 public static void beforeMatching(String irNodePlaceholder, String regex) {
3156 IR_NODE_MAPPINGS.put(irNodePlaceholder, new RegexTypeEntry(RegexType.IDEAL_INDEPENDENT, regex));
3157 }
3158
3159 /**
3160 * Apply {@code irNodeRegex} as regex for the IR node name on all machine independent ideal graph phases up to and
3161 * including {@link CompilePhase#BEFORE_MATCHING}.
3162 */
3163 private static void beforeMatchingNameRegex(String irNodePlaceholder, String irNodeRegex) {
3164 String regex = START + irNodeRegex + MID + END;
3165 IR_NODE_MAPPINGS.put(irNodePlaceholder, new RegexTypeEntry(RegexType.IDEAL_INDEPENDENT, regex));
3166 }
3167
3168 /**
3169 * Apply {@code irNodeRegex} as regex for the IR vector node name on all machine independent ideal graph phases up to and
3170 * including {@link CompilePhase#BEFORE_MATCHING}. Since this is a vector node, we can also check the vector element
3171 * type {@code typeString} and the vector size (number of elements), {@see VECTOR_SIZE}.
3172 */
3173 private static void vectorNode(String irNodePlaceholder, String irNodeRegex, String typeString) {
3174 TestFramework.check(isVectorIRNode(irNodePlaceholder), "vectorNode: failed prefix check for irNodePlaceholder "
3175 + irNodePlaceholder + " -> did you use VECTOR_PREFIX?");
3176 // IS_REPLACED is later replaced with the specific type and size of the vector.
3177 String regex = START + irNodeRegex + MID + IS_REPLACED + END;
3178 IR_NODE_MAPPINGS.put(irNodePlaceholder, new RegexTypeEntry(RegexType.IDEAL_INDEPENDENT, regex));
3179 VECTOR_NODE_TYPE.put(irNodePlaceholder, typeString);
3180 }
3181
3182 /**
3183 * Apply {@code regex} on all ideal graph phases up to and including {@link CompilePhase#BEFORE_MACRO_EXPANSION}.
3184 */
3185 private static void macroNodes(String irNodePlaceholder, String regex) {
3186 IR_NODE_MAPPINGS.put(irNodePlaceholder, new SinglePhaseRangeEntry(CompilePhase.BEFORE_MACRO_EXPANSION, regex,
3187 CompilePhase.BEFORE_STRINGOPTS,
3188 CompilePhase.BEFORE_MACRO_EXPANSION));
3189 }
3190
3191 private static void callOfNodes(String irNodePlaceholder, String callRegex, String calleeRegex) {
3192 String regex = START + callRegex + MID + calleeRegex + END;
3193 IR_NODE_MAPPINGS.put(irNodePlaceholder, new RegexTypeEntry(RegexType.IDEAL_INDEPENDENT, regex));
3194 }
3195
3196 /**
3197 * Apply {@code regex} on all machine dependant ideal graph phases (i.e. on the mach graph) starting from
3198 * {@link CompilePhase#MATCHING}.
3199 */
3200 public static void optoOnly(String irNodePlaceholder, String regex) {
3201 IR_NODE_MAPPINGS.put(irNodePlaceholder, new RegexTypeEntry(RegexType.OPTO_ASSEMBLY, regex));
3202 }
3203
3204 private static void machOnly(String irNodePlaceholder, String regex) {
3205 IR_NODE_MAPPINGS.put(irNodePlaceholder, new RegexTypeEntry(RegexType.MACH, regex));
3206 }
3207
3208 private static void machOnlyNameRegex(String irNodePlaceholder, String irNodeRegex) {
3209 String regex = START + irNodeRegex + MID + END;
3210 IR_NODE_MAPPINGS.put(irNodePlaceholder, new RegexTypeEntry(RegexType.MACH, regex));
3211 }
3212
3213 /**
3214 * Apply {@code regex} on all ideal graph phases starting from {@link CompilePhase#AFTER_CLOOPS}.
3215 */
3216 private static void fromAfterCountedLoops(String irNodePlaceholder, String regex) {
3217 IR_NODE_MAPPINGS.put(irNodePlaceholder, new SinglePhaseRangeEntry(CompilePhase.PRINT_IDEAL, regex,
3218 CompilePhase.AFTER_CLOOPS,
3219 CompilePhase.FINAL_CODE));
3220 }
3221
3222 /**
3223 * Apply {@code regex} on all ideal graph phases starting from {@link CompilePhase#BEFORE_CLOOPS}.
3224 */
3225 private static void fromBeforeCountedLoops(String irNodePlaceholder, String regex) {
3226 IR_NODE_MAPPINGS.put(irNodePlaceholder, new SinglePhaseRangeEntry(CompilePhase.PRINT_IDEAL, regex,
3227 CompilePhase.BEFORE_CLOOPS,
3228 CompilePhase.FINAL_CODE));
3229 }
3230
3231 /**
3232 * Apply {@code regex} on all ideal graph phases starting from {@link CompilePhase#BEFORE_CLOOPS} up to and
3233 * including {@link CompilePhase#BEFORE_MATCHING}
3234 */
3235 private static void fromMacroToBeforeMatching(String irNodePlaceholder, String regex) {
3236 IR_NODE_MAPPINGS.put(irNodePlaceholder, new SinglePhaseRangeEntry(CompilePhase.PRINT_IDEAL, regex,
3237 CompilePhase.AFTER_MACRO_EXPANSION,
3238 CompilePhase.BEFORE_MATCHING));
3239 }
3240
3241 /**
3242 * Apply {@code regex} on all ideal graph phases starting from {@link CompilePhase#BEFORE_CLOOPS} up to and
3243 * including {@link CompilePhase#BEFORE_MATCHING}
3244 */
3245 private static void afterBarrierExpansionToBeforeMatching(String irNodePlaceholder, String regex) {
3246 IR_NODE_MAPPINGS.put(irNodePlaceholder, new SinglePhaseRangeEntry(CompilePhase.PRINT_IDEAL, regex,
3247 CompilePhase.OPTIMIZE_FINISHED,
3248 CompilePhase.BEFORE_MATCHING));
3249 }
3250
3251 /**
3252 * Apply {@code regex} on all ideal graph phases starting from {@link CompilePhase#BEFORE_LOOP_OPTS}
3253 * up to and including {@link CompilePhase#AFTER_LOOP_OPTS}.
3254 */
3255 private static void duringLoopOpts(String irNodePlaceholder, String regex) {
3256 IR_NODE_MAPPINGS.put(irNodePlaceholder, new SinglePhaseRangeEntry(CompilePhase.AFTER_LOOP_OPTS, regex,
3257 CompilePhase.BEFORE_LOOP_OPTS,
3258 CompilePhase.AFTER_LOOP_OPTS));
3259 }
3260
3261 private static void trapNodes(String irNodePlaceholder, String trapReason) {
3262 String regex = START + "CallStaticJava" + MID + "uncommon_trap.*" + trapReason + END;
3263 beforeMatching(irNodePlaceholder, regex);
3264 }
3265
3266 private static void parsePredicateNodes(String irNodePlaceholder, String label) {
3267 String regex = START + "ParsePredicate" + MID + "#" + label + " " + END;
3268 IR_NODE_MAPPINGS.put(irNodePlaceholder, new SinglePhaseRangeEntry(CompilePhase.AFTER_PARSING, regex,
3269 CompilePhase.AFTER_PARSING,
3270 CompilePhase.AFTER_LOOP_OPTS));
3271 }
3272
3273 // Typename in load/store have the structure:
3274 // @ptrtype:fully/qualified/package/name/to/TheClass:ptrlattice+12
3275 // with ptrtype being the kind of the type such as instptr, aryptr, etc, and ptrlattice being
3276 // the kind of the value such as BotPTR, NotNull, etc.
3277 // And variation:
3278 // - after ptrtype, we can have "stable:" or other labels, with optional space after ':'
3279 // - the class can actually be a nested class, with $ separator (and it must be ok to give only the deepest one
3280 // - after the class name, we can have a comma-separated list of implemented interfaces enclosed in parentheses
3281 // Worst case, it can be something like:
3282 // @bla: bli:a/b/c$d$e (f/g,h/i/j):NotNull+24
3283
3284 // @ matches the start character of the pattern
3285 // (\w+: ?)+ tries to match the pattern 'ptrtype:' or 'stable:' with optional trailing whitespaces
3286 // [\\w/\\$] tries to match the pattern such as 'a/b/', 'a/b', or '/b' but also nested class such as '$c' or '$c$d'
3287 // \b asserts that the next character is a word character
3288 private static final String LOAD_STORE_PREFIX = "@(\\w+: ?)+[\\w/\\$]*\\b";
3289 // ( \([^\)]+\))? tries to match the pattern ' (f/g,h/i/j)'
3290 // :\w+ tries to match the pattern ':NotNull'
3291 // .* tries to match the remaining of the pattern
3292 private static final String LOAD_STORE_SUFFIX = "( \\([^\\)]+\\))?:\\w+.*";
3293
3294 private static void loadOfNodes(String irNodePlaceholder, String irNodeRegex, String loadee) {
3295 String regex = START + irNodeRegex + MID + LOAD_STORE_PREFIX + loadee + LOAD_STORE_SUFFIX + END;
3296 beforeMatching(irNodePlaceholder, regex);
3297 }
3298
3299 private static void storeOfNodes(String irNodePlaceholder, String irNodeRegex, String storee) {
3300 String regex = START + irNodeRegex + MID + LOAD_STORE_PREFIX + storee + LOAD_STORE_SUFFIX + END;
3301 beforeMatching(irNodePlaceholder, regex);
3302 }
3303
3304 private static void safepointScalarobjectOfNodes(String irNodePlaceholder, String irNodeRegex) {
3305 String regex = START + irNodeRegex + MID + ".*" + IS_REPLACED + ".*" + END;
3306 beforeMatching(irNodePlaceholder, regex);
3307 }
3308
3309 private static void fromBeforeRemoveUselessToFinalCode(String irNodePlaceholder, String irNodeRegex) {
3310 String regex = START + irNodeRegex + MID + END;
3311 IR_NODE_MAPPINGS.put(irNodePlaceholder, new SinglePhaseRangeEntry(CompilePhase.PRINT_IDEAL, regex,
3312 CompilePhase.BEFORE_REMOVEUSELESS,
3313 CompilePhase.FINAL_CODE));
3314 }
3315
3316 /**
3317 * Apply {@code regex} on all ideal graph phases starting from {@link CompilePhase#PHASEIDEALLOOP1} which is the
3318 * first phase that could contain vector nodes from super word.
3319 */
3320 private static void superWordNodes(String irNodePlaceholder, String irNodeRegex) {
3321 String regex = START + irNodeRegex + MID + END;
3322 IR_NODE_MAPPINGS.put(irNodePlaceholder, new SinglePhaseRangeEntry(CompilePhase.PRINT_IDEAL, regex,
3323 CompilePhase.PHASEIDEALLOOP1,
3324 CompilePhase.BEFORE_MATCHING));
3325 }
3326
3327
3328 /*
3329 * Methods used internally by the IR framework.
3330 */
3331
3332 /**
3333 * Is {@code irNodeString} an IR node placeholder string?
3334 */
3335 public static boolean isIRNode(String irNodeString) {
3336 return irNodeString.startsWith(PREFIX);
3337 }
3338
3339 /**
3340 * Is {@code irCompositeNodeString} an IR composite node placeholder string?
3341 */
3342 public static boolean isCompositeIRNode(String irCompositeNodeString) {
3343 return irCompositeNodeString.startsWith(COMPOSITE_PREFIX);
3344 }
3345
3346 /**
3347 * Is {@code irVectorNodeString} an IR vector node placeholder string?
3348 */
3349 public static boolean isVectorIRNode(String irVectorNodeString) {
3350 return irVectorNodeString.startsWith(VECTOR_PREFIX);
3351 }
3352
3353 /**
3354 * Is {@code irVectorSizeString} a vector size string?
3355 */
3356 public static boolean isVectorSize(String irVectorSizeString) {
3357 return irVectorSizeString.startsWith(VECTOR_SIZE);
3358 }
3359
3360 /**
3361 * Parse {@code sizeString} and generate a regex pattern to match for the size in the IR dump.
3362 */
3363 public static String parseVectorNodeSize(String sizeString, String typeString, VMInfo vmInfo) {
3364 if (sizeString.equals(VECTOR_SIZE_TAG_ANY)) {
3365 return "\\\\d+"; // match with any number
3366 }
3367 // Try to parse any tags, convert to comma separated list of ints
3368 sizeString = parseVectorNodeSizeTag(sizeString, typeString, vmInfo);
3369 // Parse comma separated list of numbers
3370 String[] sizes = sizeString.split(",");
3371 String regex = "";
3372 for (int i = 0; i < sizes.length; i++) {
3373 int size = 0;
3374 try {
3375 size = Integer.parseInt(sizes[i]);
3376 } catch (NumberFormatException e) {
3377 throw new TestFormatException("Vector node has invalid size \"" + sizes[i] + "\", in \"" + sizeString + "\"");
3378 }
3379 TestFormat.checkNoReport(size > 1, "Vector node size must be 2 or larger, but got \"" + sizes[i] + "\", in \"" + sizeString + "\"");
3380 regex += ((i > 0) ? "|" : "") + size;
3381 }
3382 if (sizes.length > 1) {
3383 regex = "(" + regex + ")";
3384 }
3385 return regex;
3386 }
3387
3388 /**
3389 * If {@code sizeTagString} is a size tag, return the list of accepted sizes, else return sizeTagString.
3390 */
3391 public static String parseVectorNodeSizeTag(String sizeTagString, String typeString, VMInfo vmInfo) {
3392 // Parse out "min(a,b,c,...)"
3393 if (sizeTagString.startsWith("min(") && sizeTagString.endsWith(")")) {
3394 return parseVectorNodeSizeTagMin(sizeTagString, typeString, vmInfo);
3395 }
3396
3397 // Parse individual tags
3398 return switch (sizeTagString) {
3399 case VECTOR_SIZE_TAG_MAX -> String.valueOf(getMaxElementsForType(typeString, vmInfo));
3400 case "max_byte" -> String.valueOf(getMaxElementsForType(TYPE_BYTE, vmInfo));
3401 case "max_char" -> String.valueOf(getMaxElementsForType(TYPE_CHAR, vmInfo));
3402 case "max_short" -> String.valueOf(getMaxElementsForType(TYPE_SHORT, vmInfo));
3403 case "max_int" -> String.valueOf(getMaxElementsForType(TYPE_INT, vmInfo));
3404 case "max_long" -> String.valueOf(getMaxElementsForType(TYPE_LONG, vmInfo));
3405 case "max_float" -> String.valueOf(getMaxElementsForType(TYPE_FLOAT, vmInfo));
3406 case "max_double" -> String.valueOf(getMaxElementsForType(TYPE_DOUBLE, vmInfo));
3407 case "LoopMaxUnroll" -> String.valueOf(vmInfo.getLongValue("LoopMaxUnroll"));
3408 default -> sizeTagString;
3409 };
3410 }
3411
3412 /**
3413 * Parse {@code sizeTagString}, which must be a min-clause.
3414 */
3415 public static String parseVectorNodeSizeTagMin(String sizeTagString, String typeString, VMInfo vmInfo) {
3416 String[] tags = sizeTagString.substring(4, sizeTagString.length() - 1).split(",");
3417 TestFormat.checkNoReport(tags.length > 1, "Vector node size \"min(...)\" must have at least 2 comma separated arguments, got \"" + sizeTagString + "\"");
3418 int minVal = 1024;
3419 for (int i = 0; i < tags.length; i++) {
3420 String tag = parseVectorNodeSizeTag(tags[i].trim(), typeString, vmInfo);
3421 int tag_val = 0;
3422 try {
3423 tag_val = Integer.parseInt(tag);
3424 } catch (NumberFormatException e) {
3425 throw new TestFormatException("Vector node has invalid size in \"min(...)\", argument " + i + ", \"" + tag + "\", in \"" + sizeTagString + "\"");
3426 }
3427 minVal = Math.min(minVal, tag_val);
3428 }
3429 return String.valueOf(minVal);
3430 }
3431
3432 /**
3433 * Return maximal number of elements that can fit in a vector of the specified type.
3434 */
3435 public static long getMaxElementsForType(String typeString, VMInfo vmInfo) {
3436 long maxVectorSize = vmInfo.getLongValue("MaxVectorSize");
3437 TestFormat.checkNoReport(maxVectorSize > 0, "VMInfo: MaxVectorSize is not larger than zero");
3438 long maxBytes = maxVectorSize;
3439
3440 if (Platform.isX64() || Platform.isX86()) {
3441 maxBytes = Math.min(maxBytes, getMaxElementsForTypeOnX86(typeString, vmInfo));
3442 }
3443
3444 // compute elements per vector: vector bytes divided by bytes per element
3445 int bytes = getTypeSizeInBytes(typeString);
3446 return maxBytes / bytes;
3447 }
3448
3449 /**
3450 * Return maximal number of elements that can fit in a vector of the specified type, on x86 / x64.
3451 */
3452 public static long getMaxElementsForTypeOnX86(String typeString, VMInfo vmInfo) {
3453 // restrict maxBytes for specific features, see Matcher::vector_width_in_bytes in x86.ad:
3454 boolean avx1 = vmInfo.hasCPUFeature("avx");
3455 boolean avx2 = vmInfo.hasCPUFeature("avx2");
3456 boolean avx512 = vmInfo.hasCPUFeature("avx512f");
3457 boolean avx512bw = vmInfo.hasCPUFeature("avx512bw");
3458 long maxBytes;
3459 if (avx512) {
3460 maxBytes = 64;
3461 } else if (avx2) {
3462 maxBytes = 32;
3463 } else {
3464 maxBytes = 16;
3465 }
3466 if (avx1 && (typeString.equals(TYPE_FLOAT) || typeString.equals(TYPE_DOUBLE))) {
3467 maxBytes = avx512 ? 64 : 32;
3468 }
3469 if (avx512 && (typeString.equals(TYPE_BYTE) || typeString.equals(TYPE_SHORT) || typeString.equals(TYPE_CHAR))) {
3470 maxBytes = avx512bw ? 64 : 32;
3471 }
3472
3473 return maxBytes;
3474 }
3475
3476 /**
3477 * Return size in bytes of type named by {@code typeString}, return 0 if it does not name a type.
3478 */
3479 public static int getTypeSizeInBytes(String typeString) {
3480 return switch (typeString) {
3481 case TYPE_BYTE -> 1;
3482 case TYPE_CHAR, TYPE_SHORT -> 2;
3483 case TYPE_INT, TYPE_FLOAT -> 4;
3484 case TYPE_LONG, TYPE_DOUBLE -> 8;
3485 default -> 0;
3486 };
3487 }
3488
3489 /**
3490 * Returns "IRNode.XYZ", where XYZ is one of the IR node placeholder variable names defined above.
3491 */
3492 public static String getIRNodeAccessString(String irNodeString) {
3493 int prefixLength;
3494 if (isCompositeIRNode(irNodeString)) {
3495 TestFramework.check(irNodeString.length() > COMPOSITE_PREFIX.length() + POSTFIX.length(),
3496 "Invalid composite node placeholder: " + irNodeString);
3497 prefixLength = COMPOSITE_PREFIX.length();
3498 } else if (isVectorIRNode(irNodeString)) {
3499 TestFramework.check(irNodeString.length() > VECTOR_PREFIX.length() + POSTFIX.length(),
3500 "Invalid vector node placeholder: " + irNodeString);
3501 prefixLength = VECTOR_PREFIX.length();
3502 } else {
3503 prefixLength = PREFIX.length();
3504 }
3505 return "IRNode." + irNodeString.substring(prefixLength, irNodeString.length() - POSTFIX.length());
3506 }
3507
3508 /**
3509 * Is this IR node supported on current platform, used VM build, etc.?
3510 * Throws a {@link CheckedTestFrameworkException} if the IR node is unsupported.
3511 */
3512 public static void checkIRNodeSupported(String node) throws CheckedTestFrameworkException {
3513 switch (node) {
3514 case INTRINSIC_OR_TYPE_CHECKED_INLINING_TRAP -> {
3515 if (!WhiteBox.getWhiteBox().isJVMCISupportedByGC()) {
3516 throw new CheckedTestFrameworkException("INTRINSIC_OR_TYPE_CHECKED_INLINING_TRAP is unsupported " +
3517 "in builds without JVMCI.");
3518 }
3519 }
3520 case CHECKCAST_ARRAYCOPY -> {
3521 if (Platform.isS390x()) {
3522 throw new CheckedTestFrameworkException("CHECKCAST_ARRAYCOPY is unsupported on s390.");
3523 }
3524 }
3525 case IS_FINITE_D, IS_FINITE_F -> {
3526 if (!Platform.isRISCV64()) {
3527 throw new CheckedTestFrameworkException("IS_FINITE_* is only supported on riscv64.");
3528 }
3529 }
3530 // default: do nothing -> IR node is supported and can be used by the user.
3531 }
3532 }
3533
3534 /**
3535 * Get the regex of an IR node for a specific compile phase. If {@code irNode} is not an IR node placeholder string
3536 * or if there is no regex specified for {@code compilePhase}, a {@link TestFormatException} is reported.
3537 */
3538 public static String getRegexForCompilePhase(String irNode, CompilePhase compilePhase) {
3539 IRNodeMapEntry entry = IR_NODE_MAPPINGS.get(irNode);
3540 String failMsg = "IR Node \"" + irNode + "\" defined in class IRNode has no regex/compiler phase mapping " +
3541 "(i.e. no static initializer block that adds a mapping entry to IRNode.IR_NODE_MAPPINGS)." +
3542 System.lineSeparator() +
3543 " Have you just created the entry \"" + irNode + "\" in class IRNode and forgot to add a " +
3544 "mapping?" + System.lineSeparator() +
3545 " Violation";
3546 TestFormat.checkNoReport(entry != null, failMsg);
3547 String regex = entry.regexForCompilePhase(compilePhase);
3548 failMsg = "IR Node \"" + irNode + "\" defined in class IRNode has no regex defined for compile phase "
3549 + compilePhase + "." + System.lineSeparator() +
3550 " If you think this compile phase should be supported, update the mapping for \"" + irNode +
3551 "\" in class IRNode (i.e the static initializer block immediately following the definition of \"" +
3552 irNode + "\")." + System.lineSeparator() +
3553 " Violation";
3554 TestFormat.checkNoReport(regex != null, failMsg);
3555 return regex;
3556 }
3557
3558 /**
3559 * Get the default phase of an IR node. If {@code irNode} is not an IR node placeholder string, a
3560 * {@link TestFormatException} is reported.
3561 */
3562 public static CompilePhase getDefaultPhase(String irNode) {
3563 IRNodeMapEntry entry = IR_NODE_MAPPINGS.get(irNode);
3564 String failMsg = "\"" + irNode + "\" is not an IR node defined in class IRNode and " +
3565 "has therefore no default compile phase specified." + System.lineSeparator() +
3566 " If your regex represents a C2 IR node, consider adding an entry to class IRNode together " +
3567 "with a static initializer block that adds a mapping to IRNode.IR_NODE_MAPPINGS." +
3568 System.lineSeparator() +
3569 " Otherwise, set the @IR \"phase\" attribute to a compile phase different from " +
3570 "CompilePhase.DEFAULT to explicitly tell the IR framework on which compile phase your rule" +
3571 " should be applied on." + System.lineSeparator() +
3572 " Violation";
3573 TestFormat.checkNoReport(entry != null, failMsg);
3574 return entry.defaultCompilePhase();
3575 }
3576
3577 public static String getVectorNodeType(String irNode) {
3578 String typeString = VECTOR_NODE_TYPE.get(irNode);
3579 String failMsg = "\"" + irNode + "\" is not a Vector IR node defined in class IRNode";
3580 TestFormat.check(typeString != null, failMsg);
3581 return typeString;
3582 }
3583 }