annotate hotspot/src/share/vm/ci/ciInstanceKlass.cpp @ 31037:01a5c5fa5681

8079205: CallSite dependency tracking is broken after sun.misc.Cleaner became automatically cleared Reviewed-by: roland, psandoz, plevart, kbarrett, jrose
author vlivanov
date Fri, 15 May 2015 19:23:11 +0300
parents a11a29cf06d5
children bb26c50aadd0
rev   line source
duke@1 1 /*
drchase@24424 2 * Copyright (c) 1999, 2014, Oracle and/or its affiliates. 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 *
trims@5547 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@5547 20 * or visit www.oracle.com if you need additional information or have any
trims@5547 21 * questions.
duke@1 22 *
duke@1 23 */
duke@1 24
stefank@7397 25 #include "precompiled.hpp"
stefank@7397 26 #include "ci/ciField.hpp"
stefank@7397 27 #include "ci/ciInstance.hpp"
stefank@7397 28 #include "ci/ciInstanceKlass.hpp"
stefank@7397 29 #include "ci/ciUtilities.hpp"
stefank@7397 30 #include "classfile/systemDictionary.hpp"
stefank@7397 31 #include "memory/allocation.hpp"
stefank@7397 32 #include "memory/allocation.inline.hpp"
stefank@7397 33 #include "oops/oop.inline.hpp"
never@10546 34 #include "oops/fieldStreams.hpp"
stefank@7397 35 #include "runtime/fieldDescriptor.hpp"
duke@1 36
duke@1 37 // ciInstanceKlass
duke@1 38 //
coleenp@13728 39 // This class represents a Klass* in the HotSpot virtual machine
coleenp@13728 40 // whose Klass part in an InstanceKlass.
duke@1 41
duke@1 42 // ------------------------------------------------------------------
duke@1 43 // ciInstanceKlass::ciInstanceKlass
duke@1 44 //
duke@1 45 // Loaded instance klass.
kvn@217 46 ciInstanceKlass::ciInstanceKlass(KlassHandle h_k) :
anoll@26706 47 ciKlass(h_k)
kvn@217 48 {
duke@1 49 assert(get_Klass()->oop_is_instance(), "wrong type");
never@8314 50 assert(get_instanceKlass()->is_loaded(), "must be at least loaded");
coleenp@13728 51 InstanceKlass* ik = get_instanceKlass();
duke@1 52
duke@1 53 AccessFlags access_flags = ik->access_flags();
duke@1 54 _flags = ciFlags(access_flags);
duke@1 55 _has_finalizer = access_flags.has_finalizer();
duke@1 56 _has_subklass = ik->subklass() != NULL;
coleenp@11407 57 _init_state = ik->init_state();
duke@1 58 _nonstatic_field_size = ik->nonstatic_field_size();
coleenp@360 59 _has_nonstatic_fields = ik->has_nonstatic_fields();
iveresov@21209 60 _has_default_methods = ik->has_default_methods();
duke@1 61 _nonstatic_fields = NULL; // initialized lazily by compute_nonstatic_fields:
roland@28396 62 _has_injected_fields = -1;
jiangli@12369 63 _implementor = NULL; // we will fill these lazily
duke@1 64
duke@1 65 Thread *thread = Thread::current();
duke@1 66 if (ciObjectFactory::is_initialized()) {
duke@1 67 _loader = JNIHandles::make_local(thread, ik->class_loader());
duke@1 68 _protection_domain = JNIHandles::make_local(thread,
duke@1 69 ik->protection_domain());
duke@1 70 _is_shared = false;
duke@1 71 } else {
duke@1 72 Handle h_loader(thread, ik->class_loader());
duke@1 73 Handle h_protection_domain(thread, ik->protection_domain());
duke@1 74 _loader = JNIHandles::make_global(h_loader);
duke@1 75 _protection_domain = JNIHandles::make_global(h_protection_domain);
duke@1 76 _is_shared = true;
duke@1 77 }
duke@1 78
duke@1 79 // Lazy fields get filled in only upon request.
duke@1 80 _super = NULL;
duke@1 81 _java_mirror = NULL;
duke@1 82
duke@1 83 if (is_shared()) {
never@4571 84 if (h_k() != SystemDictionary::Object_klass()) {
duke@1 85 super();
duke@1 86 }
duke@1 87 //compute_nonstatic_fields(); // done outside of constructor
duke@1 88 }
duke@1 89
duke@1 90 _field_cache = NULL;
duke@1 91 }
duke@1 92
duke@1 93 // Version for unloaded classes:
duke@1 94 ciInstanceKlass::ciInstanceKlass(ciSymbol* name,
duke@1 95 jobject loader, jobject protection_domain)
coleenp@13728 96 : ciKlass(name, T_OBJECT)
duke@1 97 {
duke@1 98 assert(name->byte_at(0) != '[', "not an instance klass");
coleenp@13728 99 _init_state = (InstanceKlass::ClassState)0;
duke@1 100 _nonstatic_field_size = -1;
coleenp@360 101 _has_nonstatic_fields = false;
duke@1 102 _nonstatic_fields = NULL;
roland@28396 103 _has_injected_fields = -1;
duke@1 104 _loader = loader;
duke@1 105 _protection_domain = protection_domain;
duke@1 106 _is_shared = false;
duke@1 107 _super = NULL;
duke@1 108 _java_mirror = NULL;
duke@1 109 _field_cache = NULL;
duke@1 110 }
duke@1 111
duke@1 112
duke@1 113
duke@1 114 // ------------------------------------------------------------------
duke@1 115 // ciInstanceKlass::compute_shared_is_initialized
never@5925 116 void ciInstanceKlass::compute_shared_init_state() {
duke@1 117 GUARDED_VM_ENTRY(
coleenp@13728 118 InstanceKlass* ik = get_instanceKlass();
coleenp@11407 119 _init_state = ik->init_state();
duke@1 120 )
duke@1 121 }
duke@1 122
duke@1 123 // ------------------------------------------------------------------
duke@1 124 // ciInstanceKlass::compute_shared_has_subklass
duke@1 125 bool ciInstanceKlass::compute_shared_has_subklass() {
duke@1 126 GUARDED_VM_ENTRY(
coleenp@13728 127 InstanceKlass* ik = get_instanceKlass();
duke@1 128 _has_subklass = ik->subklass() != NULL;
duke@1 129 return _has_subklass;
duke@1 130 )
duke@1 131 }
duke@1 132
duke@1 133 // ------------------------------------------------------------------
duke@1 134 // ciInstanceKlass::loader
duke@1 135 oop ciInstanceKlass::loader() {
duke@1 136 ASSERT_IN_VM;
duke@1 137 return JNIHandles::resolve(_loader);
duke@1 138 }
duke@1 139
duke@1 140 // ------------------------------------------------------------------
duke@1 141 // ciInstanceKlass::loader_handle
duke@1 142 jobject ciInstanceKlass::loader_handle() {
duke@1 143 return _loader;
duke@1 144 }
duke@1 145
duke@1 146 // ------------------------------------------------------------------
duke@1 147 // ciInstanceKlass::protection_domain
duke@1 148 oop ciInstanceKlass::protection_domain() {
duke@1 149 ASSERT_IN_VM;
duke@1 150 return JNIHandles::resolve(_protection_domain);
duke@1 151 }
duke@1 152
duke@1 153 // ------------------------------------------------------------------
duke@1 154 // ciInstanceKlass::protection_domain_handle
duke@1 155 jobject ciInstanceKlass::protection_domain_handle() {
duke@1 156 return _protection_domain;
duke@1 157 }
duke@1 158
duke@1 159 // ------------------------------------------------------------------
duke@1 160 // ciInstanceKlass::field_cache
duke@1 161 //
duke@1 162 // Get the field cache associated with this klass.
duke@1 163 ciConstantPoolCache* ciInstanceKlass::field_cache() {
duke@1 164 if (is_shared()) {
duke@1 165 return NULL;
duke@1 166 }
duke@1 167 if (_field_cache == NULL) {
duke@1 168 assert(!is_java_lang_Object(), "Object has no fields");
duke@1 169 Arena* arena = CURRENT_ENV->arena();
duke@1 170 _field_cache = new (arena) ciConstantPoolCache(arena, 5);
duke@1 171 }
duke@1 172 return _field_cache;
duke@1 173 }
duke@1 174
duke@1 175 // ------------------------------------------------------------------
duke@1 176 // ciInstanceKlass::get_canonical_holder
duke@1 177 //
duke@1 178 ciInstanceKlass* ciInstanceKlass::get_canonical_holder(int offset) {
duke@1 179 #ifdef ASSERT
duke@1 180 if (!(offset >= 0 && offset < layout_helper())) {
duke@1 181 tty->print("*** get_canonical_holder(%d) on ", offset);
duke@1 182 this->print();
duke@1 183 tty->print_cr(" ***");
duke@1 184 };
duke@1 185 assert(offset >= 0 && offset < layout_helper(), "offset must be tame");
duke@1 186 #endif
duke@1 187
coleenp@360 188 if (offset < instanceOopDesc::base_offset_in_bytes()) {
duke@1 189 // All header offsets belong properly to java/lang/Object.
duke@1 190 return CURRENT_ENV->Object_klass();
duke@1 191 }
duke@1 192
duke@1 193 ciInstanceKlass* self = this;
duke@1 194 for (;;) {
duke@1 195 assert(self->is_loaded(), "must be loaded to have size");
duke@1 196 ciInstanceKlass* super = self->super();
coleenp@360 197 if (super == NULL || super->nof_nonstatic_fields() == 0 ||
coleenp@360 198 !super->contains_field_offset(offset)) {
duke@1 199 return self;
duke@1 200 } else {
duke@1 201 self = super; // return super->get_canonical_holder(offset)
duke@1 202 }
duke@1 203 }
duke@1 204 }
duke@1 205
duke@1 206 // ------------------------------------------------------------------
duke@1 207 // ciInstanceKlass::is_java_lang_Object
duke@1 208 //
duke@1 209 // Is this klass java.lang.Object?
coleenp@13728 210 bool ciInstanceKlass::is_java_lang_Object() const {
duke@1 211 return equals(CURRENT_ENV->Object_klass());
duke@1 212 }
duke@1 213
duke@1 214 // ------------------------------------------------------------------
duke@1 215 // ciInstanceKlass::uses_default_loader
kvn@17383 216 bool ciInstanceKlass::uses_default_loader() const {
twisti@4567 217 // Note: We do not need to resolve the handle or enter the VM
twisti@4567 218 // in order to test null-ness.
twisti@4567 219 return _loader == NULL;
twisti@4567 220 }
twisti@4567 221
twisti@4567 222 // ------------------------------------------------------------------
kvn@17383 223
kvn@17383 224 /**
kvn@17383 225 * Return basic type of boxed value for box klass or T_OBJECT if not.
kvn@17383 226 */
kvn@17383 227 BasicType ciInstanceKlass::box_klass_type() const {
kvn@17383 228 if (uses_default_loader() && is_loaded()) {
kvn@17383 229 return SystemDictionary::box_klass_type(get_Klass());
kvn@17383 230 } else {
kvn@17383 231 return T_OBJECT;
kvn@17383 232 }
kvn@17383 233 }
kvn@17383 234
kvn@17383 235 /**
kvn@17383 236 * Is this boxing klass?
kvn@17383 237 */
kvn@17383 238 bool ciInstanceKlass::is_box_klass() const {
kvn@17383 239 return is_java_primitive(box_klass_type());
kvn@17383 240 }
kvn@17383 241
kvn@17383 242 /**
kvn@17383 243 * Is this boxed value offset?
kvn@17383 244 */
kvn@17383 245 bool ciInstanceKlass::is_boxed_value_offset(int offset) const {
kvn@17383 246 BasicType bt = box_klass_type();
kvn@17383 247 return is_java_primitive(bt) &&
kvn@17383 248 (offset == java_lang_boxing_object::value_offset_in_bytes(bt));
kvn@17383 249 }
kvn@17383 250
kvn@17383 251 // ------------------------------------------------------------------
twisti@4567 252 // ciInstanceKlass::is_in_package
twisti@4567 253 //
twisti@4567 254 // Is this klass in the given package?
twisti@4567 255 bool ciInstanceKlass::is_in_package(const char* packagename, int len) {
twisti@4567 256 // To avoid class loader mischief, this test always rejects application classes.
twisti@4567 257 if (!uses_default_loader())
twisti@4567 258 return false;
twisti@4567 259 GUARDED_VM_ENTRY(
twisti@4567 260 return is_in_package_impl(packagename, len);
twisti@4567 261 )
twisti@4567 262 }
twisti@4567 263
twisti@4567 264 bool ciInstanceKlass::is_in_package_impl(const char* packagename, int len) {
twisti@4567 265 ASSERT_IN_VM;
twisti@4567 266
twisti@4567 267 // If packagename contains trailing '/' exclude it from the
twisti@4567 268 // prefix-test since we test for it explicitly.
twisti@4567 269 if (packagename[len - 1] == '/')
twisti@4567 270 len--;
twisti@4567 271
twisti@4567 272 if (!name()->starts_with(packagename, len))
twisti@4567 273 return false;
twisti@4567 274
twisti@4567 275 // Test if the class name is something like "java/lang".
twisti@4567 276 if ((len + 1) > name()->utf8_length())
twisti@4567 277 return false;
twisti@4567 278
twisti@4567 279 // Test for trailing '/'
twisti@4567 280 if ((char) name()->byte_at(len) != '/')
twisti@4567 281 return false;
twisti@4567 282
twisti@4567 283 // Make sure it's not actually in a subpackage:
twisti@4567 284 if (name()->index_of_at(len+1, "/", 1) >= 0)
twisti@4567 285 return false;
twisti@4567 286
twisti@4567 287 return true;
duke@1 288 }
duke@1 289
duke@1 290 // ------------------------------------------------------------------
duke@1 291 // ciInstanceKlass::print_impl
duke@1 292 //
duke@1 293 // Implementation of the print method.
duke@1 294 void ciInstanceKlass::print_impl(outputStream* st) {
duke@1 295 ciKlass::print_impl(st);
drchase@24424 296 GUARDED_VM_ENTRY(st->print(" loader=" INTPTR_FORMAT, p2i((address)loader()));)
duke@1 297 if (is_loaded()) {
duke@1 298 st->print(" loaded=true initialized=%s finalized=%s subklass=%s size=%d flags=",
duke@1 299 bool_to_str(is_initialized()),
duke@1 300 bool_to_str(has_finalizer()),
duke@1 301 bool_to_str(has_subklass()),
duke@1 302 layout_helper());
duke@1 303
duke@1 304 _flags.print_klass_flags();
duke@1 305
duke@1 306 if (_super) {
duke@1 307 st->print(" super=");
duke@1 308 _super->print_name();
duke@1 309 }
duke@1 310 if (_java_mirror) {
duke@1 311 st->print(" mirror=PRESENT");
duke@1 312 }
duke@1 313 } else {
duke@1 314 st->print(" loaded=false");
duke@1 315 }
duke@1 316 }
duke@1 317
duke@1 318 // ------------------------------------------------------------------
duke@1 319 // ciInstanceKlass::super
duke@1 320 //
duke@1 321 // Get the superklass of this klass.
duke@1 322 ciInstanceKlass* ciInstanceKlass::super() {
duke@1 323 assert(is_loaded(), "must be loaded");
duke@1 324 if (_super == NULL && !is_java_lang_Object()) {
duke@1 325 GUARDED_VM_ENTRY(
coleenp@13728 326 Klass* super_klass = get_instanceKlass()->super();
coleenp@13728 327 _super = CURRENT_ENV->get_instance_klass(super_klass);
duke@1 328 )
duke@1 329 }
duke@1 330 return _super;
duke@1 331 }
duke@1 332
duke@1 333 // ------------------------------------------------------------------
duke@1 334 // ciInstanceKlass::java_mirror
duke@1 335 //
duke@1 336 // Get the instance of java.lang.Class corresponding to this klass.
jrose@5884 337 // Cache it on this->_java_mirror.
duke@1 338 ciInstance* ciInstanceKlass::java_mirror() {
never@8725 339 if (is_shared()) {
never@8725 340 return ciKlass::java_mirror();
never@8725 341 }
duke@1 342 if (_java_mirror == NULL) {
jrose@5884 343 _java_mirror = ciKlass::java_mirror();
duke@1 344 }
duke@1 345 return _java_mirror;
duke@1 346 }
duke@1 347
duke@1 348 // ------------------------------------------------------------------
duke@1 349 // ciInstanceKlass::unique_concrete_subklass
duke@1 350 ciInstanceKlass* ciInstanceKlass::unique_concrete_subklass() {
duke@1 351 if (!is_loaded()) return NULL; // No change if class is not loaded
duke@1 352 if (!is_abstract()) return NULL; // Only applies to abstract classes.
duke@1 353 if (!has_subklass()) return NULL; // Must have at least one subklass.
duke@1 354 VM_ENTRY_MARK;
coleenp@13728 355 InstanceKlass* ik = get_instanceKlass();
duke@1 356 Klass* up = ik->up_cast_abstract();
coleenp@13728 357 assert(up->oop_is_instance(), "must be InstanceKlass");
duke@1 358 if (ik == up) {
duke@1 359 return NULL;
duke@1 360 }
coleenp@13728 361 return CURRENT_THREAD_ENV->get_instance_klass(up);
duke@1 362 }
duke@1 363
duke@1 364 // ------------------------------------------------------------------
duke@1 365 // ciInstanceKlass::has_finalizable_subclass
duke@1 366 bool ciInstanceKlass::has_finalizable_subclass() {
duke@1 367 if (!is_loaded()) return true;
duke@1 368 VM_ENTRY_MARK;
duke@1 369 return Dependencies::find_finalizable_subclass(get_instanceKlass()) != NULL;
duke@1 370 }
duke@1 371
duke@1 372 // ------------------------------------------------------------------
duke@1 373 // ciInstanceKlass::get_field_by_offset
duke@1 374 ciField* ciInstanceKlass::get_field_by_offset(int field_offset, bool is_static) {
duke@1 375 if (!is_static) {
duke@1 376 for (int i = 0, len = nof_nonstatic_fields(); i < len; i++) {
duke@1 377 ciField* field = _nonstatic_fields->at(i);
duke@1 378 int field_off = field->offset_in_bytes();
duke@1 379 if (field_off == field_offset)
duke@1 380 return field;
duke@1 381 if (field_off > field_offset)
duke@1 382 break;
duke@1 383 // could do binary search or check bins, but probably not worth it
duke@1 384 }
duke@1 385 return NULL;
duke@1 386 }
duke@1 387 VM_ENTRY_MARK;
coleenp@13728 388 InstanceKlass* k = get_instanceKlass();
duke@1 389 fieldDescriptor fd;
duke@1 390 if (!k->find_field_from_offset(field_offset, is_static, &fd)) {
duke@1 391 return NULL;
duke@1 392 }
duke@1 393 ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd);
duke@1 394 return field;
duke@1 395 }
duke@1 396
kvn@217 397 // ------------------------------------------------------------------
never@4450 398 // ciInstanceKlass::get_field_by_name
never@4450 399 ciField* ciInstanceKlass::get_field_by_name(ciSymbol* name, ciSymbol* signature, bool is_static) {
never@4450 400 VM_ENTRY_MARK;
coleenp@13728 401 InstanceKlass* k = get_instanceKlass();
never@4450 402 fieldDescriptor fd;
coleenp@13728 403 Klass* def = k->find_field(name->get_symbol(), signature->get_symbol(), is_static, &fd);
never@4450 404 if (def == NULL) {
never@4450 405 return NULL;
never@4450 406 }
never@4450 407 ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd);
never@4450 408 return field;
never@4450 409 }
never@4450 410
kvn@217 411
duke@1 412 static int sort_field_by_offset(ciField** a, ciField** b) {
duke@1 413 return (*a)->offset_in_bytes() - (*b)->offset_in_bytes();
duke@1 414 // (no worries about 32-bit overflow...)
duke@1 415 }
duke@1 416
duke@1 417 // ------------------------------------------------------------------
duke@1 418 // ciInstanceKlass::compute_nonstatic_fields
duke@1 419 int ciInstanceKlass::compute_nonstatic_fields() {
duke@1 420 assert(is_loaded(), "must be loaded");
duke@1 421
duke@1 422 if (_nonstatic_fields != NULL)
duke@1 423 return _nonstatic_fields->length();
duke@1 424
coleenp@360 425 if (!has_nonstatic_fields()) {
duke@1 426 Arena* arena = CURRENT_ENV->arena();
duke@1 427 _nonstatic_fields = new (arena) GrowableArray<ciField*>(arena, 0, 0, NULL);
duke@1 428 return 0;
duke@1 429 }
duke@1 430 assert(!is_java_lang_Object(), "bootstrap OK");
duke@1 431
coleenp@360 432 // Size in bytes of my fields, including inherited fields.
kvn@591 433 int fsize = nonstatic_field_size() * heapOopSize;
coleenp@360 434
duke@1 435 ciInstanceKlass* super = this->super();
duke@1 436 GrowableArray<ciField*>* super_fields = NULL;
coleenp@360 437 if (super != NULL && super->has_nonstatic_fields()) {
kvn@591 438 int super_fsize = super->nonstatic_field_size() * heapOopSize;
coleenp@360 439 int super_flen = super->nof_nonstatic_fields();
duke@1 440 super_fields = super->_nonstatic_fields;
duke@1 441 assert(super_flen == 0 || super_fields != NULL, "first get nof_fields");
coleenp@360 442 // See if I am no larger than my super; if so, I can use his fields.
coleenp@360 443 if (fsize == super_fsize) {
coleenp@360 444 _nonstatic_fields = super_fields;
coleenp@360 445 return super_fields->length();
coleenp@360 446 }
duke@1 447 }
duke@1 448
duke@1 449 GrowableArray<ciField*>* fields = NULL;
duke@1 450 GUARDED_VM_ENTRY({
duke@1 451 fields = compute_nonstatic_fields_impl(super_fields);
duke@1 452 });
duke@1 453
duke@1 454 if (fields == NULL) {
duke@1 455 // This can happen if this class (java.lang.Class) has invisible fields.
vlivanov@31037 456 if (super_fields != NULL) {
vlivanov@31037 457 _nonstatic_fields = super_fields;
vlivanov@31037 458 return super_fields->length();
vlivanov@31037 459 } else {
vlivanov@31037 460 return 0;
vlivanov@31037 461 }
duke@1 462 }
duke@1 463
duke@1 464 int flen = fields->length();
duke@1 465
duke@1 466 // Now sort them by offset, ascending.
duke@1 467 // (In principle, they could mix with superclass fields.)
duke@1 468 fields->sort(sort_field_by_offset);
duke@1 469 _nonstatic_fields = fields;
duke@1 470 return flen;
duke@1 471 }
duke@1 472
duke@1 473 GrowableArray<ciField*>*
duke@1 474 ciInstanceKlass::compute_nonstatic_fields_impl(GrowableArray<ciField*>*
duke@1 475 super_fields) {
duke@1 476 ASSERT_IN_VM;
duke@1 477 Arena* arena = CURRENT_ENV->arena();
duke@1 478 int flen = 0;
duke@1 479 GrowableArray<ciField*>* fields = NULL;
coleenp@13728 480 InstanceKlass* k = get_instanceKlass();
never@10546 481 for (JavaFieldStream fs(k); !fs.done(); fs.next()) {
never@10546 482 if (fs.access_flags().is_static()) continue;
never@10546 483 flen += 1;
never@10546 484 }
duke@1 485
never@10546 486 // allocate the array:
never@10546 487 if (flen == 0) {
never@10546 488 return NULL; // return nothing if none are locally declared
never@10546 489 }
never@10546 490 if (super_fields != NULL) {
never@10546 491 flen += super_fields->length();
never@10546 492 }
never@10546 493 fields = new (arena) GrowableArray<ciField*>(arena, flen, 0, NULL);
never@10546 494 if (super_fields != NULL) {
never@10546 495 fields->appendAll(super_fields);
never@10546 496 }
never@10546 497
never@10546 498 for (JavaFieldStream fs(k); !fs.done(); fs.next()) {
never@10546 499 if (fs.access_flags().is_static()) continue;
drchase@20017 500 fieldDescriptor& fd = fs.field_descriptor();
never@10546 501 ciField* field = new (arena) ciField(&fd);
never@10546 502 fields->append(field);
duke@1 503 }
duke@1 504 assert(fields->length() == flen, "sanity");
duke@1 505 return fields;
duke@1 506 }
duke@1 507
roland@28933 508 bool ciInstanceKlass::compute_injected_fields_helper() {
roland@28396 509 ASSERT_IN_VM;
roland@28396 510 InstanceKlass* k = get_instanceKlass();
roland@28396 511
roland@28396 512 for (InternalFieldStream fs(k); !fs.done(); fs.next()) {
roland@28396 513 if (fs.access_flags().is_static()) continue;
roland@28933 514 return true;
roland@28396 515 }
roland@28933 516 return false;
roland@28396 517 }
roland@28396 518
roland@28933 519 void ciInstanceKlass::compute_injected_fields() {
roland@28396 520 assert(is_loaded(), "must be loaded");
roland@28396 521
roland@28933 522 int has_injected_fields = 0;
roland@28396 523 if (super() != NULL && super()->has_injected_fields()) {
roland@28933 524 has_injected_fields = 1;
roland@28933 525 } else {
roland@28933 526 GUARDED_VM_ENTRY({
roland@28933 527 has_injected_fields = compute_injected_fields_helper() ? 1 : 0;
roland@28933 528 });
roland@28396 529 }
roland@28933 530 // may be concurrently initialized for shared ciInstanceKlass objects
roland@28933 531 assert(_has_injected_fields == -1 || _has_injected_fields == has_injected_fields, "broken concurrent initialization");
roland@28933 532 _has_injected_fields = has_injected_fields;
roland@28396 533 }
roland@28396 534
duke@1 535 // ------------------------------------------------------------------
duke@1 536 // ciInstanceKlass::find_method
duke@1 537 //
duke@1 538 // Find a method in this klass.
duke@1 539 ciMethod* ciInstanceKlass::find_method(ciSymbol* name, ciSymbol* signature) {
duke@1 540 VM_ENTRY_MARK;
coleenp@13728 541 InstanceKlass* k = get_instanceKlass();
coleenp@8076 542 Symbol* name_sym = name->get_symbol();
coleenp@8076 543 Symbol* sig_sym= signature->get_symbol();
duke@1 544
coleenp@13728 545 Method* m = k->find_method(name_sym, sig_sym);
duke@1 546 if (m == NULL) return NULL;
duke@1 547
coleenp@13728 548 return CURRENT_THREAD_ENV->get_method(m);
duke@1 549 }
duke@1 550
duke@1 551 // ------------------------------------------------------------------
duke@1 552 // ciInstanceKlass::is_leaf_type
duke@1 553 bool ciInstanceKlass::is_leaf_type() {
duke@1 554 assert(is_loaded(), "must be loaded");
duke@1 555 if (is_shared()) {
duke@1 556 return is_final(); // approximately correct
duke@1 557 } else {
jiangli@12369 558 return !_has_subklass && (nof_implementors() == 0);
duke@1 559 }
duke@1 560 }
duke@1 561
duke@1 562 // ------------------------------------------------------------------
duke@1 563 // ciInstanceKlass::implementor
duke@1 564 //
duke@1 565 // Report an implementor of this interface.
duke@1 566 // Note that there are various races here, since my copy
duke@1 567 // of _nof_implementors might be out of date with respect
coleenp@13728 568 // to results returned by InstanceKlass::implementor.
duke@1 569 // This is OK, since any dependencies we decide to assert
duke@1 570 // will be checked later under the Compile_lock.
jiangli@12369 571 ciInstanceKlass* ciInstanceKlass::implementor() {
jiangli@12369 572 ciInstanceKlass* impl = _implementor;
duke@1 573 if (impl == NULL) {
duke@1 574 // Go into the VM to fetch the implementor.
duke@1 575 {
duke@1 576 VM_ENTRY_MARK;
coleenp@13728 577 Klass* k = get_instanceKlass()->implementor();
duke@1 578 if (k != NULL) {
coleenp@13728 579 if (k == get_instanceKlass()) {
jiangli@12369 580 // More than one implementors. Use 'this' in this case.
jiangli@12369 581 impl = this;
jiangli@12369 582 } else {
coleenp@13728 583 impl = CURRENT_THREAD_ENV->get_instance_klass(k);
jiangli@12369 584 }
duke@1 585 }
duke@1 586 }
duke@1 587 // Memoize this result.
duke@1 588 if (!is_shared()) {
jiangli@12369 589 _implementor = impl;
duke@1 590 }
duke@1 591 }
duke@1 592 return impl;
duke@1 593 }
minqi@14477 594
minqi@14477 595 // Utility class for printing of the contents of the static fields for
minqi@14477 596 // use by compilation replay. It only prints out the information that
minqi@14477 597 // could be consumed by the compiler, so for primitive types it prints
minqi@14477 598 // out the actual value. For Strings it's the actual string value.
minqi@14477 599 // For array types it it's first level array size since that's the
minqi@14477 600 // only value which statically unchangeable. For all other reference
minqi@14477 601 // types it simply prints out the dynamic type.
minqi@14477 602
minqi@14477 603 class StaticFinalFieldPrinter : public FieldClosure {
minqi@14477 604 outputStream* _out;
minqi@14477 605 const char* _holder;
minqi@14477 606 public:
minqi@14477 607 StaticFinalFieldPrinter(outputStream* out, const char* holder) :
minqi@14477 608 _out(out),
minqi@14477 609 _holder(holder) {
minqi@14477 610 }
minqi@14477 611 void do_field(fieldDescriptor* fd) {
minqi@14477 612 if (fd->is_final() && !fd->has_initial_value()) {
vlivanov@15471 613 ResourceMark rm;
minqi@14477 614 oop mirror = fd->field_holder()->java_mirror();
minqi@14477 615 _out->print("staticfield %s %s %s ", _holder, fd->name()->as_quoted_ascii(), fd->signature()->as_quoted_ascii());
minqi@14477 616 switch (fd->field_type()) {
minqi@14477 617 case T_BYTE: _out->print_cr("%d", mirror->byte_field(fd->offset())); break;
minqi@14477 618 case T_BOOLEAN: _out->print_cr("%d", mirror->bool_field(fd->offset())); break;
minqi@14477 619 case T_SHORT: _out->print_cr("%d", mirror->short_field(fd->offset())); break;
minqi@14477 620 case T_CHAR: _out->print_cr("%d", mirror->char_field(fd->offset())); break;
minqi@14477 621 case T_INT: _out->print_cr("%d", mirror->int_field(fd->offset())); break;
drchase@24424 622 case T_LONG: _out->print_cr(INT64_FORMAT, (int64_t)(mirror->long_field(fd->offset()))); break;
minqi@14477 623 case T_FLOAT: {
minqi@14477 624 float f = mirror->float_field(fd->offset());
minqi@14477 625 _out->print_cr("%d", *(int*)&f);
minqi@14477 626 break;
minqi@14477 627 }
minqi@14477 628 case T_DOUBLE: {
minqi@14477 629 double d = mirror->double_field(fd->offset());
drchase@24424 630 _out->print_cr(INT64_FORMAT, *(int64_t*)&d);
minqi@14477 631 break;
minqi@14477 632 }
minqi@14477 633 case T_ARRAY: {
minqi@14477 634 oop value = mirror->obj_field_acquire(fd->offset());
minqi@14477 635 if (value == NULL) {
minqi@14477 636 _out->print_cr("null");
minqi@14477 637 } else {
minqi@14477 638 typeArrayOop ta = (typeArrayOop)value;
minqi@14477 639 _out->print("%d", ta->length());
minqi@14477 640 if (value->is_objArray()) {
minqi@14477 641 objArrayOop oa = (objArrayOop)value;
minqi@14477 642 const char* klass_name = value->klass()->name()->as_quoted_ascii();
minqi@14477 643 _out->print(" %s", klass_name);
minqi@14477 644 }
minqi@14477 645 _out->cr();
minqi@14477 646 }
minqi@14477 647 break;
minqi@14477 648 }
minqi@14477 649 case T_OBJECT: {
minqi@14477 650 oop value = mirror->obj_field_acquire(fd->offset());
minqi@14477 651 if (value == NULL) {
minqi@14477 652 _out->print_cr("null");
minqi@14477 653 } else if (value->is_instance()) {
minqi@14477 654 if (value->is_a(SystemDictionary::String_klass())) {
minqi@14477 655 _out->print("\"");
minqi@14477 656 _out->print_raw(java_lang_String::as_quoted_ascii(value));
minqi@14477 657 _out->print_cr("\"");
minqi@14477 658 } else {
minqi@14477 659 const char* klass_name = value->klass()->name()->as_quoted_ascii();
drchase@24424 660 _out->print_cr("%s", klass_name);
minqi@14477 661 }
minqi@14477 662 } else {
minqi@14477 663 ShouldNotReachHere();
minqi@14477 664 }
minqi@14477 665 break;
minqi@14477 666 }
minqi@14477 667 default:
minqi@14477 668 ShouldNotReachHere();
minqi@14477 669 }
minqi@14477 670 }
minqi@14477 671 }
minqi@14477 672 };
minqi@14477 673
minqi@14477 674
minqi@14477 675 void ciInstanceKlass::dump_replay_data(outputStream* out) {
vlivanov@15471 676 ResourceMark rm;
vlivanov@15471 677
minqi@14477 678 InstanceKlass* ik = get_instanceKlass();
minqi@14477 679 ConstantPool* cp = ik->constants();
minqi@14477 680
minqi@14477 681 // Try to record related loaded classes
minqi@14477 682 Klass* sub = ik->subklass();
minqi@14477 683 while (sub != NULL) {
minqi@14477 684 if (sub->oop_is_instance()) {
minqi@14477 685 out->print_cr("instanceKlass %s", sub->name()->as_quoted_ascii());
minqi@14477 686 }
minqi@14477 687 sub = sub->next_sibling();
minqi@14477 688 }
minqi@14477 689
minqi@14477 690 // Dump out the state of the constant pool tags. During replay the
minqi@14477 691 // tags will be validated for things which shouldn't change and
minqi@14477 692 // classes will be resolved if the tags indicate that they were
minqi@14477 693 // resolved at compile time.
minqi@14477 694 out->print("ciInstanceKlass %s %d %d %d", ik->name()->as_quoted_ascii(),
minqi@14477 695 is_linked(), is_initialized(), cp->length());
minqi@14477 696 for (int index = 1; index < cp->length(); index++) {
minqi@14477 697 out->print(" %d", cp->tags()->at(index));
minqi@14477 698 }
minqi@14477 699 out->cr();
minqi@14477 700 if (is_initialized()) {
minqi@14477 701 // Dump out the static final fields in case the compilation relies
minqi@14477 702 // on their value for correct replay.
minqi@14477 703 StaticFinalFieldPrinter sffp(out, ik->name()->as_quoted_ascii());
minqi@14477 704 ik->do_local_static_fields(&sffp);
minqi@14477 705 }
minqi@14477 706 }