Mercurial > hg > graal-compiler
view graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/nodes/BasicArrayCopyNode.java @ 23353:938f13c2c997
use isJavaLangObject() in BasicArrayCopyNode
author | Lukas Stadler <lukas.stadler@oracle.com> |
---|---|
date | Tue, 26 Jan 2016 12:01:34 +0100 |
parents | 2e195fa3808c |
children |
line wrap: on
line source
/* * Copyright (c) 2013, 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.replacements.nodes; import static jdk.vm.ci.meta.LocationIdentity.any; import jdk.vm.ci.meta.JavaKind; import jdk.vm.ci.meta.LocationIdentity; import jdk.vm.ci.meta.ResolvedJavaType; import com.oracle.graal.compiler.common.type.StampFactory; import com.oracle.graal.debug.Debug; import com.oracle.graal.graph.NodeClass; import com.oracle.graal.nodeinfo.InputType; import com.oracle.graal.nodeinfo.NodeInfo; import com.oracle.graal.nodes.ConstantNode; import com.oracle.graal.nodes.DeoptimizingNode; import com.oracle.graal.nodes.FrameState; import com.oracle.graal.nodes.NamedLocationIdentity; import com.oracle.graal.nodes.ValueNode; import com.oracle.graal.nodes.java.LoadIndexedNode; import com.oracle.graal.nodes.memory.AbstractMemoryCheckpoint; import com.oracle.graal.nodes.memory.MemoryAccess; import com.oracle.graal.nodes.memory.MemoryCheckpoint; import com.oracle.graal.nodes.memory.MemoryNode; import com.oracle.graal.nodes.spi.Lowerable; import com.oracle.graal.nodes.spi.LoweringTool; import com.oracle.graal.nodes.spi.Virtualizable; import com.oracle.graal.nodes.spi.VirtualizerTool; import com.oracle.graal.nodes.type.StampTool; import com.oracle.graal.nodes.virtual.VirtualArrayNode; import com.oracle.graal.nodes.virtual.VirtualObjectNode; @NodeInfo public class BasicArrayCopyNode extends AbstractMemoryCheckpoint implements Virtualizable, MemoryCheckpoint.Single, MemoryAccess, Lowerable, DeoptimizingNode.DeoptDuring { public static final NodeClass<BasicArrayCopyNode> TYPE = NodeClass.create(BasicArrayCopyNode.class); @Input protected ValueNode src; @Input protected ValueNode srcPos; @Input protected ValueNode dest; @Input protected ValueNode destPos; @Input protected ValueNode length; @OptionalInput(InputType.State) FrameState stateDuring; @OptionalInput(InputType.Memory) protected MemoryNode lastLocationAccess; protected JavaKind elementKind; protected int bci; public BasicArrayCopyNode(NodeClass<? extends AbstractMemoryCheckpoint> type, ValueNode src, ValueNode srcPos, ValueNode dest, ValueNode destPos, ValueNode length, JavaKind elementKind, int bci) { super(type, StampFactory.forKind(JavaKind.Void)); this.bci = bci; this.src = src; this.srcPos = srcPos; this.dest = dest; this.destPos = destPos; this.length = length; this.elementKind = elementKind != JavaKind.Illegal ? elementKind : null; } public BasicArrayCopyNode(NodeClass<? extends AbstractMemoryCheckpoint> type, ValueNode src, ValueNode srcPos, ValueNode dest, ValueNode destPos, ValueNode length, JavaKind elementKind) { super(type, StampFactory.forKind(JavaKind.Void)); this.bci = -6; this.src = src; this.srcPos = srcPos; this.dest = dest; this.destPos = destPos; this.length = length; this.elementKind = elementKind != JavaKind.Illegal ? elementKind : null; } public ValueNode getSource() { return src; } public ValueNode getSourcePosition() { return srcPos; } public ValueNode getDestination() { return dest; } public ValueNode getDestinationPosition() { return destPos; } public ValueNode getLength() { return length; } public int getBci() { return bci; } public JavaKind getElementKind() { return elementKind; } @Override public LocationIdentity getLocationIdentity() { if (elementKind != null) { return NamedLocationIdentity.getArrayLocation(elementKind); } return any(); } public MemoryNode getLastLocationAccess() { return lastLocationAccess; } public void setLastLocationAccess(MemoryNode lla) { updateUsagesInterface(lastLocationAccess, lla); lastLocationAccess = lla; } @Override public void lower(LoweringTool tool) { tool.getLowerer().lower(this, tool); } private static boolean checkBounds(int position, int length, VirtualObjectNode virtualObject) { return position >= 0 && position + length <= virtualObject.entryCount(); } private static boolean checkEntryTypes(int srcPos, int length, VirtualObjectNode src, ResolvedJavaType destComponentType, VirtualizerTool tool) { if (destComponentType.getJavaKind() == JavaKind.Object && !destComponentType.isJavaLangObject()) { for (int i = 0; i < length; i++) { ValueNode entry = tool.getEntry(src, srcPos + i); ResolvedJavaType type = StampTool.typeOrNull(entry); if (type == null || !destComponentType.isAssignableFrom(type)) { return false; } } } return true; } /* * Returns true if this copy doesn't require store checks. Trivially true for primitive arrays. */ public boolean isExact() { ResolvedJavaType srcType = StampTool.typeOrNull(getSource().stamp()); ResolvedJavaType destType = StampTool.typeOrNull(getDestination().stamp()); if (srcType == null || !srcType.isArray() || destType == null || !destType.isArray()) { return false; } if ((srcType.getComponentType().getJavaKind().isPrimitive() && destType.getComponentType().equals(srcType.getComponentType())) || getSource() == getDestination()) { return true; } if (StampTool.isExactType(getDestination().stamp())) { if (destType != null && destType.isAssignableFrom(srcType)) { return true; } } return false; } @Override public void virtualize(VirtualizerTool tool) { ValueNode sourcePosition = tool.getAlias(getSourcePosition()); ValueNode destinationPosition = tool.getAlias(getDestinationPosition()); ValueNode replacedLength = tool.getAlias(getLength()); if (sourcePosition.isConstant() && destinationPosition.isConstant() && replacedLength.isConstant()) { int srcPosInt = sourcePosition.asJavaConstant().asInt(); int destPosInt = destinationPosition.asJavaConstant().asInt(); int len = replacedLength.asJavaConstant().asInt(); ValueNode destAlias = tool.getAlias(getDestination()); if (destAlias instanceof VirtualArrayNode) { VirtualArrayNode destVirtual = (VirtualArrayNode) destAlias; if (len < 0 || !checkBounds(destPosInt, len, destVirtual)) { return; } ValueNode srcAlias = tool.getAlias(getSource()); if (srcAlias instanceof VirtualObjectNode) { if (!(srcAlias instanceof VirtualArrayNode)) { return; } VirtualArrayNode srcVirtual = (VirtualArrayNode) srcAlias; if (destVirtual.componentType().getJavaKind() != JavaKind.Object) { return; } if (srcVirtual.componentType().getJavaKind() != JavaKind.Object) { return; } if (!checkBounds(srcPosInt, len, srcVirtual)) { return; } if (!checkEntryTypes(srcPosInt, len, srcVirtual, destVirtual.type().getComponentType(), tool)) { return; } for (int i = 0; i < len; i++) { tool.setVirtualEntry(destVirtual, destPosInt + i, tool.getEntry(srcVirtual, srcPosInt + i), false); } tool.delete(); if (Debug.isLogEnabled()) { Debug.log("virtualized arraycopyf(%s, %d, %s, %d, %d)", getSource(), srcPosInt, getDestination(), destPosInt, len); } } else { ResolvedJavaType sourceType = StampTool.typeOrNull(srcAlias); if (sourceType == null || !sourceType.isArray()) { return; } ResolvedJavaType sourceComponentType = sourceType.getComponentType(); ResolvedJavaType destComponentType = destVirtual.type().getComponentType(); if (!sourceComponentType.equals(destComponentType)) { return; } for (int i = 0; i < len; i++) { LoadIndexedNode load = new LoadIndexedNode(srcAlias, ConstantNode.forInt(i + srcPosInt, graph()), destComponentType.getJavaKind()); tool.addNode(load); tool.setVirtualEntry(destVirtual, destPosInt + i, load, false); } tool.delete(); } } } } public boolean canDeoptimize() { return true; } public FrameState stateDuring() { return stateDuring; } public void setStateDuring(FrameState stateDuring) { updateUsages(this.stateDuring, stateDuring); this.stateDuring = stateDuring; } public void computeStateDuring(FrameState currentStateAfter) { FrameState newStateDuring = currentStateAfter.duplicateModifiedDuringCall(getBci(), asNode().getStackKind()); setStateDuring(newStateDuring); } }