Mercurial > hg > graal-jvmci-8
annotate src/share/vm/ci/ciInstanceKlass.cpp @ 65:99269dbf4ba8
6674588: (Escape Analysis) Improve Escape Analysis code
Summary: Current EA code has several problems which have to be fixed.
Reviewed-by: jrose, sgoldman
author | kvn |
---|---|
date | Fri, 14 Mar 2008 15:26:33 -0700 |
parents | 52fed2ec0afb |
children | ba764ed4b6f2 |
rev | line source |
---|---|
0 | 1 /* |
2 * Copyright 1999-2007 Sun Microsystems, Inc. All Rights Reserved. | |
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 * | |
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, | |
20 * CA 95054 USA or visit www.sun.com if you need additional information or | |
21 * have any questions. | |
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(); | |
51 _nonstatic_fields = NULL; // initialized lazily by compute_nonstatic_fields: | |
52 | |
53 _nof_implementors = ik->nof_implementors(); | |
54 for (int i = 0; i < implementors_limit; i++) { | |
55 _implementors[i] = NULL; // we will fill these lazily | |
56 } | |
57 | |
58 Thread *thread = Thread::current(); | |
59 if (ciObjectFactory::is_initialized()) { | |
60 _loader = JNIHandles::make_local(thread, ik->class_loader()); | |
61 _protection_domain = JNIHandles::make_local(thread, | |
62 ik->protection_domain()); | |
63 _is_shared = false; | |
64 } else { | |
65 Handle h_loader(thread, ik->class_loader()); | |
66 Handle h_protection_domain(thread, ik->protection_domain()); | |
67 _loader = JNIHandles::make_global(h_loader); | |
68 _protection_domain = JNIHandles::make_global(h_protection_domain); | |
69 _is_shared = true; | |
70 } | |
71 | |
72 // Lazy fields get filled in only upon request. | |
73 _super = NULL; | |
74 _java_mirror = NULL; | |
75 | |
76 if (is_shared()) { | |
77 if (h_k() != SystemDictionary::object_klass()) { | |
78 super(); | |
79 } | |
80 java_mirror(); | |
81 //compute_nonstatic_fields(); // done outside of constructor | |
82 } | |
83 | |
84 _field_cache = NULL; | |
85 } | |
86 | |
87 // Version for unloaded classes: | |
88 ciInstanceKlass::ciInstanceKlass(ciSymbol* name, | |
89 jobject loader, jobject protection_domain) | |
90 : ciKlass(name, ciInstanceKlassKlass::make()) | |
91 { | |
92 assert(name->byte_at(0) != '[', "not an instance klass"); | |
93 _is_initialized = false; | |
94 _is_linked = false; | |
95 _nonstatic_field_size = -1; | |
96 _nonstatic_fields = NULL; | |
97 _nof_implementors = -1; | |
98 _loader = loader; | |
99 _protection_domain = protection_domain; | |
100 _is_shared = false; | |
101 _super = NULL; | |
102 _java_mirror = NULL; | |
103 _field_cache = NULL; | |
104 } | |
105 | |
106 | |
107 | |
108 // ------------------------------------------------------------------ | |
109 // ciInstanceKlass::compute_shared_is_initialized | |
110 bool ciInstanceKlass::compute_shared_is_initialized() { | |
111 GUARDED_VM_ENTRY( | |
112 instanceKlass* ik = get_instanceKlass(); | |
113 _is_initialized = ik->is_initialized(); | |
114 return _is_initialized; | |
115 ) | |
116 } | |
117 | |
118 // ------------------------------------------------------------------ | |
119 // ciInstanceKlass::compute_shared_is_linked | |
120 bool ciInstanceKlass::compute_shared_is_linked() { | |
121 GUARDED_VM_ENTRY( | |
122 instanceKlass* ik = get_instanceKlass(); | |
123 _is_linked = ik->is_linked(); | |
124 return _is_linked; | |
125 ) | |
126 } | |
127 | |
128 // ------------------------------------------------------------------ | |
129 // ciInstanceKlass::compute_shared_has_subklass | |
130 bool ciInstanceKlass::compute_shared_has_subklass() { | |
131 GUARDED_VM_ENTRY( | |
132 instanceKlass* ik = get_instanceKlass(); | |
133 _has_subklass = ik->subklass() != NULL; | |
134 return _has_subklass; | |
135 ) | |
136 } | |
137 | |
138 // ------------------------------------------------------------------ | |
139 // ciInstanceKlass::compute_shared_nof_implementors | |
140 int ciInstanceKlass::compute_shared_nof_implementors() { | |
141 // We requery this property, since it is a very old ciObject. | |
142 GUARDED_VM_ENTRY( | |
143 instanceKlass* ik = get_instanceKlass(); | |
144 _nof_implementors = ik->nof_implementors(); | |
145 return _nof_implementors; | |
146 ) | |
147 } | |
148 | |
149 // ------------------------------------------------------------------ | |
150 // ciInstanceKlass::loader | |
151 oop ciInstanceKlass::loader() { | |
152 ASSERT_IN_VM; | |
153 return JNIHandles::resolve(_loader); | |
154 } | |
155 | |
156 // ------------------------------------------------------------------ | |
157 // ciInstanceKlass::loader_handle | |
158 jobject ciInstanceKlass::loader_handle() { | |
159 return _loader; | |
160 } | |
161 | |
162 // ------------------------------------------------------------------ | |
163 // ciInstanceKlass::protection_domain | |
164 oop ciInstanceKlass::protection_domain() { | |
165 ASSERT_IN_VM; | |
166 return JNIHandles::resolve(_protection_domain); | |
167 } | |
168 | |
169 // ------------------------------------------------------------------ | |
170 // ciInstanceKlass::protection_domain_handle | |
171 jobject ciInstanceKlass::protection_domain_handle() { | |
172 return _protection_domain; | |
173 } | |
174 | |
175 // ------------------------------------------------------------------ | |
176 // ciInstanceKlass::field_cache | |
177 // | |
178 // Get the field cache associated with this klass. | |
179 ciConstantPoolCache* ciInstanceKlass::field_cache() { | |
180 if (is_shared()) { | |
181 return NULL; | |
182 } | |
183 if (_field_cache == NULL) { | |
184 assert(!is_java_lang_Object(), "Object has no fields"); | |
185 Arena* arena = CURRENT_ENV->arena(); | |
186 _field_cache = new (arena) ciConstantPoolCache(arena, 5); | |
187 } | |
188 return _field_cache; | |
189 } | |
190 | |
191 // ------------------------------------------------------------------ | |
192 // ciInstanceKlass::get_canonical_holder | |
193 // | |
194 ciInstanceKlass* ciInstanceKlass::get_canonical_holder(int offset) { | |
195 #ifdef ASSERT | |
196 if (!(offset >= 0 && offset < layout_helper())) { | |
197 tty->print("*** get_canonical_holder(%d) on ", offset); | |
198 this->print(); | |
199 tty->print_cr(" ***"); | |
200 }; | |
201 assert(offset >= 0 && offset < layout_helper(), "offset must be tame"); | |
202 #endif | |
203 | |
204 if (offset < (instanceOopDesc::header_size() * wordSize)) { | |
205 // All header offsets belong properly to java/lang/Object. | |
206 return CURRENT_ENV->Object_klass(); | |
207 } | |
208 | |
209 ciInstanceKlass* self = this; | |
210 for (;;) { | |
211 assert(self->is_loaded(), "must be loaded to have size"); | |
212 ciInstanceKlass* super = self->super(); | |
213 if (super == NULL || !super->contains_field_offset(offset)) { | |
214 return self; | |
215 } else { | |
216 self = super; // return super->get_canonical_holder(offset) | |
217 } | |
218 } | |
219 } | |
220 | |
221 // ------------------------------------------------------------------ | |
222 // ciInstanceKlass::is_java_lang_Object | |
223 // | |
224 // Is this klass java.lang.Object? | |
225 bool ciInstanceKlass::is_java_lang_Object() { | |
226 return equals(CURRENT_ENV->Object_klass()); | |
227 } | |
228 | |
229 // ------------------------------------------------------------------ | |
230 // ciInstanceKlass::uses_default_loader | |
231 bool ciInstanceKlass::uses_default_loader() { | |
232 VM_ENTRY_MARK; | |
233 return loader() == NULL; | |
234 } | |
235 | |
236 // ------------------------------------------------------------------ | |
237 // ciInstanceKlass::print_impl | |
238 // | |
239 // Implementation of the print method. | |
240 void ciInstanceKlass::print_impl(outputStream* st) { | |
241 ciKlass::print_impl(st); | |
242 GUARDED_VM_ENTRY(st->print(" loader=0x%x", (address)loader());) | |
243 if (is_loaded()) { | |
244 st->print(" loaded=true initialized=%s finalized=%s subklass=%s size=%d flags=", | |
245 bool_to_str(is_initialized()), | |
246 bool_to_str(has_finalizer()), | |
247 bool_to_str(has_subklass()), | |
248 layout_helper()); | |
249 | |
250 _flags.print_klass_flags(); | |
251 | |
252 if (_super) { | |
253 st->print(" super="); | |
254 _super->print_name(); | |
255 } | |
256 if (_java_mirror) { | |
257 st->print(" mirror=PRESENT"); | |
258 } | |
259 } else { | |
260 st->print(" loaded=false"); | |
261 } | |
262 } | |
263 | |
264 // ------------------------------------------------------------------ | |
265 // ciInstanceKlass::super | |
266 // | |
267 // Get the superklass of this klass. | |
268 ciInstanceKlass* ciInstanceKlass::super() { | |
269 assert(is_loaded(), "must be loaded"); | |
270 if (_super == NULL && !is_java_lang_Object()) { | |
271 GUARDED_VM_ENTRY( | |
272 klassOop super_klass = get_instanceKlass()->super(); | |
273 _super = CURRENT_ENV->get_object(super_klass)->as_instance_klass(); | |
274 ) | |
275 } | |
276 return _super; | |
277 } | |
278 | |
279 // ------------------------------------------------------------------ | |
280 // ciInstanceKlass::java_mirror | |
281 // | |
282 // Get the instance of java.lang.Class corresponding to this klass. | |
283 ciInstance* ciInstanceKlass::java_mirror() { | |
284 assert(is_loaded(), "must be loaded"); | |
285 if (_java_mirror == NULL) { | |
286 _java_mirror = ciKlass::java_mirror(); | |
287 } | |
288 return _java_mirror; | |
289 } | |
290 | |
291 // ------------------------------------------------------------------ | |
292 // ciInstanceKlass::unique_concrete_subklass | |
293 ciInstanceKlass* ciInstanceKlass::unique_concrete_subklass() { | |
294 if (!is_loaded()) return NULL; // No change if class is not loaded | |
295 if (!is_abstract()) return NULL; // Only applies to abstract classes. | |
296 if (!has_subklass()) return NULL; // Must have at least one subklass. | |
297 VM_ENTRY_MARK; | |
298 instanceKlass* ik = get_instanceKlass(); | |
299 Klass* up = ik->up_cast_abstract(); | |
300 assert(up->oop_is_instance(), "must be instanceKlass"); | |
301 if (ik == up) { | |
302 return NULL; | |
303 } | |
304 return CURRENT_THREAD_ENV->get_object(up->as_klassOop())->as_instance_klass(); | |
305 } | |
306 | |
307 // ------------------------------------------------------------------ | |
308 // ciInstanceKlass::has_finalizable_subclass | |
309 bool ciInstanceKlass::has_finalizable_subclass() { | |
310 if (!is_loaded()) return true; | |
311 VM_ENTRY_MARK; | |
312 return Dependencies::find_finalizable_subclass(get_instanceKlass()) != NULL; | |
313 } | |
314 | |
315 // ------------------------------------------------------------------ | |
316 // ciInstanceKlass::get_field_by_offset | |
317 ciField* ciInstanceKlass::get_field_by_offset(int field_offset, bool is_static) { | |
318 if (!is_static) { | |
319 for (int i = 0, len = nof_nonstatic_fields(); i < len; i++) { | |
320 ciField* field = _nonstatic_fields->at(i); | |
321 int field_off = field->offset_in_bytes(); | |
322 if (field_off == field_offset) | |
323 return field; | |
324 if (field_off > field_offset) | |
325 break; | |
326 // could do binary search or check bins, but probably not worth it | |
327 } | |
328 return NULL; | |
329 } | |
330 VM_ENTRY_MARK; | |
331 instanceKlass* k = get_instanceKlass(); | |
332 fieldDescriptor fd; | |
333 if (!k->find_field_from_offset(field_offset, is_static, &fd)) { | |
334 return NULL; | |
335 } | |
336 ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd); | |
337 return field; | |
338 } | |
339 | |
44
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
340 // ------------------------------------------------------------------ |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
341 // ciInstanceKlass::non_static_fields. |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
342 |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
343 class NonStaticFieldFiller: public FieldClosure { |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
344 GrowableArray<ciField*>* _arr; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
345 ciEnv* _curEnv; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
346 public: |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
347 NonStaticFieldFiller(ciEnv* curEnv, GrowableArray<ciField*>* arr) : |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
348 _curEnv(curEnv), _arr(arr) |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
349 {} |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
350 void do_field(fieldDescriptor* fd) { |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
351 ciField* field = new (_curEnv->arena()) ciField(fd); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
352 _arr->append(field); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
353 } |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
354 }; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
355 |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
356 GrowableArray<ciField*>* ciInstanceKlass::non_static_fields() { |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
357 if (_non_static_fields == NULL) { |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
358 VM_ENTRY_MARK; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
359 ciEnv* curEnv = ciEnv::current(); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
360 instanceKlass* ik = get_instanceKlass(); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
361 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
|
362 |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
363 _non_static_fields = |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
364 new (curEnv->arena()) GrowableArray<ciField*>(max_n_fields); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
365 NonStaticFieldFiller filler(curEnv, _non_static_fields); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
366 ik->do_nonstatic_fields(&filler); |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
367 } |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
368 return _non_static_fields; |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
369 } |
52fed2ec0afb
6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents:
0
diff
changeset
|
370 |
0 | 371 static int sort_field_by_offset(ciField** a, ciField** b) { |
372 return (*a)->offset_in_bytes() - (*b)->offset_in_bytes(); | |
373 // (no worries about 32-bit overflow...) | |
374 } | |
375 | |
376 // ------------------------------------------------------------------ | |
377 // ciInstanceKlass::compute_nonstatic_fields | |
378 int ciInstanceKlass::compute_nonstatic_fields() { | |
379 assert(is_loaded(), "must be loaded"); | |
380 | |
381 if (_nonstatic_fields != NULL) | |
382 return _nonstatic_fields->length(); | |
383 | |
384 // Size in bytes of my fields, including inherited fields. | |
385 // About equal to size_helper() - sizeof(oopDesc). | |
386 int fsize = nonstatic_field_size() * wordSize; | |
387 if (fsize == 0) { // easy shortcut | |
388 Arena* arena = CURRENT_ENV->arena(); | |
389 _nonstatic_fields = new (arena) GrowableArray<ciField*>(arena, 0, 0, NULL); | |
390 return 0; | |
391 } | |
392 assert(!is_java_lang_Object(), "bootstrap OK"); | |
393 | |
394 ciInstanceKlass* super = this->super(); | |
395 int super_fsize = 0; | |
396 int super_flen = 0; | |
397 GrowableArray<ciField*>* super_fields = NULL; | |
398 if (super != NULL) { | |
399 super_fsize = super->nonstatic_field_size() * wordSize; | |
400 super_flen = super->nof_nonstatic_fields(); | |
401 super_fields = super->_nonstatic_fields; | |
402 assert(super_flen == 0 || super_fields != NULL, "first get nof_fields"); | |
403 } | |
404 | |
405 // See if I am no larger than my super; if so, I can use his fields. | |
406 if (fsize == super_fsize) { | |
407 _nonstatic_fields = super_fields; | |
408 return super_fields->length(); | |
409 } | |
410 | |
411 GrowableArray<ciField*>* fields = NULL; | |
412 GUARDED_VM_ENTRY({ | |
413 fields = compute_nonstatic_fields_impl(super_fields); | |
414 }); | |
415 | |
416 if (fields == NULL) { | |
417 // This can happen if this class (java.lang.Class) has invisible fields. | |
418 _nonstatic_fields = super_fields; | |
419 return super_fields->length(); | |
420 } | |
421 | |
422 int flen = fields->length(); | |
423 | |
424 // Now sort them by offset, ascending. | |
425 // (In principle, they could mix with superclass fields.) | |
426 fields->sort(sort_field_by_offset); | |
427 #ifdef ASSERT | |
428 int last_offset = sizeof(oopDesc); | |
429 for (int i = 0; i < fields->length(); i++) { | |
430 ciField* field = fields->at(i); | |
431 int offset = field->offset_in_bytes(); | |
432 int size = (field->_type == NULL) ? oopSize : field->size_in_bytes(); | |
433 assert(last_offset <= offset, "no field overlap"); | |
434 if (last_offset > (int)sizeof(oopDesc)) | |
435 assert((offset - last_offset) < BytesPerLong, "no big holes"); | |
436 // Note: Two consecutive T_BYTE fields will be separated by wordSize-1 | |
437 // padding bytes if one of them is declared by a superclass. | |
438 // This is a minor inefficiency classFileParser.cpp. | |
439 last_offset = offset + size; | |
440 } | |
441 assert(last_offset <= (int)sizeof(oopDesc) + fsize, "no overflow"); | |
442 #endif | |
443 | |
444 _nonstatic_fields = fields; | |
445 return flen; | |
446 } | |
447 | |
448 GrowableArray<ciField*>* | |
449 ciInstanceKlass::compute_nonstatic_fields_impl(GrowableArray<ciField*>* | |
450 super_fields) { | |
451 ASSERT_IN_VM; | |
452 Arena* arena = CURRENT_ENV->arena(); | |
453 int flen = 0; | |
454 GrowableArray<ciField*>* fields = NULL; | |
455 instanceKlass* k = get_instanceKlass(); | |
456 typeArrayOop fields_array = k->fields(); | |
457 for (int pass = 0; pass <= 1; pass++) { | |
458 for (int i = 0, alen = fields_array->length(); i < alen; i += instanceKlass::next_offset) { | |
459 fieldDescriptor fd; | |
460 fd.initialize(k->as_klassOop(), i); | |
461 if (fd.is_static()) continue; | |
462 if (pass == 0) { | |
463 flen += 1; | |
464 } else { | |
465 ciField* field = new (arena) ciField(&fd); | |
466 fields->append(field); | |
467 } | |
468 } | |
469 | |
470 // Between passes, allocate the array: | |
471 if (pass == 0) { | |
472 if (flen == 0) { | |
473 return NULL; // return nothing if none are locally declared | |
474 } | |
475 if (super_fields != NULL) { | |
476 flen += super_fields->length(); | |
477 } | |
478 fields = new (arena) GrowableArray<ciField*>(arena, flen, 0, NULL); | |
479 if (super_fields != NULL) { | |
480 fields->appendAll(super_fields); | |
481 } | |
482 } | |
483 } | |
484 assert(fields->length() == flen, "sanity"); | |
485 return fields; | |
486 } | |
487 | |
488 // ------------------------------------------------------------------ | |
489 // ciInstanceKlass::find_method | |
490 // | |
491 // Find a method in this klass. | |
492 ciMethod* ciInstanceKlass::find_method(ciSymbol* name, ciSymbol* signature) { | |
493 VM_ENTRY_MARK; | |
494 instanceKlass* k = get_instanceKlass(); | |
495 symbolOop name_sym = name->get_symbolOop(); | |
496 symbolOop sig_sym= signature->get_symbolOop(); | |
497 | |
498 methodOop m = k->find_method(name_sym, sig_sym); | |
499 if (m == NULL) return NULL; | |
500 | |
501 return CURRENT_THREAD_ENV->get_object(m)->as_method(); | |
502 } | |
503 | |
504 // ------------------------------------------------------------------ | |
505 // ciInstanceKlass::is_leaf_type | |
506 bool ciInstanceKlass::is_leaf_type() { | |
507 assert(is_loaded(), "must be loaded"); | |
508 if (is_shared()) { | |
509 return is_final(); // approximately correct | |
510 } else { | |
511 return !_has_subklass && (_nof_implementors == 0); | |
512 } | |
513 } | |
514 | |
515 // ------------------------------------------------------------------ | |
516 // ciInstanceKlass::implementor | |
517 // | |
518 // Report an implementor of this interface. | |
519 // Returns NULL if exact information is not available. | |
520 // Note that there are various races here, since my copy | |
521 // of _nof_implementors might be out of date with respect | |
522 // to results returned by instanceKlass::implementor. | |
523 // This is OK, since any dependencies we decide to assert | |
524 // will be checked later under the Compile_lock. | |
525 ciInstanceKlass* ciInstanceKlass::implementor(int n) { | |
526 if (n > implementors_limit) { | |
527 return NULL; | |
528 } | |
529 ciInstanceKlass* impl = _implementors[n]; | |
530 if (impl == NULL) { | |
531 if (_nof_implementors > implementors_limit) { | |
532 return NULL; | |
533 } | |
534 // Go into the VM to fetch the implementor. | |
535 { | |
536 VM_ENTRY_MARK; | |
537 klassOop k = get_instanceKlass()->implementor(n); | |
538 if (k != NULL) { | |
539 impl = CURRENT_THREAD_ENV->get_object(k)->as_instance_klass(); | |
540 } | |
541 } | |
542 // Memoize this result. | |
543 if (!is_shared()) { | |
544 _implementors[n] = (impl == NULL)? this: impl; | |
545 } | |
546 } else if (impl == this) { | |
547 impl = NULL; // memoized null result from a VM query | |
548 } | |
549 return impl; | |
550 } |