Mercurial > hg > graal-jvmci-8

annotate graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedJavaField.java @ 13823:6dd8b95a7fbb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
author Doug Simon <doug.simon@oracle.com>
date Thu, 30 Jan 2014 14:16:19 +0100
parents d2f520f46180
children 1f34717ccafa
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.*;
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
27 import static com.oracle.graal.hotspot.meta.HotSpotResolvedObjectType.*;
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
28 import static com.oracle.graal.phases.GraalOptions.*;
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
29 import static java.lang.reflect.Modifier.*;
8949
da5140eedfa1 made format of toString() consistent across HotSpot subclasses of JavaField and JavaMethod
Doug Simon <doug.simon@oracle.com>
parents: 8415
diff changeset
30
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
31 import java.lang.annotation.*;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
32 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
33 import java.util.*;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
34
5507
dc71b06d09f8 Moving classes from cri.ri to api.meta.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5503
diff changeset
35 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
36 import com.oracle.graal.graph.*;
5060
4ed4295ce15f Update import statements.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 5059
diff changeset
37 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
38 import com.oracle.graal.options.*;
8415
2361bf148c06 rename packages: *snippets* -> *replacements*
Doug Simon <doug.simon@oracle.com>
parents: 7709
diff changeset
39 import com.oracle.graal.replacements.*;
13619
5a076e52220a update method signatures for makeGraph
Bernhard Urban <bernhard.urban@jku.at>
parents: 13607
diff changeset
40 import com.oracle.graal.replacements.ReplacementsImpl.FrameStateProcessing;
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
41 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
42 import com.oracle.graal.replacements.SnippetTemplate.Arguments;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
43
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
44 /**
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
45 * Represents a field in a HotSpot type.
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
46 */
13356
47d184ba15b6 HotSpotResolvedJavaField already implements LocationIdentity through ResolvedJavaField
Gilles Duboscq <duboscq@ssw.jku.at>
parents: 13263
diff changeset
47 public class HotSpotResolvedJavaField extends CompilerObject implements ResolvedJavaField {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
48
7530
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7104
diff changeset
49 // 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
50 // checks this assumption
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
51 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
52
4142
bc8527f3071c Adjust code base to new level of warnings.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 3733
diff changeset
53 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
54 private final HotSpotResolvedObjectType holder;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
55 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
56 private final JavaType type;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
57 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
58 private Constant constant;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
59
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
60 /**
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
61 * The {@linkplain HotSpotResolvedObjectType#getReflectionFieldModifiers() reflection} modifiers
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
62 * for this field plus the {@link #FIELD_INTERNAL_FLAG} if it applies.
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
63 */
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
64 private final int modifiersWithInternal;
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
65
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
66 public HotSpotResolvedJavaField(HotSpotResolvedObjectType holder, String name, JavaType type, long offset, int modifiers, boolean internal) {
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
67 assert (modifiers & FIELD_INTERNAL_FLAG) == 0;
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
68 assert (modifiers & ~getReflectionFieldModifiers()) == 0;
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
69 this.holder = holder;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
70 this.name = name;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
71 this.type = type;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
72 assert offset != -1;
13263
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
73 assert offset == (int) offset : "offset larger than int";
81055aacb98d removed CompilerToVM.getJavaField
twisti
parents: 12628
diff changeset
74 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
75 if (internal) {
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
76 this.modifiersWithInternal = 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
77 } else {
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
78 this.modifiersWithInternal = modifiers;
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
79 }
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
80 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
81
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
82 @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
83 public int getModifiers() {
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
84 return modifiersWithInternal & getReflectionFieldModifiers();
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
85 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
86
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
87 @Override
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
88 public boolean isInternal() {
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
89 return (modifiersWithInternal & 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
90 }
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
91
10065
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
92 /**
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
93 * 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
94 * {@linkplain StackTraceElement#getLineNumber() line number}.
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
95 */
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
96 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
97 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
98 }
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
99
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
100 /**
10074
e8fbc5fd3440 aot: add/fix some javadoc
Bernhard Urban <bernhard.urban@jku.at>
parents: 10073
diff changeset
101 * 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
102 * 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
103 */
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
104 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
105 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
106 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
107 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
108 try {
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
109 Class<?> rjm = ResolvedJavaMethod.class;
13619
5a076e52220a update method signatures for makeGraph
Bernhard Urban <bernhard.urban@jku.at>
parents: 13607
diff changeset
110 makeGraphMethod = metaAccess.lookupJavaMethod(ReplacementsImpl.class.getDeclaredMethod("makeGraph", rjm, rjm, rjm, SnippetInliningPolicy.class, FrameStateProcessing.class));
12429
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
111 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
112 } 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
113 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
114 }
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
115 StackTraceElement makeGraphSTE = makeGraphMethod.asStackTraceElement(0);
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
116 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
117
11389
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
118 StackTraceElement[] stackTrace = new Exception().getStackTrace();
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
119 for (StackTraceElement element : stackTrace) {
7040c65689c5 slightly weakened check in HotSpotResolvedJavaField.readConstantField()
Doug Simon <doug.simon@oracle.com>
parents: 10863
diff changeset
120 // 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
121 // 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
122 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
123 return true;
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
124 }
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
125 }
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
126 return false;
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
127 }
5ba3763d6986 HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10063
diff changeset
128
13367
413040ab993e remove some usages of HashSet
Bernhard Urban <bernhard.urban@jku.at>
parents: 13356
diff changeset
129 private static final List<ResolvedJavaField> notEmbeddable = new ArrayList<>();
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
130
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
131 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
132 MetaAccessProvider metaAccess = runtime().getHostProviders().getMetaAccess();
12429
5124eeec1a7b split HotSpotRuntime into separate provider implementations
Doug Simon <doug.simon@oracle.com>
parents: 11877
diff changeset
133 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
134 }
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
135
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
136 static {
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
137 try {
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
138 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
139 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
140
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
141 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
142 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
143 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
144
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
145 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
146 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
147 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
148
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
149 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
150 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
151 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
152
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
153 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
154 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
155 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
156
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
157 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
158 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
159 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
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 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
162 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
163 } 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
164 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
165 }
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
166 }
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
167
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
168 /**
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
169 * 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
170 */
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
171 private boolean isEmbeddable() {
13378
16d99e9d77ad Options: rename flag (AOTCompilation -> ImmutableCode)
Bernhard Urban <bernhard.urban@jku.at>
parents: 13367
diff changeset
172 if (ImmutableCode.getValue() && notEmbeddable.contains(this)) {
10066
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
173 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
174 }
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
175 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
176 }
295ef03139f4 HotSpotResolvedJavaField: be more precise about fields that are not embeddable (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents: 10065
diff changeset
177
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
178 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
179
11824
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
180 /**
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
181 * {@inheritDoc}
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
182 * <p>
e1a1264cb0a7 improved javadoc for ResolvedJavaField.readConstantValue and .readValue
Doug Simon <doug.simon@oracle.com>
parents: 11553
diff changeset
183 * 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
184 * {@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
185 */
6950
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents: 6539
diff changeset
186 @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
187 public Constant readConstantValue(Constant receiver) {
13378
16d99e9d77ad Options: rename flag (AOTCompilation -> ImmutableCode)
Bernhard Urban <bernhard.urban@jku.at>
parents: 13367
diff changeset
188 assert !ImmutableCode.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
189
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
190 if (receiver == null) {
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
191 assert isStatic(modifiersWithInternal);
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
192 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
193 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
194 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
195 constant = readValue(receiver);
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
196 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
197 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
198 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
199 return constant;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
200 } else {
7689
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
201 /*
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
202 * 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
203 * have a non-default value.
ed51e7237e94 extracted TODOs as issues
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7530
diff changeset
204 */
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
205 assert !isStatic(modifiersWithInternal);
9912
fbad7372eccd added support for stable options
Doug Simon <doug.simon@oracle.com>
parents: 9864
diff changeset
206 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
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 // Canonicalization may attempt to process an unsafe read before
13788
6c5c17d0f57d guard again null receiver object when reading a constant field
Doug Simon <doug.simon@oracle.com>
parents: 13619
diff changeset
209 // processing a guard (e.g. a null check or a type check) for this read
6c5c17d0f57d guard again null receiver object when reading a constant field
Doug Simon <doug.simon@oracle.com>
parents: 13619
diff changeset
210 // so we need to check the object being read
6c5c17d0f57d guard again null receiver object when reading a constant field
Doug Simon <doug.simon@oracle.com>
parents: 13619
diff changeset
211 if (object != null && isInObject(object)) {
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
212 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
213 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
214 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
215 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
216 }
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 } 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
218 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
219 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
220 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
221 }
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
222 } 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
223 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
224 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
225 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
226 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
227 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
228 }
9912
fbad7372eccd added support for stable options
Doug Simon <doug.simon@oracle.com>
parents: 9864
diff changeset
229 }
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
230 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
231 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
232 return null;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
233 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
234
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
235 /**
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
236 * Determines if a given object contains this field.
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
237 *
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
238 * @return true iff this is a non-static field and its declaring class is assignable from
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
239 * {@code object}'s class
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
240 */
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
241 public boolean isInObject(Object object) {
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
242 if (isStatic(modifiersWithInternal)) {
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
243 return false;
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
244 }
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
245 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
246 }
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
247
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
248 @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
249 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
250 if (receiver == null) {
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
251 assert isStatic(modifiersWithInternal);
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
252 if (holder.isInitialized()) {
12456
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363)
Doug Simon <doug.simon@oracle.com>
parents: 12431
diff changeset
253 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
254 }
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
255 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
256 } else {
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
257 assert !isStatic(modifiersWithInternal);
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
258 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
259 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
260 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
261 }
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
262 }
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
263
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
264 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
265 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
266 }
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
267
12559
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
268 /**
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
269 * 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
270 * {@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
271 * this behavior.
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
272 */
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
273 private static boolean assumeDefaultStableFieldsAsFinal(Class<?> clazz) {
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
274 // 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
275 // considered as constants.
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
276 if (clazz == HotSpotVMConfig.class) {
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
277 return true;
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
278 }
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
279 return false;
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
280 }
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
281
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
282 @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
283 public HotSpotResolvedObjectType getDeclaringClass() {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
284 return holder;
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 @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
288 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
289 return getType().getKind();
3733
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
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
292 @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
293 public String getName() {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
294 return name;
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
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
297 @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
298 public JavaType getType() {
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
299 return type;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
300 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
301
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
302 public int offset() {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
303 return offset;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
304 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
305
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
306 @Override
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
307 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
308 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
309 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
310
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
311 @Override
9984
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
312 public boolean isSynthetic() {
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
313 return (runtime().getConfig().syntheticFlag & modifiersWithInternal) != 0;
9984
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
314 }
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
315
12559
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
316 /**
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
317 * Checks if this field has the {@link Stable} annotation.
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
318 *
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
319 * @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
320 */
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
321 public boolean isStable() {
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
322 Annotation annotation = getAnnotation(Stable.class);
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
323 return annotation != null;
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
324 }
ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents: 12456
diff changeset
325
9984
f3330a4487eb added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents: 9914
diff changeset
326 @Override
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
327 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
328 Field javaField = toJava();
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
329 if (javaField != null) {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
330 return javaField.getAnnotation(annotationClass);
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
331 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
332 return null;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
333 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
334
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
335 private Field toJava() {
13823
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
336 if (isInternal()) {
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
337 return null;
6dd8b95a7fbb fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents: 13818
diff changeset
338 }
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
339 try {
7053
014727292ae0 removed more usages of ResolvedJavaType.toJava()
Doug Simon <doug.simon@oracle.com>
parents: 6950
diff changeset
340 return holder.mirror().getDeclaredField(name);
3733
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
341 } catch (NoSuchFieldException e) {
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
342 return null;
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
343 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
344 }
e233f5660da4 Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
345 }