1/*
2 * Copyright (c) 2013, 2016, 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 */
23package org.graalvm.compiler.core.phases;
24
25import static org.graalvm.compiler.core.common.GraalOptions.ConditionalElimination;
26import static org.graalvm.compiler.core.common.GraalOptions.ImmutableCode;
27import static org.graalvm.compiler.core.common.GraalOptions.OptDeoptimizationGrouping;
28import static org.graalvm.compiler.core.common.GraalOptions.OptFloatingReads;
29import static org.graalvm.compiler.core.common.GraalOptions.OptLoopTransform;
30import static org.graalvm.compiler.core.common.GraalOptions.PartialUnroll;
31import static org.graalvm.compiler.core.common.GraalOptions.ReassociateInvariants;
32import static org.graalvm.compiler.core.common.GraalOptions.VerifyHeapAtReturn;
33
34import org.graalvm.compiler.loop.DefaultLoopPolicies;
35import org.graalvm.compiler.loop.LoopPolicies;
36import org.graalvm.compiler.loop.phases.LoopPartialUnrollPhase;
37import org.graalvm.compiler.loop.phases.LoopSafepointEliminationPhase;
38import org.graalvm.compiler.loop.phases.ReassociateInvariantPhase;
39import org.graalvm.compiler.nodes.spi.LoweringTool;
40import org.graalvm.compiler.options.OptionValues;
41import org.graalvm.compiler.phases.PhaseSuite;
42import org.graalvm.compiler.phases.common.CanonicalizerPhase;
43import org.graalvm.compiler.phases.common.DeoptimizationGroupingPhase;
44import org.graalvm.compiler.phases.common.FloatingReadPhase;
45import org.graalvm.compiler.phases.common.FrameStateAssignmentPhase;
46import org.graalvm.compiler.phases.common.GuardLoweringPhase;
47import org.graalvm.compiler.phases.common.IncrementalCanonicalizerPhase;
48import org.graalvm.compiler.phases.common.IterativeConditionalEliminationPhase;
49import org.graalvm.compiler.phases.common.LockEliminationPhase;
50import org.graalvm.compiler.phases.common.LoopSafepointInsertionPhase;
51import org.graalvm.compiler.phases.common.LoweringPhase;
52import org.graalvm.compiler.phases.common.VerifyHeapAtReturnPhase;
53import org.graalvm.compiler.phases.tiers.MidTierContext;
54
55public class MidTier extends PhaseSuite<MidTierContext> {
56
57    public MidTier(OptionValues options) {
58        CanonicalizerPhase canonicalizer = new CanonicalizerPhase();
59        if (ImmutableCode.getValue(options)) {
60            canonicalizer.disableReadCanonicalization();
61        }
62
63        appendPhase(new LockEliminationPhase());
64
65        if (OptFloatingReads.getValue(options)) {
66            appendPhase(new IncrementalCanonicalizerPhase<>(canonicalizer, new FloatingReadPhase()));
67        }
68
69        if (ConditionalElimination.getValue(options)) {
70            appendPhase(new IterativeConditionalEliminationPhase(canonicalizer, true));
71        }
72
73        appendPhase(new LoopSafepointEliminationPhase());
74
75        appendPhase(new LoopSafepointInsertionPhase());
76
77        appendPhase(new GuardLoweringPhase());
78
79        if (VerifyHeapAtReturn.getValue(options)) {
80            appendPhase(new VerifyHeapAtReturnPhase());
81        }
82
83        appendPhase(new LoweringPhase(canonicalizer, LoweringTool.StandardLoweringStage.MID_TIER));
84
85        appendPhase(new FrameStateAssignmentPhase());
86
87        LoopPolicies loopPolicies = createLoopPolicies();
88        if (OptLoopTransform.getValue(options)) {
89            if (PartialUnroll.getValue(options)) {
90                appendPhase(new LoopPartialUnrollPhase(loopPolicies, canonicalizer));
91            }
92        }
93        if (ReassociateInvariants.getValue(options)) {
94            appendPhase(new ReassociateInvariantPhase());
95        }
96
97        if (OptDeoptimizationGrouping.getValue(options)) {
98            appendPhase(new DeoptimizationGroupingPhase());
99        }
100
101        appendPhase(canonicalizer);
102    }
103
104    public LoopPolicies createLoopPolicies() {
105        return new DefaultLoopPolicies();
106    }
107}
108