1 /* 2 * Copyright (c) 2011, 2018, 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 86 @NodeIntrinsic storeByte(Object object, long offset, byte value, @ConstantNodeParameter JavaKind kind, @ConstantNodeParameter LocationIdentity locationIdentity)87 public static native Object storeByte(Object object, long offset, byte value, @ConstantNodeParameter JavaKind kind, @ConstantNodeParameter LocationIdentity locationIdentity); 88 needsBarrier()89 public boolean needsBarrier() { 90 return needsBarrier; 91 } 92 93 @Override stateAfter()94 public FrameState stateAfter() { 95 return stateAfter; 96 } 97 98 @Override setStateAfter(FrameState x)99 public void setStateAfter(FrameState x) { 100 assert x == null || x.isAlive() : "frame state must be in a graph"; 101 updateUsages(stateAfter, x); 102 stateAfter = x; 103 } 104 105 @Override hasSideEffect()106 public boolean hasSideEffect() { 107 return true; 108 } 109 value()110 public ValueNode value() { 111 return value; 112 } 113 114 @Override lower(LoweringTool tool)115 public void lower(LoweringTool tool) { 116 tool.getLowerer().lower(this, tool); 117 } 118 119 @Override virtualize(VirtualizerTool tool)120 public void virtualize(VirtualizerTool tool) { 121 ValueNode alias = tool.getAlias(object()); 122 if (alias instanceof VirtualObjectNode) { 123 VirtualObjectNode virtual = (VirtualObjectNode) alias; 124 ValueNode indexValue = tool.getAlias(offset()); 125 if (indexValue.isConstant()) { 126 long off = indexValue.asJavaConstant().asLong(); 127 int entryIndex = virtual.entryIndexForOffset(tool.getMetaAccess(), off, accessKind()); 128 if (entryIndex != -1 && tool.setVirtualEntry(virtual, entryIndex, value(), accessKind(), off)) { 129 tool.delete(); 130 } 131 } 132 } 133 } 134 135 @Override cloneAsFieldAccess(Assumptions assumptions, ResolvedJavaField field, boolean volatileAccess)136 protected ValueNode cloneAsFieldAccess(Assumptions assumptions, ResolvedJavaField field, boolean volatileAccess) { 137 return new StoreFieldNode(object(), field, value(), stateAfter(), volatileAccess); 138 } 139 140 @Override cloneAsArrayAccess(ValueNode location, LocationIdentity identity)141 protected ValueNode cloneAsArrayAccess(ValueNode location, LocationIdentity identity) { 142 return new RawStoreNode(object(), location, value, accessKind(), identity, needsBarrier, stateAfter(), isAnyLocationForced()); 143 } 144 getState()145 public FrameState getState() { 146 return stateAfter; 147 } 148 } 149