Mercurial > hg > graal-jvmci-8

annotate graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedJavaField.java @ 12429:5124eeec1a7b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
split HotSpotRuntime into separate provider implementations moved HotSpot specific parts of HSAIL into new com.oracle.graal.hotspot.hsail project
author Doug Simon <doug.simon@oracle.com>
date Tue, 15 Oct 2013 14:14:06 +0200
parents ef895852aeb4
children 7080a96be216
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;
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
55 private final int flags;
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
7084
9ba90252ce08 HotSpotResolvedJavaType is now the HotSpot implementation of ResolvedJavaType,
Gilles Duboscq <duboscq@ssw.jku.at>
parents: 7053
diff changeset
58 public HotSpotResolvedJavaField(HotSpotResolvedObjectType holder, String name, JavaType type, int offset, int flags, boolean internal) {
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
59 assert (flags & 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;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
64 this.offset = offset;
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
65 if (internal) {
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
66 this.flags = flags | FIELD_INTERNAL_FLAG;
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
67 } else {
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
68 this.flags = flags;
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
69 }
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
70 }
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 @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
73 public int getModifiers() {
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
74 return flags & Modifier.fieldModifiers();
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
75 }
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 @Override
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
78 public boolean isInternal() {
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
79 return (flags & FIELD_INTERNAL_FLAG) != 0;
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
80 }
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
81
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
82 /**
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
83 * 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
84 * {@linkplain StackTraceElement#getLineNumber() line number}.
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
85 */
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
86 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
87 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
88 }
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 /**
10074
e8fbc5fd3440 aot: add/fix some javadoc
Bernhard Urban <bernhard.urban@jku.at>
parents: 10073
diff changeset
91 * 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
92 * 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
93 */
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
94 private static boolean isCalledForSnippets() {
12429
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
95 MetaAccessProvider metaAccess = graalRuntime().getProviders().getMetaAccess();
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
96 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
97 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
98 try {
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
99 Class<?> rjm = ResolvedJavaMethod.class;
12429
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
100 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
101 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
102 } 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
103 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
104 }
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
105 StackTraceElement makeGraphSTE = makeGraphMethod.asStackTraceElement(0);
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
106 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
107
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
108 StackTraceElement[] stackTrace = new Exception().getStackTrace();
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
109 for (StackTraceElement element : stackTrace) {
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
110 // 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
111 // 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
112 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
113 return true;
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
114 }
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 return false;
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
117 }
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
118
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
119 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
120
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
121 private static void addResolvedToSet(Field field) {
12429
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
122 MetaAccessProvider metaAccess = graalRuntime().getProviders().getMetaAccess();
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
123 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
124 }
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 static {
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
127 try {
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
128 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
129 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
130
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
131 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
132 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
133 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
134
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 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
136 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
137 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
138
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 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
140 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
141 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
142
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
143 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
144 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
145 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
146
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
147 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
148 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
149 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
150
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
151 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
152 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
153 } 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
154 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
155 }
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
156 }
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
157
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
158 /**
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
159 * 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
160 */
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
161 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
162 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
163 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
164 }
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
165 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
166 }
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
167
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
168 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
169
11824
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
170 /**
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
171 * {@inheritDoc}
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
172 * <p>
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
173 * 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
174 * {@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
175 */
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
176 @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
177 public Constant readConstantValue(Constant receiver) {
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
178 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
179
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
180 if (receiver == null) {
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
181 assert Modifier.isStatic(flags);
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
182 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
183 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
184 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
185 constant = readValue(receiver);
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
186 }
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 return constant;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
190 } else {
7689
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
191 /*
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
192 * 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
193 * have a non-default value.
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
194 */
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
195 assert !Modifier.isStatic(flags);
9912
fbad7372eccd added support for stable options
Doug Simon <doug.simon@oracle.com>
parents: 9864
diff changeset
196 Object object = receiver.asObject();
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
197 if (Modifier.isFinal(getModifiers())) {
7689
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
198 Constant value = readValue(receiver);
9912
fbad7372eccd added support for stable options
Doug Simon <doug.simon@oracle.com>
parents: 9864
diff changeset
199 if (assumeNonStaticFinalFieldsAsFinal(object.getClass()) || !value.isDefaultForKind()) {
7689
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
200 return value;
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
201 }
9912
fbad7372eccd added support for stable options
Doug Simon <doug.simon@oracle.com>
parents: 9864
diff changeset
202 } else {
fbad7372eccd added support for stable options
Doug Simon <doug.simon@oracle.com>
parents: 9864
diff changeset
203 Class<?> clazz = object.getClass();
9914
84890660eefb cleaner implementation of stable options
Doug Simon <doug.simon@oracle.com>
parents: 9912
diff changeset
204 if (StableOptionValue.class.isAssignableFrom(clazz)) {
11824
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
205 assert getName().equals("value") : "Unexpected field in " + StableOptionValue.class.getName() + " hierarchy:" + this;
9914
84890660eefb cleaner implementation of stable options
Doug Simon <doug.simon@oracle.com>
parents: 9912
diff changeset
206 StableOptionValue<?> option = (StableOptionValue<?>) object;
84890660eefb cleaner implementation of stable options
Doug Simon <doug.simon@oracle.com>
parents: 9912
diff changeset
207 return Constant.forObject(option.getValue());
9912
fbad7372eccd added support for stable options
Doug Simon <doug.simon@oracle.com>
parents: 9864
diff changeset
208 }
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
209 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
210 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
211 return null;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
212 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
213
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
214 @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
215 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
216 if (receiver == null) {
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
217 assert Modifier.isStatic(flags);
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
218 if (holder.isInitialized()) {
12429
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
219 return graalRuntime().getProviders().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
220 }
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
221 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
222 } else {
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
223 assert !Modifier.isStatic(flags);
12429
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
224 return graalRuntime().getProviders().getConstantReflection().readUnsafeConstant(getKind(), receiver.asObject(), 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
225 }
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
226 }
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
227
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
228 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
229 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
230 }
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
231
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
232 @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
233 public HotSpotResolvedObjectType getDeclaringClass() {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
234 return holder;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
235 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
236
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
237 @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
238 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
239 return getType().getKind();
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
240 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
241
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
242 @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
243 public String getName() {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
244 return name;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
245 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
246
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
247 @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
248 public JavaType getType() {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
249 return type;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
250 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
251
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
252 public int offset() {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
253 return offset;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
254 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
255
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
256 @Override
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
257 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
258 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
259 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
260
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
261 @Override
9984
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
262 public boolean isSynthetic() {
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
263 Field javaField = toJava();
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
264 if (javaField != null) {
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
265 return javaField.isSynthetic();
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
266 }
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
267 return false;
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
268 }
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
269
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
270 @Override
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
271 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
272 Field javaField = toJava();
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
273 if (javaField != null) {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
274 return javaField.getAnnotation(annotationClass);
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 return null;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
277 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
278
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
279 private Field toJava() {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
280 try {
7053
014727292ae0 removed more usages of ResolvedJavaType.toJava()
Doug Simon <doug.simon@oracle.com>
parents: 6950
diff changeset
281 return holder.mirror().getDeclaredField(name);
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
282 } catch (NoSuchFieldException e) {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
283 return null;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
284 }
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 }