Mercurial > hg > graal-compiler
view graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/BeginNode.java @ 5362:d42425beb1d1
pulled AbstractStateSplit into FixedWithNextNode and made it no longer implement StateSplit. StateSplit is now implemented only by nodes that really have side effects.
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Tue, 08 May 2012 15:52:01 +0200 |
parents | ae367987a18c |
children | 3035b6b881d9 |
line wrap: on
line source
/* * Copyright (c) 2011, 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 static com.oracle.graal.graph.iterators.NodePredicates.*; import java.util.*; import com.oracle.graal.graph.*; import com.oracle.graal.graph.iterators.*; import com.oracle.graal.nodes.spi.*; import com.oracle.graal.nodes.type.*; public class BeginNode extends FixedWithNextNode implements LIRLowerable, Simplifiable, Node.IterableNodeType { public BeginNode() { super(StampFactory.illegal()); } public static BeginNode begin(FixedNode with) { if (with instanceof BeginNode) { return (BeginNode) with; } BeginNode begin = with.graph().add(new BeginNode()); begin.setNext(with); return begin; } @Override public Map<Object, Object> getDebugProperties() { Map<Object, Object> debugProperties = super.getDebugProperties(); debugProperties.put("shortName", "B"); return debugProperties; } @Override public void simplify(SimplifierTool tool) { FixedNode prev = (FixedNode) this.predecessor(); if (prev == null) { // This is the start node. } else if (prev instanceof ControlSplitNode) { // This begin node is necessary. } else { // This begin node can be removed and all guards moved up to the preceding begin node. prepareDelete(); ((StructuredGraph) graph()).removeFixed(this); } } public static BeginNode prevBegin(FixedNode from) { Node prevBegin = from; while (prevBegin != null) { if (prevBegin instanceof BeginNode) { return (BeginNode) prevBegin; } prevBegin = prevBegin.predecessor(); } return null; } public void evacuateGuards(FixedNode evacuateFrom) { if (!usages().isEmpty()) { BeginNode prevBegin = prevBegin(evacuateFrom); assert prevBegin != null; for (Node anchored : anchored().snapshot()) { anchored.replaceFirstInput(this, prevBegin); } } } public void prepareDelete() { prepareDelete((FixedNode) predecessor()); } public void prepareDelete(FixedNode evacuateFrom) { removeProxies(); evacuateGuards(evacuateFrom); } public void removeProxies() { StructuredGraph graph = (StructuredGraph) graph(); for (ValueProxyNode vpn : proxies().snapshot()) { graph.replaceFloating(vpn, vpn.value()); } } @Override public boolean verify() { assertTrue(predecessor() != null || this == ((StructuredGraph) graph()).start() || this instanceof MergeNode, "begin nodes must be connected"); return super.verify(); } @Override public void generate(LIRGeneratorTool gen) { // nop } public NodeIterable<GuardNode> guards() { return usages().filter(GuardNode.class); } public NodeIterable<Node> anchored() { return usages().filter(isNotA(ValueProxyNode.class)); } public NodeIterable<ValueProxyNode> proxies() { return usages().filter(ValueProxyNode.class); } public NodeIterable<FixedNode> getBlockNodes() { return new NodeIterable<FixedNode>() { @Override public Iterator<FixedNode> iterator() { return new BlockNodeIterator(BeginNode.this); } }; } private class BlockNodeIterator implements Iterator<FixedNode> { private FixedNode current; public BlockNodeIterator(FixedNode next) { this.current = next; } @Override public boolean hasNext() { return current != null; } @Override public FixedNode next() { FixedNode ret = current; if (ret == null) { throw new NoSuchElementException(); } if (!(current instanceof FixedWithNextNode) || (current instanceof BeginNode && current != BeginNode.this)) { current = null; } else { current = ((FixedWithNextNode) current).next(); } return ret; } @Override public void remove() { throw new UnsupportedOperationException(); } } }