annotate hotspot/src/share/vm/ci/ciInstanceKlass.cpp @ 17383:3665c0901a0d

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