Wed, 09 Jun 2010 18:50:45 -0700
6939203: JSR 292 needs method handle constants
Summary: Add new CP types CONSTANT_MethodHandle, CONSTANT_MethodType; extend 'ldc' bytecode.
Reviewed-by: twisti, never
1 /*
2 * Copyright (c) 1999, 2008, Oracle and/or its affiliates. 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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
25 #include "incls/_precompiled.incl"
26 #include "incls/_ciInstanceKlass.cpp.incl"
28 // ciInstanceKlass
29 //
30 // This class represents a klassOop in the HotSpot virtual machine
31 // whose Klass part in an instanceKlass.
33 // ------------------------------------------------------------------
34 // ciInstanceKlass::ciInstanceKlass
35 //
36 // Loaded instance klass.
37 ciInstanceKlass::ciInstanceKlass(KlassHandle h_k) :
38 ciKlass(h_k), _non_static_fields(NULL)
39 {
40 assert(get_Klass()->oop_is_instance(), "wrong type");
41 instanceKlass* ik = get_instanceKlass();
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 _has_nonstatic_fields = ik->has_nonstatic_fields();
52 _nonstatic_fields = NULL; // initialized lazily by compute_nonstatic_fields:
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 }
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 }
73 // Lazy fields get filled in only upon request.
74 _super = NULL;
75 _java_mirror = NULL;
77 if (is_shared()) {
78 if (h_k() != SystemDictionary::Object_klass()) {
79 super();
80 }
81 java_mirror();
82 //compute_nonstatic_fields(); // done outside of constructor
83 }
85 _field_cache = NULL;
86 }
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;
97 _has_nonstatic_fields = false;
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 }
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 }
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 }
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 }
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 }
151 // ------------------------------------------------------------------
152 // ciInstanceKlass::loader
153 oop ciInstanceKlass::loader() {
154 ASSERT_IN_VM;
155 return JNIHandles::resolve(_loader);
156 }
158 // ------------------------------------------------------------------
159 // ciInstanceKlass::loader_handle
160 jobject ciInstanceKlass::loader_handle() {
161 return _loader;
162 }
164 // ------------------------------------------------------------------
165 // ciInstanceKlass::protection_domain
166 oop ciInstanceKlass::protection_domain() {
167 ASSERT_IN_VM;
168 return JNIHandles::resolve(_protection_domain);
169 }
171 // ------------------------------------------------------------------
172 // ciInstanceKlass::protection_domain_handle
173 jobject ciInstanceKlass::protection_domain_handle() {
174 return _protection_domain;
175 }
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 }
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
206 if (offset < instanceOopDesc::base_offset_in_bytes()) {
207 // All header offsets belong properly to java/lang/Object.
208 return CURRENT_ENV->Object_klass();
209 }
211 ciInstanceKlass* self = this;
212 for (;;) {
213 assert(self->is_loaded(), "must be loaded to have size");
214 ciInstanceKlass* super = self->super();
215 if (super == NULL || super->nof_nonstatic_fields() == 0 ||
216 !super->contains_field_offset(offset)) {
217 return self;
218 } else {
219 self = super; // return super->get_canonical_holder(offset)
220 }
221 }
222 }
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 }
232 // ------------------------------------------------------------------
233 // ciInstanceKlass::uses_default_loader
234 bool ciInstanceKlass::uses_default_loader() {
235 // Note: We do not need to resolve the handle or enter the VM
236 // in order to test null-ness.
237 return _loader == NULL;
238 }
240 // ------------------------------------------------------------------
241 // ciInstanceKlass::is_in_package
242 //
243 // Is this klass in the given package?
244 bool ciInstanceKlass::is_in_package(const char* packagename, int len) {
245 // To avoid class loader mischief, this test always rejects application classes.
246 if (!uses_default_loader())
247 return false;
248 GUARDED_VM_ENTRY(
249 return is_in_package_impl(packagename, len);
250 )
251 }
253 bool ciInstanceKlass::is_in_package_impl(const char* packagename, int len) {
254 ASSERT_IN_VM;
256 // If packagename contains trailing '/' exclude it from the
257 // prefix-test since we test for it explicitly.
258 if (packagename[len - 1] == '/')
259 len--;
261 if (!name()->starts_with(packagename, len))
262 return false;
264 // Test if the class name is something like "java/lang".
265 if ((len + 1) > name()->utf8_length())
266 return false;
268 // Test for trailing '/'
269 if ((char) name()->byte_at(len) != '/')
270 return false;
272 // Make sure it's not actually in a subpackage:
273 if (name()->index_of_at(len+1, "/", 1) >= 0)
274 return false;
276 return true;
277 }
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());
293 _flags.print_klass_flags();
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 }
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 }
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) {
328 if (!is_loaded())
329 _java_mirror = ciEnv::current()->get_unloaded_klass_mirror(this);
330 else
331 _java_mirror = ciKlass::java_mirror();
332 }
333 return _java_mirror;
334 }
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 }
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 }
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 }
385 // ------------------------------------------------------------------
386 // ciInstanceKlass::get_field_by_name
387 ciField* ciInstanceKlass::get_field_by_name(ciSymbol* name, ciSymbol* signature, bool is_static) {
388 VM_ENTRY_MARK;
389 instanceKlass* k = get_instanceKlass();
390 fieldDescriptor fd;
391 klassOop def = k->find_field(name->get_symbolOop(), signature->get_symbolOop(), is_static, &fd);
392 if (def == NULL) {
393 return NULL;
394 }
395 ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd);
396 return field;
397 }
399 // ------------------------------------------------------------------
400 // ciInstanceKlass::non_static_fields.
402 class NonStaticFieldFiller: public FieldClosure {
403 GrowableArray<ciField*>* _arr;
404 ciEnv* _curEnv;
405 public:
406 NonStaticFieldFiller(ciEnv* curEnv, GrowableArray<ciField*>* arr) :
407 _curEnv(curEnv), _arr(arr)
408 {}
409 void do_field(fieldDescriptor* fd) {
410 ciField* field = new (_curEnv->arena()) ciField(fd);
411 _arr->append(field);
412 }
413 };
415 GrowableArray<ciField*>* ciInstanceKlass::non_static_fields() {
416 if (_non_static_fields == NULL) {
417 VM_ENTRY_MARK;
418 ciEnv* curEnv = ciEnv::current();
419 instanceKlass* ik = get_instanceKlass();
420 int max_n_fields = ik->fields()->length()/instanceKlass::next_offset;
422 _non_static_fields =
423 new (curEnv->arena()) GrowableArray<ciField*>(max_n_fields);
424 NonStaticFieldFiller filler(curEnv, _non_static_fields);
425 ik->do_nonstatic_fields(&filler);
426 }
427 return _non_static_fields;
428 }
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 }
435 // ------------------------------------------------------------------
436 // ciInstanceKlass::compute_nonstatic_fields
437 int ciInstanceKlass::compute_nonstatic_fields() {
438 assert(is_loaded(), "must be loaded");
440 if (_nonstatic_fields != NULL)
441 return _nonstatic_fields->length();
443 if (!has_nonstatic_fields()) {
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");
450 // Size in bytes of my fields, including inherited fields.
451 int fsize = nonstatic_field_size() * heapOopSize;
453 ciInstanceKlass* super = this->super();
454 GrowableArray<ciField*>* super_fields = NULL;
455 if (super != NULL && super->has_nonstatic_fields()) {
456 int super_fsize = super->nonstatic_field_size() * heapOopSize;
457 int super_flen = super->nof_nonstatic_fields();
458 super_fields = super->_nonstatic_fields;
459 assert(super_flen == 0 || super_fields != NULL, "first get nof_fields");
460 // See if I am no larger than my super; if so, I can use his fields.
461 if (fsize == super_fsize) {
462 _nonstatic_fields = super_fields;
463 return super_fields->length();
464 }
465 }
467 GrowableArray<ciField*>* fields = NULL;
468 GUARDED_VM_ENTRY({
469 fields = compute_nonstatic_fields_impl(super_fields);
470 });
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 }
478 int flen = fields->length();
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
484 int last_offset = instanceOopDesc::base_offset_in_bytes();
485 for (int i = 0; i < fields->length(); i++) {
486 ciField* field = fields->at(i);
487 int offset = field->offset_in_bytes();
488 int size = (field->_type == NULL) ? heapOopSize : field->size_in_bytes();
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 }
497 assert(last_offset <= (int)instanceOopDesc::base_offset_in_bytes() + fsize, "no overflow");
498 #endif
500 _nonstatic_fields = fields;
501 return flen;
502 }
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 }
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 }
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();
554 methodOop m = k->find_method(name_sym, sig_sym);
555 if (m == NULL) return NULL;
557 return CURRENT_THREAD_ENV->get_object(m)->as_method();
558 }
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 }
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 }