7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24
25 package org.graalvm.compiler.core.phases;
26
27 import static org.graalvm.compiler.core.common.GraalOptions.ConditionalElimination;
28 import static org.graalvm.compiler.core.common.GraalOptions.ImmutableCode;
29 import static org.graalvm.compiler.core.common.GraalOptions.OptDeoptimizationGrouping;
30 import static org.graalvm.compiler.core.common.GraalOptions.OptFloatingReads;
31 import static org.graalvm.compiler.core.common.GraalOptions.OptLoopTransform;
32 import static org.graalvm.compiler.core.common.GraalOptions.PartialUnroll;
33 import static org.graalvm.compiler.core.common.GraalOptions.ReassociateInvariants;
34 import static org.graalvm.compiler.core.common.GraalOptions.VerifyHeapAtReturn;
35
36 import org.graalvm.compiler.loop.DefaultLoopPolicies;
37 import org.graalvm.compiler.loop.LoopPolicies;
38 import org.graalvm.compiler.loop.phases.LoopPartialUnrollPhase;
39 import org.graalvm.compiler.loop.phases.LoopSafepointEliminationPhase;
40 import org.graalvm.compiler.loop.phases.ReassociateInvariantPhase;
41 import org.graalvm.compiler.nodes.spi.LoweringTool;
42 import org.graalvm.compiler.options.OptionValues;
43 import org.graalvm.compiler.phases.PhaseSuite;
44 import org.graalvm.compiler.phases.common.CanonicalizerPhase;
45 import org.graalvm.compiler.phases.common.DeoptimizationGroupingPhase;
46 import org.graalvm.compiler.phases.common.FloatingReadPhase;
47 import org.graalvm.compiler.phases.common.FrameStateAssignmentPhase;
48 import org.graalvm.compiler.phases.common.GuardLoweringPhase;
49 import org.graalvm.compiler.phases.common.IncrementalCanonicalizerPhase;
50 import org.graalvm.compiler.phases.common.IterativeConditionalEliminationPhase;
51 import org.graalvm.compiler.phases.common.LockEliminationPhase;
52 import org.graalvm.compiler.phases.common.LoopSafepointInsertionPhase;
53 import org.graalvm.compiler.phases.common.LoweringPhase;
54 import org.graalvm.compiler.phases.common.VerifyHeapAtReturnPhase;
55 import org.graalvm.compiler.phases.tiers.MidTierContext;
56
57 public class MidTier extends PhaseSuite<MidTierContext> {
58
59 public MidTier(OptionValues options) {
60 CanonicalizerPhase canonicalizer = new CanonicalizerPhase();
61 if (ImmutableCode.getValue(options)) {
62 canonicalizer.disableReadCanonicalization();
63 }
64
65 appendPhase(new LockEliminationPhase());
66
67 if (OptFloatingReads.getValue(options)) {
68 appendPhase(new IncrementalCanonicalizerPhase<>(canonicalizer, new FloatingReadPhase()));
69 }
70
71 if (ConditionalElimination.getValue(options)) {
72 appendPhase(new IterativeConditionalEliminationPhase(canonicalizer, true));
73 }
74
75 appendPhase(new LoopSafepointEliminationPhase());
76
77 appendPhase(new LoopSafepointInsertionPhase());
78
79 appendPhase(new GuardLoweringPhase());
80
81 if (VerifyHeapAtReturn.getValue(options)) {
82 appendPhase(new VerifyHeapAtReturnPhase());
83 }
84
85 appendPhase(new LoweringPhase(canonicalizer, LoweringTool.StandardLoweringStage.MID_TIER));
86
87 appendPhase(new FrameStateAssignmentPhase());
88
89 LoopPolicies loopPolicies = createLoopPolicies();
90 if (OptLoopTransform.getValue(options)) {
91 if (PartialUnroll.getValue(options)) {
92 appendPhase(new LoopPartialUnrollPhase(loopPolicies, canonicalizer));
93 }
94 }
95 if (ReassociateInvariants.getValue(options)) {
96 appendPhase(new ReassociateInvariantPhase());
97 }
98
99 if (OptDeoptimizationGrouping.getValue(options)) {
|
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24
25 package org.graalvm.compiler.core.phases;
26
27 import static org.graalvm.compiler.core.common.SpeculativeExecutionAttacksMitigations.GuardTargets;
28 import static org.graalvm.compiler.core.common.SpeculativeExecutionAttacksMitigations.NonDeoptGuardTargets;
29 import static org.graalvm.compiler.core.common.SpeculativeExecutionAttacksMitigations.Options.MitigateSpeculativeExecutionAttacks;
30 import static org.graalvm.compiler.core.common.GraalOptions.ConditionalElimination;
31 import static org.graalvm.compiler.core.common.GraalOptions.ImmutableCode;
32 import static org.graalvm.compiler.core.common.GraalOptions.OptDeoptimizationGrouping;
33 import static org.graalvm.compiler.core.common.GraalOptions.OptFloatingReads;
34 import static org.graalvm.compiler.core.common.GraalOptions.OptLoopTransform;
35 import static org.graalvm.compiler.core.common.GraalOptions.PartialUnroll;
36 import static org.graalvm.compiler.core.common.GraalOptions.ReassociateInvariants;
37 import static org.graalvm.compiler.core.common.GraalOptions.VerifyHeapAtReturn;
38
39 import org.graalvm.compiler.loop.DefaultLoopPolicies;
40 import org.graalvm.compiler.loop.LoopPolicies;
41 import org.graalvm.compiler.loop.phases.LoopPartialUnrollPhase;
42 import org.graalvm.compiler.loop.phases.LoopSafepointEliminationPhase;
43 import org.graalvm.compiler.loop.phases.ReassociateInvariantPhase;
44 import org.graalvm.compiler.nodes.spi.LoweringTool;
45 import org.graalvm.compiler.options.OptionValues;
46 import org.graalvm.compiler.phases.PhaseSuite;
47 import org.graalvm.compiler.phases.common.CanonicalizerPhase;
48 import org.graalvm.compiler.phases.common.DeoptimizationGroupingPhase;
49 import org.graalvm.compiler.phases.common.FloatingReadPhase;
50 import org.graalvm.compiler.phases.common.FrameStateAssignmentPhase;
51 import org.graalvm.compiler.phases.common.GuardLoweringPhase;
52 import org.graalvm.compiler.phases.common.IncrementalCanonicalizerPhase;
53 import org.graalvm.compiler.phases.common.InsertGuardFencesPhase;
54 import org.graalvm.compiler.phases.common.IterativeConditionalEliminationPhase;
55 import org.graalvm.compiler.phases.common.LockEliminationPhase;
56 import org.graalvm.compiler.phases.common.LoopSafepointInsertionPhase;
57 import org.graalvm.compiler.phases.common.LoweringPhase;
58 import org.graalvm.compiler.phases.common.VerifyHeapAtReturnPhase;
59 import org.graalvm.compiler.phases.tiers.MidTierContext;
60
61 public class MidTier extends PhaseSuite<MidTierContext> {
62
63 public MidTier(OptionValues options) {
64 CanonicalizerPhase canonicalizer = new CanonicalizerPhase();
65 if (ImmutableCode.getValue(options)) {
66 canonicalizer.disableReadCanonicalization();
67 }
68
69 appendPhase(new LockEliminationPhase());
70
71 if (OptFloatingReads.getValue(options)) {
72 appendPhase(new IncrementalCanonicalizerPhase<>(canonicalizer, new FloatingReadPhase()));
73 }
74
75 if (ConditionalElimination.getValue(options)) {
76 appendPhase(new IterativeConditionalEliminationPhase(canonicalizer, true));
77 }
78
79 appendPhase(new LoopSafepointEliminationPhase());
80
81 appendPhase(new LoopSafepointInsertionPhase());
82
83 appendPhase(new GuardLoweringPhase());
84
85 if (MitigateSpeculativeExecutionAttacks.getValue(options) == GuardTargets || MitigateSpeculativeExecutionAttacks.getValue(options) == NonDeoptGuardTargets) {
86 appendPhase(new InsertGuardFencesPhase());
87 }
88
89 if (VerifyHeapAtReturn.getValue(options)) {
90 appendPhase(new VerifyHeapAtReturnPhase());
91 }
92
93 appendPhase(new LoweringPhase(canonicalizer, LoweringTool.StandardLoweringStage.MID_TIER));
94
95 appendPhase(new FrameStateAssignmentPhase());
96
97 LoopPolicies loopPolicies = createLoopPolicies();
98 if (OptLoopTransform.getValue(options)) {
99 if (PartialUnroll.getValue(options)) {
100 appendPhase(new LoopPartialUnrollPhase(loopPolicies, canonicalizer));
101 }
102 }
103 if (ReassociateInvariants.getValue(options)) {
104 appendPhase(new ReassociateInvariantPhase());
105 }
106
107 if (OptDeoptimizationGrouping.getValue(options)) {
|