Mercurial > hg > truffle
annotate graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/ObjectEqualsNode.java @ 11881:da9db8331658
moved Canonicalizable and Simplifiable to the com.oracle.graal.graph project (GRAAL-506)
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Tue, 01 Oct 2013 20:38:25 +0200 |
parents | 9a747d8e0d0f |
children | 14f38a2acb73 |
rev | line source |
---|---|
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
1 /* |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
2 * Copyright (c) 2011, 2011, Oracle and/or its affiliates. All rights reserved. |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
4 * |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
5 * This code is free software; you can redistribute it and/or modify it |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
6 * under the terms of the GNU General Public License version 2 only, as |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
7 * published by the Free Software Foundation. |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
8 * |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
9 * This code is distributed in the hope that it will be useful, but WITHOUT |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
12 * version 2 for more details (a copy is included in the LICENSE file that |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
13 * accompanied this code). |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
14 * |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
15 * You should have received a copy of the GNU General Public License version |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
16 * 2 along with this work; if not, write to the Free Software Foundation, |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
18 * |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
21 * questions. |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
22 */ |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
23 package com.oracle.graal.nodes.calc; |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
24 |
5507
dc71b06d09f8
Moving classes from cri.ri to api.meta.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
5504
diff
changeset
|
25 import com.oracle.graal.api.meta.*; |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
26 import com.oracle.graal.graph.*; |
11881
da9db8331658
moved Canonicalizable and Simplifiable to the com.oracle.graal.graph project (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11880
diff
changeset
|
27 import com.oracle.graal.graph.spi.*; |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
28 import com.oracle.graal.nodes.*; |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
29 import com.oracle.graal.nodes.spi.*; |
11265 | 30 import com.oracle.graal.nodes.type.*; |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
31 |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
32 @NodeInfo(shortName = "==") |
6710
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
5831
diff
changeset
|
33 public final class ObjectEqualsNode extends CompareNode implements Virtualizable { |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
34 |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
35 /** |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
36 * Constructs a new object equality comparison node. |
7530
5e3d1a68664e
applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents:
7394
diff
changeset
|
37 * |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
38 * @param x the instruction producing the first input to the instruction |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
39 * @param y the instruction that produces the second input to this instruction |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
40 */ |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
41 public ObjectEqualsNode(ValueNode x, ValueNode y) { |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
42 super(x, y); |
5540
a891c53a295b
Renaming RiKind => Kind.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
5507
diff
changeset
|
43 assert x.kind() == Kind.Object; |
a891c53a295b
Renaming RiKind => Kind.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
5507
diff
changeset
|
44 assert y.kind() == Kind.Object; |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
45 } |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
46 |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
47 @Override |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
48 public Condition condition() { |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
49 return Condition.EQ; |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
50 } |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
51 |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
52 @Override |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
53 public boolean unorderedIsTrue() { |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
54 return false; |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
55 } |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
56 |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
57 @Override |
11880
9a747d8e0d0f
broadened types in Canonicalizable interface so that it can be moved to the com.oracle.graal.graph project (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11265
diff
changeset
|
58 public Node canonical(CanonicalizerTool tool) { |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
59 if (x() == y()) { |
7767
4a6646d8eb87
separate BooleanNode and ConstantNode hierarchy, rename BooleanNode to LogicNode and LogicNode to BitLogicNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7530
diff
changeset
|
60 return LogicConstantNode.tautology(graph()); |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
61 } |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
62 |
11265 | 63 if (ObjectStamp.isObjectAlwaysNull(x())) { |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
64 return graph().unique(new IsNullNode(y())); |
11265 | 65 } else if (ObjectStamp.isObjectAlwaysNull(y())) { |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
66 return graph().unique(new IsNullNode(x())); |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
67 } |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
68 if (x().stamp().alwaysDistinct(y().stamp())) { |
7767
4a6646d8eb87
separate BooleanNode and ConstantNode hierarchy, rename BooleanNode to LogicNode and LogicNode to BitLogicNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7530
diff
changeset
|
69 return LogicConstantNode.contradiction(graph()); |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
70 } |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
71 |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
72 return super.canonical(tool); |
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
73 } |
6710
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
5831
diff
changeset
|
74 |
9606
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
75 private void virtualizeNonVirtualComparison(State state, ValueNode other, VirtualizerTool tool) { |
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
76 if (!state.getVirtualObject().hasIdentity() && state.getVirtualObject().entryKind(0) == Kind.Boolean) { |
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
77 if (other.isConstant()) { |
10604
953a0d51a11f
ObjectEqualsNode: fix comparison of virtual boolean against constant object
Andreas Woess <andreas.woess@jku.at>
parents:
9634
diff
changeset
|
78 Object otherValue = other.asConstant().asObject(); |
953a0d51a11f
ObjectEqualsNode: fix comparison of virtual boolean against constant object
Andreas Woess <andreas.woess@jku.at>
parents:
9634
diff
changeset
|
79 if (otherValue == Boolean.TRUE || otherValue == Boolean.FALSE) { |
953a0d51a11f
ObjectEqualsNode: fix comparison of virtual boolean against constant object
Andreas Woess <andreas.woess@jku.at>
parents:
9634
diff
changeset
|
80 int expectedValue = (otherValue == Boolean.TRUE) ? 1 : 0; |
953a0d51a11f
ObjectEqualsNode: fix comparison of virtual boolean against constant object
Andreas Woess <andreas.woess@jku.at>
parents:
9634
diff
changeset
|
81 IntegerEqualsNode equals = new IntegerEqualsNode(state.getEntry(0), ConstantNode.forInt(expectedValue, graph())); |
953a0d51a11f
ObjectEqualsNode: fix comparison of virtual boolean against constant object
Andreas Woess <andreas.woess@jku.at>
parents:
9634
diff
changeset
|
82 tool.addNode(equals); |
953a0d51a11f
ObjectEqualsNode: fix comparison of virtual boolean against constant object
Andreas Woess <andreas.woess@jku.at>
parents:
9634
diff
changeset
|
83 tool.replaceWithValue(equals); |
953a0d51a11f
ObjectEqualsNode: fix comparison of virtual boolean against constant object
Andreas Woess <andreas.woess@jku.at>
parents:
9634
diff
changeset
|
84 } else { |
953a0d51a11f
ObjectEqualsNode: fix comparison of virtual boolean against constant object
Andreas Woess <andreas.woess@jku.at>
parents:
9634
diff
changeset
|
85 tool.replaceWithValue(LogicConstantNode.contradiction(graph())); |
953a0d51a11f
ObjectEqualsNode: fix comparison of virtual boolean against constant object
Andreas Woess <andreas.woess@jku.at>
parents:
9634
diff
changeset
|
86 } |
9606
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
87 } |
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
88 } else { |
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
89 // one of them is virtual: they can never be the same objects |
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
90 tool.replaceWithValue(LogicConstantNode.contradiction(graph())); |
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
91 } |
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
92 } |
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
93 |
6710
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
5831
diff
changeset
|
94 @Override |
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
5831
diff
changeset
|
95 public void virtualize(VirtualizerTool tool) { |
7394
94f032472c28
changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents:
6710
diff
changeset
|
96 State stateX = tool.getObjectState(x()); |
94f032472c28
changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents:
6710
diff
changeset
|
97 State stateY = tool.getObjectState(y()); |
94f032472c28
changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents:
6710
diff
changeset
|
98 boolean xVirtual = stateX != null && stateX.getState() == EscapeState.Virtual; |
94f032472c28
changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents:
6710
diff
changeset
|
99 boolean yVirtual = stateY != null && stateY.getState() == EscapeState.Virtual; |
6710
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
5831
diff
changeset
|
100 |
9586
c064c48b9387
fix virtualization of ObjectEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
8981
diff
changeset
|
101 if (xVirtual && !yVirtual) { |
9606
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
102 virtualizeNonVirtualComparison(stateX, stateY != null ? stateY.getMaterializedValue() : y(), tool); |
9586
c064c48b9387
fix virtualization of ObjectEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
8981
diff
changeset
|
103 } else if (!xVirtual && yVirtual) { |
9606
0f7bd899a1a8
make ObjectEqualsNode virtualization less conservative
Lukas Stadler <lukas.stadler@jku.at>
parents:
9586
diff
changeset
|
104 virtualizeNonVirtualComparison(stateY, stateX != null ? stateX.getMaterializedValue() : x(), tool); |
6710
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
5831
diff
changeset
|
105 } else if (xVirtual && yVirtual) { |
8925
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
106 boolean xIdentity = stateX.getVirtualObject().hasIdentity(); |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
107 boolean yIdentity = stateY.getVirtualObject().hasIdentity(); |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
108 if (xIdentity ^ yIdentity) { |
8981
09cdf7224794
PEA: cleanup and documentation for recent changes
Lukas Stadler <lukas.stadler@jku.at>
parents:
8925
diff
changeset
|
109 /* |
09cdf7224794
PEA: cleanup and documentation for recent changes
Lukas Stadler <lukas.stadler@jku.at>
parents:
8925
diff
changeset
|
110 * One of the two objects has identity, the other doesn't. In code, this looks like |
09cdf7224794
PEA: cleanup and documentation for recent changes
Lukas Stadler <lukas.stadler@jku.at>
parents:
8925
diff
changeset
|
111 * "Integer.valueOf(a) == new Integer(b)", which is always false. |
09cdf7224794
PEA: cleanup and documentation for recent changes
Lukas Stadler <lukas.stadler@jku.at>
parents:
8925
diff
changeset
|
112 * |
09cdf7224794
PEA: cleanup and documentation for recent changes
Lukas Stadler <lukas.stadler@jku.at>
parents:
8925
diff
changeset
|
113 * In other words: an object created via valueOf can never be equal to one created |
09cdf7224794
PEA: cleanup and documentation for recent changes
Lukas Stadler <lukas.stadler@jku.at>
parents:
8925
diff
changeset
|
114 * by new in the same compilation unit. |
09cdf7224794
PEA: cleanup and documentation for recent changes
Lukas Stadler <lukas.stadler@jku.at>
parents:
8925
diff
changeset
|
115 */ |
8925
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
116 tool.replaceWithValue(LogicConstantNode.contradiction(graph())); |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
117 } else if (!xIdentity && !yIdentity) { |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
118 // both are virtual without identity: check contents |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
119 assert stateX.getVirtualObject().entryCount() == 1 && stateY.getVirtualObject().entryCount() == 1; |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
120 assert stateX.getVirtualObject().type() == stateY.getVirtualObject().type(); |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
121 assert stateX.getVirtualObject().entryKind(0) == Kind.Int || stateX.getVirtualObject().entryKind(0) == Kind.Long; |
9634
f3dfca9fd0b3
PEA: replace customAction with addNode (GRAAL-260)
Lukas Stadler <lukas.stadler@jku.at>
parents:
9606
diff
changeset
|
122 IntegerEqualsNode equals = new IntegerEqualsNode(stateX.getEntry(0), stateY.getEntry(0)); |
f3dfca9fd0b3
PEA: replace customAction with addNode (GRAAL-260)
Lukas Stadler <lukas.stadler@jku.at>
parents:
9606
diff
changeset
|
123 tool.addNode(equals); |
8925
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
124 tool.replaceWithValue(equals); |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
125 } else { |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
126 // both are virtual with identity: check if they refer to the same object |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
127 tool.replaceWithValue(LogicConstantNode.forBoolean(stateX == stateY, graph())); |
1b2635aa6a1d
PEA: handle identity-less objects in IntegerEqualsNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
7767
diff
changeset
|
128 } |
6710
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
5831
diff
changeset
|
129 } |
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
5831
diff
changeset
|
130 } |
5425
0364a2a874b8
changes towards a canonical representation of comparisons:
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
131 } |