43972
|
1 |
/*
|
46344
|
2 |
* Copyright (c) 2011, 2017, Oracle and/or its affiliates. All rights reserved.
|
43972
|
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 |
package org.graalvm.compiler.nodes.memory;
|
|
24 |
|
|
25 |
import static org.graalvm.compiler.nodeinfo.NodeCycles.CYCLES_2;
|
|
26 |
import static org.graalvm.compiler.nodeinfo.NodeSize.SIZE_1;
|
|
27 |
import static org.graalvm.compiler.nodes.NamedLocationIdentity.ARRAY_LENGTH_LOCATION;
|
|
28 |
|
|
29 |
import org.graalvm.compiler.core.common.LIRKind;
|
|
30 |
import org.graalvm.compiler.core.common.type.Stamp;
|
|
31 |
import org.graalvm.compiler.debug.DebugCloseable;
|
|
32 |
import org.graalvm.compiler.debug.GraalError;
|
|
33 |
import org.graalvm.compiler.graph.Node;
|
|
34 |
import org.graalvm.compiler.graph.NodeClass;
|
|
35 |
import org.graalvm.compiler.graph.spi.Canonicalizable;
|
|
36 |
import org.graalvm.compiler.graph.spi.CanonicalizerTool;
|
|
37 |
import org.graalvm.compiler.nodeinfo.InputType;
|
|
38 |
import org.graalvm.compiler.nodeinfo.NodeInfo;
|
|
39 |
import org.graalvm.compiler.nodes.CanonicalizableLocation;
|
|
40 |
import org.graalvm.compiler.nodes.ConstantNode;
|
|
41 |
import org.graalvm.compiler.nodes.FrameState;
|
48190
|
42 |
import org.graalvm.compiler.nodes.NodeView;
|
43972
|
43 |
import org.graalvm.compiler.nodes.ValueNode;
|
|
44 |
import org.graalvm.compiler.nodes.extended.GuardingNode;
|
|
45 |
import org.graalvm.compiler.nodes.memory.address.AddressNode;
|
|
46 |
import org.graalvm.compiler.nodes.memory.address.OffsetAddressNode;
|
50330
|
47 |
import org.graalvm.compiler.nodes.spi.ArrayLengthProvider;
|
43972
|
48 |
import org.graalvm.compiler.nodes.spi.NodeLIRBuilderTool;
|
|
49 |
import org.graalvm.compiler.nodes.spi.Virtualizable;
|
|
50 |
import org.graalvm.compiler.nodes.spi.VirtualizerTool;
|
|
51 |
import org.graalvm.compiler.nodes.util.GraphUtil;
|
49873
|
52 |
import jdk.internal.vm.compiler.word.LocationIdentity;
|
43972
|
53 |
|
|
54 |
import jdk.vm.ci.meta.Constant;
|
|
55 |
import jdk.vm.ci.meta.MetaAccessProvider;
|
|
56 |
|
|
57 |
/**
|
|
58 |
* Reads an {@linkplain FixedAccessNode accessed} value.
|
|
59 |
*/
|
|
60 |
@NodeInfo(nameTemplate = "Read#{p#location/s}", cycles = CYCLES_2, size = SIZE_1)
|
46344
|
61 |
public class ReadNode extends FloatableAccessNode implements LIRLowerableAccess, Canonicalizable, Virtualizable, GuardingNode {
|
43972
|
62 |
|
|
63 |
public static final NodeClass<ReadNode> TYPE = NodeClass.create(ReadNode.class);
|
|
64 |
|
|
65 |
public ReadNode(AddressNode address, LocationIdentity location, Stamp stamp, BarrierType barrierType) {
|
46344
|
66 |
this(TYPE, address, location, stamp, null, barrierType, false, null);
|
43972
|
67 |
}
|
|
68 |
|
|
69 |
protected ReadNode(NodeClass<? extends ReadNode> c, AddressNode address, LocationIdentity location, Stamp stamp, GuardingNode guard, BarrierType barrierType, boolean nullCheck,
|
|
70 |
FrameState stateBefore) {
|
|
71 |
super(c, address, location, stamp, guard, barrierType, nullCheck, stateBefore);
|
|
72 |
}
|
|
73 |
|
|
74 |
@Override
|
|
75 |
public void generate(NodeLIRBuilderTool gen) {
|
46344
|
76 |
LIRKind readKind = gen.getLIRGeneratorTool().getLIRKind(getAccessStamp());
|
43972
|
77 |
gen.setResult(this, gen.getLIRGeneratorTool().getArithmetic().emitLoad(readKind, gen.operand(address), gen.state(this)));
|
|
78 |
}
|
|
79 |
|
|
80 |
@Override
|
|
81 |
public Node canonical(CanonicalizerTool tool) {
|
|
82 |
if (tool.allUsagesAvailable() && hasNoUsages()) {
|
46344
|
83 |
// Read without usages or guard can be safely removed.
|
|
84 |
return null;
|
43972
|
85 |
}
|
|
86 |
if (!getNullCheck()) {
|
|
87 |
return canonicalizeRead(this, getAddress(), getLocationIdentity(), tool);
|
|
88 |
} else {
|
|
89 |
// if this read is a null check, then replacing it with the value is incorrect for
|
|
90 |
// guard-type usages
|
|
91 |
return this;
|
|
92 |
}
|
|
93 |
}
|
|
94 |
|
|
95 |
@SuppressWarnings("try")
|
|
96 |
@Override
|
|
97 |
public FloatingAccessNode asFloatingNode(MemoryNode lastLocationAccess) {
|
|
98 |
try (DebugCloseable position = withNodeSourcePosition()) {
|
48190
|
99 |
return graph().unique(new FloatingReadNode(getAddress(), getLocationIdentity(), lastLocationAccess, stamp(NodeView.DEFAULT), getGuard(), getBarrierType()));
|
43972
|
100 |
}
|
|
101 |
}
|
|
102 |
|
|
103 |
@Override
|
|
104 |
public boolean isAllowedUsageType(InputType type) {
|
|
105 |
return (getNullCheck() && type == InputType.Guard) ? true : super.isAllowedUsageType(type);
|
|
106 |
}
|
|
107 |
|
|
108 |
public static ValueNode canonicalizeRead(ValueNode read, AddressNode address, LocationIdentity locationIdentity, CanonicalizerTool tool) {
|
48190
|
109 |
NodeView view = NodeView.from(tool);
|
43972
|
110 |
MetaAccessProvider metaAccess = tool.getMetaAccess();
|
|
111 |
if (tool.canonicalizeReads() && address instanceof OffsetAddressNode) {
|
|
112 |
OffsetAddressNode objAddress = (OffsetAddressNode) address;
|
|
113 |
ValueNode object = objAddress.getBase();
|
|
114 |
if (metaAccess != null && object.isConstant() && !object.isNullConstant() && objAddress.getOffset().isConstant()) {
|
|
115 |
long displacement = objAddress.getOffset().asJavaConstant().asLong();
|
|
116 |
int stableDimension = ((ConstantNode) object).getStableDimension();
|
|
117 |
if (locationIdentity.isImmutable() || stableDimension > 0) {
|
48190
|
118 |
Constant constant = read.stamp(view).readConstant(tool.getConstantReflection().getMemoryAccessProvider(), object.asConstant(), displacement);
|
43972
|
119 |
boolean isDefaultStable = locationIdentity.isImmutable() || ((ConstantNode) object).isDefaultStable();
|
|
120 |
if (constant != null && (isDefaultStable || !constant.isDefaultForKind())) {
|
48190
|
121 |
return ConstantNode.forConstant(read.stamp(view), constant, Math.max(stableDimension - 1, 0), isDefaultStable, metaAccess);
|
43972
|
122 |
}
|
|
123 |
}
|
|
124 |
}
|
|
125 |
if (locationIdentity.equals(ARRAY_LENGTH_LOCATION)) {
|
50330
|
126 |
ValueNode length = GraphUtil.arrayLength(object, ArrayLengthProvider.FindLengthMode.CANONICALIZE_READ);
|
43972
|
127 |
if (length != null) {
|
|
128 |
return length;
|
|
129 |
}
|
|
130 |
}
|
|
131 |
if (locationIdentity instanceof CanonicalizableLocation) {
|
|
132 |
CanonicalizableLocation canonicalize = (CanonicalizableLocation) locationIdentity;
|
|
133 |
ValueNode result = canonicalize.canonicalizeRead(read, address, object, tool);
|
48190
|
134 |
assert result != null && result.stamp(view).isCompatible(read.stamp(view));
|
43972
|
135 |
return result;
|
|
136 |
}
|
|
137 |
|
|
138 |
}
|
|
139 |
return read;
|
|
140 |
}
|
|
141 |
|
|
142 |
@Override
|
|
143 |
public void virtualize(VirtualizerTool tool) {
|
|
144 |
throw GraalError.shouldNotReachHere("unexpected ReadNode before PEA");
|
|
145 |
}
|
|
146 |
|
|
147 |
@Override
|
|
148 |
public boolean canNullCheck() {
|
|
149 |
return true;
|
|
150 |
}
|
46344
|
151 |
|
|
152 |
@Override
|
|
153 |
public Stamp getAccessStamp() {
|
48190
|
154 |
return stamp(NodeView.DEFAULT);
|
46344
|
155 |
}
|
43972
|
156 |
}
|