annotate src/share/vm/ci/ciInstanceKlass.hpp @ 1138:dd57230ba8fe

6893268: additional dynamic language related optimizations in C2 Summary: C2 needs some additional optimizations to be able to handle MethodHandle invokes and invokedynamic instructions at the best performance. Reviewed-by: kvn, never
author twisti
date Tue, 05 Jan 2010 15:21:25 +0100
parents 7c57aead6d3e
children 5571b97fc1ec c18cbe5936b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
196
d1605aabd0a1 6719955: Update copyright year
xdono
parents: 113
diff changeset
2 * Copyright 1999-2008 Sun Microsystems, Inc. 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 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 // ciInstanceKlass
a61af66fc99e Initial load
duke
parents:
diff changeset
26 //
a61af66fc99e Initial load
duke
parents:
diff changeset
27 // This class represents a klassOop in the HotSpot virtual machine
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // whose Klass part is an instanceKlass. It may or may not
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // be loaded.
a61af66fc99e Initial load
duke
parents:
diff changeset
30 class ciInstanceKlass : public ciKlass {
a61af66fc99e Initial load
duke
parents:
diff changeset
31 CI_PACKAGE_ACCESS
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
32 friend class ciBytecodeStream;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
33 friend class ciEnv;
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
34 friend class ciExceptionHandler;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
35 friend class ciMethod;
a61af66fc99e Initial load
duke
parents:
diff changeset
36 friend class ciField;
a61af66fc99e Initial load
duke
parents:
diff changeset
37
a61af66fc99e Initial load
duke
parents:
diff changeset
38 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
39 jobject _loader;
a61af66fc99e Initial load
duke
parents:
diff changeset
40 jobject _protection_domain;
a61af66fc99e Initial load
duke
parents:
diff changeset
41
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
42 bool _is_shared;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
43 bool _is_initialized;
a61af66fc99e Initial load
duke
parents:
diff changeset
44 bool _is_linked;
a61af66fc99e Initial load
duke
parents:
diff changeset
45 bool _has_finalizer;
a61af66fc99e Initial load
duke
parents:
diff changeset
46 bool _has_subklass;
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
47 bool _has_nonstatic_fields;
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
48
0
a61af66fc99e Initial load
duke
parents:
diff changeset
49 ciFlags _flags;
a61af66fc99e Initial load
duke
parents:
diff changeset
50 jint _nonstatic_field_size;
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
51 jint _nonstatic_oop_map_size;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
52
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // Lazy fields get filled in only upon request.
a61af66fc99e Initial load
duke
parents:
diff changeset
54 ciInstanceKlass* _super;
a61af66fc99e Initial load
duke
parents:
diff changeset
55 ciInstance* _java_mirror;
a61af66fc99e Initial load
duke
parents:
diff changeset
56
a61af66fc99e Initial load
duke
parents:
diff changeset
57 ciConstantPoolCache* _field_cache; // cached map index->field
a61af66fc99e Initial load
duke
parents:
diff changeset
58 GrowableArray<ciField*>* _nonstatic_fields;
a61af66fc99e Initial load
duke
parents:
diff changeset
59
a61af66fc99e Initial load
duke
parents:
diff changeset
60 enum { implementors_limit = instanceKlass::implementors_limit };
a61af66fc99e Initial load
duke
parents:
diff changeset
61 ciInstanceKlass* _implementors[implementors_limit];
a61af66fc99e Initial load
duke
parents:
diff changeset
62 jint _nof_implementors;
a61af66fc99e Initial load
duke
parents:
diff changeset
63
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
64 GrowableArray<ciField*>* _non_static_fields;
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
65
0
a61af66fc99e Initial load
duke
parents:
diff changeset
66 protected:
a61af66fc99e Initial load
duke
parents:
diff changeset
67 ciInstanceKlass(KlassHandle h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
68 ciInstanceKlass(ciSymbol* name, jobject loader, jobject protection_domain);
a61af66fc99e Initial load
duke
parents:
diff changeset
69
a61af66fc99e Initial load
duke
parents:
diff changeset
70 instanceKlass* get_instanceKlass() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
71 return (instanceKlass*)get_Klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
72 }
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 oop loader();
a61af66fc99e Initial load
duke
parents:
diff changeset
75 jobject loader_handle();
a61af66fc99e Initial load
duke
parents:
diff changeset
76
a61af66fc99e Initial load
duke
parents:
diff changeset
77 oop protection_domain();
a61af66fc99e Initial load
duke
parents:
diff changeset
78 jobject protection_domain_handle();
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80 const char* type_string() { return "ciInstanceKlass"; }
a61af66fc99e Initial load
duke
parents:
diff changeset
81
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
82 bool is_in_package_impl(const char* packagename, int len);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
83
0
a61af66fc99e Initial load
duke
parents:
diff changeset
84 void print_impl(outputStream* st);
a61af66fc99e Initial load
duke
parents:
diff changeset
85
a61af66fc99e Initial load
duke
parents:
diff changeset
86 ciConstantPoolCache* field_cache();
a61af66fc99e Initial load
duke
parents:
diff changeset
87
a61af66fc99e Initial load
duke
parents:
diff changeset
88 bool is_shared() { return _is_shared; }
a61af66fc99e Initial load
duke
parents:
diff changeset
89
a61af66fc99e Initial load
duke
parents:
diff changeset
90 bool compute_shared_is_initialized();
a61af66fc99e Initial load
duke
parents:
diff changeset
91 bool compute_shared_is_linked();
a61af66fc99e Initial load
duke
parents:
diff changeset
92 bool compute_shared_has_subklass();
a61af66fc99e Initial load
duke
parents:
diff changeset
93 int compute_shared_nof_implementors();
a61af66fc99e Initial load
duke
parents:
diff changeset
94 int compute_nonstatic_fields();
a61af66fc99e Initial load
duke
parents:
diff changeset
95 GrowableArray<ciField*>* compute_nonstatic_fields_impl(GrowableArray<ciField*>* super_fields);
a61af66fc99e Initial load
duke
parents:
diff changeset
96
a61af66fc99e Initial load
duke
parents:
diff changeset
97 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
98 // Has this klass been initialized?
a61af66fc99e Initial load
duke
parents:
diff changeset
99 bool is_initialized() {
a61af66fc99e Initial load
duke
parents:
diff changeset
100 if (_is_shared && !_is_initialized) {
a61af66fc99e Initial load
duke
parents:
diff changeset
101 return is_loaded() && compute_shared_is_initialized();
a61af66fc99e Initial load
duke
parents:
diff changeset
102 }
a61af66fc99e Initial load
duke
parents:
diff changeset
103 return _is_initialized;
a61af66fc99e Initial load
duke
parents:
diff changeset
104 }
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // Has this klass been linked?
a61af66fc99e Initial load
duke
parents:
diff changeset
106 bool is_linked() {
a61af66fc99e Initial load
duke
parents:
diff changeset
107 if (_is_shared && !_is_linked) {
a61af66fc99e Initial load
duke
parents:
diff changeset
108 return is_loaded() && compute_shared_is_linked();
a61af66fc99e Initial load
duke
parents:
diff changeset
109 }
a61af66fc99e Initial load
duke
parents:
diff changeset
110 return _is_linked;
a61af66fc99e Initial load
duke
parents:
diff changeset
111 }
a61af66fc99e Initial load
duke
parents:
diff changeset
112
a61af66fc99e Initial load
duke
parents:
diff changeset
113 // General klass information.
a61af66fc99e Initial load
duke
parents:
diff changeset
114 ciFlags flags() {
a61af66fc99e Initial load
duke
parents:
diff changeset
115 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
116 return _flags;
a61af66fc99e Initial load
duke
parents:
diff changeset
117 }
a61af66fc99e Initial load
duke
parents:
diff changeset
118 bool has_finalizer() {
a61af66fc99e Initial load
duke
parents:
diff changeset
119 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
120 return _has_finalizer; }
a61af66fc99e Initial load
duke
parents:
diff changeset
121 bool has_subklass() {
a61af66fc99e Initial load
duke
parents:
diff changeset
122 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
123 if (_is_shared && !_has_subklass) {
a61af66fc99e Initial load
duke
parents:
diff changeset
124 if (flags().is_final()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
125 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
126 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
127 return compute_shared_has_subklass();
a61af66fc99e Initial load
duke
parents:
diff changeset
128 }
a61af66fc99e Initial load
duke
parents:
diff changeset
129 }
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 jint size_helper() {
a61af66fc99e Initial load
duke
parents:
diff changeset
133 return (Klass::layout_helper_size_in_bytes(layout_helper())
a61af66fc99e Initial load
duke
parents:
diff changeset
134 >> LogHeapWordSize);
a61af66fc99e Initial load
duke
parents:
diff changeset
135 }
a61af66fc99e Initial load
duke
parents:
diff changeset
136 jint nonstatic_field_size() {
a61af66fc99e Initial load
duke
parents:
diff changeset
137 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
138 return _nonstatic_field_size; }
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
139 jint has_nonstatic_fields() {
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
140 assert(is_loaded(), "must be loaded");
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
141 return _has_nonstatic_fields; }
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
142 jint nonstatic_oop_map_size() {
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
143 assert(is_loaded(), "must be loaded");
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
144 return _nonstatic_oop_map_size; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
145 ciInstanceKlass* super();
a61af66fc99e Initial load
duke
parents:
diff changeset
146 jint nof_implementors() {
a61af66fc99e Initial load
duke
parents:
diff changeset
147 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
148 if (_is_shared) return compute_shared_nof_implementors();
a61af66fc99e Initial load
duke
parents:
diff changeset
149 return _nof_implementors;
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* get_canonical_holder(int offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
153 ciField* get_field_by_offset(int field_offset, bool is_static);
1080
7c57aead6d3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 196
diff changeset
154 ciField* get_field_by_name(ciSymbol* name, ciSymbol* signature, bool is_static);
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
155
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
156 GrowableArray<ciField*>* non_static_fields();
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
157
0
a61af66fc99e Initial load
duke
parents:
diff changeset
158 // total number of nonstatic fields (including inherited):
a61af66fc99e Initial load
duke
parents:
diff changeset
159 int nof_nonstatic_fields() {
a61af66fc99e Initial load
duke
parents:
diff changeset
160 if (_nonstatic_fields == NULL)
a61af66fc99e Initial load
duke
parents:
diff changeset
161 return compute_nonstatic_fields();
a61af66fc99e Initial load
duke
parents:
diff changeset
162 else
a61af66fc99e Initial load
duke
parents:
diff changeset
163 return _nonstatic_fields->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
164 }
a61af66fc99e Initial load
duke
parents:
diff changeset
165 // nth nonstatic field (presented by ascending address)
a61af66fc99e Initial load
duke
parents:
diff changeset
166 ciField* nonstatic_field_at(int i) {
a61af66fc99e Initial load
duke
parents:
diff changeset
167 assert(_nonstatic_fields != NULL, "");
a61af66fc99e Initial load
duke
parents:
diff changeset
168 return _nonstatic_fields->at(i);
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* unique_concrete_subklass();
a61af66fc99e Initial load
duke
parents:
diff changeset
172 bool has_finalizable_subclass();
a61af66fc99e Initial load
duke
parents:
diff changeset
173
a61af66fc99e Initial load
duke
parents:
diff changeset
174 bool contains_field_offset(int offset) {
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 44
diff changeset
175 return instanceOopDesc::contains_field_offset(offset, nonstatic_field_size());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
176 }
a61af66fc99e Initial load
duke
parents:
diff changeset
177
a61af66fc99e Initial load
duke
parents:
diff changeset
178 // Get the instance of java.lang.Class corresponding to
a61af66fc99e Initial load
duke
parents:
diff changeset
179 // this klass. This instance is used for locking of
a61af66fc99e Initial load
duke
parents:
diff changeset
180 // synchronized static methods of this klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
181 ciInstance* java_mirror();
a61af66fc99e Initial load
duke
parents:
diff changeset
182
a61af66fc99e Initial load
duke
parents:
diff changeset
183 // Java access flags
a61af66fc99e Initial load
duke
parents:
diff changeset
184 bool is_public () { return flags().is_public(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
185 bool is_final () { return flags().is_final(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
186 bool is_super () { return flags().is_super(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
187 bool is_interface () { return flags().is_interface(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
188 bool is_abstract () { return flags().is_abstract(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
189
a61af66fc99e Initial load
duke
parents:
diff changeset
190 ciMethod* find_method(ciSymbol* name, ciSymbol* signature);
a61af66fc99e Initial load
duke
parents:
diff changeset
191 // Note: To find a method from name and type strings, use ciSymbol::make,
a61af66fc99e Initial load
duke
parents:
diff changeset
192 // but consider adding to vmSymbols.hpp instead.
a61af66fc99e Initial load
duke
parents:
diff changeset
193
a61af66fc99e Initial load
duke
parents:
diff changeset
194 bool is_leaf_type();
a61af66fc99e Initial load
duke
parents:
diff changeset
195 ciInstanceKlass* implementor(int n);
a61af66fc99e Initial load
duke
parents:
diff changeset
196
a61af66fc99e Initial load
duke
parents:
diff changeset
197 // Is the defining class loader of this class the default loader?
a61af66fc99e Initial load
duke
parents:
diff changeset
198 bool uses_default_loader();
a61af66fc99e Initial load
duke
parents:
diff changeset
199
a61af66fc99e Initial load
duke
parents:
diff changeset
200 bool is_java_lang_Object();
a61af66fc99e Initial load
duke
parents:
diff changeset
201
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
202 // Is this klass in the given package?
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
203 bool is_in_package(const char* packagename) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
204 return is_in_package(packagename, (int) strlen(packagename));
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
205 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
206 bool is_in_package(const char* packagename, int len);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1080
diff changeset
207
0
a61af66fc99e Initial load
duke
parents:
diff changeset
208 // What kind of ciObject is this?
a61af66fc99e Initial load
duke
parents:
diff changeset
209 bool is_instance_klass() { return true; }
a61af66fc99e Initial load
duke
parents:
diff changeset
210 bool is_java_klass() { return true; }
a61af66fc99e Initial load
duke
parents:
diff changeset
211 };