annotate hotspot/src/share/vm/ci/ciInstanceKlass.cpp @ 4567:7fc02fbe5c7a

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