1 /* 2 * Copyright (c) 2011, 2017, 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 */ 23 24 25 package org.graalvm.compiler.nodes.extended; 26 27 import static org.graalvm.compiler.nodeinfo.InputType.State; 28 import static org.graalvm.compiler.nodeinfo.NodeCycles.CYCLES_2; 29 import static org.graalvm.compiler.nodeinfo.NodeSize.SIZE_1; 30 31 import org.graalvm.compiler.core.common.type.StampFactory; 32 import org.graalvm.compiler.graph.NodeClass; 33 import org.graalvm.compiler.nodeinfo.NodeInfo; 34 import org.graalvm.compiler.nodes.FrameState; 35 import org.graalvm.compiler.nodes.StateSplit; 36 import org.graalvm.compiler.nodes.ValueNode; 37 import org.graalvm.compiler.nodes.java.StoreFieldNode; 38 import org.graalvm.compiler.nodes.memory.MemoryCheckpoint; 39 import org.graalvm.compiler.nodes.spi.Lowerable; 40 import org.graalvm.compiler.nodes.spi.LoweringTool; 41 import org.graalvm.compiler.nodes.spi.Virtualizable; 42 import org.graalvm.compiler.nodes.spi.VirtualizerTool; 43 import org.graalvm.compiler.nodes.virtual.VirtualObjectNode; 44 import jdk.internal.vm.compiler.word.LocationIdentity; 45 46 import jdk.vm.ci.meta.Assumptions; 47 import jdk.vm.ci.meta.JavaKind; 48 import jdk.vm.ci.meta.ResolvedJavaField; 49 50 /** 51 * Store of a value at a location specified as an offset relative to an object. No null check is 52 * performed before the store. 53 */ 54 @NodeInfo(cycles = CYCLES_2, size = SIZE_1) 55 public final class RawStoreNode extends UnsafeAccessNode implements StateSplit, Lowerable, Virtualizable, MemoryCheckpoint.Single { 56 57 public static final NodeClass<RawStoreNode> TYPE = NodeClass.create(RawStoreNode.class); 58 @Input ValueNode value; 59 @OptionalInput(State) FrameState stateAfter; 60 private final boolean needsBarrier; 61 RawStoreNode(ValueNode object, ValueNode offset, ValueNode value, JavaKind accessKind, LocationIdentity locationIdentity)62 public RawStoreNode(ValueNode object, ValueNode offset, ValueNode value, JavaKind accessKind, LocationIdentity locationIdentity) { 63 this(object, offset, value, accessKind, locationIdentity, true); 64 } 65 RawStoreNode(ValueNode object, ValueNode offset, ValueNode value, JavaKind accessKind, LocationIdentity locationIdentity, boolean needsBarrier)66 public RawStoreNode(ValueNode object, ValueNode offset, ValueNode value, JavaKind accessKind, LocationIdentity locationIdentity, boolean needsBarrier) { 67 this(object, offset, value, accessKind, locationIdentity, needsBarrier, null, false); 68 } 69 RawStoreNode(ValueNode object, ValueNode offset, ValueNode value, JavaKind accessKind, LocationIdentity locationIdentity, boolean needsBarrier, FrameState stateAfter, boolean forceAnyLocation)70 public RawStoreNode(ValueNode object, ValueNode offset, ValueNode value, JavaKind accessKind, LocationIdentity locationIdentity, boolean needsBarrier, FrameState stateAfter, 71 boolean forceAnyLocation) { 72 super(TYPE, StampFactory.forVoid(), object, offset, accessKind, locationIdentity, forceAnyLocation); 73 this.value = value; 74 this.needsBarrier = needsBarrier; 75 this.stateAfter = stateAfter; 76 assert accessKind != JavaKind.Void && accessKind != JavaKind.Illegal; 77 } 78 79 @NodeIntrinsic storeObject(Object object, long offset, Object value, @ConstantNodeParameter JavaKind kind, @ConstantNodeParameter LocationIdentity locationIdentity, @ConstantNodeParameter boolean needsBarrier)80 public static native Object storeObject(Object object, long offset, Object value, @ConstantNodeParameter JavaKind kind, @ConstantNodeParameter LocationIdentity locationIdentity, 81 @ConstantNodeParameter boolean needsBarrier); 82 83 @NodeIntrinsic storeChar(Object object, long offset, char value, @ConstantNodeParameter JavaKind kind, @ConstantNodeParameter LocationIdentity locationIdentity)84 public static native Object storeChar(Object object, long offset, char value, @ConstantNodeParameter JavaKind kind, @ConstantNodeParameter LocationIdentity locationIdentity); 85 needsBarrier()86 public boolean needsBarrier() { 87 return needsBarrier; 88 } 89 90 @Override stateAfter()91 public FrameState stateAfter() { 92 return stateAfter; 93 } 94 95 @Override setStateAfter(FrameState x)96 public void setStateAfter(FrameState x) { 97 assert x == null || x.isAlive() : "frame state must be in a graph"; 98 updateUsages(stateAfter, x); 99 stateAfter = x; 100 } 101 102 @Override hasSideEffect()103 public boolean hasSideEffect() { 104 return true; 105 } 106 value()107 public ValueNode value() { 108 return value; 109 } 110 111 @Override lower(LoweringTool tool)112 public void lower(LoweringTool tool) { 113 tool.getLowerer().lower(this, tool); 114 } 115 116 @Override virtualize(VirtualizerTool tool)117 public void virtualize(VirtualizerTool tool) { 118 ValueNode alias = tool.getAlias(object()); 119 if (alias instanceof VirtualObjectNode) { 120 VirtualObjectNode virtual = (VirtualObjectNode) alias; 121 ValueNode indexValue = tool.getAlias(offset()); 122 if (indexValue.isConstant()) { 123 long off = indexValue.asJavaConstant().asLong(); 124 int entryIndex = virtual.entryIndexForOffset(tool.getArrayOffsetProvider(), off, accessKind()); 125 if (entryIndex != -1 && tool.setVirtualEntry(virtual, entryIndex, value(), accessKind(), off)) { 126 tool.delete(); 127 } 128 } 129 } 130 } 131 132 @Override cloneAsFieldAccess(Assumptions assumptions, ResolvedJavaField field, boolean volatileAccess)133 protected ValueNode cloneAsFieldAccess(Assumptions assumptions, ResolvedJavaField field, boolean volatileAccess) { 134 return new StoreFieldNode(object(), field, value(), stateAfter(), volatileAccess); 135 } 136 137 @Override cloneAsArrayAccess(ValueNode location, LocationIdentity identity)138 protected ValueNode cloneAsArrayAccess(ValueNode location, LocationIdentity identity) { 139 return new RawStoreNode(object(), location, value, accessKind(), identity, needsBarrier, stateAfter(), isAnyLocationForced()); 140 } 141 getState()142 public FrameState getState() { 143 return stateAfter; 144 } 145 } 146