Mercurial > hg > truffle
annotate src/share/vm/ci/ciInstanceKlass.cpp @ 1602:136b78722a08
6939203: JSR 292 needs method handle constants
Summary: Add new CP types CONSTANT_MethodHandle, CONSTANT_MethodType; extend 'ldc' bytecode.
Reviewed-by: twisti, never
author | jrose |
---|---|
date | Wed, 09 Jun 2010 18:50:45 -0700 |
parents | c18cbe5936b8 |
children | b918d354830a |
rev | line source |
---|---|
0 | 1 /* |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1142
diff
changeset
|
2 * Copyright (c) 1999, 2008, 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:
1142
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1142
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:
1142
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
25 #include "incls/_precompiled.incl" | |
26 #include "incls/_ciInstanceKlass.cpp.incl" | |
27 | |
28 // ciInstanceKlass | |
29 // | |
30 // This class represents a klassOop in the HotSpot virtual machine | |
31 // whose Klass part in an instanceKlass. | |
32 | |
33 // ------------------------------------------------------------------ | |
34 // ciInstanceKlass::ciInstanceKlass | |
35 // | |
36 // Loaded instance klass. | |
44
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
37 ciInstanceKlass::ciInstanceKlass(KlassHandle h_k) : |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
38 ciKlass(h_k), _non_static_fields(NULL) |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
39 { |
0 | 40 assert(get_Klass()->oop_is_instance(), "wrong type"); |
41 instanceKlass* ik = get_instanceKlass(); | |
42 | |
43 AccessFlags access_flags = ik->access_flags(); | |
44 _flags = ciFlags(access_flags); | |
45 _has_finalizer = access_flags.has_finalizer(); | |
46 _has_subklass = ik->subklass() != NULL; | |
47 _is_initialized = ik->is_initialized(); | |
48 // Next line must follow and use the result of the previous line: | |
49 _is_linked = _is_initialized || ik->is_linked(); | |
50 _nonstatic_field_size = ik->nonstatic_field_size(); | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
51 _has_nonstatic_fields = ik->has_nonstatic_fields(); |
0 | 52 _nonstatic_fields = NULL; // initialized lazily by compute_nonstatic_fields: |
53 | |
54 _nof_implementors = ik->nof_implementors(); | |
55 for (int i = 0; i < implementors_limit; i++) { | |
56 _implementors[i] = NULL; // we will fill these lazily | |
57 } | |
58 | |
59 Thread *thread = Thread::current(); | |
60 if (ciObjectFactory::is_initialized()) { | |
61 _loader = JNIHandles::make_local(thread, ik->class_loader()); | |
62 _protection_domain = JNIHandles::make_local(thread, | |
63 ik->protection_domain()); | |
64 _is_shared = false; | |
65 } else { | |
66 Handle h_loader(thread, ik->class_loader()); | |
67 Handle h_protection_domain(thread, ik->protection_domain()); | |
68 _loader = JNIHandles::make_global(h_loader); | |
69 _protection_domain = JNIHandles::make_global(h_protection_domain); | |
70 _is_shared = true; | |
71 } | |
72 | |
73 // Lazy fields get filled in only upon request. | |
74 _super = NULL; | |
75 _java_mirror = NULL; | |
76 | |
77 if (is_shared()) { | |
1142 | 78 if (h_k() != SystemDictionary::Object_klass()) { |
0 | 79 super(); |
80 } | |
81 java_mirror(); | |
82 //compute_nonstatic_fields(); // done outside of constructor | |
83 } | |
84 | |
85 _field_cache = NULL; | |
86 } | |
87 | |
88 // Version for unloaded classes: | |
89 ciInstanceKlass::ciInstanceKlass(ciSymbol* name, | |
90 jobject loader, jobject protection_domain) | |
91 : ciKlass(name, ciInstanceKlassKlass::make()) | |
92 { | |
93 assert(name->byte_at(0) != '[', "not an instance klass"); | |
94 _is_initialized = false; | |
95 _is_linked = false; | |
96 _nonstatic_field_size = -1; | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
97 _has_nonstatic_fields = false; |
0 | 98 _nonstatic_fields = NULL; |
99 _nof_implementors = -1; | |
100 _loader = loader; | |
101 _protection_domain = protection_domain; | |
102 _is_shared = false; | |
103 _super = NULL; | |
104 _java_mirror = NULL; | |
105 _field_cache = NULL; | |
106 } | |
107 | |
108 | |
109 | |
110 // ------------------------------------------------------------------ | |
111 // ciInstanceKlass::compute_shared_is_initialized | |
112 bool ciInstanceKlass::compute_shared_is_initialized() { | |
113 GUARDED_VM_ENTRY( | |
114 instanceKlass* ik = get_instanceKlass(); | |
115 _is_initialized = ik->is_initialized(); | |
116 return _is_initialized; | |
117 ) | |
118 } | |
119 | |
120 // ------------------------------------------------------------------ | |
121 // ciInstanceKlass::compute_shared_is_linked | |
122 bool ciInstanceKlass::compute_shared_is_linked() { | |
123 GUARDED_VM_ENTRY( | |
124 instanceKlass* ik = get_instanceKlass(); | |
125 _is_linked = ik->is_linked(); | |
126 return _is_linked; | |
127 ) | |
128 } | |
129 | |
130 // ------------------------------------------------------------------ | |
131 // ciInstanceKlass::compute_shared_has_subklass | |
132 bool ciInstanceKlass::compute_shared_has_subklass() { | |
133 GUARDED_VM_ENTRY( | |
134 instanceKlass* ik = get_instanceKlass(); | |
135 _has_subklass = ik->subklass() != NULL; | |
136 return _has_subklass; | |
137 ) | |
138 } | |
139 | |
140 // ------------------------------------------------------------------ | |
141 // ciInstanceKlass::compute_shared_nof_implementors | |
142 int ciInstanceKlass::compute_shared_nof_implementors() { | |
143 // We requery this property, since it is a very old ciObject. | |
144 GUARDED_VM_ENTRY( | |
145 instanceKlass* ik = get_instanceKlass(); | |
146 _nof_implementors = ik->nof_implementors(); | |
147 return _nof_implementors; | |
148 ) | |
149 } | |
150 | |
151 // ------------------------------------------------------------------ | |
152 // ciInstanceKlass::loader | |
153 oop ciInstanceKlass::loader() { | |
154 ASSERT_IN_VM; | |
155 return JNIHandles::resolve(_loader); | |
156 } | |
157 | |
158 // ------------------------------------------------------------------ | |
159 // ciInstanceKlass::loader_handle | |
160 jobject ciInstanceKlass::loader_handle() { | |
161 return _loader; | |
162 } | |
163 | |
164 // ------------------------------------------------------------------ | |
165 // ciInstanceKlass::protection_domain | |
166 oop ciInstanceKlass::protection_domain() { | |
167 ASSERT_IN_VM; | |
168 return JNIHandles::resolve(_protection_domain); | |
169 } | |
170 | |
171 // ------------------------------------------------------------------ | |
172 // ciInstanceKlass::protection_domain_handle | |
173 jobject ciInstanceKlass::protection_domain_handle() { | |
174 return _protection_domain; | |
175 } | |
176 | |
177 // ------------------------------------------------------------------ | |
178 // ciInstanceKlass::field_cache | |
179 // | |
180 // Get the field cache associated with this klass. | |
181 ciConstantPoolCache* ciInstanceKlass::field_cache() { | |
182 if (is_shared()) { | |
183 return NULL; | |
184 } | |
185 if (_field_cache == NULL) { | |
186 assert(!is_java_lang_Object(), "Object has no fields"); | |
187 Arena* arena = CURRENT_ENV->arena(); | |
188 _field_cache = new (arena) ciConstantPoolCache(arena, 5); | |
189 } | |
190 return _field_cache; | |
191 } | |
192 | |
193 // ------------------------------------------------------------------ | |
194 // ciInstanceKlass::get_canonical_holder | |
195 // | |
196 ciInstanceKlass* ciInstanceKlass::get_canonical_holder(int offset) { | |
197 #ifdef ASSERT | |
198 if (!(offset >= 0 && offset < layout_helper())) { | |
199 tty->print("*** get_canonical_holder(%d) on ", offset); | |
200 this->print(); | |
201 tty->print_cr(" ***"); | |
202 }; | |
203 assert(offset >= 0 && offset < layout_helper(), "offset must be tame"); | |
204 #endif | |
205 | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
206 if (offset < instanceOopDesc::base_offset_in_bytes()) { |
0 | 207 // All header offsets belong properly to java/lang/Object. |
208 return CURRENT_ENV->Object_klass(); | |
209 } | |
210 | |
211 ciInstanceKlass* self = this; | |
212 for (;;) { | |
213 assert(self->is_loaded(), "must be loaded to have size"); | |
214 ciInstanceKlass* super = self->super(); | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
215 if (super == NULL || super->nof_nonstatic_fields() == 0 || |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
216 !super->contains_field_offset(offset)) { |
0 | 217 return self; |
218 } else { | |
219 self = super; // return super->get_canonical_holder(offset) | |
220 } | |
221 } | |
222 } | |
223 | |
224 // ------------------------------------------------------------------ | |
225 // ciInstanceKlass::is_java_lang_Object | |
226 // | |
227 // Is this klass java.lang.Object? | |
228 bool ciInstanceKlass::is_java_lang_Object() { | |
229 return equals(CURRENT_ENV->Object_klass()); | |
230 } | |
231 | |
232 // ------------------------------------------------------------------ | |
233 // ciInstanceKlass::uses_default_loader | |
234 bool ciInstanceKlass::uses_default_loader() { | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
235 // Note: We do not need to resolve the handle or enter the VM |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
236 // in order to test null-ness. |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
237 return _loader == NULL; |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
238 } |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
239 |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
240 // ------------------------------------------------------------------ |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
241 // ciInstanceKlass::is_in_package |
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 // Is this klass in the given package? |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
244 bool ciInstanceKlass::is_in_package(const char* packagename, int len) { |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
245 // To avoid class loader mischief, this test always rejects application classes. |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
246 if (!uses_default_loader()) |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
247 return false; |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
248 GUARDED_VM_ENTRY( |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
249 return is_in_package_impl(packagename, len); |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
250 ) |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
251 } |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
252 |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
253 bool ciInstanceKlass::is_in_package_impl(const char* packagename, int len) { |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
254 ASSERT_IN_VM; |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
255 |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
256 // If packagename contains trailing '/' exclude it from the |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
257 // prefix-test since we test for it explicitly. |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
258 if (packagename[len - 1] == '/') |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
259 len--; |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
260 |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
261 if (!name()->starts_with(packagename, len)) |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
262 return false; |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
263 |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
264 // Test if the class name is something like "java/lang". |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
265 if ((len + 1) > name()->utf8_length()) |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
266 return false; |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
267 |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
268 // Test for trailing '/' |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
269 if ((char) name()->byte_at(len) != '/') |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
270 return false; |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
271 |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
272 // Make sure it's not actually in a subpackage: |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
273 if (name()->index_of_at(len+1, "/", 1) >= 0) |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
274 return false; |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
275 |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1080
diff
changeset
|
276 return true; |
0 | 277 } |
278 | |
279 // ------------------------------------------------------------------ | |
280 // ciInstanceKlass::print_impl | |
281 // | |
282 // Implementation of the print method. | |
283 void ciInstanceKlass::print_impl(outputStream* st) { | |
284 ciKlass::print_impl(st); | |
285 GUARDED_VM_ENTRY(st->print(" loader=0x%x", (address)loader());) | |
286 if (is_loaded()) { | |
287 st->print(" loaded=true initialized=%s finalized=%s subklass=%s size=%d flags=", | |
288 bool_to_str(is_initialized()), | |
289 bool_to_str(has_finalizer()), | |
290 bool_to_str(has_subklass()), | |
291 layout_helper()); | |
292 | |
293 _flags.print_klass_flags(); | |
294 | |
295 if (_super) { | |
296 st->print(" super="); | |
297 _super->print_name(); | |
298 } | |
299 if (_java_mirror) { | |
300 st->print(" mirror=PRESENT"); | |
301 } | |
302 } else { | |
303 st->print(" loaded=false"); | |
304 } | |
305 } | |
306 | |
307 // ------------------------------------------------------------------ | |
308 // ciInstanceKlass::super | |
309 // | |
310 // Get the superklass of this klass. | |
311 ciInstanceKlass* ciInstanceKlass::super() { | |
312 assert(is_loaded(), "must be loaded"); | |
313 if (_super == NULL && !is_java_lang_Object()) { | |
314 GUARDED_VM_ENTRY( | |
315 klassOop super_klass = get_instanceKlass()->super(); | |
316 _super = CURRENT_ENV->get_object(super_klass)->as_instance_klass(); | |
317 ) | |
318 } | |
319 return _super; | |
320 } | |
321 | |
322 // ------------------------------------------------------------------ | |
323 // ciInstanceKlass::java_mirror | |
324 // | |
325 // Get the instance of java.lang.Class corresponding to this klass. | |
326 ciInstance* ciInstanceKlass::java_mirror() { | |
327 if (_java_mirror == NULL) { | |
1602 | 328 if (!is_loaded()) |
329 _java_mirror = ciEnv::current()->get_unloaded_klass_mirror(this); | |
330 else | |
331 _java_mirror = ciKlass::java_mirror(); | |
0 | 332 } |
333 return _java_mirror; | |
334 } | |
335 | |
336 // ------------------------------------------------------------------ | |
337 // ciInstanceKlass::unique_concrete_subklass | |
338 ciInstanceKlass* ciInstanceKlass::unique_concrete_subklass() { | |
339 if (!is_loaded()) return NULL; // No change if class is not loaded | |
340 if (!is_abstract()) return NULL; // Only applies to abstract classes. | |
341 if (!has_subklass()) return NULL; // Must have at least one subklass. | |
342 VM_ENTRY_MARK; | |
343 instanceKlass* ik = get_instanceKlass(); | |
344 Klass* up = ik->up_cast_abstract(); | |
345 assert(up->oop_is_instance(), "must be instanceKlass"); | |
346 if (ik == up) { | |
347 return NULL; | |
348 } | |
349 return CURRENT_THREAD_ENV->get_object(up->as_klassOop())->as_instance_klass(); | |
350 } | |
351 | |
352 // ------------------------------------------------------------------ | |
353 // ciInstanceKlass::has_finalizable_subclass | |
354 bool ciInstanceKlass::has_finalizable_subclass() { | |
355 if (!is_loaded()) return true; | |
356 VM_ENTRY_MARK; | |
357 return Dependencies::find_finalizable_subclass(get_instanceKlass()) != NULL; | |
358 } | |
359 | |
360 // ------------------------------------------------------------------ | |
361 // ciInstanceKlass::get_field_by_offset | |
362 ciField* ciInstanceKlass::get_field_by_offset(int field_offset, bool is_static) { | |
363 if (!is_static) { | |
364 for (int i = 0, len = nof_nonstatic_fields(); i < len; i++) { | |
365 ciField* field = _nonstatic_fields->at(i); | |
366 int field_off = field->offset_in_bytes(); | |
367 if (field_off == field_offset) | |
368 return field; | |
369 if (field_off > field_offset) | |
370 break; | |
371 // could do binary search or check bins, but probably not worth it | |
372 } | |
373 return NULL; | |
374 } | |
375 VM_ENTRY_MARK; | |
376 instanceKlass* k = get_instanceKlass(); | |
377 fieldDescriptor fd; | |
378 if (!k->find_field_from_offset(field_offset, is_static, &fd)) { | |
379 return NULL; | |
380 } | |
381 ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd); | |
382 return field; | |
383 } | |
384 | |
44
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
385 // ------------------------------------------------------------------ |
1080
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
386 // ciInstanceKlass::get_field_by_name |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
387 ciField* ciInstanceKlass::get_field_by_name(ciSymbol* name, ciSymbol* signature, bool is_static) { |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
388 VM_ENTRY_MARK; |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
389 instanceKlass* k = get_instanceKlass(); |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
390 fieldDescriptor fd; |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
391 klassOop def = k->find_field(name->get_symbolOop(), signature->get_symbolOop(), is_static, &fd); |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
392 if (def == NULL) { |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
393 return NULL; |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
394 } |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
395 ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd); |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
396 return field; |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
397 } |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
398 |
7c57aead6d3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
196
diff
changeset
|
399 // ------------------------------------------------------------------ |
44
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
400 // ciInstanceKlass::non_static_fields. |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
401 |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
402 class NonStaticFieldFiller: public FieldClosure { |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
403 GrowableArray<ciField*>* _arr; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
404 ciEnv* _curEnv; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
405 public: |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
406 NonStaticFieldFiller(ciEnv* curEnv, GrowableArray<ciField*>* arr) : |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
407 _curEnv(curEnv), _arr(arr) |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
408 {} |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
409 void do_field(fieldDescriptor* fd) { |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
410 ciField* field = new (_curEnv->arena()) ciField(fd); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
411 _arr->append(field); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
412 } |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
413 }; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
414 |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
415 GrowableArray<ciField*>* ciInstanceKlass::non_static_fields() { |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
416 if (_non_static_fields == NULL) { |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
417 VM_ENTRY_MARK; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
418 ciEnv* curEnv = ciEnv::current(); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
419 instanceKlass* ik = get_instanceKlass(); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
420 int max_n_fields = ik->fields()->length()/instanceKlass::next_offset; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
421 |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
422 _non_static_fields = |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
423 new (curEnv->arena()) GrowableArray<ciField*>(max_n_fields); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
424 NonStaticFieldFiller filler(curEnv, _non_static_fields); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
425 ik->do_nonstatic_fields(&filler); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
426 } |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
427 return _non_static_fields; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
428 } |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
429 |
0 | 430 static int sort_field_by_offset(ciField** a, ciField** b) { |
431 return (*a)->offset_in_bytes() - (*b)->offset_in_bytes(); | |
432 // (no worries about 32-bit overflow...) | |
433 } | |
434 | |
435 // ------------------------------------------------------------------ | |
436 // ciInstanceKlass::compute_nonstatic_fields | |
437 int ciInstanceKlass::compute_nonstatic_fields() { | |
438 assert(is_loaded(), "must be loaded"); | |
439 | |
440 if (_nonstatic_fields != NULL) | |
441 return _nonstatic_fields->length(); | |
442 | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
443 if (!has_nonstatic_fields()) { |
0 | 444 Arena* arena = CURRENT_ENV->arena(); |
445 _nonstatic_fields = new (arena) GrowableArray<ciField*>(arena, 0, 0, NULL); | |
446 return 0; | |
447 } | |
448 assert(!is_java_lang_Object(), "bootstrap OK"); | |
449 | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
450 // Size in bytes of my fields, including inherited fields. |
165
437d03ea40b1
6703888: Compressed Oops: use the 32-bits gap after klass in a object
kvn
parents:
113
diff
changeset
|
451 int fsize = nonstatic_field_size() * heapOopSize; |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
452 |
0 | 453 ciInstanceKlass* super = this->super(); |
454 GrowableArray<ciField*>* super_fields = NULL; | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
455 if (super != NULL && super->has_nonstatic_fields()) { |
165
437d03ea40b1
6703888: Compressed Oops: use the 32-bits gap after klass in a object
kvn
parents:
113
diff
changeset
|
456 int super_fsize = super->nonstatic_field_size() * heapOopSize; |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
457 int super_flen = super->nof_nonstatic_fields(); |
0 | 458 super_fields = super->_nonstatic_fields; |
459 assert(super_flen == 0 || super_fields != NULL, "first get nof_fields"); | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
460 // See if I am no larger than my super; if so, I can use his fields. |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
461 if (fsize == super_fsize) { |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
462 _nonstatic_fields = super_fields; |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
463 return super_fields->length(); |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
464 } |
0 | 465 } |
466 | |
467 GrowableArray<ciField*>* fields = NULL; | |
468 GUARDED_VM_ENTRY({ | |
469 fields = compute_nonstatic_fields_impl(super_fields); | |
470 }); | |
471 | |
472 if (fields == NULL) { | |
473 // This can happen if this class (java.lang.Class) has invisible fields. | |
474 _nonstatic_fields = super_fields; | |
475 return super_fields->length(); | |
476 } | |
477 | |
478 int flen = fields->length(); | |
479 | |
480 // Now sort them by offset, ascending. | |
481 // (In principle, they could mix with superclass fields.) | |
482 fields->sort(sort_field_by_offset); | |
483 #ifdef ASSERT | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
484 int last_offset = instanceOopDesc::base_offset_in_bytes(); |
0 | 485 for (int i = 0; i < fields->length(); i++) { |
486 ciField* field = fields->at(i); | |
487 int offset = field->offset_in_bytes(); | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
44
diff
changeset
|
488 int size = (field->_type == NULL) ? heapOopSize : field->size_in_bytes(); |
0 | 489 assert(last_offset <= offset, "no field overlap"); |
490 if (last_offset > (int)sizeof(oopDesc)) | |
491 assert((offset - last_offset) < BytesPerLong, "no big holes"); | |
492 // Note: Two consecutive T_BYTE fields will be separated by wordSize-1 | |
493 // padding bytes if one of them is declared by a superclass. | |
494 // This is a minor inefficiency classFileParser.cpp. | |
495 last_offset = offset + size; | |
496 } | |
165
437d03ea40b1
6703888: Compressed Oops: use the 32-bits gap after klass in a object
kvn
parents:
113
diff
changeset
|
497 assert(last_offset <= (int)instanceOopDesc::base_offset_in_bytes() + fsize, "no overflow"); |
0 | 498 #endif |
499 | |
500 _nonstatic_fields = fields; | |
501 return flen; | |
502 } | |
503 | |
504 GrowableArray<ciField*>* | |
505 ciInstanceKlass::compute_nonstatic_fields_impl(GrowableArray<ciField*>* | |
506 super_fields) { | |
507 ASSERT_IN_VM; | |
508 Arena* arena = CURRENT_ENV->arena(); | |
509 int flen = 0; | |
510 GrowableArray<ciField*>* fields = NULL; | |
511 instanceKlass* k = get_instanceKlass(); | |
512 typeArrayOop fields_array = k->fields(); | |
513 for (int pass = 0; pass <= 1; pass++) { | |
514 for (int i = 0, alen = fields_array->length(); i < alen; i += instanceKlass::next_offset) { | |
515 fieldDescriptor fd; | |
516 fd.initialize(k->as_klassOop(), i); | |
517 if (fd.is_static()) continue; | |
518 if (pass == 0) { | |
519 flen += 1; | |
520 } else { | |
521 ciField* field = new (arena) ciField(&fd); | |
522 fields->append(field); | |
523 } | |
524 } | |
525 | |
526 // Between passes, allocate the array: | |
527 if (pass == 0) { | |
528 if (flen == 0) { | |
529 return NULL; // return nothing if none are locally declared | |
530 } | |
531 if (super_fields != NULL) { | |
532 flen += super_fields->length(); | |
533 } | |
534 fields = new (arena) GrowableArray<ciField*>(arena, flen, 0, NULL); | |
535 if (super_fields != NULL) { | |
536 fields->appendAll(super_fields); | |
537 } | |
538 } | |
539 } | |
540 assert(fields->length() == flen, "sanity"); | |
541 return fields; | |
542 } | |
543 | |
544 // ------------------------------------------------------------------ | |
545 // ciInstanceKlass::find_method | |
546 // | |
547 // Find a method in this klass. | |
548 ciMethod* ciInstanceKlass::find_method(ciSymbol* name, ciSymbol* signature) { | |
549 VM_ENTRY_MARK; | |
550 instanceKlass* k = get_instanceKlass(); | |
551 symbolOop name_sym = name->get_symbolOop(); | |
552 symbolOop sig_sym= signature->get_symbolOop(); | |
553 | |
554 methodOop m = k->find_method(name_sym, sig_sym); | |
555 if (m == NULL) return NULL; | |
556 | |
557 return CURRENT_THREAD_ENV->get_object(m)->as_method(); | |
558 } | |
559 | |
560 // ------------------------------------------------------------------ | |
561 // ciInstanceKlass::is_leaf_type | |
562 bool ciInstanceKlass::is_leaf_type() { | |
563 assert(is_loaded(), "must be loaded"); | |
564 if (is_shared()) { | |
565 return is_final(); // approximately correct | |
566 } else { | |
567 return !_has_subklass && (_nof_implementors == 0); | |
568 } | |
569 } | |
570 | |
571 // ------------------------------------------------------------------ | |
572 // ciInstanceKlass::implementor | |
573 // | |
574 // Report an implementor of this interface. | |
575 // Returns NULL if exact information is not available. | |
576 // Note that there are various races here, since my copy | |
577 // of _nof_implementors might be out of date with respect | |
578 // to results returned by instanceKlass::implementor. | |
579 // This is OK, since any dependencies we decide to assert | |
580 // will be checked later under the Compile_lock. | |
581 ciInstanceKlass* ciInstanceKlass::implementor(int n) { | |
582 if (n > implementors_limit) { | |
583 return NULL; | |
584 } | |
585 ciInstanceKlass* impl = _implementors[n]; | |
586 if (impl == NULL) { | |
587 if (_nof_implementors > implementors_limit) { | |
588 return NULL; | |
589 } | |
590 // Go into the VM to fetch the implementor. | |
591 { | |
592 VM_ENTRY_MARK; | |
593 klassOop k = get_instanceKlass()->implementor(n); | |
594 if (k != NULL) { | |
595 impl = CURRENT_THREAD_ENV->get_object(k)->as_instance_klass(); | |
596 } | |
597 } | |
598 // Memoize this result. | |
599 if (!is_shared()) { | |
600 _implementors[n] = (impl == NULL)? this: impl; | |
601 } | |
602 } else if (impl == this) { | |
603 impl = NULL; // memoized null result from a VM query | |
604 } | |
605 return impl; | |
606 } |