Mercurial > hg > graal-compiler
annotate src/share/vm/ci/ciMethod.cpp @ 991:3a2aa26bdc58
6854812: 6.0_14-b08 crashes with a SIGSEGV
Reviewed-by: kvn, twisti
author | never |
---|---|
date | Wed, 16 Sep 2009 11:06:10 -0700 |
parents | c96bf21b756f |
children | 97125851f396 |
rev | line source |
---|---|
0 | 1 /* |
710 | 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 #include "incls/_precompiled.incl" | |
26 #include "incls/_ciMethod.cpp.incl" | |
27 | |
28 // ciMethod | |
29 // | |
30 // This class represents a methodOop in the HotSpot virtual | |
31 // machine. | |
32 | |
33 | |
34 // ------------------------------------------------------------------ | |
35 // ciMethod::ciMethod | |
36 // | |
37 // Loaded method. | |
38 ciMethod::ciMethod(methodHandle h_m) : ciObject(h_m) { | |
39 assert(h_m() != NULL, "no null method"); | |
40 | |
41 // These fields are always filled in in loaded methods. | |
42 _flags = ciFlags(h_m()->access_flags()); | |
43 | |
44 // Easy to compute, so fill them in now. | |
45 _max_stack = h_m()->max_stack(); | |
46 _max_locals = h_m()->max_locals(); | |
47 _code_size = h_m()->code_size(); | |
48 _intrinsic_id = h_m()->intrinsic_id(); | |
49 _handler_count = h_m()->exception_table()->length() / 4; | |
50 _uses_monitors = h_m()->access_flags().has_monitor_bytecodes(); | |
51 _balanced_monitors = !_uses_monitors || h_m()->access_flags().is_monitor_matching(); | |
52 _is_compilable = !h_m()->is_not_compilable(); | |
53 // Lazy fields, filled in on demand. Require allocation. | |
54 _code = NULL; | |
55 _exception_handlers = NULL; | |
56 _liveness = NULL; | |
57 _bcea = NULL; | |
58 _method_blocks = NULL; | |
59 #ifdef COMPILER2 | |
60 _flow = NULL; | |
61 #endif // COMPILER2 | |
62 | |
780
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
710
diff
changeset
|
63 ciEnv *env = CURRENT_ENV; |
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
710
diff
changeset
|
64 if (env->jvmti_can_hotswap_or_post_breakpoint() && _is_compilable) { |
0 | 65 // 6328518 check hotswap conditions under the right lock. |
66 MutexLocker locker(Compile_lock); | |
67 if (Dependencies::check_evol_method(h_m()) != NULL) { | |
68 _is_compilable = false; | |
69 } | |
70 } else { | |
71 CHECK_UNHANDLED_OOPS_ONLY(Thread::current()->clear_unhandled_oops()); | |
72 } | |
73 | |
74 if (instanceKlass::cast(h_m()->method_holder())->is_linked()) { | |
75 _can_be_statically_bound = h_m()->can_be_statically_bound(); | |
76 } else { | |
77 // Have to use a conservative value in this case. | |
78 _can_be_statically_bound = false; | |
79 } | |
80 | |
81 // Adjust the definition of this condition to be more useful: | |
82 // %%% take these conditions into account in vtable generation | |
83 if (!_can_be_statically_bound && h_m()->is_private()) | |
84 _can_be_statically_bound = true; | |
85 if (_can_be_statically_bound && h_m()->is_abstract()) | |
86 _can_be_statically_bound = false; | |
87 | |
88 // generating _signature may allow GC and therefore move m. | |
89 // These fields are always filled in. | |
90 _name = env->get_object(h_m()->name())->as_symbol(); | |
91 _holder = env->get_object(h_m()->method_holder())->as_instance_klass(); | |
92 ciSymbol* sig_symbol = env->get_object(h_m()->signature())->as_symbol(); | |
93 _signature = new (env->arena()) ciSignature(_holder, sig_symbol); | |
94 _method_data = NULL; | |
95 // Take a snapshot of these values, so they will be commensurate with the MDO. | |
96 if (ProfileInterpreter) { | |
97 int invcnt = h_m()->interpreter_invocation_count(); | |
98 // if the value overflowed report it as max int | |
99 _interpreter_invocation_count = invcnt < 0 ? max_jint : invcnt ; | |
100 _interpreter_throwout_count = h_m()->interpreter_throwout_count(); | |
101 } else { | |
102 _interpreter_invocation_count = 0; | |
103 _interpreter_throwout_count = 0; | |
104 } | |
105 if (_interpreter_invocation_count == 0) | |
106 _interpreter_invocation_count = 1; | |
107 } | |
108 | |
109 | |
110 // ------------------------------------------------------------------ | |
111 // ciMethod::ciMethod | |
112 // | |
113 // Unloaded method. | |
114 ciMethod::ciMethod(ciInstanceKlass* holder, | |
115 ciSymbol* name, | |
116 ciSymbol* signature) : ciObject(ciMethodKlass::make()) { | |
117 // These fields are always filled in. | |
118 _name = name; | |
119 _holder = holder; | |
120 _signature = new (CURRENT_ENV->arena()) ciSignature(_holder, signature); | |
121 _intrinsic_id = vmIntrinsics::_none; | |
122 _liveness = NULL; | |
123 _can_be_statically_bound = false; | |
124 _bcea = NULL; | |
125 _method_blocks = NULL; | |
126 _method_data = NULL; | |
127 #ifdef COMPILER2 | |
128 _flow = NULL; | |
129 #endif // COMPILER2 | |
130 } | |
131 | |
132 | |
133 // ------------------------------------------------------------------ | |
134 // ciMethod::load_code | |
135 // | |
136 // Load the bytecodes and exception handler table for this method. | |
137 void ciMethod::load_code() { | |
138 VM_ENTRY_MARK; | |
139 assert(is_loaded(), "only loaded methods have code"); | |
140 | |
141 methodOop me = get_methodOop(); | |
142 Arena* arena = CURRENT_THREAD_ENV->arena(); | |
143 | |
144 // Load the bytecodes. | |
145 _code = (address)arena->Amalloc(code_size()); | |
146 memcpy(_code, me->code_base(), code_size()); | |
147 | |
148 // Revert any breakpoint bytecodes in ci's copy | |
27
1f530c629c7d
6498878: client compiler crashes on windows when dealing with breakpoint instructions
kvn
parents:
0
diff
changeset
|
149 if (me->number_of_breakpoints() > 0) { |
0 | 150 BreakpointInfo* bp = instanceKlass::cast(me->method_holder())->breakpoints(); |
151 for (; bp != NULL; bp = bp->next()) { | |
152 if (bp->match(me)) { | |
153 code_at_put(bp->bci(), bp->orig_bytecode()); | |
154 } | |
155 } | |
156 } | |
157 | |
158 // And load the exception table. | |
159 typeArrayOop exc_table = me->exception_table(); | |
160 | |
161 // Allocate one extra spot in our list of exceptions. This | |
162 // last entry will be used to represent the possibility that | |
163 // an exception escapes the method. See ciExceptionHandlerStream | |
164 // for details. | |
165 _exception_handlers = | |
166 (ciExceptionHandler**)arena->Amalloc(sizeof(ciExceptionHandler*) | |
167 * (_handler_count + 1)); | |
168 if (_handler_count > 0) { | |
169 for (int i=0; i<_handler_count; i++) { | |
170 int base = i*4; | |
171 _exception_handlers[i] = new (arena) ciExceptionHandler( | |
172 holder(), | |
173 /* start */ exc_table->int_at(base), | |
174 /* limit */ exc_table->int_at(base+1), | |
175 /* goto pc */ exc_table->int_at(base+2), | |
176 /* cp index */ exc_table->int_at(base+3)); | |
177 } | |
178 } | |
179 | |
180 // Put an entry at the end of our list to represent the possibility | |
181 // of exceptional exit. | |
182 _exception_handlers[_handler_count] = | |
183 new (arena) ciExceptionHandler(holder(), 0, code_size(), -1, 0); | |
184 | |
185 if (CIPrintMethodCodes) { | |
186 print_codes(); | |
187 } | |
188 } | |
189 | |
190 | |
191 // ------------------------------------------------------------------ | |
192 // ciMethod::has_linenumber_table | |
193 // | |
194 // length unknown until decompression | |
195 bool ciMethod::has_linenumber_table() const { | |
196 check_is_loaded(); | |
197 VM_ENTRY_MARK; | |
198 return get_methodOop()->has_linenumber_table(); | |
199 } | |
200 | |
201 | |
202 // ------------------------------------------------------------------ | |
203 // ciMethod::compressed_linenumber_table | |
204 u_char* ciMethod::compressed_linenumber_table() const { | |
205 check_is_loaded(); | |
206 VM_ENTRY_MARK; | |
207 return get_methodOop()->compressed_linenumber_table(); | |
208 } | |
209 | |
210 | |
211 // ------------------------------------------------------------------ | |
212 // ciMethod::line_number_from_bci | |
213 int ciMethod::line_number_from_bci(int bci) const { | |
214 check_is_loaded(); | |
215 VM_ENTRY_MARK; | |
216 return get_methodOop()->line_number_from_bci(bci); | |
217 } | |
218 | |
219 | |
220 // ------------------------------------------------------------------ | |
221 // ciMethod::vtable_index | |
222 // | |
223 // Get the position of this method's entry in the vtable, if any. | |
224 int ciMethod::vtable_index() { | |
225 check_is_loaded(); | |
226 assert(holder()->is_linked(), "must be linked"); | |
227 VM_ENTRY_MARK; | |
228 return get_methodOop()->vtable_index(); | |
229 } | |
230 | |
231 | |
232 // ------------------------------------------------------------------ | |
233 // ciMethod::native_entry | |
234 // | |
235 // Get the address of this method's native code, if any. | |
236 address ciMethod::native_entry() { | |
237 check_is_loaded(); | |
238 assert(flags().is_native(), "must be native method"); | |
239 VM_ENTRY_MARK; | |
240 methodOop method = get_methodOop(); | |
241 address entry = method->native_function(); | |
242 assert(entry != NULL, "must be valid entry point"); | |
243 return entry; | |
244 } | |
245 | |
246 | |
247 // ------------------------------------------------------------------ | |
248 // ciMethod::interpreter_entry | |
249 // | |
250 // Get the entry point for running this method in the interpreter. | |
251 address ciMethod::interpreter_entry() { | |
252 check_is_loaded(); | |
253 VM_ENTRY_MARK; | |
254 methodHandle mh(THREAD, get_methodOop()); | |
255 return Interpreter::entry_for_method(mh); | |
256 } | |
257 | |
258 | |
259 // ------------------------------------------------------------------ | |
260 // ciMethod::uses_balanced_monitors | |
261 // | |
262 // Does this method use monitors in a strict stack-disciplined manner? | |
263 bool ciMethod::has_balanced_monitors() { | |
264 check_is_loaded(); | |
265 if (_balanced_monitors) return true; | |
266 | |
267 // Analyze the method to see if monitors are used properly. | |
268 VM_ENTRY_MARK; | |
269 methodHandle method(THREAD, get_methodOop()); | |
270 assert(method->has_monitor_bytecodes(), "should have checked this"); | |
271 | |
272 // Check to see if a previous compilation computed the | |
273 // monitor-matching analysis. | |
274 if (method->guaranteed_monitor_matching()) { | |
275 _balanced_monitors = true; | |
276 return true; | |
277 } | |
278 | |
279 { | |
280 EXCEPTION_MARK; | |
281 ResourceMark rm(THREAD); | |
282 GeneratePairingInfo gpi(method); | |
283 gpi.compute_map(CATCH); | |
284 if (!gpi.monitor_safe()) { | |
285 return false; | |
286 } | |
287 method->set_guaranteed_monitor_matching(); | |
288 _balanced_monitors = true; | |
289 } | |
290 return true; | |
291 } | |
292 | |
293 | |
294 // ------------------------------------------------------------------ | |
295 // ciMethod::get_flow_analysis | |
296 ciTypeFlow* ciMethod::get_flow_analysis() { | |
297 #ifdef COMPILER2 | |
298 if (_flow == NULL) { | |
299 ciEnv* env = CURRENT_ENV; | |
300 _flow = new (env->arena()) ciTypeFlow(env, this); | |
301 _flow->do_flow(); | |
302 } | |
303 return _flow; | |
304 #else // COMPILER2 | |
305 ShouldNotReachHere(); | |
306 return NULL; | |
307 #endif // COMPILER2 | |
308 } | |
309 | |
310 | |
311 // ------------------------------------------------------------------ | |
312 // ciMethod::get_osr_flow_analysis | |
313 ciTypeFlow* ciMethod::get_osr_flow_analysis(int osr_bci) { | |
314 #ifdef COMPILER2 | |
315 // OSR entry points are always place after a call bytecode of some sort | |
316 assert(osr_bci >= 0, "must supply valid OSR entry point"); | |
317 ciEnv* env = CURRENT_ENV; | |
318 ciTypeFlow* flow = new (env->arena()) ciTypeFlow(env, this, osr_bci); | |
319 flow->do_flow(); | |
320 return flow; | |
321 #else // COMPILER2 | |
322 ShouldNotReachHere(); | |
323 return NULL; | |
324 #endif // COMPILER2 | |
325 } | |
326 | |
327 // ------------------------------------------------------------------ | |
991 | 328 // ciMethod::raw_liveness_at_bci |
0 | 329 // |
330 // Which local variables are live at a specific bci? | |
991 | 331 MethodLivenessResult ciMethod::raw_liveness_at_bci(int bci) { |
0 | 332 check_is_loaded(); |
333 if (_liveness == NULL) { | |
334 // Create the liveness analyzer. | |
335 Arena* arena = CURRENT_ENV->arena(); | |
336 _liveness = new (arena) MethodLiveness(arena, this); | |
337 _liveness->compute_liveness(); | |
338 } | |
991 | 339 return _liveness->get_liveness_at(bci); |
340 } | |
341 | |
342 // ------------------------------------------------------------------ | |
343 // ciMethod::liveness_at_bci | |
344 // | |
345 // Which local variables are live at a specific bci? When debugging | |
346 // will return true for all locals in some cases to improve debug | |
347 // information. | |
348 MethodLivenessResult ciMethod::liveness_at_bci(int bci) { | |
349 MethodLivenessResult result = raw_liveness_at_bci(bci); | |
780
c96bf21b756f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
710
diff
changeset
|
350 if (CURRENT_ENV->jvmti_can_access_local_variables() || DeoptimizeALot || CompileTheWorld) { |
0 | 351 // Keep all locals live for the user's edification and amusement. |
352 result.at_put_range(0, result.size(), true); | |
353 } | |
354 return result; | |
355 } | |
356 | |
357 // ciMethod::live_local_oops_at_bci | |
358 // | |
359 // find all the live oops in the locals array for a particular bci | |
360 // Compute what the interpreter believes by using the interpreter | |
361 // oopmap generator. This is used as a double check during osr to | |
362 // guard against conservative result from MethodLiveness making us | |
363 // think a dead oop is live. MethodLiveness is conservative in the | |
364 // sense that it may consider locals to be live which cannot be live, | |
365 // like in the case where a local could contain an oop or a primitive | |
366 // along different paths. In that case the local must be dead when | |
367 // those paths merge. Since the interpreter's viewpoint is used when | |
368 // gc'ing an interpreter frame we need to use its viewpoint during | |
369 // OSR when loading the locals. | |
370 | |
371 BitMap ciMethod::live_local_oops_at_bci(int bci) { | |
372 VM_ENTRY_MARK; | |
373 InterpreterOopMap mask; | |
374 OopMapCache::compute_one_oop_map(get_methodOop(), bci, &mask); | |
375 int mask_size = max_locals(); | |
376 BitMap result(mask_size); | |
377 result.clear(); | |
378 int i; | |
379 for (i = 0; i < mask_size ; i++ ) { | |
380 if (mask.is_oop(i)) result.set_bit(i); | |
381 } | |
382 return result; | |
383 } | |
384 | |
385 | |
386 #ifdef COMPILER1 | |
387 // ------------------------------------------------------------------ | |
388 // ciMethod::bci_block_start | |
389 // | |
390 // Marks all bcis where a new basic block starts | |
391 const BitMap ciMethod::bci_block_start() { | |
392 check_is_loaded(); | |
393 if (_liveness == NULL) { | |
394 // Create the liveness analyzer. | |
395 Arena* arena = CURRENT_ENV->arena(); | |
396 _liveness = new (arena) MethodLiveness(arena, this); | |
397 _liveness->compute_liveness(); | |
398 } | |
399 | |
400 return _liveness->get_bci_block_start(); | |
401 } | |
402 #endif // COMPILER1 | |
403 | |
404 | |
405 // ------------------------------------------------------------------ | |
406 // ciMethod::call_profile_at_bci | |
407 // | |
408 // Get the ciCallProfile for the invocation of this method. | |
409 // Also reports receiver types for non-call type checks (if TypeProfileCasts). | |
410 ciCallProfile ciMethod::call_profile_at_bci(int bci) { | |
411 ResourceMark rm; | |
412 ciCallProfile result; | |
413 if (method_data() != NULL && method_data()->is_mature()) { | |
414 ciProfileData* data = method_data()->bci_to_data(bci); | |
415 if (data != NULL && data->is_CounterData()) { | |
416 // Every profiled call site has a counter. | |
417 int count = data->as_CounterData()->count(); | |
418 | |
419 if (!data->is_ReceiverTypeData()) { | |
420 result._receiver_count[0] = 0; // that's a definite zero | |
421 } else { // ReceiverTypeData is a subclass of CounterData | |
422 ciReceiverTypeData* call = (ciReceiverTypeData*)data->as_ReceiverTypeData(); | |
423 // In addition, virtual call sites have receiver type information | |
424 int receivers_count_total = 0; | |
425 int morphism = 0; | |
426 for (uint i = 0; i < call->row_limit(); i++) { | |
427 ciKlass* receiver = call->receiver(i); | |
428 if (receiver == NULL) continue; | |
429 morphism += 1; | |
430 int rcount = call->receiver_count(i); | |
431 if (rcount == 0) rcount = 1; // Should be valid value | |
432 receivers_count_total += rcount; | |
433 // Add the receiver to result data. | |
434 result.add_receiver(receiver, rcount); | |
435 // If we extend profiling to record methods, | |
436 // we will set result._method also. | |
437 } | |
438 // Determine call site's morphism. | |
439 // The call site count could be == (receivers_count_total + 1) | |
440 // not only in the case of a polymorphic call but also in the case | |
441 // when a method data snapshot is taken after the site count was updated | |
442 // but before receivers counters were updated. | |
443 if (morphism == result._limit) { | |
444 // There were no array klasses and morphism <= MorphismLimit. | |
445 if (morphism < ciCallProfile::MorphismLimit || | |
446 morphism == ciCallProfile::MorphismLimit && | |
447 (receivers_count_total+1) >= count) { | |
448 result._morphism = morphism; | |
449 } | |
450 } | |
451 // Make the count consistent if this is a call profile. If count is | |
452 // zero or less, presume that this is a typecheck profile and | |
453 // do nothing. Otherwise, increase count to be the sum of all | |
454 // receiver's counts. | |
455 if (count > 0) { | |
456 if (count < receivers_count_total) { | |
457 count = receivers_count_total; | |
458 } | |
459 } | |
460 } | |
461 result._count = count; | |
462 } | |
463 } | |
464 return result; | |
465 } | |
466 | |
467 // ------------------------------------------------------------------ | |
468 // Add new receiver and sort data by receiver's profile count. | |
469 void ciCallProfile::add_receiver(ciKlass* receiver, int receiver_count) { | |
470 // Add new receiver and sort data by receiver's counts when we have space | |
471 // for it otherwise replace the less called receiver (less called receiver | |
472 // is placed to the last array element which is not used). | |
473 // First array's element contains most called receiver. | |
474 int i = _limit; | |
475 for (; i > 0 && receiver_count > _receiver_count[i-1]; i--) { | |
476 _receiver[i] = _receiver[i-1]; | |
477 _receiver_count[i] = _receiver_count[i-1]; | |
478 } | |
479 _receiver[i] = receiver; | |
480 _receiver_count[i] = receiver_count; | |
481 if (_limit < MorphismLimit) _limit++; | |
482 } | |
483 | |
484 // ------------------------------------------------------------------ | |
485 // ciMethod::find_monomorphic_target | |
486 // | |
487 // Given a certain calling environment, find the monomorphic target | |
488 // for the call. Return NULL if the call is not monomorphic in | |
489 // its calling environment, or if there are only abstract methods. | |
490 // The returned method is never abstract. | |
491 // Note: If caller uses a non-null result, it must inform dependencies | |
492 // via assert_unique_concrete_method or assert_leaf_type. | |
493 ciMethod* ciMethod::find_monomorphic_target(ciInstanceKlass* caller, | |
494 ciInstanceKlass* callee_holder, | |
495 ciInstanceKlass* actual_recv) { | |
496 check_is_loaded(); | |
497 | |
498 if (actual_recv->is_interface()) { | |
499 // %%% We cannot trust interface types, yet. See bug 6312651. | |
500 return NULL; | |
501 } | |
502 | |
503 ciMethod* root_m = resolve_invoke(caller, actual_recv); | |
504 if (root_m == NULL) { | |
505 // Something went wrong looking up the actual receiver method. | |
506 return NULL; | |
507 } | |
508 assert(!root_m->is_abstract(), "resolve_invoke promise"); | |
509 | |
510 // Make certain quick checks even if UseCHA is false. | |
511 | |
512 // Is it private or final? | |
513 if (root_m->can_be_statically_bound()) { | |
514 return root_m; | |
515 } | |
516 | |
517 if (actual_recv->is_leaf_type() && actual_recv == root_m->holder()) { | |
518 // Easy case. There is no other place to put a method, so don't bother | |
519 // to go through the VM_ENTRY_MARK and all the rest. | |
520 return root_m; | |
521 } | |
522 | |
523 // Array methods (clone, hashCode, etc.) are always statically bound. | |
524 // If we were to see an array type here, we'd return root_m. | |
525 // However, this method processes only ciInstanceKlasses. (See 4962591.) | |
526 // The inline_native_clone intrinsic narrows Object to T[] properly, | |
527 // so there is no need to do the same job here. | |
528 | |
529 if (!UseCHA) return NULL; | |
530 | |
531 VM_ENTRY_MARK; | |
532 | |
533 methodHandle target; | |
534 { | |
535 MutexLocker locker(Compile_lock); | |
536 klassOop context = actual_recv->get_klassOop(); | |
537 target = Dependencies::find_unique_concrete_method(context, | |
538 root_m->get_methodOop()); | |
539 // %%% Should upgrade this ciMethod API to look for 1 or 2 concrete methods. | |
540 } | |
541 | |
542 #ifndef PRODUCT | |
543 if (TraceDependencies && target() != NULL && target() != root_m->get_methodOop()) { | |
544 tty->print("found a non-root unique target method"); | |
545 tty->print_cr(" context = %s", instanceKlass::cast(actual_recv->get_klassOop())->external_name()); | |
546 tty->print(" method = "); | |
547 target->print_short_name(tty); | |
548 tty->cr(); | |
549 } | |
550 #endif //PRODUCT | |
551 | |
552 if (target() == NULL) { | |
553 return NULL; | |
554 } | |
555 if (target() == root_m->get_methodOop()) { | |
556 return root_m; | |
557 } | |
558 if (!root_m->is_public() && | |
559 !root_m->is_protected()) { | |
560 // If we are going to reason about inheritance, it's easiest | |
561 // if the method in question is public, protected, or private. | |
562 // If the answer is not root_m, it is conservatively correct | |
563 // to return NULL, even if the CHA encountered irrelevant | |
564 // methods in other packages. | |
565 // %%% TO DO: Work out logic for package-private methods | |
566 // with the same name but different vtable indexes. | |
567 return NULL; | |
568 } | |
569 return CURRENT_THREAD_ENV->get_object(target())->as_method(); | |
570 } | |
571 | |
572 // ------------------------------------------------------------------ | |
573 // ciMethod::resolve_invoke | |
574 // | |
575 // Given a known receiver klass, find the target for the call. | |
576 // Return NULL if the call has no target or the target is abstract. | |
577 ciMethod* ciMethod::resolve_invoke(ciKlass* caller, ciKlass* exact_receiver) { | |
578 check_is_loaded(); | |
579 VM_ENTRY_MARK; | |
580 | |
581 KlassHandle caller_klass (THREAD, caller->get_klassOop()); | |
582 KlassHandle h_recv (THREAD, exact_receiver->get_klassOop()); | |
583 KlassHandle h_resolved (THREAD, holder()->get_klassOop()); | |
584 symbolHandle h_name (THREAD, name()->get_symbolOop()); | |
585 symbolHandle h_signature (THREAD, signature()->get_symbolOop()); | |
586 | |
587 methodHandle m; | |
588 // Only do exact lookup if receiver klass has been linked. Otherwise, | |
589 // the vtable has not been setup, and the LinkResolver will fail. | |
590 if (h_recv->oop_is_javaArray() | |
591 || | |
592 instanceKlass::cast(h_recv())->is_linked() && !exact_receiver->is_interface()) { | |
593 if (holder()->is_interface()) { | |
594 m = LinkResolver::resolve_interface_call_or_null(h_recv, h_resolved, h_name, h_signature, caller_klass); | |
595 } else { | |
596 m = LinkResolver::resolve_virtual_call_or_null(h_recv, h_resolved, h_name, h_signature, caller_klass); | |
597 } | |
598 } | |
599 | |
600 if (m.is_null()) { | |
601 // Return NULL only if there was a problem with lookup (uninitialized class, etc.) | |
602 return NULL; | |
603 } | |
604 | |
605 ciMethod* result = this; | |
606 if (m() != get_methodOop()) { | |
607 result = CURRENT_THREAD_ENV->get_object(m())->as_method(); | |
608 } | |
609 | |
610 // Don't return abstract methods because they aren't | |
611 // optimizable or interesting. | |
612 if (result->is_abstract()) { | |
613 return NULL; | |
614 } else { | |
615 return result; | |
616 } | |
617 } | |
618 | |
619 // ------------------------------------------------------------------ | |
620 // ciMethod::resolve_vtable_index | |
621 // | |
622 // Given a known receiver klass, find the vtable index for the call. | |
623 // Return methodOopDesc::invalid_vtable_index if the vtable_index is unknown. | |
624 int ciMethod::resolve_vtable_index(ciKlass* caller, ciKlass* receiver) { | |
625 check_is_loaded(); | |
626 | |
627 int vtable_index = methodOopDesc::invalid_vtable_index; | |
628 // Only do lookup if receiver klass has been linked. Otherwise, | |
629 // the vtable has not been setup, and the LinkResolver will fail. | |
630 if (!receiver->is_interface() | |
631 && (!receiver->is_instance_klass() || | |
632 receiver->as_instance_klass()->is_linked())) { | |
633 VM_ENTRY_MARK; | |
634 | |
635 KlassHandle caller_klass (THREAD, caller->get_klassOop()); | |
636 KlassHandle h_recv (THREAD, receiver->get_klassOop()); | |
637 symbolHandle h_name (THREAD, name()->get_symbolOop()); | |
638 symbolHandle h_signature (THREAD, signature()->get_symbolOop()); | |
639 | |
640 vtable_index = LinkResolver::resolve_virtual_vtable_index(h_recv, h_recv, h_name, h_signature, caller_klass); | |
641 if (vtable_index == methodOopDesc::nonvirtual_vtable_index) { | |
642 // A statically bound method. Return "no such index". | |
643 vtable_index = methodOopDesc::invalid_vtable_index; | |
644 } | |
645 } | |
646 | |
647 return vtable_index; | |
648 } | |
649 | |
650 // ------------------------------------------------------------------ | |
651 // ciMethod::interpreter_call_site_count | |
652 int ciMethod::interpreter_call_site_count(int bci) { | |
653 if (method_data() != NULL) { | |
654 ResourceMark rm; | |
655 ciProfileData* data = method_data()->bci_to_data(bci); | |
656 if (data != NULL && data->is_CounterData()) { | |
657 return scale_count(data->as_CounterData()->count()); | |
658 } | |
659 } | |
660 return -1; // unknown | |
661 } | |
662 | |
663 // ------------------------------------------------------------------ | |
664 // Adjust a CounterData count to be commensurate with | |
665 // interpreter_invocation_count. If the MDO exists for | |
666 // only 25% of the time the method exists, then the | |
667 // counts in the MDO should be scaled by 4X, so that | |
668 // they can be usefully and stably compared against the | |
669 // invocation counts in methods. | |
670 int ciMethod::scale_count(int count, float prof_factor) { | |
671 if (count > 0 && method_data() != NULL) { | |
672 int current_mileage = method_data()->current_mileage(); | |
673 int creation_mileage = method_data()->creation_mileage(); | |
674 int counter_life = current_mileage - creation_mileage; | |
675 int method_life = interpreter_invocation_count(); | |
676 // counter_life due to backedge_counter could be > method_life | |
677 if (counter_life > method_life) | |
678 counter_life = method_life; | |
679 if (0 < counter_life && counter_life <= method_life) { | |
680 count = (int)((double)count * prof_factor * method_life / counter_life + 0.5); | |
681 count = (count > 0) ? count : 1; | |
682 } | |
683 } | |
684 return count; | |
685 } | |
686 | |
687 // ------------------------------------------------------------------ | |
710 | 688 // invokedynamic support |
689 // | |
690 bool ciMethod::is_method_handle_invoke() { | |
691 check_is_loaded(); | |
692 bool flag = ((flags().as_int() & JVM_MH_INVOKE_BITS) == JVM_MH_INVOKE_BITS); | |
693 #ifdef ASSERT | |
694 { | |
695 VM_ENTRY_MARK; | |
696 bool flag2 = get_methodOop()->is_method_handle_invoke(); | |
697 assert(flag == flag2, "consistent"); | |
698 } | |
699 #endif //ASSERT | |
700 return flag; | |
701 } | |
702 | |
703 ciInstance* ciMethod::method_handle_type() { | |
704 check_is_loaded(); | |
705 VM_ENTRY_MARK; | |
706 oop mtype = get_methodOop()->method_handle_type(); | |
707 return CURRENT_THREAD_ENV->get_object(mtype)->as_instance(); | |
708 } | |
709 | |
710 | |
711 // ------------------------------------------------------------------ | |
0 | 712 // ciMethod::build_method_data |
713 // | |
714 // Generate new methodDataOop objects at compile time. | |
715 void ciMethod::build_method_data(methodHandle h_m) { | |
716 EXCEPTION_CONTEXT; | |
717 if (is_native() || is_abstract() || h_m()->is_accessor()) return; | |
718 if (h_m()->method_data() == NULL) { | |
719 methodOopDesc::build_interpreter_method_data(h_m, THREAD); | |
720 if (HAS_PENDING_EXCEPTION) { | |
721 CLEAR_PENDING_EXCEPTION; | |
722 } | |
723 } | |
724 if (h_m()->method_data() != NULL) { | |
725 _method_data = CURRENT_ENV->get_object(h_m()->method_data())->as_method_data(); | |
726 _method_data->load_data(); | |
727 } else { | |
728 _method_data = CURRENT_ENV->get_empty_methodData(); | |
729 } | |
730 } | |
731 | |
732 // public, retroactive version | |
733 void ciMethod::build_method_data() { | |
734 if (_method_data == NULL || _method_data->is_empty()) { | |
735 GUARDED_VM_ENTRY({ | |
736 build_method_data(get_methodOop()); | |
737 }); | |
738 } | |
739 } | |
740 | |
741 | |
742 // ------------------------------------------------------------------ | |
743 // ciMethod::method_data | |
744 // | |
745 ciMethodData* ciMethod::method_data() { | |
746 if (_method_data != NULL) { | |
747 return _method_data; | |
748 } | |
749 VM_ENTRY_MARK; | |
750 ciEnv* env = CURRENT_ENV; | |
751 Thread* my_thread = JavaThread::current(); | |
752 methodHandle h_m(my_thread, get_methodOop()); | |
753 | |
754 if (Tier1UpdateMethodData && is_tier1_compile(env->comp_level())) { | |
755 build_method_data(h_m); | |
756 } | |
757 | |
758 if (h_m()->method_data() != NULL) { | |
759 _method_data = CURRENT_ENV->get_object(h_m()->method_data())->as_method_data(); | |
760 _method_data->load_data(); | |
761 } else { | |
762 _method_data = CURRENT_ENV->get_empty_methodData(); | |
763 } | |
764 return _method_data; | |
765 | |
766 } | |
767 | |
768 | |
769 // ------------------------------------------------------------------ | |
770 // ciMethod::will_link | |
771 // | |
772 // Will this method link in a specific calling context? | |
773 bool ciMethod::will_link(ciKlass* accessing_klass, | |
774 ciKlass* declared_method_holder, | |
775 Bytecodes::Code bc) { | |
776 if (!is_loaded()) { | |
777 // Method lookup failed. | |
778 return false; | |
779 } | |
780 | |
781 // The link checks have been front-loaded into the get_method | |
782 // call. This method (ciMethod::will_link()) will be removed | |
783 // in the future. | |
784 | |
785 return true; | |
786 } | |
787 | |
788 // ------------------------------------------------------------------ | |
789 // ciMethod::should_exclude | |
790 // | |
791 // Should this method be excluded from compilation? | |
792 bool ciMethod::should_exclude() { | |
793 check_is_loaded(); | |
794 VM_ENTRY_MARK; | |
795 methodHandle mh(THREAD, get_methodOop()); | |
796 bool ignore; | |
797 return CompilerOracle::should_exclude(mh, ignore); | |
798 } | |
799 | |
800 // ------------------------------------------------------------------ | |
801 // ciMethod::should_inline | |
802 // | |
803 // Should this method be inlined during compilation? | |
804 bool ciMethod::should_inline() { | |
805 check_is_loaded(); | |
806 VM_ENTRY_MARK; | |
807 methodHandle mh(THREAD, get_methodOop()); | |
808 return CompilerOracle::should_inline(mh); | |
809 } | |
810 | |
811 // ------------------------------------------------------------------ | |
812 // ciMethod::should_not_inline | |
813 // | |
814 // Should this method be disallowed from inlining during compilation? | |
815 bool ciMethod::should_not_inline() { | |
816 check_is_loaded(); | |
817 VM_ENTRY_MARK; | |
818 methodHandle mh(THREAD, get_methodOop()); | |
819 return CompilerOracle::should_not_inline(mh); | |
820 } | |
821 | |
822 // ------------------------------------------------------------------ | |
823 // ciMethod::should_print_assembly | |
824 // | |
825 // Should the compiler print the generated code for this method? | |
826 bool ciMethod::should_print_assembly() { | |
827 check_is_loaded(); | |
828 VM_ENTRY_MARK; | |
829 methodHandle mh(THREAD, get_methodOop()); | |
830 return CompilerOracle::should_print(mh); | |
831 } | |
832 | |
833 // ------------------------------------------------------------------ | |
834 // ciMethod::break_at_execute | |
835 // | |
836 // Should the compiler insert a breakpoint into the generated code | |
837 // method? | |
838 bool ciMethod::break_at_execute() { | |
839 check_is_loaded(); | |
840 VM_ENTRY_MARK; | |
841 methodHandle mh(THREAD, get_methodOop()); | |
842 return CompilerOracle::should_break_at(mh); | |
843 } | |
844 | |
845 // ------------------------------------------------------------------ | |
846 // ciMethod::has_option | |
847 // | |
848 bool ciMethod::has_option(const char* option) { | |
849 check_is_loaded(); | |
850 VM_ENTRY_MARK; | |
851 methodHandle mh(THREAD, get_methodOop()); | |
852 return CompilerOracle::has_option_string(mh, option); | |
853 } | |
854 | |
855 // ------------------------------------------------------------------ | |
856 // ciMethod::can_be_compiled | |
857 // | |
858 // Have previous compilations of this method succeeded? | |
859 bool ciMethod::can_be_compiled() { | |
860 check_is_loaded(); | |
861 return _is_compilable; | |
862 } | |
863 | |
864 // ------------------------------------------------------------------ | |
865 // ciMethod::set_not_compilable | |
866 // | |
867 // Tell the VM that this method cannot be compiled at all. | |
868 void ciMethod::set_not_compilable() { | |
869 check_is_loaded(); | |
870 VM_ENTRY_MARK; | |
871 _is_compilable = false; | |
872 get_methodOop()->set_not_compilable(); | |
873 } | |
874 | |
875 // ------------------------------------------------------------------ | |
876 // ciMethod::can_be_osr_compiled | |
877 // | |
878 // Have previous compilations of this method succeeded? | |
879 // | |
880 // Implementation note: the VM does not currently keep track | |
881 // of failed OSR compilations per bci. The entry_bci parameter | |
882 // is currently unused. | |
883 bool ciMethod::can_be_osr_compiled(int entry_bci) { | |
884 check_is_loaded(); | |
885 VM_ENTRY_MARK; | |
886 return !get_methodOop()->access_flags().is_not_osr_compilable(); | |
887 } | |
888 | |
889 // ------------------------------------------------------------------ | |
890 // ciMethod::has_compiled_code | |
891 bool ciMethod::has_compiled_code() { | |
892 VM_ENTRY_MARK; | |
893 return get_methodOop()->code() != NULL; | |
894 } | |
895 | |
896 // ------------------------------------------------------------------ | |
897 // ciMethod::instructions_size | |
898 // This is a rough metric for "fat" methods, compared | |
899 // before inlining with InlineSmallCode. | |
900 // The CodeBlob::instructions_size accessor includes | |
901 // junk like exception handler, stubs, and constant table, | |
902 // which are not highly relevant to an inlined method. | |
903 // So we use the more specific accessor nmethod::code_size. | |
904 int ciMethod::instructions_size() { | |
905 GUARDED_VM_ENTRY( | |
906 nmethod* code = get_methodOop()->code(); | |
907 // if there's no compiled code or the code was produced by the | |
908 // tier1 profiler return 0 for the code size. This should | |
909 // probably be based on the compilation level of the nmethod but | |
910 // that currently isn't properly recorded. | |
911 if (code == NULL || | |
912 (TieredCompilation && code->compiler() != NULL && code->compiler()->is_c1())) { | |
913 return 0; | |
914 } | |
182
44abbb0d4c18
6709093: Compressed Oops: reduce size of compiled methods
kvn
parents:
27
diff
changeset
|
915 return code->code_end() - code->verified_entry_point(); |
0 | 916 ) |
917 } | |
918 | |
919 // ------------------------------------------------------------------ | |
920 // ciMethod::log_nmethod_identity | |
921 void ciMethod::log_nmethod_identity(xmlStream* log) { | |
922 GUARDED_VM_ENTRY( | |
923 nmethod* code = get_methodOop()->code(); | |
924 if (code != NULL) { | |
925 code->log_identity(log); | |
926 } | |
927 ) | |
928 } | |
929 | |
930 // ------------------------------------------------------------------ | |
931 // ciMethod::is_not_reached | |
932 bool ciMethod::is_not_reached(int bci) { | |
933 check_is_loaded(); | |
934 VM_ENTRY_MARK; | |
935 return Interpreter::is_not_reached( | |
936 methodHandle(THREAD, get_methodOop()), bci); | |
937 } | |
938 | |
939 // ------------------------------------------------------------------ | |
940 // ciMethod::was_never_executed | |
941 bool ciMethod::was_executed_more_than(int times) { | |
942 VM_ENTRY_MARK; | |
943 return get_methodOop()->was_executed_more_than(times); | |
944 } | |
945 | |
946 // ------------------------------------------------------------------ | |
947 // ciMethod::has_unloaded_classes_in_signature | |
948 bool ciMethod::has_unloaded_classes_in_signature() { | |
949 VM_ENTRY_MARK; | |
950 { | |
951 EXCEPTION_MARK; | |
952 methodHandle m(THREAD, get_methodOop()); | |
953 bool has_unloaded = methodOopDesc::has_unloaded_classes_in_signature(m, (JavaThread *)THREAD); | |
954 if( HAS_PENDING_EXCEPTION ) { | |
955 CLEAR_PENDING_EXCEPTION; | |
956 return true; // Declare that we may have unloaded classes | |
957 } | |
958 return has_unloaded; | |
959 } | |
960 } | |
961 | |
962 // ------------------------------------------------------------------ | |
963 // ciMethod::is_klass_loaded | |
964 bool ciMethod::is_klass_loaded(int refinfo_index, bool must_be_resolved) const { | |
965 VM_ENTRY_MARK; | |
966 return get_methodOop()->is_klass_loaded(refinfo_index, must_be_resolved); | |
967 } | |
968 | |
969 // ------------------------------------------------------------------ | |
970 // ciMethod::check_call | |
971 bool ciMethod::check_call(int refinfo_index, bool is_static) const { | |
972 VM_ENTRY_MARK; | |
973 { | |
974 EXCEPTION_MARK; | |
975 HandleMark hm(THREAD); | |
976 constantPoolHandle pool (THREAD, get_methodOop()->constants()); | |
977 methodHandle spec_method; | |
978 KlassHandle spec_klass; | |
979 LinkResolver::resolve_method(spec_method, spec_klass, pool, refinfo_index, THREAD); | |
980 if (HAS_PENDING_EXCEPTION) { | |
981 CLEAR_PENDING_EXCEPTION; | |
982 return false; | |
983 } else { | |
984 return (spec_method->is_static() == is_static); | |
985 } | |
986 } | |
987 return false; | |
988 } | |
989 | |
990 // ------------------------------------------------------------------ | |
991 // ciMethod::print_codes | |
992 // | |
993 // Print the bytecodes for this method. | |
994 void ciMethod::print_codes_on(outputStream* st) { | |
995 check_is_loaded(); | |
996 GUARDED_VM_ENTRY(get_methodOop()->print_codes_on(st);) | |
997 } | |
998 | |
999 | |
1000 #define FETCH_FLAG_FROM_VM(flag_accessor) { \ | |
1001 check_is_loaded(); \ | |
1002 VM_ENTRY_MARK; \ | |
1003 return get_methodOop()->flag_accessor(); \ | |
1004 } | |
1005 | |
1006 bool ciMethod::is_empty_method() const { FETCH_FLAG_FROM_VM(is_empty_method); } | |
1007 bool ciMethod::is_vanilla_constructor() const { FETCH_FLAG_FROM_VM(is_vanilla_constructor); } | |
1008 bool ciMethod::has_loops () const { FETCH_FLAG_FROM_VM(has_loops); } | |
1009 bool ciMethod::has_jsrs () const { FETCH_FLAG_FROM_VM(has_jsrs); } | |
1010 bool ciMethod::is_accessor () const { FETCH_FLAG_FROM_VM(is_accessor); } | |
1011 bool ciMethod::is_initializer () const { FETCH_FLAG_FROM_VM(is_initializer); } | |
1012 | |
1013 BCEscapeAnalyzer *ciMethod::get_bcea() { | |
1014 if (_bcea == NULL) { | |
1015 _bcea = new (CURRENT_ENV->arena()) BCEscapeAnalyzer(this, NULL); | |
1016 } | |
1017 return _bcea; | |
1018 } | |
1019 | |
1020 ciMethodBlocks *ciMethod::get_method_blocks() { | |
1021 Arena *arena = CURRENT_ENV->arena(); | |
1022 if (_method_blocks == NULL) { | |
1023 _method_blocks = new (arena) ciMethodBlocks(arena, this); | |
1024 } | |
1025 return _method_blocks; | |
1026 } | |
1027 | |
1028 #undef FETCH_FLAG_FROM_VM | |
1029 | |
1030 | |
1031 // ------------------------------------------------------------------ | |
1032 // ciMethod::print_codes | |
1033 // | |
1034 // Print a range of the bytecodes for this method. | |
1035 void ciMethod::print_codes_on(int from, int to, outputStream* st) { | |
1036 check_is_loaded(); | |
1037 GUARDED_VM_ENTRY(get_methodOop()->print_codes_on(from, to, st);) | |
1038 } | |
1039 | |
1040 // ------------------------------------------------------------------ | |
1041 // ciMethod::print_name | |
1042 // | |
1043 // Print the name of this method, including signature and some flags. | |
1044 void ciMethod::print_name(outputStream* st) { | |
1045 check_is_loaded(); | |
1046 GUARDED_VM_ENTRY(get_methodOop()->print_name(st);) | |
1047 } | |
1048 | |
1049 // ------------------------------------------------------------------ | |
1050 // ciMethod::print_short_name | |
1051 // | |
1052 // Print the name of this method, without signature. | |
1053 void ciMethod::print_short_name(outputStream* st) { | |
1054 check_is_loaded(); | |
1055 GUARDED_VM_ENTRY(get_methodOop()->print_short_name(st);) | |
1056 } | |
1057 | |
1058 // ------------------------------------------------------------------ | |
1059 // ciMethod::print_impl | |
1060 // | |
1061 // Implementation of the print method. | |
1062 void ciMethod::print_impl(outputStream* st) { | |
1063 ciObject::print_impl(st); | |
1064 st->print(" name="); | |
1065 name()->print_symbol_on(st); | |
1066 st->print(" holder="); | |
1067 holder()->print_name_on(st); | |
1068 st->print(" signature="); | |
1069 signature()->as_symbol()->print_symbol_on(st); | |
1070 if (is_loaded()) { | |
1071 st->print(" loaded=true flags="); | |
1072 flags().print_member_flags(st); | |
1073 } else { | |
1074 st->print(" loaded=false"); | |
1075 } | |
1076 } |