Mercurial > hg > graal-compiler
annotate graal/com.oracle.jvmci.hotspot/src/com/oracle/jvmci/hotspot/HotSpotResolvedJavaFieldImpl.java @ 21652:5f3dda39d205
Truffle: add DynamicObject#containsKey, make flags parameter optional, minor simplifications
author | Andreas Woess <andreas.woess@oracle.com> |
---|---|
date | Mon, 01 Jun 2015 12:55:56 +0200 |
parents | 48c1ebd24120 |
children |
rev | line source |
---|---|
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
1 /* |
15023
652564fe42d5
Use CompressionNode for accessing compressed Klass pointers.
Roland Schatz <roland.schatz@oracle.com>
parents:
15018
diff
changeset
|
2 * Copyright (c) 2011, 2014, Oracle and/or its affiliates. All rights reserved. |
3733
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 */ |
21552
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
23 package com.oracle.jvmci.hotspot; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
24 |
21552
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
25 import static com.oracle.jvmci.hotspot.HotSpotJVMCIRuntime.*; |
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
26 import static com.oracle.jvmci.hotspot.HotSpotResolvedJavaFieldImpl.Options.*; |
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
27 import static com.oracle.jvmci.hotspot.HotSpotResolvedObjectTypeImpl.*; |
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.*; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
31 |
21552
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
32 import com.oracle.jvmci.common.*; |
21556
48c1ebd24120
renamed com.oracle.graal.api[meta|code] modules to com.oracle.jvmci.[meta|code] (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21554
diff
changeset
|
33 import com.oracle.jvmci.meta.*; |
21554
b1530a6cce8c
renamed com.oracle.graal.[debug|options|hotspotvmconfig]* modules to com.oracle.jvmci.[debug|options|hotspotvmconfig]* modules (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21552
diff
changeset
|
34 import com.oracle.jvmci.options.*; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
35 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
36 /** |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
37 * Represents a field in a HotSpot type. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
38 */ |
21411
082417ac43e4
removed com.oracle.graal.hotspot.server and uses of Serializable it depended upon (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21390
diff
changeset
|
39 public class HotSpotResolvedJavaFieldImpl implements HotSpotResolvedJavaField, HotSpotProxified { |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
40 |
21552
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
41 static class Options { |
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
42 //@formatter:off |
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
43 @Option(help = "Mark well-known stable fields as such.", type = OptionType.Debug) |
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
44 public static final OptionValue<Boolean> ImplicitStableValues = new OptionValue<>(true); |
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
45 //@formatter:on |
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
46 } |
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
47 |
18223
17c98fad6980
converted HotSpotResolvedObjectType to an interface
Doug Simon <doug.simon@oracle.com>
parents:
18187
diff
changeset
|
48 private final HotSpotResolvedObjectTypeImpl holder; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
49 private final String name; |
14047
fde464340755
don't allow unresolved field types to hang around
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
14012
diff
changeset
|
50 private JavaType type; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
51 private final int offset; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
52 |
13823
6dd8b95a7fbb
fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents:
13818
diff
changeset
|
53 /** |
14012 | 54 * This value contains all flags as stored in the VM including internal ones. |
55 */ | |
56 private final int modifiers; | |
19852
3d0116ec99c5
Create utilities LocationIdentity#isAny, LocationIdentity#isSingle, LocationIdentity#any, LocationIdentity#overlaps.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19850
diff
changeset
|
57 private final LocationIdentity locationIdentity = new FieldLocationIdentity(this); |
19850
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
58 |
19852
3d0116ec99c5
Create utilities LocationIdentity#isAny, LocationIdentity#isSingle, LocationIdentity#any, LocationIdentity#overlaps.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19850
diff
changeset
|
59 public static class FieldLocationIdentity extends LocationIdentity { |
20103
7815c4d4a07f
removed/replaced references to non replay-serializable objects from replay-serializable objects
Doug Simon <doug.simon@oracle.com>
parents:
19917
diff
changeset
|
60 HotSpotResolvedJavaField inner; |
19850
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
61 |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
62 public FieldLocationIdentity(HotSpotResolvedJavaFieldImpl inner) { |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
63 this.inner = inner; |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
64 } |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
65 |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
66 @Override |
21390
f9024b74dd9e
Allow subclasses of LocationIdentity to provide immuatability information
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20878
diff
changeset
|
67 public boolean isImmutable() { |
f9024b74dd9e
Allow subclasses of LocationIdentity to provide immuatability information
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20878
diff
changeset
|
68 return false; |
f9024b74dd9e
Allow subclasses of LocationIdentity to provide immuatability information
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20878
diff
changeset
|
69 } |
f9024b74dd9e
Allow subclasses of LocationIdentity to provide immuatability information
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20878
diff
changeset
|
70 |
f9024b74dd9e
Allow subclasses of LocationIdentity to provide immuatability information
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20878
diff
changeset
|
71 @Override |
19850
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
72 public boolean equals(Object obj) { |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
73 if (this == obj) { |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
74 return true; |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
75 } |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
76 if (obj instanceof FieldLocationIdentity) { |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
77 FieldLocationIdentity fieldLocationIdentity = (FieldLocationIdentity) obj; |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
78 return inner.equals(fieldLocationIdentity.inner); |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
79 |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
80 } |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
81 return false; |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
82 } |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
83 |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
84 @Override |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
85 public int hashCode() { |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
86 return inner.hashCode(); |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
87 } |
19855
e532af44f9f9
Fix WriteBarrierAdditionTest.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19852
diff
changeset
|
88 |
e532af44f9f9
Fix WriteBarrierAdditionTest.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19852
diff
changeset
|
89 @Override |
e532af44f9f9
Fix WriteBarrierAdditionTest.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19852
diff
changeset
|
90 public String toString() { |
20103
7815c4d4a07f
removed/replaced references to non replay-serializable objects from replay-serializable objects
Doug Simon <doug.simon@oracle.com>
parents:
19917
diff
changeset
|
91 return inner.getName(); |
19855
e532af44f9f9
Fix WriteBarrierAdditionTest.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19852
diff
changeset
|
92 } |
19850
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
93 } |
13823
6dd8b95a7fbb
fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents:
13818
diff
changeset
|
94 |
18264
e28aa8468d5e
converted HotSpotResolvedJavaField to an interface
Doug Simon <doug.simon@oracle.com>
parents:
18262
diff
changeset
|
95 public HotSpotResolvedJavaFieldImpl(HotSpotResolvedObjectTypeImpl holder, String name, JavaType type, long offset, int modifiers) { |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
96 this.holder = holder; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
97 this.name = name; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
98 this.type = type; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
99 assert offset != -1; |
13263 | 100 assert offset == (int) offset : "offset larger than int"; |
101 this.offset = (int) offset; | |
14012 | 102 this.modifiers = modifiers; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
103 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
104 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
105 @Override |
14158
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
106 public boolean equals(Object obj) { |
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
107 if (this == obj) { |
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
108 return true; |
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
109 } |
14525
5e55de0379d9
fixed bug in HotSpotResolvedJavaField.equals
Doug Simon <doug.simon@oracle.com>
parents:
14158
diff
changeset
|
110 if (obj instanceof HotSpotResolvedJavaField) { |
18264
e28aa8468d5e
converted HotSpotResolvedJavaField to an interface
Doug Simon <doug.simon@oracle.com>
parents:
18262
diff
changeset
|
111 HotSpotResolvedJavaFieldImpl that = (HotSpotResolvedJavaFieldImpl) obj; |
19042
0d7302ddcc90
Bugfix: static and instance field with same offset are not equal
Christian Wimmer <christian.wimmer@oracle.com>
parents:
19005
diff
changeset
|
112 if (that.offset != this.offset || that.isStatic() != this.isStatic()) { |
19005
a64863622854
Shorter comparison of HotSpotResolvedFieldImpl instances.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18867
diff
changeset
|
113 return false; |
a64863622854
Shorter comparison of HotSpotResolvedFieldImpl instances.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18867
diff
changeset
|
114 } else if (this.holder.equals(that.holder)) { |
a64863622854
Shorter comparison of HotSpotResolvedFieldImpl instances.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18867
diff
changeset
|
115 assert this.name.equals(that.name) && this.type.equals(that.type); |
a64863622854
Shorter comparison of HotSpotResolvedFieldImpl instances.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18867
diff
changeset
|
116 return true; |
a64863622854
Shorter comparison of HotSpotResolvedFieldImpl instances.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18867
diff
changeset
|
117 } |
14158
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
118 } |
14525
5e55de0379d9
fixed bug in HotSpotResolvedJavaField.equals
Doug Simon <doug.simon@oracle.com>
parents:
14158
diff
changeset
|
119 return false; |
14158
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
120 } |
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
121 |
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
122 @Override |
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
123 public int hashCode() { |
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
124 return name.hashCode(); |
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
125 } |
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
126 |
fd7fcd2d2072
replaced == with .equals() for comparisons between JavaMethod/JavaField/JavaType values
Doug Simon <doug.simon@oracle.com>
parents:
14138
diff
changeset
|
127 @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
|
128 public int getModifiers() { |
14012 | 129 return modifiers & getReflectionFieldModifiers(); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
130 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
131 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
132 @Override |
6950
41938af2b3d8
modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents:
6539
diff
changeset
|
133 public boolean isInternal() { |
14012 | 134 return (modifiers & runtime().getConfig().jvmAccFieldInternal) != 0; |
6950
41938af2b3d8
modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents:
6539
diff
changeset
|
135 } |
41938af2b3d8
modifications to support non-perm-gen changes in HotSpot
Doug Simon <doug.simon@oracle.com>
parents:
6539
diff
changeset
|
136 |
10065
5ba3763d6986
HotSpotResolvedJavaField: check if method is called from snippet/replacements (GRAAL-290)
Bernhard Urban <bernhard.urban@jku.at>
parents:
10063
diff
changeset
|
137 /** |
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
|
138 * Determines if a given object contains this field. |
15023
652564fe42d5
Use CompressionNode for accessing compressed Klass pointers.
Roland Schatz <roland.schatz@oracle.com>
parents:
15018
diff
changeset
|
139 * |
13823
6dd8b95a7fbb
fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents:
13818
diff
changeset
|
140 * @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
|
141 * {@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
|
142 */ |
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
|
143 public boolean isInObject(Object object) { |
15311
820c6d353358
added ModifiersProvider as superinterface for ResolvedJava[Method|Field|Type] and implemented all checks against modifiers as default methods
Doug Simon <doug.simon@oracle.com>
parents:
15259
diff
changeset
|
144 if (isStatic()) { |
13823
6dd8b95a7fbb
fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents:
13818
diff
changeset
|
145 return false; |
6dd8b95a7fbb
fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents:
13818
diff
changeset
|
146 } |
18223
17c98fad6980
converted HotSpotResolvedObjectType to an interface
Doug Simon <doug.simon@oracle.com>
parents:
18187
diff
changeset
|
147 return getDeclaringClass().isAssignableFrom(HotSpotResolvedObjectTypeImpl.fromObjectClass(object.getClass())); |
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
|
148 } |
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
|
149 |
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
|
150 @Override |
18223
17c98fad6980
converted HotSpotResolvedObjectType to an interface
Doug Simon <doug.simon@oracle.com>
parents:
18187
diff
changeset
|
151 public HotSpotResolvedObjectTypeImpl getDeclaringClass() { |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
152 return holder; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
153 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
154 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
155 @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
|
156 public String getName() { |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
157 return name; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
158 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
159 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
160 @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
|
161 public JavaType getType() { |
20878
673e0b242d4d
fixed race in HotSpotResolvedJavaFieldImpl.getType()
Doug Simon <doug.simon@oracle.com>
parents:
20821
diff
changeset
|
162 // Pull field into local variable to prevent a race causing |
673e0b242d4d
fixed race in HotSpotResolvedJavaFieldImpl.getType()
Doug Simon <doug.simon@oracle.com>
parents:
20821
diff
changeset
|
163 // a ClassCastException below |
673e0b242d4d
fixed race in HotSpotResolvedJavaFieldImpl.getType()
Doug Simon <doug.simon@oracle.com>
parents:
20821
diff
changeset
|
164 JavaType currentType = type; |
673e0b242d4d
fixed race in HotSpotResolvedJavaFieldImpl.getType()
Doug Simon <doug.simon@oracle.com>
parents:
20821
diff
changeset
|
165 if (currentType instanceof HotSpotUnresolvedJavaType) { |
14047
fde464340755
don't allow unresolved field types to hang around
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
14012
diff
changeset
|
166 // Don't allow unresolved types to hang around forever |
20878
673e0b242d4d
fixed race in HotSpotResolvedJavaFieldImpl.getType()
Doug Simon <doug.simon@oracle.com>
parents:
20821
diff
changeset
|
167 HotSpotUnresolvedJavaType unresolvedType = (HotSpotUnresolvedJavaType) currentType; |
673e0b242d4d
fixed race in HotSpotResolvedJavaFieldImpl.getType()
Doug Simon <doug.simon@oracle.com>
parents:
20821
diff
changeset
|
168 ResolvedJavaType resolved = unresolvedType.reresolve(holder); |
14047
fde464340755
don't allow unresolved field types to hang around
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
14012
diff
changeset
|
169 if (resolved != null) { |
fde464340755
don't allow unresolved field types to hang around
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
14012
diff
changeset
|
170 type = resolved; |
fde464340755
don't allow unresolved field types to hang around
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
14012
diff
changeset
|
171 } |
fde464340755
don't allow unresolved field types to hang around
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
14012
diff
changeset
|
172 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
173 return type; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
174 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
175 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
176 public int offset() { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
177 return offset; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
178 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
179 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
180 @Override |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
181 public String toString() { |
16481
e7fc65330742
moved format(String format, JavaField field) from MetaUtil to be a default method in JavaField
Doug Simon <doug.simon@oracle.com>
parents:
16383
diff
changeset
|
182 return format("HotSpotField<%H.%n %t:") + offset + ">"; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
183 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
184 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
185 @Override |
9984
f3330a4487eb
added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents:
9914
diff
changeset
|
186 public boolean isSynthetic() { |
14012 | 187 return (runtime().getConfig().syntheticFlag & modifiers) != 0; |
9984
f3330a4487eb
added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents:
9914
diff
changeset
|
188 } |
f3330a4487eb
added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents:
9914
diff
changeset
|
189 |
12559
ae412befde21
read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents:
12456
diff
changeset
|
190 /** |
ae412befde21
read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents:
12456
diff
changeset
|
191 * Checks if this field has the {@link Stable} annotation. |
15023
652564fe42d5
Use CompressionNode for accessing compressed Klass pointers.
Roland Schatz <roland.schatz@oracle.com>
parents:
15018
diff
changeset
|
192 * |
12559
ae412befde21
read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents:
12456
diff
changeset
|
193 * @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
|
194 */ |
ae412befde21
read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents:
12456
diff
changeset
|
195 public boolean isStable() { |
17334
0563b652c052
Unify parsing of graal and hotspot Stable annotations
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
16481
diff
changeset
|
196 if ((runtime().getConfig().jvmAccFieldStable & modifiers) != 0) { |
0563b652c052
Unify parsing of graal and hotspot Stable annotations
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
16481
diff
changeset
|
197 return true; |
0563b652c052
Unify parsing of graal and hotspot Stable annotations
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
16481
diff
changeset
|
198 } |
0563b652c052
Unify parsing of graal and hotspot Stable annotations
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
16481
diff
changeset
|
199 assert getAnnotation(Stable.class) == null; |
18507
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
200 if (ImplicitStableValues.getValue() && isImplicitStableField()) { |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
201 return true; |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
202 } |
17334
0563b652c052
Unify parsing of graal and hotspot Stable annotations
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
16481
diff
changeset
|
203 return false; |
12559
ae412befde21
read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents:
12456
diff
changeset
|
204 } |
ae412befde21
read HotSpotVMConfig fields from HotSpot's vmStructs via annotations
twisti
parents:
12456
diff
changeset
|
205 |
9984
f3330a4487eb
added ResolvedJava[Field|Method].isSynthetic()
Doug Simon <doug.simon@oracle.com>
parents:
9914
diff
changeset
|
206 @Override |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
207 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
|
208 Field javaField = toJava(); |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
209 if (javaField != null) { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
210 return javaField.getAnnotation(annotationClass); |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
211 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
212 return null; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
213 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
214 |
20821
1bfa14fd1275
Cache the reflection Field in HotSpotResolvedFieldImpl, since it is accessed repeatedly when accessing the annotations of the field
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20103
diff
changeset
|
215 private Field toJavaCache; |
1bfa14fd1275
Cache the reflection Field in HotSpotResolvedFieldImpl, since it is accessed repeatedly when accessing the annotations of the field
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20103
diff
changeset
|
216 |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
217 private Field toJava() { |
20821
1bfa14fd1275
Cache the reflection Field in HotSpotResolvedFieldImpl, since it is accessed repeatedly when accessing the annotations of the field
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20103
diff
changeset
|
218 if (toJavaCache != null) { |
1bfa14fd1275
Cache the reflection Field in HotSpotResolvedFieldImpl, since it is accessed repeatedly when accessing the annotations of the field
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20103
diff
changeset
|
219 return toJavaCache; |
1bfa14fd1275
Cache the reflection Field in HotSpotResolvedFieldImpl, since it is accessed repeatedly when accessing the annotations of the field
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20103
diff
changeset
|
220 } |
1bfa14fd1275
Cache the reflection Field in HotSpotResolvedFieldImpl, since it is accessed repeatedly when accessing the annotations of the field
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20103
diff
changeset
|
221 |
13823
6dd8b95a7fbb
fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents:
13818
diff
changeset
|
222 if (isInternal()) { |
6dd8b95a7fbb
fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents:
13818
diff
changeset
|
223 return null; |
6dd8b95a7fbb
fixed HotSpotResolvedJavaField.getModifiers() to mask out FIELD_INTERNAL_FLAG
Doug Simon <doug.simon@oracle.com>
parents:
13818
diff
changeset
|
224 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
225 try { |
20821
1bfa14fd1275
Cache the reflection Field in HotSpotResolvedFieldImpl, since it is accessed repeatedly when accessing the annotations of the field
Christian Wimmer <christian.wimmer@oracle.com>
parents:
20103
diff
changeset
|
226 return toJavaCache = holder.mirror().getDeclaredField(name); |
19917
6575b4e3f629
Don't force resolution for unloaded field types
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19855
diff
changeset
|
227 } catch (NoSuchFieldException | NoClassDefFoundError e) { |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
228 return null; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
229 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
230 } |
18507
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
231 |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
232 private boolean isArray() { |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
233 JavaType fieldType = getType(); |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
234 return fieldType instanceof ResolvedJavaType && ((ResolvedJavaType) fieldType).isArray(); |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
235 } |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
236 |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
237 private boolean isImplicitStableField() { |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
238 if (isSynthetic()) { |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
239 if (isSyntheticImplicitStableField()) { |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
240 return true; |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
241 } |
18508
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
242 } else if (isWellKnownImplicitStableField()) { |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
243 return true; |
18507
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
244 } |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
245 return false; |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
246 } |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
247 |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
248 private boolean isSyntheticImplicitStableField() { |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
249 assert this.isSynthetic(); |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
250 if (isStatic() && isArray()) { |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
251 if (isFinal() && name.equals("$VALUES") || name.equals("ENUM$VALUES")) { |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
252 // generated int[] field for EnumClass::values() |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
253 return true; |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
254 } else if (name.startsWith("$SwitchMap$") || name.startsWith("$SWITCH_TABLE$")) { |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
255 // javac and ecj generate a static field in an inner class for a switch on an enum |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
256 // named $SwitchMap$p$k$g$EnumClass and $SWITCH_TABLE$p$k$g$EnumClass, respectively |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
257 return true; |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
258 } |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
259 } |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
260 return false; |
c2b45b536677
Constant fold elements of switch table and enum values() arrays
Andreas Woess <andreas.woess@jku.at>
parents:
18465
diff
changeset
|
261 } |
18508
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
262 |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
263 private boolean isWellKnownImplicitStableField() { |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
264 return WellKnownImplicitStableField.test(this); |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
265 } |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
266 |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
267 static class WellKnownImplicitStableField { |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
268 /** |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
269 * @return {@code true} if the field is a well-known stable field. |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
270 */ |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
271 public static boolean test(HotSpotResolvedJavaField field) { |
18583
12bd2b344b08
replace usages of == with .equals()
Doug Simon <doug.simon@oracle.com>
parents:
18530
diff
changeset
|
272 return field.equals(STRING_VALUE_FIELD); |
18508
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
273 } |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
274 |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
275 private static final ResolvedJavaField STRING_VALUE_FIELD; |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
276 static { |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
277 try { |
21552
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
278 MetaAccessProvider metaAccess = runtime().getHostJVMCIBackend().getMetaAccess(); |
18508
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
279 STRING_VALUE_FIELD = metaAccess.lookupJavaField(String.class.getDeclaredField("value")); |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
280 } catch (SecurityException | NoSuchFieldException e) { |
21552
9579a3c62a9e
use skeleton findbugs jar containing only SuppresFBWarnings to avoid external dependency for JVMCI classes (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
21411
diff
changeset
|
281 throw new JVMCIError(e); |
18508
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
282 } |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
283 } |
f56a5c4cd859
Treat String.value as implicit stable field
Andreas Woess <andreas.woess@jku.at>
parents:
18507
diff
changeset
|
284 } |
19850
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
285 |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
286 public LocationIdentity getLocationIdentity() { |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
287 return locationIdentity; |
c2124d859d91
Remove LocationIdentity interface from ResolvedJavaField and add ResolvedJavaField#getLocationIdentity method instead.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
19042
diff
changeset
|
288 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
289 } |