Mercurial > hg > truffle

annotate graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/virtual/VirtualInstanceNode.java @ 19403:61d3cb8e1280

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add generic parameter to NodeClass. Change Graph#getNodes(Class) to Graph#getNodes(NodeClass).
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Mon, 16 Feb 2015 17:47:43 +0100
parents 9ecb47999e01
children 880717e44675
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
1 /*
19396
7e2c87dae93e Create static final NodeClass field named TYPE in Node subclasses.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18950
diff changeset
2 * Copyright (c) 2011, 2015, Oracle and/or its affiliates. All rights reserved.
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
4 *
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation.
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
8 *
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
13 * accompanied this code).
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
14 *
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
18 *
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
21 * questions.
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
22 */
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
23 package com.oracle.graal.nodes.virtual;
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
24
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
25 import com.oracle.graal.api.meta.*;
19396
7e2c87dae93e Create static final NodeClass field named TYPE in Node subclasses.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18950
diff changeset
26 import com.oracle.graal.graph.*;
16841
cbd42807a31f moved NodeInfo and friends into separate com.oracle.graal.nodeinfo project so that annotation processor can be applied to the base Node class
Doug Simon <doug.simon@oracle.com>
parents: 16478
diff changeset
27 import com.oracle.graal.nodeinfo.*;
8914
7828409c364c pull materialization logic into VirtualObjectNode classes
Lukas Stadler <lukas.stadler@jku.at>
parents: 8398
diff changeset
28 import com.oracle.graal.nodes.*;
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
29
9501
bef43373de39 coalesce allocations during escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents: 8914
diff changeset
30 @NodeInfo(nameTemplate = "VirtualInstance {p#type/s}")
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
31 public class VirtualInstanceNode extends VirtualObjectNode {
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
32
19403
61d3cb8e1280 Add generic parameter to NodeClass. Change Graph#getNodes(Class) to Graph#getNodes(NodeClass).
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 19398
diff changeset
33 public static final NodeClass<VirtualInstanceNode> TYPE = NodeClass.get(VirtualInstanceNode.class);
17328
c9bb0da795d4 Backed out of changeset 17322:655f3e6b467b
Doug Simon <doug.simon@oracle.com>
parents: 17327
diff changeset
34 protected final ResolvedJavaType type;
c9bb0da795d4 Backed out of changeset 17322:655f3e6b467b
Doug Simon <doug.simon@oracle.com>
parents: 17327
diff changeset
35 protected final ResolvedJavaField[] fields;
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
36
18845
f57d86eb036f removed Node factory methods
Doug Simon <doug.simon@oracle.com>
parents: 17450
diff changeset
37 public VirtualInstanceNode(ResolvedJavaType type, boolean hasIdentity) {
11496
b36028c30a81 Allow escape analysis to ignore object identity correctness for types marked via the CompilerDirectives.ValueType annotation.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 9951
diff changeset
38 this(type, type.getInstanceFields(true), hasIdentity);
7765
f20c2b1f5289 fix for Object.clone virtualization
Lukas Stadler <lukas.stadler@jku.at>
parents: 7728
diff changeset
39 }
f20c2b1f5289 fix for Object.clone virtualization
Lukas Stadler <lukas.stadler@jku.at>
parents: 7728
diff changeset
40
18845
f57d86eb036f removed Node factory methods
Doug Simon <doug.simon@oracle.com>
parents: 17450
diff changeset
41 public VirtualInstanceNode(ResolvedJavaType type, ResolvedJavaField[] fields, boolean hasIdentity) {
19398
9ecb47999e01 Fix warning.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 19396
diff changeset
42 this(TYPE, type, fields, hasIdentity);
19396
7e2c87dae93e Create static final NodeClass field named TYPE in Node subclasses.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18950
diff changeset
43 }
7e2c87dae93e Create static final NodeClass field named TYPE in Node subclasses.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18950
diff changeset
44
19403
61d3cb8e1280 Add generic parameter to NodeClass. Change Graph#getNodes(Class) to Graph#getNodes(NodeClass).
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 19398
diff changeset
45 protected VirtualInstanceNode(NodeClass<?> c, ResolvedJavaType type, boolean hasIdentity) {
19396
7e2c87dae93e Create static final NodeClass field named TYPE in Node subclasses.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18950
diff changeset
46 this(c, type, type.getInstanceFields(true), hasIdentity);
7e2c87dae93e Create static final NodeClass field named TYPE in Node subclasses.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18950
diff changeset
47 }
7e2c87dae93e Create static final NodeClass field named TYPE in Node subclasses.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18950
diff changeset
48
19403
61d3cb8e1280 Add generic parameter to NodeClass. Change Graph#getNodes(Class) to Graph#getNodes(NodeClass).
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 19398
diff changeset
49 protected VirtualInstanceNode(NodeClass<?> c, ResolvedJavaType type, ResolvedJavaField[] fields, boolean hasIdentity) {
19396
7e2c87dae93e Create static final NodeClass field named TYPE in Node subclasses.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18950
diff changeset
50 super(c, type, hasIdentity);
9951
c73690957f9b Add custom constructor to VirtualInstanceNode.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 9510
diff changeset
51 this.type = type;
c73690957f9b Add custom constructor to VirtualInstanceNode.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 9510
diff changeset
52 this.fields = fields;
c73690957f9b Add custom constructor to VirtualInstanceNode.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 9510
diff changeset
53 }
c73690957f9b Add custom constructor to VirtualInstanceNode.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 9510
diff changeset
54
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
55 @Override
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
56 public ResolvedJavaType type() {
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
57 return type;
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
58 }
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
59
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
60 @Override
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
61 public int entryCount() {
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
62 return fields.length;
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
63 }
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
64
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
65 public ResolvedJavaField field(int index) {
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
66 return fields[index];
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
67 }
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
68
8397
0f86d2449070 simplify VirtualInstanceNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 7765
diff changeset
69 public ResolvedJavaField[] getFields() {
0f86d2449070 simplify VirtualInstanceNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 7765
diff changeset
70 return fields;
0f86d2449070 simplify VirtualInstanceNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 7765
diff changeset
71 }
0f86d2449070 simplify VirtualInstanceNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 7765
diff changeset
72
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
73 @Override
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
74 public String toString(Verbosity verbosity) {
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
75 if (verbosity == Verbosity.Name) {
16478
1f1ac8857d92 moved toJavaName(JavaType type, boolean qualified) from MetaUtil to be a default method in JavaType
Doug Simon <doug.simon@oracle.com>
parents: 14160
diff changeset
76 return super.toString(Verbosity.Name) + " " + type.toJavaName(false);
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
77 } else {
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
78 return super.toString(verbosity);
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
79 }
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
80 }
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
81
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
82 @Override
9501
bef43373de39 coalesce allocations during escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents: 8914
diff changeset
83 public String entryName(int index) {
6539
2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods.
Christian Wimmer <christian.wimmer@oracle.com>
parents: 6510
diff changeset
84 return fields[index].getName();
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
85 }
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
86
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
87 public int fieldIndex(ResolvedJavaField field) {
8397
0f86d2449070 simplify VirtualInstanceNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 7765
diff changeset
88 // on average fields.length == ~6, so a linear search is fast enough
0f86d2449070 simplify VirtualInstanceNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 7765
diff changeset
89 for (int i = 0; i < fields.length; i++) {
14160
fd7fcd2d2072 replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents: 13554
diff changeset
90 if (fields[i].equals(field)) {
8397
0f86d2449070 simplify VirtualInstanceNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 7765
diff changeset
91 return i;
0f86d2449070 simplify VirtualInstanceNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 7765
diff changeset
92 }
0f86d2449070 simplify VirtualInstanceNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 7765
diff changeset
93 }
0f86d2449070 simplify VirtualInstanceNode
Lukas Stadler <lukas.stadler@jku.at>
parents: 7765
diff changeset
94 return -1;
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
95 }
7049
ccade022ec83 virtualization of unsafeload and unsafestore
Lukas Stadler <lukas.stadler@jku.at>
parents: 7024
diff changeset
96
ccade022ec83 virtualization of unsafeload and unsafestore
Lukas Stadler <lukas.stadler@jku.at>
parents: 7024
diff changeset
97 @Override
18950
3fc907b46313 [SPARC] Fix Partial Escape Analysis for SPARC in Truffle
Stefan Anzinger <stefan.anzinger@oracle.com>
parents: 18845
diff changeset
98 public int entryIndexForOffset(long constantOffset, Kind expectedEntryKind) {
3fc907b46313 [SPARC] Fix Partial Escape Analysis for SPARC in Truffle
Stefan Anzinger <stefan.anzinger@oracle.com>
parents: 18845
diff changeset
99 return fieldIndex(type.findInstanceFieldWithOffset(constantOffset, expectedEntryKind));
7049
ccade022ec83 virtualization of unsafeload and unsafestore
Lukas Stadler <lukas.stadler@jku.at>
parents: 7024
diff changeset
100 }
7394
94f032472c28 changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents: 7057
diff changeset
101
94f032472c28 changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents: 7057
diff changeset
102 @Override
94f032472c28 changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents: 7057
diff changeset
103 public Kind entryKind(int index) {
94f032472c28 changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents: 7057
diff changeset
104 assert index >= 0 && index < fields.length;
94f032472c28 changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents: 7057
diff changeset
105 return fields[index].getKind();
94f032472c28 changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents: 7057
diff changeset
106 }
7765
f20c2b1f5289 fix for Object.clone virtualization
Lukas Stadler <lukas.stadler@jku.at>
parents: 7728
diff changeset
107
f20c2b1f5289 fix for Object.clone virtualization
Lukas Stadler <lukas.stadler@jku.at>
parents: 7728
diff changeset
108 @Override
f20c2b1f5289 fix for Object.clone virtualization
Lukas Stadler <lukas.stadler@jku.at>
parents: 7728
diff changeset
109 public VirtualInstanceNode duplicate() {
18845
f57d86eb036f removed Node factory methods
Doug Simon <doug.simon@oracle.com>
parents: 17450
diff changeset
110 return new VirtualInstanceNode(type, fields, super.hasIdentity());
7765
f20c2b1f5289 fix for Object.clone virtualization
Lukas Stadler <lukas.stadler@jku.at>
parents: 7728
diff changeset
111 }
8914
7828409c364c pull materialization logic into VirtualObjectNode classes
Lukas Stadler <lukas.stadler@jku.at>
parents: 8398
diff changeset
112
7828409c364c pull materialization logic into VirtualObjectNode classes
Lukas Stadler <lukas.stadler@jku.at>
parents: 8398
diff changeset
113 @Override
13554
83fd2094ff66 rework of monitorenter/exit (use MonitorIdNode)
Lukas Stadler <lukas.stadler@jku.at>
parents: 12617
diff changeset
114 public ValueNode getMaterializedRepresentation(FixedNode fixed, ValueNode[] entries, LockState locks) {
18845
f57d86eb036f removed Node factory methods
Doug Simon <doug.simon@oracle.com>
parents: 17450
diff changeset
115 return new AllocatedObjectNode(this);
8914
7828409c364c pull materialization logic into VirtualObjectNode classes
Lukas Stadler <lukas.stadler@jku.at>
parents: 8398
diff changeset
116 }
6399
6ad5bf2efb5e cleanups, merge EscapeRecord and VirtualObjectNode
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
117 }