Mercurial > hg > graal-compiler
annotate src/share/vm/ci/ciEnv.hpp @ 1039:987e948ebbc8
6815692: method handle code needs some cleanup (post-6655638)
Summary: correctly raise exceptions, support safe bitwise "raw" conversions, fix bugs revealed by VerifyMethodHandles, remove dead code, improve debugging support
Reviewed-by: never, twisti
author | jrose |
---|---|
date | Sat, 17 Oct 2009 19:51:05 -0700 |
parents | 148e5441d916 |
children | 7c57aead6d3e |
rev | line source |
---|---|
0 | 1 /* |
844 | 2 * Copyright 1999-2009 Sun Microsystems, Inc. All Rights Reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, | |
20 * CA 95054 USA or visit www.sun.com if you need additional information or | |
21 * have any questions. | |
22 * | |
23 */ | |
24 | |
25 class CompileTask; | |
26 | |
27 // ciEnv | |
28 // | |
29 // This class is the top level broker for requests from the compiler | |
30 // to the VM. | |
31 class ciEnv : StackObj { | |
32 CI_PACKAGE_ACCESS_TO | |
33 | |
34 friend class CompileBroker; | |
35 friend class Dependencies; // for get_object, during logging | |
36 | |
37 private: | |
38 Arena* _arena; // Alias for _ciEnv_arena except in init_shared_objects() | |
39 Arena _ciEnv_arena; | |
40 int _system_dictionary_modification_counter; | |
41 ciObjectFactory* _factory; | |
42 OopRecorder* _oop_recorder; | |
43 DebugInformationRecorder* _debug_info; | |
44 Dependencies* _dependencies; | |
45 const char* _failure_reason; | |
46 int _compilable; | |
47 bool _break_at_compile; | |
48 int _num_inlined_bytecodes; | |
49 CompileTask* _task; // faster access to CompilerThread::task | |
50 CompileLog* _log; // faster access to CompilerThread::log | |
51 void* _compiler_data; // compiler-specific stuff, if any | |
52 | |
53 char* _name_buffer; | |
54 int _name_buffer_len; | |
55 | |
780
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
56 // Cache Jvmti state |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
57 bool _jvmti_can_hotswap_or_post_breakpoint; |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
58 bool _jvmti_can_examine_or_deopt_anywhere; |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
59 bool _jvmti_can_access_local_variables; |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
60 bool _jvmti_can_post_exceptions; |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
61 |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
62 // Cache DTrace flags |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
63 bool _dtrace_extended_probes; |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
64 bool _dtrace_monitor_probes; |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
65 bool _dtrace_method_probes; |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
66 bool _dtrace_alloc_probes; |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
67 |
0 | 68 // Distinguished instances of certain ciObjects.. |
69 static ciObject* _null_object_instance; | |
70 static ciMethodKlass* _method_klass_instance; | |
71 static ciSymbolKlass* _symbol_klass_instance; | |
72 static ciKlassKlass* _klass_klass_instance; | |
73 static ciInstanceKlassKlass* _instance_klass_klass_instance; | |
74 static ciTypeArrayKlassKlass* _type_array_klass_klass_instance; | |
75 static ciObjArrayKlassKlass* _obj_array_klass_klass_instance; | |
76 | |
77 static ciInstanceKlass* _ArrayStoreException; | |
78 static ciInstanceKlass* _Class; | |
79 static ciInstanceKlass* _ClassCastException; | |
80 static ciInstanceKlass* _Object; | |
81 static ciInstanceKlass* _Throwable; | |
82 static ciInstanceKlass* _Thread; | |
83 static ciInstanceKlass* _OutOfMemoryError; | |
84 static ciInstanceKlass* _String; | |
85 | |
86 static ciSymbol* _unloaded_cisymbol; | |
87 static ciInstanceKlass* _unloaded_ciinstance_klass; | |
88 static ciObjArrayKlass* _unloaded_ciobjarrayklass; | |
89 | |
90 static jobject _ArrayIndexOutOfBoundsException_handle; | |
91 static jobject _ArrayStoreException_handle; | |
92 static jobject _ClassCastException_handle; | |
93 | |
94 ciInstance* _NullPointerException_instance; | |
95 ciInstance* _ArithmeticException_instance; | |
96 ciInstance* _ArrayIndexOutOfBoundsException_instance; | |
97 ciInstance* _ArrayStoreException_instance; | |
98 ciInstance* _ClassCastException_instance; | |
99 | |
100 // Look up a klass by name from a particular class loader (the accessor's). | |
101 // If require_local, result must be defined in that class loader, or NULL. | |
102 // If !require_local, a result from remote class loader may be reported, | |
103 // if sufficient class loader constraints exist such that initiating | |
104 // a class loading request from the given loader is bound to return | |
105 // the class defined in the remote loader (or throw an error). | |
106 // | |
107 // Return an unloaded klass if !require_local and no class at all is found. | |
108 // | |
109 // The CI treats a klass as loaded if it is consistently defined in | |
110 // another loader, even if it hasn't yet been loaded in all loaders | |
111 // that could potentially see it via delegation. | |
112 ciKlass* get_klass_by_name(ciKlass* accessing_klass, | |
113 ciSymbol* klass_name, | |
114 bool require_local); | |
115 | |
116 // Constant pool access. | |
117 ciKlass* get_klass_by_index(ciInstanceKlass* loading_klass, | |
118 int klass_index, | |
119 bool& is_accessible); | |
120 ciConstant get_constant_by_index(ciInstanceKlass* loading_klass, | |
121 int constant_index); | |
122 bool is_unresolved_string(ciInstanceKlass* loading_klass, | |
123 int constant_index) const; | |
124 bool is_unresolved_klass(ciInstanceKlass* loading_klass, | |
125 int constant_index) const; | |
126 ciField* get_field_by_index(ciInstanceKlass* loading_klass, | |
127 int field_index); | |
128 ciMethod* get_method_by_index(ciInstanceKlass* loading_klass, | |
129 int method_index, Bytecodes::Code bc); | |
130 | |
131 // Implementation methods for loading and constant pool access. | |
132 ciKlass* get_klass_by_name_impl(ciKlass* accessing_klass, | |
133 ciSymbol* klass_name, | |
134 bool require_local); | |
135 ciKlass* get_klass_by_index_impl(ciInstanceKlass* loading_klass, | |
136 int klass_index, | |
137 bool& is_accessible); | |
138 ciConstant get_constant_by_index_impl(ciInstanceKlass* loading_klass, | |
139 int constant_index); | |
140 bool is_unresolved_string_impl (instanceKlass* loading_klass, | |
141 int constant_index) const; | |
142 bool is_unresolved_klass_impl (instanceKlass* loading_klass, | |
143 int constant_index) const; | |
144 ciField* get_field_by_index_impl(ciInstanceKlass* loading_klass, | |
145 int field_index); | |
146 ciMethod* get_method_by_index_impl(ciInstanceKlass* loading_klass, | |
147 int method_index, Bytecodes::Code bc); | |
148 | |
149 // Helper methods | |
150 bool check_klass_accessibility(ciKlass* accessing_klass, | |
151 klassOop resolved_klassOop); | |
152 methodOop lookup_method(instanceKlass* accessor, | |
153 instanceKlass* holder, | |
154 symbolOop name, | |
155 symbolOop sig, | |
156 Bytecodes::Code bc); | |
157 | |
158 // Get a ciObject from the object factory. Ensures uniqueness | |
159 // of ciObjects. | |
160 ciObject* get_object(oop o) { | |
161 if (o == NULL) { | |
162 return _null_object_instance; | |
163 } else { | |
164 return _factory->get(o); | |
165 } | |
166 } | |
167 | |
168 ciMethod* get_method_from_handle(jobject method); | |
169 | |
170 ciInstance* get_or_create_exception(jobject& handle, symbolHandle name); | |
171 | |
172 // Get a ciMethod representing either an unfound method or | |
173 // a method with an unloaded holder. Ensures uniqueness of | |
174 // the result. | |
175 ciMethod* get_unloaded_method(ciInstanceKlass* holder, | |
176 ciSymbol* name, | |
177 ciSymbol* signature) { | |
178 return _factory->get_unloaded_method(holder, name, signature); | |
179 } | |
180 | |
181 // Get a ciKlass representing an unloaded klass. | |
182 // Ensures uniqueness of the result. | |
183 ciKlass* get_unloaded_klass(ciKlass* accessing_klass, | |
184 ciSymbol* name) { | |
185 return _factory->get_unloaded_klass(accessing_klass, name, true); | |
186 } | |
187 | |
188 // See if we already have an unloaded klass for the given name | |
189 // or return NULL if not. | |
190 ciKlass *check_get_unloaded_klass(ciKlass* accessing_klass, ciSymbol* name) { | |
191 return _factory->get_unloaded_klass(accessing_klass, name, false); | |
192 } | |
193 | |
194 // Get a ciReturnAddress corresponding to the given bci. | |
195 // Ensures uniqueness of the result. | |
196 ciReturnAddress* get_return_address(int bci) { | |
197 return _factory->get_return_address(bci); | |
198 } | |
199 | |
200 // Get a ciMethodData representing the methodData for a method | |
201 // with none. | |
202 ciMethodData* get_empty_methodData() { | |
203 return _factory->get_empty_methodData(); | |
204 } | |
205 | |
206 // General utility : get a buffer of some required length. | |
207 // Used in symbol creation. | |
208 char* name_buffer(int req_len); | |
209 | |
210 // Is this thread currently in the VM state? | |
211 static bool is_in_vm(); | |
212 | |
213 // Helper routine for determining the validity of a compilation | |
214 // with respect to concurrent class loading. | |
215 void check_for_system_dictionary_modification(ciMethod* target); | |
216 | |
217 public: | |
218 enum { | |
219 MethodCompilable, | |
220 MethodCompilable_not_at_tier, | |
221 MethodCompilable_never | |
222 }; | |
223 | |
224 ciEnv(CompileTask* task, int system_dictionary_modification_counter); | |
225 // Used only during initialization of the ci | |
226 ciEnv(Arena* arena); | |
227 ~ciEnv(); | |
228 | |
229 OopRecorder* oop_recorder() { return _oop_recorder; } | |
230 void set_oop_recorder(OopRecorder* r) { _oop_recorder = r; } | |
231 | |
232 DebugInformationRecorder* debug_info() { return _debug_info; } | |
233 void set_debug_info(DebugInformationRecorder* i) { _debug_info = i; } | |
234 | |
235 Dependencies* dependencies() { return _dependencies; } | |
236 void set_dependencies(Dependencies* d) { _dependencies = d; } | |
237 | |
238 // This is true if the compilation is not going to produce code. | |
239 // (It is reasonable to retry failed compilations.) | |
240 bool failing() { return _failure_reason != NULL; } | |
241 | |
242 // Reason this compilation is failing, such as "too many basic blocks". | |
243 const char* failure_reason() { return _failure_reason; } | |
244 | |
245 // Return state of appropriate compilability | |
246 int compilable() { return _compilable; } | |
247 | |
248 bool break_at_compile() { return _break_at_compile; } | |
249 void set_break_at_compile(bool z) { _break_at_compile = z; } | |
250 | |
780
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
251 // Cache Jvmti state |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
252 void cache_jvmti_state(); |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
253 bool jvmti_can_hotswap_or_post_breakpoint() const { return _jvmti_can_hotswap_or_post_breakpoint; } |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
254 bool jvmti_can_examine_or_deopt_anywhere() const { return _jvmti_can_examine_or_deopt_anywhere; } |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
255 bool jvmti_can_access_local_variables() const { return _jvmti_can_access_local_variables; } |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
256 bool jvmti_can_post_exceptions() const { return _jvmti_can_post_exceptions; } |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
257 |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
258 // Cache DTrace flags |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
259 void cache_dtrace_flags(); |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
260 bool dtrace_extended_probes() const { return _dtrace_extended_probes; } |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
261 bool dtrace_monitor_probes() const { return _dtrace_monitor_probes; } |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
262 bool dtrace_method_probes() const { return _dtrace_method_probes; } |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
263 bool dtrace_alloc_probes() const { return _dtrace_alloc_probes; } |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
0
diff
changeset
|
264 |
0 | 265 // The compiler task which has created this env. |
266 // May be useful to find out compile_id, comp_level, etc. | |
267 CompileTask* task() { return _task; } | |
268 // Handy forwards to the task: | |
269 int comp_level(); // task()->comp_level() | |
270 uint compile_id(); // task()->compile_id() | |
271 | |
272 // Register the result of a compilation. | |
273 void register_method(ciMethod* target, | |
274 int entry_bci, | |
275 CodeOffsets* offsets, | |
276 int orig_pc_offset, | |
277 CodeBuffer* code_buffer, | |
278 int frame_words, | |
279 OopMapSet* oop_map_set, | |
280 ExceptionHandlerTable* handler_table, | |
281 ImplicitExceptionTable* inc_table, | |
282 AbstractCompiler* compiler, | |
283 int comp_level, | |
284 bool has_debug_info = true, | |
285 bool has_unsafe_access = false); | |
286 | |
287 | |
288 // Access to certain well known ciObjects. | |
289 ciInstanceKlass* ArrayStoreException_klass() { | |
290 return _ArrayStoreException; | |
291 } | |
292 ciInstanceKlass* Class_klass() { | |
293 return _Class; | |
294 } | |
295 ciInstanceKlass* ClassCastException_klass() { | |
296 return _ClassCastException; | |
297 } | |
298 ciInstanceKlass* Object_klass() { | |
299 return _Object; | |
300 } | |
301 ciInstanceKlass* Throwable_klass() { | |
302 return _Throwable; | |
303 } | |
304 ciInstanceKlass* Thread_klass() { | |
305 return _Thread; | |
306 } | |
307 ciInstanceKlass* OutOfMemoryError_klass() { | |
308 return _OutOfMemoryError; | |
309 } | |
310 ciInstanceKlass* String_klass() { | |
311 return _String; | |
312 } | |
313 ciInstance* NullPointerException_instance() { | |
314 assert(_NullPointerException_instance != NULL, "initialization problem"); | |
315 return _NullPointerException_instance; | |
316 } | |
317 ciInstance* ArithmeticException_instance() { | |
318 assert(_ArithmeticException_instance != NULL, "initialization problem"); | |
319 return _ArithmeticException_instance; | |
320 } | |
321 | |
322 // Lazy constructors: | |
323 ciInstance* ArrayIndexOutOfBoundsException_instance(); | |
324 ciInstance* ArrayStoreException_instance(); | |
325 ciInstance* ClassCastException_instance(); | |
326 | |
327 static ciSymbol* unloaded_cisymbol() { | |
328 return _unloaded_cisymbol; | |
329 } | |
330 static ciObjArrayKlass* unloaded_ciobjarrayklass() { | |
331 return _unloaded_ciobjarrayklass; | |
332 } | |
333 static ciInstanceKlass* unloaded_ciinstance_klass() { | |
334 return _unloaded_ciinstance_klass; | |
335 } | |
336 | |
337 ciKlass* find_system_klass(ciSymbol* klass_name); | |
338 // Note: To find a class from its name string, use ciSymbol::make, | |
339 // but consider adding to vmSymbols.hpp instead. | |
340 | |
341 // Use this to make a holder for non-perm compile time constants. | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
844
diff
changeset
|
342 // The resulting array is guaranteed to satisfy "can_be_constant". |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
844
diff
changeset
|
343 ciArray* make_system_array(GrowableArray<ciObject*>* objects); |
0 | 344 |
345 // converts the ciKlass* representing the holder of a method into a | |
346 // ciInstanceKlass*. This is needed since the holder of a method in | |
347 // the bytecodes could be an array type. Basically this converts | |
348 // array types into java/lang/Object and other types stay as they are. | |
349 static ciInstanceKlass* get_instance_klass_for_declared_method_holder(ciKlass* klass); | |
350 | |
351 // Return the machine-level offset of o, which must be an element of a. | |
352 // This may be used to form constant-loading expressions in lieu of simpler encodings. | |
353 int array_element_offset_in_bytes(ciArray* a, ciObject* o); | |
354 | |
355 // Access to the compile-lifetime allocation arena. | |
356 Arena* arena() { return _arena; } | |
357 | |
358 // What is the current compilation environment? | |
359 static ciEnv* current() { return CompilerThread::current()->env(); } | |
360 | |
361 // Overload with current thread argument | |
362 static ciEnv* current(CompilerThread *thread) { return thread->env(); } | |
363 | |
364 // Per-compiler data. (Used by C2 to publish the Compile* pointer.) | |
365 void* compiler_data() { return _compiler_data; } | |
366 void set_compiler_data(void* x) { _compiler_data = x; } | |
367 | |
368 // Notice that a method has been inlined in the current compile; | |
369 // used only for statistics. | |
370 void notice_inlined_method(ciMethod* method); | |
371 | |
372 // Total number of bytecodes in inlined methods in this compile | |
373 int num_inlined_bytecodes() const; | |
374 | |
375 // Output stream for logging compilation info. | |
376 CompileLog* log() { return _log; } | |
377 void set_log(CompileLog* log) { _log = log; } | |
378 | |
379 // Check for changes to the system dictionary during compilation | |
380 bool system_dictionary_modification_counter_changed(); | |
381 | |
382 void record_failure(const char* reason); | |
383 void record_method_not_compilable(const char* reason, bool all_tiers = true); | |
384 void record_out_of_memory_failure(); | |
385 }; |