Mercurial > hg > graal-jvmci-8
annotate src/share/vm/ci/ciInstanceKlass.hpp @ 24170:0b85ccd62409 jdk8u131-b01
8168699: Validate special case invocations
Reviewed-by: kevinw, vlivanov
author | coleenp |
---|---|
date | Tue, 13 Dec 2016 14:37:04 -0500 |
parents | 55fb97c4c58d |
children | 719853999215 |
rev | line source |
---|---|
0 | 1 /* |
24170 | 2 * Copyright (c) 1999, 2016, Oracle and/or its affiliates. All rights reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1138
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1138
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1138
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_CI_CIINSTANCEKLASS_HPP |
26 #define SHARE_VM_CI_CIINSTANCEKLASS_HPP | |
27 | |
28 #include "ci/ciConstantPoolCache.hpp" | |
29 #include "ci/ciFlags.hpp" | |
30 #include "ci/ciKlass.hpp" | |
31 #include "ci/ciSymbol.hpp" | |
32 | |
0 | 33 // ciInstanceKlass |
34 // | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
35 // This class represents a Klass* in the HotSpot virtual machine |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
36 // whose Klass part is an InstanceKlass. It may or may not |
0 | 37 // be loaded. |
38 class ciInstanceKlass : public ciKlass { | |
39 CI_PACKAGE_ACCESS | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
40 friend class ciBytecodeStream; |
0 | 41 friend class ciEnv; |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
42 friend class ciExceptionHandler; |
0 | 43 friend class ciMethod; |
44 friend class ciField; | |
45 | |
46 private: | |
47 jobject _loader; | |
48 jobject _protection_domain; | |
49 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
50 InstanceKlass::ClassState _init_state; // state of class |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
51 bool _is_shared; |
0 | 52 bool _has_finalizer; |
53 bool _has_subklass; | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
54 bool _has_nonstatic_fields; |
13021
4d3575d37a07
8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
12875
diff
changeset
|
55 bool _has_default_methods; |
24170 | 56 bool _is_anonymous; |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
57 |
0 | 58 ciFlags _flags; |
59 jint _nonstatic_field_size; | |
44
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
60 jint _nonstatic_oop_map_size; |
0 | 61 |
62 // Lazy fields get filled in only upon request. | |
63 ciInstanceKlass* _super; | |
64 ciInstance* _java_mirror; | |
65 | |
66 ciConstantPoolCache* _field_cache; // cached map index->field | |
67 GrowableArray<ciField*>* _nonstatic_fields; | |
68 | |
5998
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
69 // The possible values of the _implementor fall into following three cases: |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
70 // NULL: no implementor. |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
71 // A ciInstanceKlass that's not itself: one implementor. |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
72 // Itsef: more than one implementors. |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
73 ciInstanceKlass* _implementor; |
0 | 74 |
44
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
75 GrowableArray<ciField*>* _non_static_fields; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
76 |
0 | 77 protected: |
78 ciInstanceKlass(KlassHandle h_k); | |
79 ciInstanceKlass(ciSymbol* name, jobject loader, jobject protection_domain); | |
80 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
81 InstanceKlass* get_instanceKlass() const { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
82 return (InstanceKlass*)get_Klass(); |
0 | 83 } |
84 | |
85 oop loader(); | |
86 jobject loader_handle(); | |
87 | |
88 oop protection_domain(); | |
89 jobject protection_domain_handle(); | |
90 | |
91 const char* type_string() { return "ciInstanceKlass"; } | |
92 | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
93 bool is_in_package_impl(const char* packagename, int len); |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
94 |
0 | 95 void print_impl(outputStream* st); |
96 | |
97 ciConstantPoolCache* field_cache(); | |
98 | |
99 bool is_shared() { return _is_shared; } | |
100 | |
1645
3941674cc7fa
6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents:
1552
diff
changeset
|
101 void compute_shared_init_state(); |
0 | 102 bool compute_shared_has_subklass(); |
103 int compute_nonstatic_fields(); | |
104 GrowableArray<ciField*>* compute_nonstatic_fields_impl(GrowableArray<ciField*>* super_fields); | |
105 | |
1645
3941674cc7fa
6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents:
1552
diff
changeset
|
106 // Update the init_state for shared klasses |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
107 void update_if_shared(InstanceKlass::ClassState expected) { |
1645
3941674cc7fa
6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents:
1552
diff
changeset
|
108 if (_is_shared && _init_state != expected) { |
3941674cc7fa
6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents:
1552
diff
changeset
|
109 if (is_loaded()) compute_shared_init_state(); |
3941674cc7fa
6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents:
1552
diff
changeset
|
110 } |
3941674cc7fa
6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents:
1552
diff
changeset
|
111 } |
3941674cc7fa
6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents:
1552
diff
changeset
|
112 |
0 | 113 public: |
114 // Has this klass been initialized? | |
115 bool is_initialized() { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
116 update_if_shared(InstanceKlass::fully_initialized); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
117 return _init_state == InstanceKlass::fully_initialized; |
1645
3941674cc7fa
6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents:
1552
diff
changeset
|
118 } |
3941674cc7fa
6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents:
1552
diff
changeset
|
119 // Is this klass being initialized? |
3941674cc7fa
6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents:
1552
diff
changeset
|
120 bool is_being_initialized() { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
121 update_if_shared(InstanceKlass::being_initialized); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
122 return _init_state == InstanceKlass::being_initialized; |
0 | 123 } |
124 // Has this klass been linked? | |
125 bool is_linked() { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
126 update_if_shared(InstanceKlass::linked); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
127 return _init_state >= InstanceKlass::linked; |
0 | 128 } |
129 | |
130 // General klass information. | |
131 ciFlags flags() { | |
132 assert(is_loaded(), "must be loaded"); | |
133 return _flags; | |
134 } | |
135 bool has_finalizer() { | |
136 assert(is_loaded(), "must be loaded"); | |
137 return _has_finalizer; } | |
138 bool has_subklass() { | |
139 assert(is_loaded(), "must be loaded"); | |
140 if (_is_shared && !_has_subklass) { | |
141 if (flags().is_final()) { | |
142 return false; | |
143 } else { | |
144 return compute_shared_has_subklass(); | |
145 } | |
146 } | |
147 return _has_subklass; | |
148 } | |
149 jint size_helper() { | |
150 return (Klass::layout_helper_size_in_bytes(layout_helper()) | |
151 >> LogHeapWordSize); | |
152 } | |
153 jint nonstatic_field_size() { | |
154 assert(is_loaded(), "must be loaded"); | |
155 return _nonstatic_field_size; } | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
156 jint has_nonstatic_fields() { |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
157 assert(is_loaded(), "must be loaded"); |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
158 return _has_nonstatic_fields; } |
44
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
159 jint nonstatic_oop_map_size() { |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
160 assert(is_loaded(), "must be loaded"); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
161 return _nonstatic_oop_map_size; } |
0 | 162 ciInstanceKlass* super(); |
5998
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
163 jint nof_implementors() { |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
164 ciInstanceKlass* impl; |
0 | 165 assert(is_loaded(), "must be loaded"); |
5998
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
166 impl = implementor(); |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
167 if (impl == NULL) { |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
168 return 0; |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
169 } else if (impl != this) { |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
170 return 1; |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
171 } else { |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
172 return 2; |
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
173 } |
0 | 174 } |
175 | |
13021
4d3575d37a07
8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
12875
diff
changeset
|
176 bool has_default_methods() { |
4d3575d37a07
8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
12875
diff
changeset
|
177 assert(is_loaded(), "must be loaded"); |
4d3575d37a07
8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
12875
diff
changeset
|
178 return _has_default_methods; |
4d3575d37a07
8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
12875
diff
changeset
|
179 } |
4d3575d37a07
8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
12875
diff
changeset
|
180 |
24170 | 181 bool is_anonymous() { |
182 return _is_anonymous; | |
183 } | |
184 | |
0 | 185 ciInstanceKlass* get_canonical_holder(int offset); |
186 ciField* get_field_by_offset(int field_offset, bool is_static); | |
1080
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
187 ciField* get_field_by_name(ciSymbol* name, ciSymbol* signature, bool is_static); |
44
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
188 |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
189 GrowableArray<ciField*>* non_static_fields(); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
190 |
0 | 191 // total number of nonstatic fields (including inherited): |
192 int nof_nonstatic_fields() { | |
193 if (_nonstatic_fields == NULL) | |
194 return compute_nonstatic_fields(); | |
195 else | |
196 return _nonstatic_fields->length(); | |
197 } | |
198 // nth nonstatic field (presented by ascending address) | |
199 ciField* nonstatic_field_at(int i) { | |
200 assert(_nonstatic_fields != NULL, ""); | |
201 return _nonstatic_fields->at(i); | |
202 } | |
203 | |
204 ciInstanceKlass* unique_concrete_subklass(); | |
205 bool has_finalizable_subclass(); | |
206 | |
207 bool contains_field_offset(int offset) { | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
208 return instanceOopDesc::contains_field_offset(offset, nonstatic_field_size()); |
0 | 209 } |
210 | |
211 // Get the instance of java.lang.Class corresponding to | |
212 // this klass. This instance is used for locking of | |
213 // synchronized static methods of this klass. | |
214 ciInstance* java_mirror(); | |
215 | |
216 // Java access flags | |
217 bool is_public () { return flags().is_public(); } | |
218 bool is_final () { return flags().is_final(); } | |
219 bool is_super () { return flags().is_super(); } | |
220 bool is_interface () { return flags().is_interface(); } | |
221 bool is_abstract () { return flags().is_abstract(); } | |
222 | |
223 ciMethod* find_method(ciSymbol* name, ciSymbol* signature); | |
224 // Note: To find a method from name and type strings, use ciSymbol::make, | |
225 // but consider adding to vmSymbols.hpp instead. | |
226 | |
227 bool is_leaf_type(); | |
5998
49036505ab5f
7154670: The instanceKlass _implementors[] and _nof_implementors are not needed for non-interface klass.
jiangli
parents:
1972
diff
changeset
|
228 ciInstanceKlass* implementor(); |
0 | 229 |
230 // Is the defining class loader of this class the default loader? | |
10278 | 231 bool uses_default_loader() const; |
0 | 232 |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
233 bool is_java_lang_Object() const; |
0 | 234 |
10278 | 235 BasicType box_klass_type() const; |
236 bool is_box_klass() const; | |
237 bool is_boxed_value_offset(int offset) const; | |
238 | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
239 // Is this klass in the given package? |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
240 bool is_in_package(const char* packagename) { |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
241 return is_in_package(packagename, (int) strlen(packagename)); |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
242 } |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
243 bool is_in_package(const char* packagename, int len); |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
244 |
0 | 245 // What kind of ciObject is this? |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
246 bool is_instance_klass() const { return true; } |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5998
diff
changeset
|
247 bool is_java_klass() const { return true; } |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
248 |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
10278
diff
changeset
|
249 virtual ciKlass* exact_klass() { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
10278
diff
changeset
|
250 if (is_loaded() && is_final() && !is_interface()) { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
10278
diff
changeset
|
251 return this; |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
10278
diff
changeset
|
252 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
10278
diff
changeset
|
253 return NULL; |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
10278
diff
changeset
|
254 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
10278
diff
changeset
|
255 |
24170 | 256 ciInstanceKlass* host_klass(); |
257 | |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
258 // Dump the current state of this klass for compilation replay. |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
259 virtual void dump_replay_data(outputStream* out); |
0 | 260 }; |
1972 | 261 |
262 #endif // SHARE_VM_CI_CIINSTANCEKLASS_HPP |