annotate src/share/vm/ci/ciInstanceKlass.cpp @ 3762:5c0a3c1858b1

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