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
62 public RawStoreNode(ValueNode object, ValueNode offset, ValueNode value, JavaKind accessKind, LocationIdentity locationIdentity) {
63 this(object, offset, value, accessKind, locationIdentity, true);
64 }
65
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
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
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
84 public static native Object storeChar(Object object, long offset, char value, @ConstantNodeParameter JavaKind kind, @ConstantNodeParameter LocationIdentity locationIdentity);
85
86 @NodeIntrinsic
87 public static native Object storeByte(Object object, long offset, byte value, @ConstantNodeParameter JavaKind kind, @ConstantNodeParameter LocationIdentity locationIdentity);
88
89 public boolean needsBarrier() {
90 return needsBarrier;
91 }
92
93 @Override
94 public FrameState stateAfter() {
95 return stateAfter;
96 }
97
98 @Override
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
106 public boolean hasSideEffect() {
107 return true;
108 }
109
110 public ValueNode value() {
111 return value;
112 }
113
114 @Override
115 public void lower(LoweringTool tool) {
116 tool.getLowerer().lower(this, tool);
117 }
118
119 @Override
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
136 protected ValueNode cloneAsFieldAccess(Assumptions assumptions, ResolvedJavaField field, boolean volatileAccess) {
137 return new StoreFieldNode(object(), field, value(), stateAfter(), volatileAccess);
138 }
139
140 @Override
141 protected ValueNode cloneAsArrayAccess(ValueNode location, LocationIdentity identity) {
142 return new RawStoreNode(object(), location, value, accessKind(), identity, needsBarrier, stateAfter(), isAnyLocationForced());
143 }
144
145 public FrameState getState() {
146 return stateAfter;
147 }
148 }