annotate src/share/vm/ci/ciInstanceKlass.cpp @ 2044:06f017f7daa7

Merge.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Fri, 07 Jan 2011 18:18:08 +0100
parents 2d26b0046e0d f95d63e2154a
children d25d4ca69222
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1645
3941674cc7fa 6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents: 1604
diff changeset
2 * Copyright (c) 1999, 2010, 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");
a61af66fc99e Initial load
duke
parents:
diff changeset
49 instanceKlass* ik = get_instanceKlass();
a61af66fc99e Initial load
duke
parents:
diff changeset
50
a61af66fc99e Initial load
duke
parents:
diff changeset
51 AccessFlags access_flags = ik->access_flags();
a61af66fc99e Initial load
duke
parents:
diff changeset
52 _flags = ciFlags(access_flags);
a61af66fc99e Initial load
duke
parents:
diff changeset
53 _has_finalizer = access_flags.has_finalizer();
a61af66fc99e Initial load
duke
parents:
diff changeset
54 _has_subklass = ik->subklass() != NULL;
1645
3941674cc7fa 6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents: 1604
diff changeset
55 _init_state = (instanceKlass::ClassState)ik->get_init_state();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
56 _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
57 _has_nonstatic_fields = ik->has_nonstatic_fields();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
58 _nonstatic_fields = NULL; // initialized lazily by compute_nonstatic_fields:
a61af66fc99e Initial load
duke
parents:
diff changeset
59
a61af66fc99e Initial load
duke
parents:
diff changeset
60 _nof_implementors = ik->nof_implementors();
a61af66fc99e Initial load
duke
parents:
diff changeset
61 for (int i = 0; i < implementors_limit; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
62 _implementors[i] = NULL; // we will fill these lazily
a61af66fc99e Initial load
duke
parents:
diff changeset
63 }
a61af66fc99e Initial load
duke
parents:
diff changeset
64
a61af66fc99e Initial load
duke
parents:
diff changeset
65 Thread *thread = Thread::current();
1422
3483ec571caf * using reflected objects instead of oops
Lukas Stadler <lukas.stadler@oracle.com>
parents: 1142
diff changeset
66 if (ciObjectFactory::is_initialized() && !UseC1X) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
67 _loader = JNIHandles::make_local(thread, ik->class_loader());
1422
3483ec571caf * using reflected objects instead of oops
Lukas Stadler <lukas.stadler@oracle.com>
parents: 1142
diff changeset
68 _protection_domain = JNIHandles::make_local(thread, ik->protection_domain());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
69 _is_shared = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
70 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
71 Handle h_loader(thread, ik->class_loader());
a61af66fc99e Initial load
duke
parents:
diff changeset
72 Handle h_protection_domain(thread, ik->protection_domain());
a61af66fc99e Initial load
duke
parents:
diff changeset
73 _loader = JNIHandles::make_global(h_loader);
a61af66fc99e Initial load
duke
parents:
diff changeset
74 _protection_domain = JNIHandles::make_global(h_protection_domain);
1478
5571b97fc1ec More JNI global handle clean ups.
Thomas Wuerthinger <wuerthinger@ssw.jku.at>
parents: 1422
diff changeset
75 _is_shared = !ciObjectFactory::is_initialized();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
76 }
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 // Lazy fields get filled in only upon request.
a61af66fc99e Initial load
duke
parents:
diff changeset
79 _super = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
80 _java_mirror = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
81
a61af66fc99e Initial load
duke
parents:
diff changeset
82 if (is_shared()) {
1142
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1138
diff changeset
83 if (h_k() != SystemDictionary::Object_klass()) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
84 super();
a61af66fc99e Initial load
duke
parents:
diff changeset
85 }
a61af66fc99e Initial load
duke
parents:
diff changeset
86 java_mirror();
a61af66fc99e Initial load
duke
parents:
diff changeset
87 //compute_nonstatic_fields(); // done outside of constructor
a61af66fc99e Initial load
duke
parents:
diff changeset
88 }
a61af66fc99e Initial load
duke
parents:
diff changeset
89
a61af66fc99e Initial load
duke
parents:
diff changeset
90 _field_cache = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
91 }
a61af66fc99e Initial load
duke
parents:
diff changeset
92
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // Version for unloaded classes:
a61af66fc99e Initial load
duke
parents:
diff changeset
94 ciInstanceKlass::ciInstanceKlass(ciSymbol* name,
a61af66fc99e Initial load
duke
parents:
diff changeset
95 jobject loader, jobject protection_domain)
a61af66fc99e Initial load
duke
parents:
diff changeset
96 : ciKlass(name, ciInstanceKlassKlass::make())
a61af66fc99e Initial load
duke
parents:
diff changeset
97 {
a61af66fc99e Initial load
duke
parents:
diff changeset
98 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
99 _init_state = (instanceKlass::ClassState)0;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
100 _nonstatic_field_size = -1;
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
101 _has_nonstatic_fields = false;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
102 _nonstatic_fields = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
103 _nof_implementors = -1;
a61af66fc99e Initial load
duke
parents:
diff changeset
104 _loader = loader;
a61af66fc99e Initial load
duke
parents:
diff changeset
105 _protection_domain = protection_domain;
a61af66fc99e Initial load
duke
parents:
diff changeset
106 _is_shared = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
107 _super = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
108 _java_mirror = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
109 _field_cache = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
110 }
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 // ciInstanceKlass::compute_shared_is_initialized
1645
3941674cc7fa 6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents: 1604
diff changeset
116 void ciInstanceKlass::compute_shared_init_state() {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
117 GUARDED_VM_ENTRY(
a61af66fc99e Initial load
duke
parents:
diff changeset
118 instanceKlass* ik = get_instanceKlass();
1645
3941674cc7fa 6958668: repeated uncommon trapping for new of klass which is being initialized
never
parents: 1604
diff changeset
119 _init_state = (instanceKlass::ClassState)ik->get_init_state();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
120 )
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 // ciInstanceKlass::compute_shared_has_subklass
a61af66fc99e Initial load
duke
parents:
diff changeset
125 bool ciInstanceKlass::compute_shared_has_subklass() {
a61af66fc99e Initial load
duke
parents:
diff changeset
126 GUARDED_VM_ENTRY(
a61af66fc99e Initial load
duke
parents:
diff changeset
127 instanceKlass* ik = get_instanceKlass();
a61af66fc99e Initial load
duke
parents:
diff changeset
128 _has_subklass = ik->subklass() != NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
129 return _has_subklass;
a61af66fc99e Initial load
duke
parents:
diff changeset
130 )
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 // ciInstanceKlass::compute_shared_nof_implementors
a61af66fc99e Initial load
duke
parents:
diff changeset
135 int ciInstanceKlass::compute_shared_nof_implementors() {
a61af66fc99e Initial load
duke
parents:
diff changeset
136 // We requery this property, since it is a very old ciObject.
a61af66fc99e Initial load
duke
parents:
diff changeset
137 GUARDED_VM_ENTRY(
a61af66fc99e Initial load
duke
parents:
diff changeset
138 instanceKlass* ik = get_instanceKlass();
a61af66fc99e Initial load
duke
parents:
diff changeset
139 _nof_implementors = ik->nof_implementors();
a61af66fc99e Initial load
duke
parents:
diff changeset
140 return _nof_implementors;
a61af66fc99e Initial load
duke
parents:
diff changeset
141 )
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 // ciInstanceKlass::loader
a61af66fc99e Initial load
duke
parents:
diff changeset
146 oop ciInstanceKlass::loader() {
a61af66fc99e Initial load
duke
parents:
diff changeset
147 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
148 return JNIHandles::resolve(_loader);
a61af66fc99e Initial load
duke
parents:
diff changeset
149 }
a61af66fc99e Initial load
duke
parents:
diff changeset
150
a61af66fc99e Initial load
duke
parents:
diff changeset
151 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
152 // ciInstanceKlass::loader_handle
a61af66fc99e Initial load
duke
parents:
diff changeset
153 jobject ciInstanceKlass::loader_handle() {
a61af66fc99e Initial load
duke
parents:
diff changeset
154 return _loader;
a61af66fc99e Initial load
duke
parents:
diff changeset
155 }
a61af66fc99e Initial load
duke
parents:
diff changeset
156
a61af66fc99e Initial load
duke
parents:
diff changeset
157 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
158 // ciInstanceKlass::protection_domain
a61af66fc99e Initial load
duke
parents:
diff changeset
159 oop ciInstanceKlass::protection_domain() {
a61af66fc99e Initial load
duke
parents:
diff changeset
160 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
161 return JNIHandles::resolve(_protection_domain);
a61af66fc99e Initial load
duke
parents:
diff changeset
162 }
a61af66fc99e Initial load
duke
parents:
diff changeset
163
a61af66fc99e Initial load
duke
parents:
diff changeset
164 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
165 // ciInstanceKlass::protection_domain_handle
a61af66fc99e Initial load
duke
parents:
diff changeset
166 jobject ciInstanceKlass::protection_domain_handle() {
a61af66fc99e Initial load
duke
parents:
diff changeset
167 return _protection_domain;
a61af66fc99e Initial load
duke
parents:
diff changeset
168 }
a61af66fc99e Initial load
duke
parents:
diff changeset
169
a61af66fc99e Initial load
duke
parents:
diff changeset
170 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
171 // ciInstanceKlass::field_cache
a61af66fc99e Initial load
duke
parents:
diff changeset
172 //
a61af66fc99e Initial load
duke
parents:
diff changeset
173 // Get the field cache associated with this klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
174 ciConstantPoolCache* ciInstanceKlass::field_cache() {
a61af66fc99e Initial load
duke
parents:
diff changeset
175 if (is_shared()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
176 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
177 }
a61af66fc99e Initial load
duke
parents:
diff changeset
178 if (_field_cache == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
179 assert(!is_java_lang_Object(), "Object has no fields");
a61af66fc99e Initial load
duke
parents:
diff changeset
180 Arena* arena = CURRENT_ENV->arena();
a61af66fc99e Initial load
duke
parents:
diff changeset
181 _field_cache = new (arena) ciConstantPoolCache(arena, 5);
a61af66fc99e Initial load
duke
parents:
diff changeset
182 }
a61af66fc99e Initial load
duke
parents:
diff changeset
183 return _field_cache;
a61af66fc99e Initial load
duke
parents:
diff changeset
184 }
a61af66fc99e Initial load
duke
parents:
diff changeset
185
a61af66fc99e Initial load
duke
parents:
diff changeset
186 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
187 // ciInstanceKlass::get_canonical_holder
a61af66fc99e Initial load
duke
parents:
diff changeset
188 //
a61af66fc99e Initial load
duke
parents:
diff changeset
189 ciInstanceKlass* ciInstanceKlass::get_canonical_holder(int offset) {
a61af66fc99e Initial load
duke
parents:
diff changeset
190 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
191 if (!(offset >= 0 && offset < layout_helper())) {
a61af66fc99e Initial load
duke
parents:
diff changeset
192 tty->print("*** get_canonical_holder(%d) on ", offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
193 this->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
194 tty->print_cr(" ***");
a61af66fc99e Initial load
duke
parents:
diff changeset
195 };
a61af66fc99e Initial load
duke
parents:
diff changeset
196 assert(offset >= 0 && offset < layout_helper(), "offset must be tame");
a61af66fc99e Initial load
duke
parents:
diff changeset
197 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
198
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
199 if (offset < instanceOopDesc::base_offset_in_bytes()) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
200 // All header offsets belong properly to java/lang/Object.
a61af66fc99e Initial load
duke
parents:
diff changeset
201 return CURRENT_ENV->Object_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
202 }
a61af66fc99e Initial load
duke
parents:
diff changeset
203
a61af66fc99e Initial load
duke
parents:
diff changeset
204 ciInstanceKlass* self = this;
a61af66fc99e Initial load
duke
parents:
diff changeset
205 for (;;) {
a61af66fc99e Initial load
duke
parents:
diff changeset
206 assert(self->is_loaded(), "must be loaded to have size");
a61af66fc99e Initial load
duke
parents:
diff changeset
207 ciInstanceKlass* super = self->super();
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
208 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
209 !super->contains_field_offset(offset)) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
210 return self;
a61af66fc99e Initial load
duke
parents:
diff changeset
211 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
212 self = super; // return super->get_canonical_holder(offset)
a61af66fc99e Initial load
duke
parents:
diff changeset
213 }
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 // ciInstanceKlass::is_java_lang_Object
a61af66fc99e Initial load
duke
parents:
diff changeset
219 //
a61af66fc99e Initial load
duke
parents:
diff changeset
220 // Is this klass java.lang.Object?
a61af66fc99e Initial load
duke
parents:
diff changeset
221 bool ciInstanceKlass::is_java_lang_Object() {
a61af66fc99e Initial load
duke
parents:
diff changeset
222 return equals(CURRENT_ENV->Object_klass());
a61af66fc99e Initial load
duke
parents:
diff changeset
223 }
a61af66fc99e Initial load
duke
parents:
diff changeset
224
a61af66fc99e Initial load
duke
parents:
diff changeset
225 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
226 // ciInstanceKlass::uses_default_loader
a61af66fc99e Initial load
duke
parents:
diff changeset
227 bool ciInstanceKlass::uses_default_loader() {
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
228 // 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
229 // in order to test null-ness.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
230 return _loader == NULL;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
231 }
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 // ciInstanceKlass::is_in_package
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
235 //
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
236 // Is this klass in the given package?
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
237 bool ciInstanceKlass::is_in_package(const char* packagename, int len) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
238 // 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
239 if (!uses_default_loader())
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
240 return false;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
241 GUARDED_VM_ENTRY(
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
242 return is_in_package_impl(packagename, len);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
243 )
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 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
247 ASSERT_IN_VM;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
248
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
249 // If packagename contains trailing '/' exclude it from the
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
250 // prefix-test since we test for it explicitly.
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
251 if (packagename[len - 1] == '/')
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
252 len--;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
253
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
254 if (!name()->starts_with(packagename, len))
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
255 return false;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
256
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
257 // Test if the class name is something like "java/lang".
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
258 if ((len + 1) > name()->utf8_length())
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
259 return false;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
260
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
261 // Test for trailing '/'
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
262 if ((char) name()->byte_at(len) != '/')
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
263 return false;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
264
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
265 // Make sure it's not actually in a subpackage:
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
266 if (name()->index_of_at(len+1, "/", 1) >= 0)
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
267 return false;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
268
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
269 return true;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
270 }
a61af66fc99e Initial load
duke
parents:
diff changeset
271
a61af66fc99e Initial load
duke
parents:
diff changeset
272 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
273 // ciInstanceKlass::print_impl
a61af66fc99e Initial load
duke
parents:
diff changeset
274 //
a61af66fc99e Initial load
duke
parents:
diff changeset
275 // Implementation of the print method.
a61af66fc99e Initial load
duke
parents:
diff changeset
276 void ciInstanceKlass::print_impl(outputStream* st) {
a61af66fc99e Initial load
duke
parents:
diff changeset
277 ciKlass::print_impl(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
278 GUARDED_VM_ENTRY(st->print(" loader=0x%x", (address)loader());)
a61af66fc99e Initial load
duke
parents:
diff changeset
279 if (is_loaded()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
280 st->print(" loaded=true initialized=%s finalized=%s subklass=%s size=%d flags=",
a61af66fc99e Initial load
duke
parents:
diff changeset
281 bool_to_str(is_initialized()),
a61af66fc99e Initial load
duke
parents:
diff changeset
282 bool_to_str(has_finalizer()),
a61af66fc99e Initial load
duke
parents:
diff changeset
283 bool_to_str(has_subklass()),
a61af66fc99e Initial load
duke
parents:
diff changeset
284 layout_helper());
a61af66fc99e Initial load
duke
parents:
diff changeset
285
a61af66fc99e Initial load
duke
parents:
diff changeset
286 _flags.print_klass_flags();
a61af66fc99e Initial load
duke
parents:
diff changeset
287
a61af66fc99e Initial load
duke
parents:
diff changeset
288 if (_super) {
a61af66fc99e Initial load
duke
parents:
diff changeset
289 st->print(" super=");
a61af66fc99e Initial load
duke
parents:
diff changeset
290 _super->print_name();
a61af66fc99e Initial load
duke
parents:
diff changeset
291 }
a61af66fc99e Initial load
duke
parents:
diff changeset
292 if (_java_mirror) {
a61af66fc99e Initial load
duke
parents:
diff changeset
293 st->print(" mirror=PRESENT");
a61af66fc99e Initial load
duke
parents:
diff changeset
294 }
a61af66fc99e Initial load
duke
parents:
diff changeset
295 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
296 st->print(" loaded=false");
a61af66fc99e Initial load
duke
parents:
diff changeset
297 }
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 // ciInstanceKlass::super
a61af66fc99e Initial load
duke
parents:
diff changeset
302 //
a61af66fc99e Initial load
duke
parents:
diff changeset
303 // Get the superklass of this klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
304 ciInstanceKlass* ciInstanceKlass::super() {
a61af66fc99e Initial load
duke
parents:
diff changeset
305 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
306 if (_super == NULL && !is_java_lang_Object()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
307 GUARDED_VM_ENTRY(
a61af66fc99e Initial load
duke
parents:
diff changeset
308 klassOop super_klass = get_instanceKlass()->super();
a61af66fc99e Initial load
duke
parents:
diff changeset
309 _super = CURRENT_ENV->get_object(super_klass)->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
310 )
a61af66fc99e Initial load
duke
parents:
diff changeset
311 }
a61af66fc99e Initial load
duke
parents:
diff changeset
312 return _super;
a61af66fc99e Initial load
duke
parents:
diff changeset
313 }
a61af66fc99e Initial load
duke
parents:
diff changeset
314
a61af66fc99e Initial load
duke
parents:
diff changeset
315 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
316 // ciInstanceKlass::java_mirror
a61af66fc99e Initial load
duke
parents:
diff changeset
317 //
a61af66fc99e Initial load
duke
parents:
diff changeset
318 // 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
319 // Cache it on this->_java_mirror.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
320 ciInstance* ciInstanceKlass::java_mirror() {
a61af66fc99e Initial load
duke
parents:
diff changeset
321 if (_java_mirror == NULL) {
1604
b918d354830a 6960865: ldc of unloaded class throws an assert in ciTypeFlow
jrose
parents: 1602
diff changeset
322 _java_mirror = ciKlass::java_mirror();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
323 }
a61af66fc99e Initial load
duke
parents:
diff changeset
324 return _java_mirror;
a61af66fc99e Initial load
duke
parents:
diff changeset
325 }
a61af66fc99e Initial load
duke
parents:
diff changeset
326
a61af66fc99e Initial load
duke
parents:
diff changeset
327 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
328 // ciInstanceKlass::unique_concrete_subklass
a61af66fc99e Initial load
duke
parents:
diff changeset
329 ciInstanceKlass* ciInstanceKlass::unique_concrete_subklass() {
a61af66fc99e Initial load
duke
parents:
diff changeset
330 if (!is_loaded()) return NULL; // No change if class is not loaded
a61af66fc99e Initial load
duke
parents:
diff changeset
331 if (!is_abstract()) return NULL; // Only applies to abstract classes.
a61af66fc99e Initial load
duke
parents:
diff changeset
332 if (!has_subklass()) return NULL; // Must have at least one subklass.
a61af66fc99e Initial load
duke
parents:
diff changeset
333 VM_ENTRY_MARK;
a61af66fc99e Initial load
duke
parents:
diff changeset
334 instanceKlass* ik = get_instanceKlass();
a61af66fc99e Initial load
duke
parents:
diff changeset
335 Klass* up = ik->up_cast_abstract();
a61af66fc99e Initial load
duke
parents:
diff changeset
336 assert(up->oop_is_instance(), "must be instanceKlass");
a61af66fc99e Initial load
duke
parents:
diff changeset
337 if (ik == up) {
a61af66fc99e Initial load
duke
parents:
diff changeset
338 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
339 }
a61af66fc99e Initial load
duke
parents:
diff changeset
340 return CURRENT_THREAD_ENV->get_object(up->as_klassOop())->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
341 }
a61af66fc99e Initial load
duke
parents:
diff changeset
342
a61af66fc99e Initial load
duke
parents:
diff changeset
343 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
344 // ciInstanceKlass::has_finalizable_subclass
a61af66fc99e Initial load
duke
parents:
diff changeset
345 bool ciInstanceKlass::has_finalizable_subclass() {
a61af66fc99e Initial load
duke
parents:
diff changeset
346 if (!is_loaded()) return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
347 VM_ENTRY_MARK;
a61af66fc99e Initial load
duke
parents:
diff changeset
348 return Dependencies::find_finalizable_subclass(get_instanceKlass()) != NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
349 }
a61af66fc99e Initial load
duke
parents:
diff changeset
350
a61af66fc99e Initial load
duke
parents:
diff changeset
351 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
352 // ciInstanceKlass::get_field_by_offset
a61af66fc99e Initial load
duke
parents:
diff changeset
353 ciField* ciInstanceKlass::get_field_by_offset(int field_offset, bool is_static) {
a61af66fc99e Initial load
duke
parents:
diff changeset
354 if (!is_static) {
a61af66fc99e Initial load
duke
parents:
diff changeset
355 for (int i = 0, len = nof_nonstatic_fields(); i < len; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
356 ciField* field = _nonstatic_fields->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
357 int field_off = field->offset_in_bytes();
a61af66fc99e Initial load
duke
parents:
diff changeset
358 if (field_off == field_offset)
a61af66fc99e Initial load
duke
parents:
diff changeset
359 return field;
a61af66fc99e Initial load
duke
parents:
diff changeset
360 if (field_off > field_offset)
a61af66fc99e Initial load
duke
parents:
diff changeset
361 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
362 // could do binary search or check bins, but probably not worth it
a61af66fc99e Initial load
duke
parents:
diff changeset
363 }
a61af66fc99e Initial load
duke
parents:
diff changeset
364 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
365 }
a61af66fc99e Initial load
duke
parents:
diff changeset
366 VM_ENTRY_MARK;
a61af66fc99e Initial load
duke
parents:
diff changeset
367 instanceKlass* k = get_instanceKlass();
a61af66fc99e Initial load
duke
parents:
diff changeset
368 fieldDescriptor fd;
a61af66fc99e Initial load
duke
parents:
diff changeset
369 if (!k->find_field_from_offset(field_offset, is_static, &fd)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
370 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
371 }
a61af66fc99e Initial load
duke
parents:
diff changeset
372 ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd);
a61af66fc99e Initial load
duke
parents:
diff changeset
373 return field;
a61af66fc99e Initial load
duke
parents:
diff changeset
374 }
a61af66fc99e Initial load
duke
parents:
diff changeset
375
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
376 // ------------------------------------------------------------------
1080
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
377 // ciInstanceKlass::get_field_by_name
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
378 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
379 VM_ENTRY_MARK;
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
380 instanceKlass* k = get_instanceKlass();
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
381 fieldDescriptor fd;
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
382 klassOop def = k->find_field(name->get_symbolOop(), signature->get_symbolOop(), is_static, &fd);
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
383 if (def == NULL) {
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
384 return NULL;
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
385 }
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
386 ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd);
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
387 return field;
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
388 }
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 // ------------------------------------------------------------------
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
391 // ciInstanceKlass::non_static_fields.
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
392
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
393 class NonStaticFieldFiller: public FieldClosure {
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
394 GrowableArray<ciField*>* _arr;
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
395 ciEnv* _curEnv;
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
396 public:
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
397 NonStaticFieldFiller(ciEnv* curEnv, GrowableArray<ciField*>* arr) :
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
398 _curEnv(curEnv), _arr(arr)
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
399 {}
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
400 void do_field(fieldDescriptor* fd) {
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
401 ciField* field = new (_curEnv->arena()) ciField(fd);
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
402 _arr->append(field);
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 };
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
405
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
406 GrowableArray<ciField*>* ciInstanceKlass::non_static_fields() {
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
407 if (_non_static_fields == NULL) {
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
408 VM_ENTRY_MARK;
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
409 ciEnv* curEnv = ciEnv::current();
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
410 instanceKlass* ik = get_instanceKlass();
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
411 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
412
1685
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1645
diff changeset
413 Arena* arena = curEnv->arena();
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
414 _non_static_fields =
1685
0e35fa8ebccd 6973963: SEGV in ciBlock::start_bci() with EA
kvn
parents: 1645
diff changeset
415 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
416 NonStaticFieldFiller filler(curEnv, _non_static_fields);
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
417 ik->do_nonstatic_fields(&filler);
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
418 }
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
419 return _non_static_fields;
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
420 }
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
421
0
a61af66fc99e Initial load
duke
parents:
diff changeset
422 static int sort_field_by_offset(ciField** a, ciField** b) {
a61af66fc99e Initial load
duke
parents:
diff changeset
423 return (*a)->offset_in_bytes() - (*b)->offset_in_bytes();
a61af66fc99e Initial load
duke
parents:
diff changeset
424 // (no worries about 32-bit overflow...)
a61af66fc99e Initial load
duke
parents:
diff changeset
425 }
a61af66fc99e Initial load
duke
parents:
diff changeset
426
a61af66fc99e Initial load
duke
parents:
diff changeset
427 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
428 // ciInstanceKlass::compute_nonstatic_fields
a61af66fc99e Initial load
duke
parents:
diff changeset
429 int ciInstanceKlass::compute_nonstatic_fields() {
a61af66fc99e Initial load
duke
parents:
diff changeset
430 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
431
a61af66fc99e Initial load
duke
parents:
diff changeset
432 if (_nonstatic_fields != NULL)
a61af66fc99e Initial load
duke
parents:
diff changeset
433 return _nonstatic_fields->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
434
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
435 if (!has_nonstatic_fields()) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
436 Arena* arena = CURRENT_ENV->arena();
a61af66fc99e Initial load
duke
parents:
diff changeset
437 _nonstatic_fields = new (arena) GrowableArray<ciField*>(arena, 0, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
438 return 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
439 }
a61af66fc99e Initial load
duke
parents:
diff changeset
440 assert(!is_java_lang_Object(), "bootstrap OK");
a61af66fc99e Initial load
duke
parents:
diff changeset
441
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
442 // 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
443 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
444
0
a61af66fc99e Initial load
duke
parents:
diff changeset
445 ciInstanceKlass* super = this->super();
a61af66fc99e Initial load
duke
parents:
diff changeset
446 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
447 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
448 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
449 int super_flen = super->nof_nonstatic_fields();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
450 super_fields = super->_nonstatic_fields;
a61af66fc99e Initial load
duke
parents:
diff changeset
451 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
452 // 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
453 if (fsize == super_fsize) {
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
454 _nonstatic_fields = super_fields;
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
455 return super_fields->length();
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
456 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
457 }
a61af66fc99e Initial load
duke
parents:
diff changeset
458
a61af66fc99e Initial load
duke
parents:
diff changeset
459 GrowableArray<ciField*>* fields = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
460 GUARDED_VM_ENTRY({
a61af66fc99e Initial load
duke
parents:
diff changeset
461 fields = compute_nonstatic_fields_impl(super_fields);
a61af66fc99e Initial load
duke
parents:
diff changeset
462 });
a61af66fc99e Initial load
duke
parents:
diff changeset
463
a61af66fc99e Initial load
duke
parents:
diff changeset
464 if (fields == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
465 // This can happen if this class (java.lang.Class) has invisible fields.
a61af66fc99e Initial load
duke
parents:
diff changeset
466 _nonstatic_fields = super_fields;
a61af66fc99e Initial load
duke
parents:
diff changeset
467 return super_fields->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
468 }
a61af66fc99e Initial load
duke
parents:
diff changeset
469
a61af66fc99e Initial load
duke
parents:
diff changeset
470 int flen = fields->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
471
a61af66fc99e Initial load
duke
parents:
diff changeset
472 // Now sort them by offset, ascending.
a61af66fc99e Initial load
duke
parents:
diff changeset
473 // (In principle, they could mix with superclass fields.)
a61af66fc99e Initial load
duke
parents:
diff changeset
474 fields->sort(sort_field_by_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
475 #ifdef ASSERT
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
476 int last_offset = instanceOopDesc::base_offset_in_bytes();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
477 for (int i = 0; i < fields->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
478 ciField* field = fields->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
479 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
480 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
481 assert(last_offset <= offset, err_msg("no field overlap: %d <= %d", last_offset, offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
482 if (last_offset > (int)sizeof(oopDesc))
a61af66fc99e Initial load
duke
parents:
diff changeset
483 assert((offset - last_offset) < BytesPerLong, "no big holes");
a61af66fc99e Initial load
duke
parents:
diff changeset
484 // Note: Two consecutive T_BYTE fields will be separated by wordSize-1
a61af66fc99e Initial load
duke
parents:
diff changeset
485 // padding bytes if one of them is declared by a superclass.
a61af66fc99e Initial load
duke
parents:
diff changeset
486 // This is a minor inefficiency classFileParser.cpp.
a61af66fc99e Initial load
duke
parents:
diff changeset
487 last_offset = offset + size;
a61af66fc99e Initial load
duke
parents:
diff changeset
488 }
165
437d03ea40b1 6703888: Compressed Oops: use the 32-bits gap after klass in a object
kvn
parents: 113
diff changeset
489 assert(last_offset <= (int)instanceOopDesc::base_offset_in_bytes() + fsize, "no overflow");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
490 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
491
a61af66fc99e Initial load
duke
parents:
diff changeset
492 _nonstatic_fields = fields;
a61af66fc99e Initial load
duke
parents:
diff changeset
493 return flen;
a61af66fc99e Initial load
duke
parents:
diff changeset
494 }
a61af66fc99e Initial load
duke
parents:
diff changeset
495
a61af66fc99e Initial load
duke
parents:
diff changeset
496 GrowableArray<ciField*>*
a61af66fc99e Initial load
duke
parents:
diff changeset
497 ciInstanceKlass::compute_nonstatic_fields_impl(GrowableArray<ciField*>*
a61af66fc99e Initial load
duke
parents:
diff changeset
498 super_fields) {
a61af66fc99e Initial load
duke
parents:
diff changeset
499 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
500 Arena* arena = CURRENT_ENV->arena();
a61af66fc99e Initial load
duke
parents:
diff changeset
501 int flen = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
502 GrowableArray<ciField*>* fields = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
503 instanceKlass* k = get_instanceKlass();
a61af66fc99e Initial load
duke
parents:
diff changeset
504 typeArrayOop fields_array = k->fields();
a61af66fc99e Initial load
duke
parents:
diff changeset
505 for (int pass = 0; pass <= 1; pass++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
506 for (int i = 0, alen = fields_array->length(); i < alen; i += instanceKlass::next_offset) {
a61af66fc99e Initial load
duke
parents:
diff changeset
507 fieldDescriptor fd;
a61af66fc99e Initial load
duke
parents:
diff changeset
508 fd.initialize(k->as_klassOop(), i);
a61af66fc99e Initial load
duke
parents:
diff changeset
509 if (fd.is_static()) continue;
a61af66fc99e Initial load
duke
parents:
diff changeset
510 if (pass == 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
511 flen += 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
512 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
513 ciField* field = new (arena) ciField(&fd);
a61af66fc99e Initial load
duke
parents:
diff changeset
514 fields->append(field);
a61af66fc99e Initial load
duke
parents:
diff changeset
515 }
a61af66fc99e Initial load
duke
parents:
diff changeset
516 }
a61af66fc99e Initial load
duke
parents:
diff changeset
517
a61af66fc99e Initial load
duke
parents:
diff changeset
518 // Between passes, allocate the array:
a61af66fc99e Initial load
duke
parents:
diff changeset
519 if (pass == 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
520 if (flen == 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
521 return NULL; // return nothing if none are locally declared
a61af66fc99e Initial load
duke
parents:
diff changeset
522 }
a61af66fc99e Initial load
duke
parents:
diff changeset
523 if (super_fields != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
524 flen += super_fields->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
525 }
a61af66fc99e Initial load
duke
parents:
diff changeset
526 fields = new (arena) GrowableArray<ciField*>(arena, flen, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
527 if (super_fields != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
528 fields->appendAll(super_fields);
a61af66fc99e Initial load
duke
parents:
diff changeset
529 }
a61af66fc99e Initial load
duke
parents:
diff changeset
530 }
a61af66fc99e Initial load
duke
parents:
diff changeset
531 }
a61af66fc99e Initial load
duke
parents:
diff changeset
532 assert(fields->length() == flen, "sanity");
a61af66fc99e Initial load
duke
parents:
diff changeset
533 return fields;
a61af66fc99e Initial load
duke
parents:
diff changeset
534 }
a61af66fc99e Initial load
duke
parents:
diff changeset
535
a61af66fc99e Initial load
duke
parents:
diff changeset
536 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
537 // ciInstanceKlass::find_method
a61af66fc99e Initial load
duke
parents:
diff changeset
538 //
a61af66fc99e Initial load
duke
parents:
diff changeset
539 // Find a method in this klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
540 ciMethod* ciInstanceKlass::find_method(ciSymbol* name, ciSymbol* signature) {
a61af66fc99e Initial load
duke
parents:
diff changeset
541 VM_ENTRY_MARK;
a61af66fc99e Initial load
duke
parents:
diff changeset
542 instanceKlass* k = get_instanceKlass();
a61af66fc99e Initial load
duke
parents:
diff changeset
543 symbolOop name_sym = name->get_symbolOop();
a61af66fc99e Initial load
duke
parents:
diff changeset
544 symbolOop sig_sym= signature->get_symbolOop();
a61af66fc99e Initial load
duke
parents:
diff changeset
545
a61af66fc99e Initial load
duke
parents:
diff changeset
546 methodOop m = k->find_method(name_sym, sig_sym);
a61af66fc99e Initial load
duke
parents:
diff changeset
547 if (m == NULL) return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
548
a61af66fc99e Initial load
duke
parents:
diff changeset
549 return CURRENT_THREAD_ENV->get_object(m)->as_method();
a61af66fc99e Initial load
duke
parents:
diff changeset
550 }
a61af66fc99e Initial load
duke
parents:
diff changeset
551
a61af66fc99e Initial load
duke
parents:
diff changeset
552 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
553 // ciInstanceKlass::is_leaf_type
a61af66fc99e Initial load
duke
parents:
diff changeset
554 bool ciInstanceKlass::is_leaf_type() {
a61af66fc99e Initial load
duke
parents:
diff changeset
555 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
556 if (is_shared()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
557 return is_final(); // approximately correct
a61af66fc99e Initial load
duke
parents:
diff changeset
558 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
559 return !_has_subklass && (_nof_implementors == 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
560 }
a61af66fc99e Initial load
duke
parents:
diff changeset
561 }
a61af66fc99e Initial load
duke
parents:
diff changeset
562
a61af66fc99e Initial load
duke
parents:
diff changeset
563 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
564 // ciInstanceKlass::implementor
a61af66fc99e Initial load
duke
parents:
diff changeset
565 //
a61af66fc99e Initial load
duke
parents:
diff changeset
566 // Report an implementor of this interface.
a61af66fc99e Initial load
duke
parents:
diff changeset
567 // Returns NULL if exact information is not available.
a61af66fc99e Initial load
duke
parents:
diff changeset
568 // Note that there are various races here, since my copy
a61af66fc99e Initial load
duke
parents:
diff changeset
569 // of _nof_implementors might be out of date with respect
a61af66fc99e Initial load
duke
parents:
diff changeset
570 // to results returned by instanceKlass::implementor.
a61af66fc99e Initial load
duke
parents:
diff changeset
571 // This is OK, since any dependencies we decide to assert
a61af66fc99e Initial load
duke
parents:
diff changeset
572 // will be checked later under the Compile_lock.
a61af66fc99e Initial load
duke
parents:
diff changeset
573 ciInstanceKlass* ciInstanceKlass::implementor(int n) {
1924
b0e6879e48fa 6839891: Array overrun in vm ci
kvn
parents: 1846
diff changeset
574 if (n >= implementors_limit) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
575 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
576 }
a61af66fc99e Initial load
duke
parents:
diff changeset
577 ciInstanceKlass* impl = _implementors[n];
a61af66fc99e Initial load
duke
parents:
diff changeset
578 if (impl == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
579 if (_nof_implementors > implementors_limit) {
a61af66fc99e Initial load
duke
parents:
diff changeset
580 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
581 }
a61af66fc99e Initial load
duke
parents:
diff changeset
582 // Go into the VM to fetch the implementor.
a61af66fc99e Initial load
duke
parents:
diff changeset
583 {
a61af66fc99e Initial load
duke
parents:
diff changeset
584 VM_ENTRY_MARK;
a61af66fc99e Initial load
duke
parents:
diff changeset
585 klassOop k = get_instanceKlass()->implementor(n);
a61af66fc99e Initial load
duke
parents:
diff changeset
586 if (k != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
587 impl = CURRENT_THREAD_ENV->get_object(k)->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
588 }
a61af66fc99e Initial load
duke
parents:
diff changeset
589 }
a61af66fc99e Initial load
duke
parents:
diff changeset
590 // Memoize this result.
a61af66fc99e Initial load
duke
parents:
diff changeset
591 if (!is_shared()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
592 _implementors[n] = (impl == NULL)? this: impl;
a61af66fc99e Initial load
duke
parents:
diff changeset
593 }
a61af66fc99e Initial load
duke
parents:
diff changeset
594 } else if (impl == this) {
a61af66fc99e Initial load
duke
parents:
diff changeset
595 impl = NULL; // memoized null result from a VM query
a61af66fc99e Initial load
duke
parents:
diff changeset
596 }
a61af66fc99e Initial load
duke
parents:
diff changeset
597 return impl;
a61af66fc99e Initial load
duke
parents:
diff changeset
598 }