Mercurial > hg > graal-compiler

annotate graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedJavaField.java @ 13263:81055aacb98d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed CompilerToVM.getJavaField
author twisti
date Sun, 08 Dec 2013 18:06:28 -0800
parents c36bdee8ca29
children 47d184ba15b6
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
1 /*
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
2 * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
4 *
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
7 * published by the Free Software Foundation.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
8 *
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
13 * accompanied this code).
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
14 *
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
18 *
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
21 * questions.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
22 */
5548
8872bc0eebdf Renaming hotspot.ri => hotspot.meta.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5547
diff changeset
23 package com.oracle.graal.hotspot.meta;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
24
8949
da5140eedfa1 made format of toString() consistent across HotSpot subclasses of JavaField and JavaMethod
Doug Simon <doug.simon@oracle.com>
parents: 8415
diff changeset
25 import static com.oracle.graal.api.meta.MetaUtil.*;
9289
261a43921c5e rename: HotSpotGraalRuntime.getInstance() -> graalRuntime()
Doug Simon <doug.simon@oracle.com>
parents: 8960
diff changeset
26 import static com.oracle.graal.hotspot.HotSpotGraalRuntime.*;
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
27 import static com.oracle.graal.phases.GraalOptions.*;
8949
da5140eedfa1 made format of toString() consistent across HotSpot subclasses of JavaField and JavaMethod
Doug Simon <doug.simon@oracle.com>
parents: 8415
diff changeset
28
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
29 import java.lang.annotation.*;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
30 import java.lang.reflect.*;
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
31 import java.util.*;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
32
5507
dc71b06d09f8 Moving classes from cri.ri to api.meta.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5503
diff changeset
33 import com.oracle.graal.api.meta.*;
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
34 import com.oracle.graal.graph.*;
5060
4ed4295ce15f Update import statements.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5059
diff changeset
35 import com.oracle.graal.hotspot.*;
9864
063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27)
Doug Simon <doug.simon@oracle.com>
parents: 9792
diff changeset
36 import com.oracle.graal.options.*;
8415
2361bf148c06 rename packages: *snippets* -> *replacements*
Doug Simon <doug.simon@oracle.com>
parents: 7709
diff changeset
37 import com.oracle.graal.replacements.*;
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
38 import com.oracle.graal.replacements.Snippet.SnippetInliningPolicy;
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
39 import com.oracle.graal.replacements.SnippetTemplate.Arguments;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
40
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
41 /**
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
42 * Represents a field in a HotSpot type.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
43 */
9526
ae5cd887e67c Use a LocationIdentity interface instead of just Object for the location identity of a LocationNode
Christian Wimmer <christian.wimmer@oracle.com>
parents: 9289
diff changeset
44 public class HotSpotResolvedJavaField extends CompilerObject implements ResolvedJavaField, LocationIdentity {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
45
7530
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7104
diff changeset
46 // Must not conflict with any fields flags used by the VM - the assertion in the constructor
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7104
diff changeset
47 // checks this assumption
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
48 private static final int FIELD_INTERNAL_FLAG = 0x80000000;
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
49
4142
bc8527f3071c Adjust code base to new level of warnings.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 3733
diff changeset
50 private static final long serialVersionUID = 7692985878836955683L;
7084
9ba90252ce08 HotSpotResolvedJavaType is now the HotSpot implementation of ResolvedJavaType,
Gilles Duboscq <duboscq@ssw.jku.at>
parents: 7053
diff changeset
51 private final HotSpotResolvedObjectType holder;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
52 private final String name;
5541
b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5540
diff changeset
53 private final JavaType type;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
54 private final int offset;
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
55 private final int modifiers;
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
56 private Constant constant;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
57
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
58 public HotSpotResolvedJavaField(HotSpotResolvedObjectType holder, String name, JavaType type, long offset, int modifiers, boolean internal) {
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
59 assert (modifiers & FIELD_INTERNAL_FLAG) == 0;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
60 this.holder = holder;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
61 this.name = name;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
62 this.type = type;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
63 assert offset != -1;
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
64 assert offset == (int) offset : "offset larger than int";
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
65 this.offset = (int) offset;
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
66 if (internal) {
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
67 this.modifiers = modifiers | FIELD_INTERNAL_FLAG;
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
68 } else {
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
69 this.modifiers = modifiers;
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
70 }
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
71 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
72
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
73 @Override
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: 6525
diff changeset
74 public int getModifiers() {
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
75 return modifiers & Modifier.fieldModifiers();
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
76 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
77
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
78 @Override
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
79 public boolean isInternal() {
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
80 return (modifiers & FIELD_INTERNAL_FLAG) != 0;
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
81 }
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
82
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
83 /**
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
84 * Compares two {@link StackTraceElement}s for equality, ignoring differences in
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
85 * {@linkplain StackTraceElement#getLineNumber() line number}.
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
86 */
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
87 private static boolean equalsIgnoringLine(StackTraceElement left, StackTraceElement right) {
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
88 return left.getClassName().equals(right.getClassName()) && left.getMethodName().equals(right.getMethodName()) && left.getFileName().equals(right.getFileName());
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
89 }
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
90
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
91 /**
10074
e8fbc5fd3440 aot: add/fix some javadoc
Bernhard Urban <bernhard.urban@jku.at>
parents: 10073
diff changeset
92 * If the compiler is configured for AOT mode, {@link #readConstantValue(Constant)} should be
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
93 * only called for snippets or replacements.
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
94 */
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
95 private static boolean isCalledForSnippets() {
12456
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363)
Doug Simon <doug.simon@oracle.com>
parents: 12431
diff changeset
96 MetaAccessProvider metaAccess = runtime().getHostProviders().getMetaAccess();
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
97 ResolvedJavaMethod makeGraphMethod = null;
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
98 ResolvedJavaMethod initMethod = null;
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
99 try {
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
100 Class<?> rjm = ResolvedJavaMethod.class;
12429
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
101 makeGraphMethod = metaAccess.lookupJavaMethod(ReplacementsImpl.class.getDeclaredMethod("makeGraph", rjm, rjm, SnippetInliningPolicy.class, boolean.class));
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
102 initMethod = metaAccess.lookupJavaMethod(SnippetTemplate.AbstractTemplates.class.getDeclaredMethod("template", Arguments.class));
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
103 } catch (NoSuchMethodException | SecurityException e) {
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
104 throw new GraalInternalError(e);
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
105 }
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
106 StackTraceElement makeGraphSTE = makeGraphMethod.asStackTraceElement(0);
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
107 StackTraceElement initSTE = initMethod.asStackTraceElement(0);
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
108
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
109 StackTraceElement[] stackTrace = new Exception().getStackTrace();
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
110 for (StackTraceElement element : stackTrace) {
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
111 // Ignoring line numbers should not weaken this check too much while at
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
112 // the same time making it more robust against source code changes
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
113 if (equalsIgnoringLine(makeGraphSTE, element) || equalsIgnoringLine(initSTE, element)) {
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
114 return true;
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
115 }
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
116 }
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
117 return false;
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
118 }
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
119
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
120 private static final Set<ResolvedJavaField> notEmbeddable = new HashSet<>();
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
121
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
122 private static void addResolvedToSet(Field field) {
12456
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363)
Doug Simon <doug.simon@oracle.com>
parents: 12431
diff changeset
123 MetaAccessProvider metaAccess = runtime().getHostProviders().getMetaAccess();
12429
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
124 notEmbeddable.add(metaAccess.lookupJavaField(field));
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
125 }
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
126
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
127 static {
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
128 try {
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
129 addResolvedToSet(Boolean.class.getDeclaredField("TRUE"));
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
130 addResolvedToSet(Boolean.class.getDeclaredField("FALSE"));
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
131
10073
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
132 Class<?> characterCacheClass = Character.class.getDeclaredClasses()[0];
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
133 assert "java.lang.Character$CharacterCache".equals(characterCacheClass.getName());
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
134 addResolvedToSet(characterCacheClass.getDeclaredField("cache"));
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
135
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
136 Class<?> byteCacheClass = Byte.class.getDeclaredClasses()[0];
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
137 assert "java.lang.Byte$ByteCache".equals(byteCacheClass.getName());
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
138 addResolvedToSet(byteCacheClass.getDeclaredField("cache"));
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
139
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
140 Class<?> shortCacheClass = Short.class.getDeclaredClasses()[0];
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
141 assert "java.lang.Short$ShortCache".equals(shortCacheClass.getName());
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
142 addResolvedToSet(shortCacheClass.getDeclaredField("cache"));
1397c3e1f642 HotSpotResolvedJavaField: add cache of java.lang.{Character,Byte,Short} to not embeddable list (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10066
diff changeset
143
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
144 Class<?> integerCacheClass = Integer.class.getDeclaredClasses()[0];
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
145 assert "java.lang.Integer$IntegerCache".equals(integerCacheClass.getName());
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
146 addResolvedToSet(integerCacheClass.getDeclaredField("cache"));
10062
56fc40ca4ae0 HotSpotResolvedJavaField: don't embed caches of java.lang.{Integer,Long,Boolean} for replacements when compiled in AOT mode (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 9984
diff changeset
147
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
148 Class<?> longCacheClass = Long.class.getDeclaredClasses()[0];
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
149 assert "java.lang.Long$LongCache".equals(longCacheClass.getName());
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
150 addResolvedToSet(longCacheClass.getDeclaredField("cache"));
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
151
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
152 addResolvedToSet(Throwable.class.getDeclaredField("UNASSIGNED_STACK"));
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
153 addResolvedToSet(Throwable.class.getDeclaredField("SUPPRESSED_SENTINEL"));
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
154 } catch (SecurityException | NoSuchFieldException e) {
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
155 throw new GraalInternalError(e);
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
156 }
10062
56fc40ca4ae0 HotSpotResolvedJavaField: don't embed caches of java.lang.{Integer,Long,Boolean} for replacements when compiled in AOT mode (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 9984
diff changeset
157 }
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
158
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
159 /**
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
160 * in AOT mode, some fields should never be embedded even for snippets/replacements.
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
161 */
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
162 private boolean isEmbeddable() {
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
163 if (AOTCompilation.getValue() && notEmbeddable.contains(this)) {
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
164 return false;
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
165 }
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
166 return true;
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
167 }
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
168
11553
8a2664ad5c55 replaced computed internal name for java.lang.System with a constant to workaround deadlock issue involving class initializer of HotSpotResolvedJavaField (CR-1405)
Doug Simon <doug.simon@oracle.com>
parents: 11389
diff changeset
169 private static final String SystemClassName = "Ljava/lang/System;";
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
170
11824
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
171 /**
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
172 * {@inheritDoc}
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
173 * <p>
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
174 * The {@code value} field in {@link OptionValue} is considered constant if the type of
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
175 * {@code receiver} is (assignable to) {@link StableOptionValue}.
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
176 */
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
177 @Override
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: 6525
diff changeset
178 public Constant readConstantValue(Constant receiver) {
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
179 assert !AOTCompilation.getValue() || isCalledForSnippets() : receiver;
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
180
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
181 if (receiver == null) {
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
182 assert Modifier.isStatic(modifiers);
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
183 if (constant == null) {
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
184 if (holder.isInitialized() && !holder.getName().equals(SystemClassName) && isEmbeddable()) {
9864
063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27)
Doug Simon <doug.simon@oracle.com>
parents: 9792
diff changeset
185 if (Modifier.isFinal(getModifiers())) {
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: 6525
diff changeset
186 constant = readValue(receiver);
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
187 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
188 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
189 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
190 return constant;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
191 } else {
7689
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
192 /*
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
193 * for non-static final fields, we must assume that they are only initialized if they
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
194 * have a non-default value.
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
195 */
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
196 assert !Modifier.isStatic(modifiers);
9912
fbad7372eccd added support for stable options
Doug Simon <doug.simon@oracle.com>
parents: 9864
diff changeset
197 Object object = receiver.asObject();
12628
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
198
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
199 // Canonicalization may attempt to process an unsafe read before
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
200 // processing a guard (e.g. a type check) for this read
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
201 // so we need to type check the object being read
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
202 if (isInObject(object)) {
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
203 if (Modifier.isFinal(getModifiers())) {
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
204 Constant value = readValue(receiver);
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
205 if (assumeNonStaticFinalFieldsAsFinal(object.getClass()) || !value.isDefaultForKind()) {
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
206 return value;
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
207 }
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
208 } else if (isStable()) {
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
209 Constant value = readValue(receiver);
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
210 if (assumeDefaultStableFieldsAsFinal(object.getClass()) || !value.isDefaultForKind()) {
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
211 return value;
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
212 }
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
213 } else {
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
214 Class<?> clazz = object.getClass();
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
215 if (StableOptionValue.class.isAssignableFrom(clazz)) {
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
216 assert getName().equals("value") : "Unexpected field in " + StableOptionValue.class.getName() + " hierarchy:" + this;
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
217 StableOptionValue<?> option = (StableOptionValue<?>) object;
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
218 return Constant.forObject(option.getValue());
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
219 }
9912
fbad7372eccd added support for stable options
Doug Simon <doug.simon@oracle.com>
parents: 9864
diff changeset
220 }
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
221 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
222 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
223 return null;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
224 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
225
12628
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
226 /**
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
227 * Determines if a given object contains this field.
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
228 */
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
229 public boolean isInObject(Object object) {
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
230 return getDeclaringClass().isAssignableFrom(HotSpotResolvedObjectType.fromClass(object.getClass()));
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
231 }
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
232
5629
26a060cc58ca Initial implementation of closed world analysis by iteratively expanding the universe starting at method entry points.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5554
diff changeset
233 @Override
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: 6525
diff changeset
234 public Constant readValue(Constant receiver) {
5629
26a060cc58ca Initial implementation of closed world analysis by iteratively expanding the universe starting at method entry points.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5554
diff changeset
235 if (receiver == null) {
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
236 assert Modifier.isStatic(modifiers);
5629
26a060cc58ca Initial implementation of closed world analysis by iteratively expanding the universe starting at method entry points.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5554
diff changeset
237 if (holder.isInitialized()) {
12456
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363)
Doug Simon <doug.simon@oracle.com>
parents: 12431
diff changeset
238 return runtime().getHostProviders().getConstantReflection().readUnsafeConstant(getKind(), holder.mirror(), offset, getKind() == Kind.Object);
5629
26a060cc58ca Initial implementation of closed world analysis by iteratively expanding the universe starting at method entry points.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5554
diff changeset
239 }
26a060cc58ca Initial implementation of closed world analysis by iteratively expanding the universe starting at method entry points.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5554
diff changeset
240 return null;
26a060cc58ca Initial implementation of closed world analysis by iteratively expanding the universe starting at method entry points.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5554
diff changeset
241 } else {
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
242 assert !Modifier.isStatic(modifiers);
12628
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
243 Object object = receiver.asObject();
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
244 assert object != null && isInObject(object);
c36bdee8ca29 added type check for object before reading a field value from it during compilation
Doug Simon <doug.simon@oracle.com>
parents: 12559
diff changeset
245 return runtime().getHostProviders().getConstantReflection().readUnsafeConstant(getKind(), object, offset, getKind() == Kind.Object);
5629
26a060cc58ca Initial implementation of closed world analysis by iteratively expanding the universe starting at method entry points.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5554
diff changeset
246 }
26a060cc58ca Initial implementation of closed world analysis by iteratively expanding the universe starting at method entry points.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5554
diff changeset
247 }
26a060cc58ca Initial implementation of closed world analysis by iteratively expanding the universe starting at method entry points.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5554
diff changeset
248
7691
014092acf009 fixed bootstrap performance issue that occurred because non-static final fields are no longer assumed constant
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7689
diff changeset
249 private static boolean assumeNonStaticFinalFieldsAsFinal(Class<?> clazz) {
014092acf009 fixed bootstrap performance issue that occurred because non-static final fields are no longer assumed constant
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7689
diff changeset
250 return clazz == SnippetCounter.class;
014092acf009 fixed bootstrap performance issue that occurred because non-static final fields are no longer assumed constant
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7689
diff changeset
251 }
014092acf009 fixed bootstrap performance issue that occurred because non-static final fields are no longer assumed constant
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7689
diff changeset
252
12559
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
253 /**
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
254 * Usually {@link Stable} fields are not considered constant if the value is the
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
255 * {@link Constant#isDefaultForKind default value}. For some special classes we want to override
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
256 * this behavior.
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
257 */
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
258 private static boolean assumeDefaultStableFieldsAsFinal(Class<?> clazz) {
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
259 // HotSpotVMConfig has a lot of zero-value fields which we know are stable and want to be
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
260 // considered as constants.
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
261 if (clazz == HotSpotVMConfig.class) {
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
262 return true;
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
263 }
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
264 return false;
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
265 }
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
266
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
267 @Override
7104
5c25483b5515 Remove the ResolvedJavaType.Representation for static fields. It is not necessary to emit the constant holder for static fields in the GraphBuilder. Only the VM-specific lowering needs to create the constants, and it can access the VM-specific metadata objects directly.
Christian Wimmer <christian.wimmer@oracle.com>
parents: 7099
diff changeset
268 public HotSpotResolvedObjectType getDeclaringClass() {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
269 return holder;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
270 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
271
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
272 @Override
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: 6525
diff changeset
273 public Kind getKind() {
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: 6525
diff changeset
274 return getType().getKind();
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
275 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
276
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
277 @Override
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: 6525
diff changeset
278 public String getName() {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
279 return name;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
280 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
281
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
282 @Override
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: 6525
diff changeset
283 public JavaType getType() {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
284 return type;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
285 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
286
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
287 public int offset() {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
288 return offset;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
289 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
290
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
291 @Override
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
292 public String toString() {
8949
da5140eedfa1 made format of toString() consistent across HotSpot subclasses of JavaField and JavaMethod
Doug Simon <doug.simon@oracle.com>
parents: 8415
diff changeset
293 return format("HotSpotField<%H.%n %t:", this) + offset + ">";
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
294 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
295
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
296 @Override
9984
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
297 public boolean isSynthetic() {
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
298 Field javaField = toJava();
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
299 if (javaField != null) {
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
300 return javaField.isSynthetic();
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
301 }
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
302 return false;
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
303 }
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
304
12559
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
305 /**
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
306 * Checks if this field has the {@link Stable} annotation.
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
307 *
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
308 * @return true if field has {@link Stable} annotation, false otherwise
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
309 */
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
310 public boolean isStable() {
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
311 Annotation annotation = getAnnotation(Stable.class);
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
312 return annotation != null;
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
313 }
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
314
9984
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
315 @Override
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
316 public <T extends Annotation> T getAnnotation(Class<T> annotationClass) {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
317 Field javaField = toJava();
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
318 if (javaField != null) {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
319 return javaField.getAnnotation(annotationClass);
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
320 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
321 return null;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
322 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
323
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
324 private Field toJava() {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
325 try {
7053
014727292ae0 removed more usages of ResolvedJavaType.toJava()
Doug Simon <doug.simon@oracle.com>
parents: 6950
diff changeset
326 return holder.mirror().getDeclaredField(name);
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
327 } catch (NoSuchFieldException e) {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
328 return null;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
329 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
330 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
331 }