Mercurial > hg > graal-compiler
view graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/SimplifyingGraphDecoder.java @ 23357:a821d7d0ab7e graal-0.13
GraphPE: Improve stamp for phi functions during parsing
author | Christian Wimmer <christian.wimmer@oracle.com> |
---|---|
date | Wed, 27 Jan 2016 09:35:35 -0800 |
parents | a4793f630f4c |
children |
line wrap: on
line source
/* * Copyright (c) 2015, 2015, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. */ package com.oracle.graal.nodes; import java.util.List; import jdk.vm.ci.code.Architecture; import jdk.vm.ci.meta.ConstantReflectionProvider; import jdk.vm.ci.meta.MetaAccessProvider; import com.oracle.graal.compiler.common.type.Stamp; import com.oracle.graal.graph.Graph; import com.oracle.graal.graph.Node; import com.oracle.graal.graph.NodeClass; import com.oracle.graal.graph.spi.Canonicalizable; import com.oracle.graal.graph.spi.CanonicalizerTool; import com.oracle.graal.nodeinfo.NodeInfo; import com.oracle.graal.nodes.calc.FloatingNode; import com.oracle.graal.nodes.extended.GuardingNode; import com.oracle.graal.nodes.extended.IntegerSwitchNode; import com.oracle.graal.nodes.spi.StampProvider; import com.oracle.graal.nodes.util.GraphUtil; /** * Graph decoder that simplifies nodes during decoding. The standard * {@link Canonicalizable#canonical node canonicalization} interface is used to canonicalize nodes * during decoding. Additionally, {@link IfNode branches} and {@link IntegerSwitchNode switches} * with constant conditions are simplified. */ public class SimplifyingGraphDecoder extends GraphDecoder { protected final MetaAccessProvider metaAccess; protected final ConstantReflectionProvider constantReflection; protected final StampProvider stampProvider; protected final boolean canonicalizeReads; protected class PECanonicalizerTool implements CanonicalizerTool { @Override public MetaAccessProvider getMetaAccess() { return metaAccess; } @Override public ConstantReflectionProvider getConstantReflection() { return constantReflection; } @Override public boolean canonicalizeReads() { return canonicalizeReads; } @Override public boolean allUsagesAvailable() { return false; } } @NodeInfo static class CanonicalizeToNullNode extends FloatingNode implements Canonicalizable, GuardingNode { public static final NodeClass<CanonicalizeToNullNode> TYPE = NodeClass.create(CanonicalizeToNullNode.class); protected CanonicalizeToNullNode(Stamp stamp) { super(TYPE, stamp); } @Override public Node canonical(CanonicalizerTool tool) { return null; } } public SimplifyingGraphDecoder(MetaAccessProvider metaAccess, ConstantReflectionProvider constantReflection, StampProvider stampProvider, boolean canonicalizeReads, Architecture architecture) { super(architecture); this.metaAccess = metaAccess; this.constantReflection = constantReflection; this.stampProvider = stampProvider; this.canonicalizeReads = canonicalizeReads; } @Override protected void cleanupGraph(MethodScope methodScope, Graph.Mark start) { GraphUtil.normalizeLoops(methodScope.graph); super.cleanupGraph(methodScope, start); for (Node node : methodScope.graph.getNewNodes(start)) { if (node instanceof MergeNode) { MergeNode mergeNode = (MergeNode) node; if (mergeNode.forwardEndCount() == 1) { methodScope.graph.reduceTrivialMerge(mergeNode); } } } for (Node node : methodScope.graph.getNewNodes(start)) { if (node instanceof BeginNode || node instanceof KillingBeginNode) { if (!(node.predecessor() instanceof ControlSplitNode) && node.hasNoUsages()) { GraphUtil.unlinkFixedNode((AbstractBeginNode) node); node.safeDelete(); } } } for (Node node : methodScope.graph.getNewNodes(start)) { if (!(node instanceof FixedNode) && node.hasNoUsages()) { GraphUtil.killCFG(node); } } } @Override protected boolean allowLazyPhis() { /* * We do not need to exactly reproduce the encoded graph, so we want to avoid unnecessary * phi functions. */ return true; } @Override protected void handleMergeNode(MergeNode merge) { /* * All inputs of non-loop phi nodes are known by now. We can infer the stamp for the phi, so * that parsing continues with more precise type information. */ for (ValuePhiNode phi : merge.valuePhis()) { phi.inferStamp(); } } @Override protected void handleFixedNode(MethodScope methodScope, LoopScope loopScope, int nodeOrderId, FixedNode node) { if (node instanceof IfNode) { IfNode ifNode = (IfNode) node; if (ifNode.condition() instanceof LogicNegationNode) { ifNode.eliminateNegation(); } if (ifNode.condition() instanceof LogicConstantNode) { boolean condition = ((LogicConstantNode) ifNode.condition()).getValue(); AbstractBeginNode survivingSuccessor = ifNode.getSuccessor(condition); AbstractBeginNode deadSuccessor = ifNode.getSuccessor(!condition); methodScope.graph.removeSplit(ifNode, survivingSuccessor); assert deadSuccessor.next() == null : "must not be parsed yet"; deadSuccessor.safeDelete(); } } else if (node instanceof IntegerSwitchNode && ((IntegerSwitchNode) node).value().isConstant()) { IntegerSwitchNode switchNode = (IntegerSwitchNode) node; int value = switchNode.value().asJavaConstant().asInt(); AbstractBeginNode survivingSuccessor = switchNode.successorAtKey(value); List<Node> allSuccessors = switchNode.successors().snapshot(); methodScope.graph.removeSplit(switchNode, survivingSuccessor); for (Node successor : allSuccessors) { if (successor != survivingSuccessor) { assert ((AbstractBeginNode) successor).next() == null : "must not be parsed yet"; successor.safeDelete(); } } } else if (node instanceof FixedGuardNode) { FixedGuardNode guard = (FixedGuardNode) node; if (guard.getCondition() instanceof LogicConstantNode) { LogicConstantNode condition = (LogicConstantNode) guard.getCondition(); Node canonical; if (condition.getValue() == guard.isNegated()) { DeoptimizeNode deopt = new DeoptimizeNode(guard.getAction(), guard.getReason(), guard.getSpeculation()); if (guard.stateBefore() != null) { deopt.setStateBefore(guard.stateBefore()); } canonical = deopt; } else { /* * The guard is unnecessary, but we cannot remove the node completely yet * because there might be nodes that use it as a guard input. Therefore, we * replace it with a more lightweight node (which is floating and has no * inputs). */ canonical = new CanonicalizeToNullNode(node.stamp); } handleCanonicaliation(methodScope, loopScope, nodeOrderId, node, canonical); } } else if (node instanceof Canonicalizable) { Node canonical = ((Canonicalizable) node).canonical(new PECanonicalizerTool()); if (canonical != node) { handleCanonicaliation(methodScope, loopScope, nodeOrderId, node, canonical); } } } private void handleCanonicaliation(MethodScope methodScope, LoopScope loopScope, int nodeOrderId, FixedNode node, Node c) { Node canonical = c; if (canonical == null) { /* * This is a possible return value of canonicalization. However, we might need to add * additional usages later on for which we need a node. Therefore, we just do nothing * and leave the node in place. */ return; } if (!canonical.isAlive()) { assert !canonical.isDeleted(); canonical = methodScope.graph.addOrUniqueWithInputs(canonical); if (canonical instanceof FixedWithNextNode) { methodScope.graph.addBeforeFixed(node, (FixedWithNextNode) canonical); } else if (canonical instanceof ControlSinkNode) { FixedWithNextNode predecessor = (FixedWithNextNode) node.predecessor(); predecessor.setNext((ControlSinkNode) canonical); node.safeDelete(); for (Node successor : node.successors()) { successor.safeDelete(); } } else { assert !(canonical instanceof FixedNode); } } if (!node.isDeleted()) { GraphUtil.unlinkFixedNode((FixedWithNextNode) node); node.replaceAtUsagesAndDelete(canonical); } assert lookupNode(loopScope, nodeOrderId) == node; registerNode(loopScope, nodeOrderId, canonical, true, false); } @Override protected Node handleFloatingNodeBeforeAdd(MethodScope methodScope, LoopScope loopScope, Node node) { if (node instanceof Canonicalizable) { Node canonical = ((Canonicalizable) node).canonical(new PECanonicalizerTool()); if (canonical == null) { /* * This is a possible return value of canonicalization. However, we might need to * add additional usages later on for which we need a node. Therefore, we just do * nothing and leave the node in place. */ } else if (canonical != node) { if (!canonical.isAlive()) { assert !canonical.isDeleted(); canonical = methodScope.graph.addOrUniqueWithInputs(canonical); } assert node.hasNoUsages(); // methodScope.graph.replaceFloating((FloatingNode) node, canonical); return canonical; } } return node; } @Override protected Node addFloatingNode(MethodScope methodScope, Node node) { /* * In contrast to the base class implementation, we do not need to exactly reproduce the * encoded graph. Since we do canonicalization, we also want nodes to be unique. */ return methodScope.graph.addOrUnique(node); } }