annotate src/share/vm/ci/ciInstanceKlass.hpp @ 45:48a3fa21394b

6667615: (Escape Analysis) extend MDO to cache arguments escape state Summary: Use MDO to cache arguments escape state determined by the byte code escape analyzer. Reviewed-by: never
author kvn
date Tue, 11 Mar 2008 19:00:38 -0700
parents 52fed2ec0afb
children ba764ed4b6f2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 1999-2007 Sun Microsystems, Inc. All Rights Reserved.
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
a61af66fc99e Initial load
duke
parents:
diff changeset
32 friend class ciEnv;
a61af66fc99e Initial load
duke
parents:
diff changeset
33 friend class ciMethod;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 friend class ciField;
a61af66fc99e Initial load
duke
parents:
diff changeset
35 friend class ciBytecodeStream;
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
38 bool _is_shared;
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 jobject _loader;
a61af66fc99e Initial load
duke
parents:
diff changeset
41 jobject _protection_domain;
a61af66fc99e Initial load
duke
parents:
diff changeset
42
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;
a61af66fc99e Initial load
duke
parents:
diff changeset
47 ciFlags _flags;
a61af66fc99e Initial load
duke
parents:
diff changeset
48 jint _nonstatic_field_size;
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
49 jint _nonstatic_oop_map_size;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
50
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // Lazy fields get filled in only upon request.
a61af66fc99e Initial load
duke
parents:
diff changeset
52 ciInstanceKlass* _super;
a61af66fc99e Initial load
duke
parents:
diff changeset
53 ciInstance* _java_mirror;
a61af66fc99e Initial load
duke
parents:
diff changeset
54
a61af66fc99e Initial load
duke
parents:
diff changeset
55 ciConstantPoolCache* _field_cache; // cached map index->field
a61af66fc99e Initial load
duke
parents:
diff changeset
56 GrowableArray<ciField*>* _nonstatic_fields;
a61af66fc99e Initial load
duke
parents:
diff changeset
57
a61af66fc99e Initial load
duke
parents:
diff changeset
58 enum { implementors_limit = instanceKlass::implementors_limit };
a61af66fc99e Initial load
duke
parents:
diff changeset
59 ciInstanceKlass* _implementors[implementors_limit];
a61af66fc99e Initial load
duke
parents:
diff changeset
60 jint _nof_implementors;
a61af66fc99e Initial load
duke
parents:
diff changeset
61
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
62 GrowableArray<ciField*>* _non_static_fields;
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
63
0
a61af66fc99e Initial load
duke
parents:
diff changeset
64 protected:
a61af66fc99e Initial load
duke
parents:
diff changeset
65 ciInstanceKlass(KlassHandle h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
66 ciInstanceKlass(ciSymbol* name, jobject loader, jobject protection_domain);
a61af66fc99e Initial load
duke
parents:
diff changeset
67
a61af66fc99e Initial load
duke
parents:
diff changeset
68 instanceKlass* get_instanceKlass() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
69 return (instanceKlass*)get_Klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
70 }
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 oop loader();
a61af66fc99e Initial load
duke
parents:
diff changeset
73 jobject loader_handle();
a61af66fc99e Initial load
duke
parents:
diff changeset
74
a61af66fc99e Initial load
duke
parents:
diff changeset
75 oop protection_domain();
a61af66fc99e Initial load
duke
parents:
diff changeset
76 jobject protection_domain_handle();
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 const char* type_string() { return "ciInstanceKlass"; }
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80 void print_impl(outputStream* st);
a61af66fc99e Initial load
duke
parents:
diff changeset
81
a61af66fc99e Initial load
duke
parents:
diff changeset
82 ciConstantPoolCache* field_cache();
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 bool is_shared() { return _is_shared; }
a61af66fc99e Initial load
duke
parents:
diff changeset
85
a61af66fc99e Initial load
duke
parents:
diff changeset
86 bool compute_shared_is_initialized();
a61af66fc99e Initial load
duke
parents:
diff changeset
87 bool compute_shared_is_linked();
a61af66fc99e Initial load
duke
parents:
diff changeset
88 bool compute_shared_has_subklass();
a61af66fc99e Initial load
duke
parents:
diff changeset
89 int compute_shared_nof_implementors();
a61af66fc99e Initial load
duke
parents:
diff changeset
90 int compute_nonstatic_fields();
a61af66fc99e Initial load
duke
parents:
diff changeset
91 GrowableArray<ciField*>* compute_nonstatic_fields_impl(GrowableArray<ciField*>* super_fields);
a61af66fc99e Initial load
duke
parents:
diff changeset
92
a61af66fc99e Initial load
duke
parents:
diff changeset
93 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
94 // Has this klass been initialized?
a61af66fc99e Initial load
duke
parents:
diff changeset
95 bool is_initialized() {
a61af66fc99e Initial load
duke
parents:
diff changeset
96 if (_is_shared && !_is_initialized) {
a61af66fc99e Initial load
duke
parents:
diff changeset
97 return is_loaded() && compute_shared_is_initialized();
a61af66fc99e Initial load
duke
parents:
diff changeset
98 }
a61af66fc99e Initial load
duke
parents:
diff changeset
99 return _is_initialized;
a61af66fc99e Initial load
duke
parents:
diff changeset
100 }
a61af66fc99e Initial load
duke
parents:
diff changeset
101 // Has this klass been linked?
a61af66fc99e Initial load
duke
parents:
diff changeset
102 bool is_linked() {
a61af66fc99e Initial load
duke
parents:
diff changeset
103 if (_is_shared && !_is_linked) {
a61af66fc99e Initial load
duke
parents:
diff changeset
104 return is_loaded() && compute_shared_is_linked();
a61af66fc99e Initial load
duke
parents:
diff changeset
105 }
a61af66fc99e Initial load
duke
parents:
diff changeset
106 return _is_linked;
a61af66fc99e Initial load
duke
parents:
diff changeset
107 }
a61af66fc99e Initial load
duke
parents:
diff changeset
108
a61af66fc99e Initial load
duke
parents:
diff changeset
109 // General klass information.
a61af66fc99e Initial load
duke
parents:
diff changeset
110 ciFlags flags() {
a61af66fc99e Initial load
duke
parents:
diff changeset
111 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
112 return _flags;
a61af66fc99e Initial load
duke
parents:
diff changeset
113 }
a61af66fc99e Initial load
duke
parents:
diff changeset
114 bool has_finalizer() {
a61af66fc99e Initial load
duke
parents:
diff changeset
115 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
116 return _has_finalizer; }
a61af66fc99e Initial load
duke
parents:
diff changeset
117 bool has_subklass() {
a61af66fc99e Initial load
duke
parents:
diff changeset
118 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
119 if (_is_shared && !_has_subklass) {
a61af66fc99e Initial load
duke
parents:
diff changeset
120 if (flags().is_final()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
121 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
122 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
123 return compute_shared_has_subklass();
a61af66fc99e Initial load
duke
parents:
diff changeset
124 }
a61af66fc99e Initial load
duke
parents:
diff changeset
125 }
a61af66fc99e Initial load
duke
parents:
diff changeset
126 return _has_subklass;
a61af66fc99e Initial load
duke
parents:
diff changeset
127 }
a61af66fc99e Initial load
duke
parents:
diff changeset
128 jint size_helper() {
a61af66fc99e Initial load
duke
parents:
diff changeset
129 return (Klass::layout_helper_size_in_bytes(layout_helper())
a61af66fc99e Initial load
duke
parents:
diff changeset
130 >> LogHeapWordSize);
a61af66fc99e Initial load
duke
parents:
diff changeset
131 }
a61af66fc99e Initial load
duke
parents:
diff changeset
132 jint nonstatic_field_size() {
a61af66fc99e Initial load
duke
parents:
diff changeset
133 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
134 return _nonstatic_field_size; }
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
135 jint nonstatic_oop_map_size() {
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
136 assert(is_loaded(), "must be loaded");
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
137 return _nonstatic_oop_map_size; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
138 ciInstanceKlass* super();
a61af66fc99e Initial load
duke
parents:
diff changeset
139 jint nof_implementors() {
a61af66fc99e Initial load
duke
parents:
diff changeset
140 assert(is_loaded(), "must be loaded");
a61af66fc99e Initial load
duke
parents:
diff changeset
141 if (_is_shared) return compute_shared_nof_implementors();
a61af66fc99e Initial load
duke
parents:
diff changeset
142 return _nof_implementors;
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* get_canonical_holder(int offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
146 ciField* get_field_by_offset(int field_offset, bool is_static);
44
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
147
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
148 GrowableArray<ciField*>* non_static_fields();
52fed2ec0afb 6667620: (Escape Analysis) fix deoptimization for scalar replaced objects
kvn
parents: 0
diff changeset
149
0
a61af66fc99e Initial load
duke
parents:
diff changeset
150 // total number of nonstatic fields (including inherited):
a61af66fc99e Initial load
duke
parents:
diff changeset
151 int nof_nonstatic_fields() {
a61af66fc99e Initial load
duke
parents:
diff changeset
152 if (_nonstatic_fields == NULL)
a61af66fc99e Initial load
duke
parents:
diff changeset
153 return compute_nonstatic_fields();
a61af66fc99e Initial load
duke
parents:
diff changeset
154 else
a61af66fc99e Initial load
duke
parents:
diff changeset
155 return _nonstatic_fields->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
156 }
a61af66fc99e Initial load
duke
parents:
diff changeset
157 // nth nonstatic field (presented by ascending address)
a61af66fc99e Initial load
duke
parents:
diff changeset
158 ciField* nonstatic_field_at(int i) {
a61af66fc99e Initial load
duke
parents:
diff changeset
159 assert(_nonstatic_fields != NULL, "");
a61af66fc99e Initial load
duke
parents:
diff changeset
160 return _nonstatic_fields->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
161 }
a61af66fc99e Initial load
duke
parents:
diff changeset
162
a61af66fc99e Initial load
duke
parents:
diff changeset
163 ciInstanceKlass* unique_concrete_subklass();
a61af66fc99e Initial load
duke
parents:
diff changeset
164 bool has_finalizable_subclass();
a61af66fc99e Initial load
duke
parents:
diff changeset
165
a61af66fc99e Initial load
duke
parents:
diff changeset
166 bool contains_field_offset(int offset) {
a61af66fc99e Initial load
duke
parents:
diff changeset
167 return (offset/wordSize) >= instanceOopDesc::header_size()
a61af66fc99e Initial load
duke
parents:
diff changeset
168 && (offset/wordSize)-instanceOopDesc::header_size() < nonstatic_field_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
169 }
a61af66fc99e Initial load
duke
parents:
diff changeset
170
a61af66fc99e Initial load
duke
parents:
diff changeset
171 // Get the instance of java.lang.Class corresponding to
a61af66fc99e Initial load
duke
parents:
diff changeset
172 // this klass. This instance is used for locking of
a61af66fc99e Initial load
duke
parents:
diff changeset
173 // synchronized static methods of this klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
174 ciInstance* java_mirror();
a61af66fc99e Initial load
duke
parents:
diff changeset
175
a61af66fc99e Initial load
duke
parents:
diff changeset
176 // Java access flags
a61af66fc99e Initial load
duke
parents:
diff changeset
177 bool is_public () { return flags().is_public(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
178 bool is_final () { return flags().is_final(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
179 bool is_super () { return flags().is_super(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
180 bool is_interface () { return flags().is_interface(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
181 bool is_abstract () { return flags().is_abstract(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
182
a61af66fc99e Initial load
duke
parents:
diff changeset
183 ciMethod* find_method(ciSymbol* name, ciSymbol* signature);
a61af66fc99e Initial load
duke
parents:
diff changeset
184 // Note: To find a method from name and type strings, use ciSymbol::make,
a61af66fc99e Initial load
duke
parents:
diff changeset
185 // but consider adding to vmSymbols.hpp instead.
a61af66fc99e Initial load
duke
parents:
diff changeset
186
a61af66fc99e Initial load
duke
parents:
diff changeset
187 bool is_leaf_type();
a61af66fc99e Initial load
duke
parents:
diff changeset
188 ciInstanceKlass* implementor(int n);
a61af66fc99e Initial load
duke
parents:
diff changeset
189
a61af66fc99e Initial load
duke
parents:
diff changeset
190 // Is the defining class loader of this class the default loader?
a61af66fc99e Initial load
duke
parents:
diff changeset
191 bool uses_default_loader();
a61af66fc99e Initial load
duke
parents:
diff changeset
192
a61af66fc99e Initial load
duke
parents:
diff changeset
193 bool is_java_lang_Object();
a61af66fc99e Initial load
duke
parents:
diff changeset
194
a61af66fc99e Initial load
duke
parents:
diff changeset
195 // What kind of ciObject is this?
a61af66fc99e Initial load
duke
parents:
diff changeset
196 bool is_instance_klass() { return true; }
a61af66fc99e Initial load
duke
parents:
diff changeset
197 bool is_java_klass() { return true; }
a61af66fc99e Initial load
duke
parents:
diff changeset
198 };