Mon, 04 Nov 2013 21:59:54 +0100
8027445: SIGSEGV at TestFloatingDecimal.testAppendToDouble()I
Summary: String.equals() intrinsic shouldn't use integer length input in pointer arithmetic without an i2l.
Reviewed-by: kvn, twisti
1 /*
2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
25 #include "precompiled.hpp"
26 #include "interpreter/interpreter.hpp"
27 #include "memory/resourceArea.hpp"
28 #include "oops/markOop.hpp"
29 #include "oops/method.hpp"
30 #include "oops/oop.inline.hpp"
31 #include "prims/methodHandles.hpp"
32 #include "runtime/frame.inline.hpp"
33 #include "runtime/handles.inline.hpp"
34 #include "runtime/javaCalls.hpp"
35 #include "runtime/monitorChunk.hpp"
36 #include "runtime/signature.hpp"
37 #include "runtime/stubCodeGenerator.hpp"
38 #include "runtime/stubRoutines.hpp"
39 #include "vmreg_sparc.inline.hpp"
40 #ifdef COMPILER1
41 #include "c1/c1_Runtime1.hpp"
42 #include "runtime/vframeArray.hpp"
43 #endif
45 void RegisterMap::pd_clear() {
46 if (_thread->has_last_Java_frame()) {
47 frame fr = _thread->last_frame();
48 _window = fr.sp();
49 } else {
50 _window = NULL;
51 }
52 _younger_window = NULL;
53 }
56 // Unified register numbering scheme: each 32-bits counts as a register
57 // number, so all the V9 registers take 2 slots.
58 const static int R_L_nums[] = {0+040,2+040,4+040,6+040,8+040,10+040,12+040,14+040};
59 const static int R_I_nums[] = {0+060,2+060,4+060,6+060,8+060,10+060,12+060,14+060};
60 const static int R_O_nums[] = {0+020,2+020,4+020,6+020,8+020,10+020,12+020,14+020};
61 const static int R_G_nums[] = {0+000,2+000,4+000,6+000,8+000,10+000,12+000,14+000};
62 static RegisterMap::LocationValidType bad_mask = 0;
63 static RegisterMap::LocationValidType R_LIO_mask = 0;
64 static bool register_map_inited = false;
66 static void register_map_init() {
67 if (!register_map_inited) {
68 register_map_inited = true;
69 int i;
70 for (i = 0; i < 8; i++) {
71 assert(R_L_nums[i] < RegisterMap::location_valid_type_size, "in first chunk");
72 assert(R_I_nums[i] < RegisterMap::location_valid_type_size, "in first chunk");
73 assert(R_O_nums[i] < RegisterMap::location_valid_type_size, "in first chunk");
74 assert(R_G_nums[i] < RegisterMap::location_valid_type_size, "in first chunk");
75 }
77 bad_mask |= (1LL << R_O_nums[6]); // SP
78 bad_mask |= (1LL << R_O_nums[7]); // cPC
79 bad_mask |= (1LL << R_I_nums[6]); // FP
80 bad_mask |= (1LL << R_I_nums[7]); // rPC
81 bad_mask |= (1LL << R_G_nums[2]); // TLS
82 bad_mask |= (1LL << R_G_nums[7]); // reserved by libthread
84 for (i = 0; i < 8; i++) {
85 R_LIO_mask |= (1LL << R_L_nums[i]);
86 R_LIO_mask |= (1LL << R_I_nums[i]);
87 R_LIO_mask |= (1LL << R_O_nums[i]);
88 }
89 }
90 }
93 address RegisterMap::pd_location(VMReg regname) const {
94 register_map_init();
96 assert(regname->is_reg(), "sanity check");
97 // Only the GPRs get handled this way
98 if( !regname->is_Register())
99 return NULL;
101 // don't talk about bad registers
102 if ((bad_mask & ((LocationValidType)1 << regname->value())) != 0) {
103 return NULL;
104 }
106 // Convert to a GPR
107 Register reg;
108 int second_word = 0;
109 // 32-bit registers for in, out and local
110 if (!regname->is_concrete()) {
111 // HMM ought to return NULL for any non-concrete (odd) vmreg
112 // this all tied up in the fact we put out double oopMaps for
113 // register locations. When that is fixed we'd will return NULL
114 // (or assert here).
115 reg = regname->prev()->as_Register();
116 #ifdef _LP64
117 second_word = sizeof(jint);
118 #else
119 return NULL;
120 #endif // _LP64
121 } else {
122 reg = regname->as_Register();
123 }
124 if (reg->is_out()) {
125 assert(_younger_window != NULL, "Younger window should be available");
126 return second_word + (address)&_younger_window[reg->after_save()->sp_offset_in_saved_window()];
127 }
128 if (reg->is_local() || reg->is_in()) {
129 assert(_window != NULL, "Window should be available");
130 return second_word + (address)&_window[reg->sp_offset_in_saved_window()];
131 }
132 // Only the window'd GPRs get handled this way; not the globals.
133 return NULL;
134 }
137 #ifdef ASSERT
138 void RegisterMap::check_location_valid() {
139 register_map_init();
140 assert((_location_valid[0] & bad_mask) == 0, "cannot have special locations for SP,FP,TLS,etc.");
141 }
142 #endif
144 // We are shifting windows. That means we are moving all %i to %o,
145 // getting rid of all current %l, and keeping all %g. This is only
146 // complicated if any of the location pointers for these are valid.
147 // The normal case is that everything is in its standard register window
148 // home, and _location_valid[0] is zero. In that case, this routine
149 // does exactly nothing.
150 void RegisterMap::shift_individual_registers() {
151 if (!update_map()) return; // this only applies to maps with locations
152 register_map_init();
153 check_location_valid();
155 LocationValidType lv = _location_valid[0];
156 LocationValidType lv0 = lv;
158 lv &= ~R_LIO_mask; // clear %l, %o, %i regs
160 // if we cleared some non-%g locations, we may have to do some shifting
161 if (lv != lv0) {
162 // copy %i0-%i5 to %o0-%o5, if they have special locations
163 // This can happen in within stubs which spill argument registers
164 // around a dynamic link operation, such as resolve_opt_virtual_call.
165 for (int i = 0; i < 8; i++) {
166 if (lv0 & (1LL << R_I_nums[i])) {
167 _location[R_O_nums[i]] = _location[R_I_nums[i]];
168 lv |= (1LL << R_O_nums[i]);
169 }
170 }
171 }
173 _location_valid[0] = lv;
174 check_location_valid();
175 }
177 bool frame::safe_for_sender(JavaThread *thread) {
179 address _SP = (address) sp();
180 address _FP = (address) fp();
181 address _UNEXTENDED_SP = (address) unextended_sp();
182 // sp must be within the stack
183 bool sp_safe = (_SP <= thread->stack_base()) &&
184 (_SP >= thread->stack_base() - thread->stack_size());
186 if (!sp_safe) {
187 return false;
188 }
190 // unextended sp must be within the stack and above or equal sp
191 bool unextended_sp_safe = (_UNEXTENDED_SP <= thread->stack_base()) &&
192 (_UNEXTENDED_SP >= _SP);
194 if (!unextended_sp_safe) return false;
196 // an fp must be within the stack and above (but not equal) sp
197 bool fp_safe = (_FP <= thread->stack_base()) &&
198 (_FP > _SP);
200 // We know sp/unextended_sp are safe only fp is questionable here
202 // If the current frame is known to the code cache then we can attempt to
203 // to construct the sender and do some validation of it. This goes a long way
204 // toward eliminating issues when we get in frame construction code
206 if (_cb != NULL ) {
208 // First check if frame is complete and tester is reliable
209 // Unfortunately we can only check frame complete for runtime stubs and nmethod
210 // other generic buffer blobs are more problematic so we just assume they are
211 // ok. adapter blobs never have a frame complete and are never ok.
213 if (!_cb->is_frame_complete_at(_pc)) {
214 if (_cb->is_nmethod() || _cb->is_adapter_blob() || _cb->is_runtime_stub()) {
215 return false;
216 }
217 }
219 // Could just be some random pointer within the codeBlob
220 if (!_cb->code_contains(_pc)) {
221 return false;
222 }
224 // Entry frame checks
225 if (is_entry_frame()) {
226 // an entry frame must have a valid fp.
228 if (!fp_safe) {
229 return false;
230 }
232 // Validate the JavaCallWrapper an entry frame must have
234 address jcw = (address)entry_frame_call_wrapper();
236 bool jcw_safe = (jcw <= thread->stack_base()) && ( jcw > _FP);
238 return jcw_safe;
240 }
242 intptr_t* younger_sp = sp();
243 intptr_t* _SENDER_SP = sender_sp(); // sender is actually just _FP
244 bool adjusted_stack = is_interpreted_frame();
246 address sender_pc = (address)younger_sp[I7->sp_offset_in_saved_window()] + pc_return_offset;
249 // We must always be able to find a recognizable pc
250 CodeBlob* sender_blob = CodeCache::find_blob_unsafe(sender_pc);
251 if (sender_pc == NULL || sender_blob == NULL) {
252 return false;
253 }
255 // Could be a zombie method
256 if (sender_blob->is_zombie() || sender_blob->is_unloaded()) {
257 return false;
258 }
260 // It should be safe to construct the sender though it might not be valid
262 frame sender(_SENDER_SP, younger_sp, adjusted_stack);
264 // Do we have a valid fp?
265 address sender_fp = (address) sender.fp();
267 // an fp must be within the stack and above (but not equal) current frame's _FP
269 bool sender_fp_safe = (sender_fp <= thread->stack_base()) &&
270 (sender_fp > _FP);
272 if (!sender_fp_safe) {
273 return false;
274 }
277 // If the potential sender is the interpreter then we can do some more checking
278 if (Interpreter::contains(sender_pc)) {
279 return sender.is_interpreted_frame_valid(thread);
280 }
282 // Could just be some random pointer within the codeBlob
283 if (!sender.cb()->code_contains(sender_pc)) {
284 return false;
285 }
287 // We should never be able to see an adapter if the current frame is something from code cache
288 if (sender_blob->is_adapter_blob()) {
289 return false;
290 }
292 if( sender.is_entry_frame()) {
293 // Validate the JavaCallWrapper an entry frame must have
295 address jcw = (address)sender.entry_frame_call_wrapper();
297 bool jcw_safe = (jcw <= thread->stack_base()) && ( jcw > sender_fp);
299 return jcw_safe;
300 }
302 // If the frame size is 0 something (or less) is bad because every nmethod has a non-zero frame size
303 // because you must allocate window space
305 if (sender_blob->frame_size() <= 0) {
306 assert(!sender_blob->is_nmethod(), "should count return address at least");
307 return false;
308 }
310 // The sender should positively be an nmethod or call_stub. On sparc we might in fact see something else.
311 // The cause of this is because at a save instruction the O7 we get is a leftover from an earlier
312 // window use. So if a runtime stub creates two frames (common in fastdebug/debug) then we see the
313 // stale pc. So if the sender blob is not something we'd expect we have little choice but to declare
314 // the stack unwalkable. pd_get_top_frame_for_signal_handler tries to recover from this by unwinding
315 // that initial frame and retrying.
317 if (!sender_blob->is_nmethod()) {
318 return false;
319 }
321 // Could put some more validation for the potential non-interpreted sender
322 // frame we'd create by calling sender if I could think of any. Wait for next crash in forte...
324 // One idea is seeing if the sender_pc we have is one that we'd expect to call to current cb
326 // We've validated the potential sender that would be created
328 return true;
330 }
332 // Must be native-compiled frame. Since sender will try and use fp to find
333 // linkages it must be safe
335 if (!fp_safe) return false;
337 // could try and do some more potential verification of native frame if we could think of some...
339 return true;
340 }
342 // constructors
344 // Construct an unpatchable, deficient frame
345 frame::frame(intptr_t* sp, unpatchable_t, address pc, CodeBlob* cb) {
346 #ifdef _LP64
347 assert( (((intptr_t)sp & (wordSize-1)) == 0), "frame constructor passed an invalid sp");
348 #endif
349 _sp = sp;
350 _younger_sp = NULL;
351 _pc = pc;
352 _cb = cb;
353 _sp_adjustment_by_callee = 0;
354 assert(pc == NULL && cb == NULL || pc != NULL, "can't have a cb and no pc!");
355 if (_cb == NULL && _pc != NULL ) {
356 _cb = CodeCache::find_blob(_pc);
357 }
358 _deopt_state = unknown;
359 #ifdef ASSERT
360 if ( _cb != NULL && _cb->is_nmethod()) {
361 // Without a valid unextended_sp() we can't convert the pc to "original"
362 assert(!((nmethod*)_cb)->is_deopt_pc(_pc), "invariant broken");
363 }
364 #endif // ASSERT
365 }
367 frame::frame(intptr_t* sp, intptr_t* younger_sp, bool younger_frame_is_interpreted) :
368 _sp(sp),
369 _younger_sp(younger_sp),
370 _deopt_state(unknown),
371 _sp_adjustment_by_callee(0) {
372 if (younger_sp == NULL) {
373 // make a deficient frame which doesn't know where its PC is
374 _pc = NULL;
375 _cb = NULL;
376 } else {
377 _pc = (address)younger_sp[I7->sp_offset_in_saved_window()] + pc_return_offset;
378 assert( (intptr_t*)younger_sp[FP->sp_offset_in_saved_window()] == (intptr_t*)((intptr_t)sp - STACK_BIAS), "younger_sp must be valid");
379 // Any frame we ever build should always "safe" therefore we should not have to call
380 // find_blob_unsafe
381 // In case of native stubs, the pc retrieved here might be
382 // wrong. (the _last_native_pc will have the right value)
383 // So do not put add any asserts on the _pc here.
384 }
386 if (_pc != NULL)
387 _cb = CodeCache::find_blob(_pc);
389 // Check for MethodHandle call sites.
390 if (_cb != NULL) {
391 nmethod* nm = _cb->as_nmethod_or_null();
392 if (nm != NULL) {
393 if (nm->is_deopt_mh_entry(_pc) || nm->is_method_handle_return(_pc)) {
394 _sp_adjustment_by_callee = (intptr_t*) ((intptr_t) sp[L7_mh_SP_save->sp_offset_in_saved_window()] + STACK_BIAS) - sp;
395 // The SP is already adjusted by this MH call site, don't
396 // overwrite this value with the wrong interpreter value.
397 younger_frame_is_interpreted = false;
398 }
399 }
400 }
402 if (younger_frame_is_interpreted) {
403 // compute adjustment to this frame's SP made by its interpreted callee
404 _sp_adjustment_by_callee = (intptr_t*) ((intptr_t) younger_sp[I5_savedSP->sp_offset_in_saved_window()] + STACK_BIAS) - sp;
405 }
407 // It is important that the frame is fully constructed when we do
408 // this lookup as get_deopt_original_pc() needs a correct value for
409 // unextended_sp() which uses _sp_adjustment_by_callee.
410 if (_pc != NULL) {
411 address original_pc = nmethod::get_deopt_original_pc(this);
412 if (original_pc != NULL) {
413 _pc = original_pc;
414 _deopt_state = is_deoptimized;
415 } else {
416 _deopt_state = not_deoptimized;
417 }
418 }
419 }
421 bool frame::is_interpreted_frame() const {
422 return Interpreter::contains(pc());
423 }
425 // sender_sp
427 intptr_t* frame::interpreter_frame_sender_sp() const {
428 assert(is_interpreted_frame(), "interpreted frame expected");
429 return fp();
430 }
432 #ifndef CC_INTERP
433 void frame::set_interpreter_frame_sender_sp(intptr_t* sender_sp) {
434 assert(is_interpreted_frame(), "interpreted frame expected");
435 Unimplemented();
436 }
437 #endif // CC_INTERP
440 #ifdef ASSERT
441 // Debugging aid
442 static frame nth_sender(int n) {
443 frame f = JavaThread::current()->last_frame();
445 for(int i = 0; i < n; ++i)
446 f = f.sender((RegisterMap*)NULL);
448 printf("first frame %d\n", f.is_first_frame() ? 1 : 0);
449 printf("interpreted frame %d\n", f.is_interpreted_frame() ? 1 : 0);
450 printf("java frame %d\n", f.is_java_frame() ? 1 : 0);
451 printf("entry frame %d\n", f.is_entry_frame() ? 1 : 0);
452 printf("native frame %d\n", f.is_native_frame() ? 1 : 0);
453 if (f.is_compiled_frame()) {
454 if (f.is_deoptimized_frame())
455 printf("deoptimized frame 1\n");
456 else
457 printf("compiled frame 1\n");
458 }
460 return f;
461 }
462 #endif
465 frame frame::sender_for_entry_frame(RegisterMap *map) const {
466 assert(map != NULL, "map must be set");
467 // Java frame called from C; skip all C frames and return top C
468 // frame of that chunk as the sender
469 JavaFrameAnchor* jfa = entry_frame_call_wrapper()->anchor();
470 assert(!entry_frame_is_first(), "next Java fp must be non zero");
471 assert(jfa->last_Java_sp() > _sp, "must be above this frame on stack");
472 intptr_t* last_Java_sp = jfa->last_Java_sp();
473 // Since we are walking the stack now this nested anchor is obviously walkable
474 // even if it wasn't when it was stacked.
475 if (!jfa->walkable()) {
476 // Capture _last_Java_pc (if needed) and mark anchor walkable.
477 jfa->capture_last_Java_pc(_sp);
478 }
479 assert(jfa->last_Java_pc() != NULL, "No captured pc!");
480 map->clear();
481 map->make_integer_regs_unsaved();
482 map->shift_window(last_Java_sp, NULL);
483 assert(map->include_argument_oops(), "should be set by clear");
484 return frame(last_Java_sp, frame::unpatchable, jfa->last_Java_pc());
485 }
487 frame frame::sender_for_interpreter_frame(RegisterMap *map) const {
488 ShouldNotCallThis();
489 return sender(map);
490 }
492 frame frame::sender_for_compiled_frame(RegisterMap *map) const {
493 ShouldNotCallThis();
494 return sender(map);
495 }
497 frame frame::sender(RegisterMap* map) const {
498 assert(map != NULL, "map must be set");
500 assert(CodeCache::find_blob_unsafe(_pc) == _cb, "inconsistent");
502 // Default is not to follow arguments; update it accordingly below
503 map->set_include_argument_oops(false);
505 if (is_entry_frame()) return sender_for_entry_frame(map);
507 intptr_t* younger_sp = sp();
508 intptr_t* sp = sender_sp();
510 // Note: The version of this operation on any platform with callee-save
511 // registers must update the register map (if not null).
512 // In order to do this correctly, the various subtypes of
513 // of frame (interpreted, compiled, glue, native),
514 // must be distinguished. There is no need on SPARC for
515 // such distinctions, because all callee-save registers are
516 // preserved for all frames via SPARC-specific mechanisms.
517 //
518 // *** HOWEVER, *** if and when we make any floating-point
519 // registers callee-saved, then we will have to copy over
520 // the RegisterMap update logic from the Intel code.
522 // The constructor of the sender must know whether this frame is interpreted so it can set the
523 // sender's _sp_adjustment_by_callee field. An osr adapter frame was originally
524 // interpreted but its pc is in the code cache (for c1 -> osr_frame_return_id stub), so it must be
525 // explicitly recognized.
528 bool frame_is_interpreted = is_interpreted_frame();
529 if (frame_is_interpreted) {
530 map->make_integer_regs_unsaved();
531 map->shift_window(sp, younger_sp);
532 } else if (_cb != NULL) {
533 // Update the locations of implicitly saved registers to be their
534 // addresses in the register save area.
535 // For %o registers, the addresses of %i registers in the next younger
536 // frame are used.
537 map->shift_window(sp, younger_sp);
538 if (map->update_map()) {
539 // Tell GC to use argument oopmaps for some runtime stubs that need it.
540 // For C1, the runtime stub might not have oop maps, so set this flag
541 // outside of update_register_map.
542 map->set_include_argument_oops(_cb->caller_must_gc_arguments(map->thread()));
543 if (_cb->oop_maps() != NULL) {
544 OopMapSet::update_register_map(this, map);
545 }
546 }
547 }
548 return frame(sp, younger_sp, frame_is_interpreted);
549 }
552 void frame::patch_pc(Thread* thread, address pc) {
553 if(thread == Thread::current()) {
554 StubRoutines::Sparc::flush_callers_register_windows_func()();
555 }
556 if (TracePcPatching) {
557 // QQQ this assert is invalid (or too strong anyway) sice _pc could
558 // be original pc and frame could have the deopt pc.
559 // assert(_pc == *O7_addr() + pc_return_offset, "frame has wrong pc");
560 tty->print_cr("patch_pc at address 0x%x [0x%x -> 0x%x] ", O7_addr(), _pc, pc);
561 }
562 _cb = CodeCache::find_blob(pc);
563 *O7_addr() = pc - pc_return_offset;
564 _cb = CodeCache::find_blob(_pc);
565 address original_pc = nmethod::get_deopt_original_pc(this);
566 if (original_pc != NULL) {
567 assert(original_pc == _pc, "expected original to be stored before patching");
568 _deopt_state = is_deoptimized;
569 } else {
570 _deopt_state = not_deoptimized;
571 }
572 }
575 static bool sp_is_valid(intptr_t* old_sp, intptr_t* young_sp, intptr_t* sp) {
576 return (((intptr_t)sp & (2*wordSize-1)) == 0 &&
577 sp <= old_sp &&
578 sp >= young_sp);
579 }
582 /*
583 Find the (biased) sp that is just younger than old_sp starting at sp.
584 If not found return NULL. Register windows are assumed to be flushed.
585 */
586 intptr_t* frame::next_younger_sp_or_null(intptr_t* old_sp, intptr_t* sp) {
588 intptr_t* previous_sp = NULL;
589 intptr_t* orig_sp = sp;
591 int max_frames = (old_sp - sp) / 16; // Minimum frame size is 16
592 int max_frame2 = max_frames;
593 while(sp != old_sp && sp_is_valid(old_sp, orig_sp, sp)) {
594 if (max_frames-- <= 0)
595 // too many frames have gone by; invalid parameters given to this function
596 break;
597 previous_sp = sp;
598 sp = (intptr_t*)sp[FP->sp_offset_in_saved_window()];
599 sp = (intptr_t*)((intptr_t)sp + STACK_BIAS);
600 }
602 return (sp == old_sp ? previous_sp : NULL);
603 }
605 /*
606 Determine if "sp" is a valid stack pointer. "sp" is assumed to be younger than
607 "valid_sp". So if "sp" is valid itself then it should be possible to walk frames
608 from "sp" to "valid_sp". The assumption is that the registers windows for the
609 thread stack in question are flushed.
610 */
611 bool frame::is_valid_stack_pointer(intptr_t* valid_sp, intptr_t* sp) {
612 return next_younger_sp_or_null(valid_sp, sp) != NULL;
613 }
616 bool frame::interpreter_frame_equals_unpacked_fp(intptr_t* fp) {
617 assert(is_interpreted_frame(), "must be interpreter frame");
618 return this->fp() == fp;
619 }
622 void frame::pd_gc_epilog() {
623 if (is_interpreted_frame()) {
624 // set constant pool cache entry for interpreter
625 Method* m = interpreter_frame_method();
627 *interpreter_frame_cpoolcache_addr() = m->constants()->cache();
628 }
629 }
632 bool frame::is_interpreted_frame_valid(JavaThread* thread) const {
633 #ifdef CC_INTERP
634 // Is there anything to do?
635 #else
636 assert(is_interpreted_frame(), "Not an interpreted frame");
637 // These are reasonable sanity checks
638 if (fp() == 0 || (intptr_t(fp()) & (2*wordSize-1)) != 0) {
639 return false;
640 }
641 if (sp() == 0 || (intptr_t(sp()) & (2*wordSize-1)) != 0) {
642 return false;
643 }
645 const intptr_t interpreter_frame_initial_sp_offset = interpreter_frame_vm_local_words;
646 if (fp() + interpreter_frame_initial_sp_offset < sp()) {
647 return false;
648 }
649 // These are hacks to keep us out of trouble.
650 // The problem with these is that they mask other problems
651 if (fp() <= sp()) { // this attempts to deal with unsigned comparison above
652 return false;
653 }
654 // do some validation of frame elements
656 // first the method
658 Method* m = *interpreter_frame_method_addr();
660 // validate the method we'd find in this potential sender
661 if (!m->is_valid_method()) return false;
663 // stack frames shouldn't be much larger than max_stack elements
665 if (fp() - sp() > 1024 + m->max_stack()*Interpreter::stackElementSize) {
666 return false;
667 }
669 // validate bci/bcx
671 intptr_t bcx = interpreter_frame_bcx();
672 if (m->validate_bci_from_bcx(bcx) < 0) {
673 return false;
674 }
676 // validate ConstantPoolCache*
677 ConstantPoolCache* cp = *interpreter_frame_cache_addr();
678 if (cp == NULL || !cp->is_metaspace_object()) return false;
680 // validate locals
682 address locals = (address) *interpreter_frame_locals_addr();
684 if (locals > thread->stack_base() || locals < (address) fp()) return false;
686 // We'd have to be pretty unlucky to be mislead at this point
687 #endif /* CC_INTERP */
688 return true;
689 }
692 // Windows have been flushed on entry (but not marked). Capture the pc that
693 // is the return address to the frame that contains "sp" as its stack pointer.
694 // This pc resides in the called of the frame corresponding to "sp".
695 // As a side effect we mark this JavaFrameAnchor as having flushed the windows.
696 // This side effect lets us mark stacked JavaFrameAnchors (stacked in the
697 // call_helper) as flushed when we have flushed the windows for the most
698 // recent (i.e. current) JavaFrameAnchor. This saves useless flushing calls
699 // and lets us find the pc just once rather than multiple times as it did
700 // in the bad old _post_Java_state days.
701 //
702 void JavaFrameAnchor::capture_last_Java_pc(intptr_t* sp) {
703 if (last_Java_sp() != NULL && last_Java_pc() == NULL) {
704 // try and find the sp just younger than _last_Java_sp
705 intptr_t* _post_Java_sp = frame::next_younger_sp_or_null(last_Java_sp(), sp);
706 // Really this should never fail otherwise VM call must have non-standard
707 // frame linkage (bad) or stack is not properly flushed (worse).
708 guarantee(_post_Java_sp != NULL, "bad stack!");
709 _last_Java_pc = (address) _post_Java_sp[ I7->sp_offset_in_saved_window()] + frame::pc_return_offset;
711 }
712 set_window_flushed();
713 }
715 void JavaFrameAnchor::make_walkable(JavaThread* thread) {
716 if (walkable()) return;
717 // Eventually make an assert
718 guarantee(Thread::current() == (Thread*)thread, "only current thread can flush its registers");
719 // We always flush in case the profiler wants it but we won't mark
720 // the windows as flushed unless we have a last_Java_frame
721 intptr_t* sp = StubRoutines::Sparc::flush_callers_register_windows_func()();
722 if (last_Java_sp() != NULL ) {
723 capture_last_Java_pc(sp);
724 }
725 }
727 intptr_t* frame::entry_frame_argument_at(int offset) const {
728 // convert offset to index to deal with tsi
729 int index = (Interpreter::expr_offset_in_bytes(offset)/wordSize);
731 intptr_t* LSP = (intptr_t*) sp()[Lentry_args->sp_offset_in_saved_window()];
732 return &LSP[index+1];
733 }
736 BasicType frame::interpreter_frame_result(oop* oop_result, jvalue* value_result) {
737 assert(is_interpreted_frame(), "interpreted frame expected");
738 Method* method = interpreter_frame_method();
739 BasicType type = method->result_type();
741 if (method->is_native()) {
742 // Prior to notifying the runtime of the method_exit the possible result
743 // value is saved to l_scratch and d_scratch.
745 #ifdef CC_INTERP
746 interpreterState istate = get_interpreterState();
747 intptr_t* l_scratch = (intptr_t*) &istate->_native_lresult;
748 intptr_t* d_scratch = (intptr_t*) &istate->_native_fresult;
749 #else /* CC_INTERP */
750 intptr_t* l_scratch = fp() + interpreter_frame_l_scratch_fp_offset;
751 intptr_t* d_scratch = fp() + interpreter_frame_d_scratch_fp_offset;
752 #endif /* CC_INTERP */
754 address l_addr = (address)l_scratch;
755 #ifdef _LP64
756 // On 64-bit the result for 1/8/16/32-bit result types is in the other
757 // word half
758 l_addr += wordSize/2;
759 #endif
761 switch (type) {
762 case T_OBJECT:
763 case T_ARRAY: {
764 #ifdef CC_INTERP
765 *oop_result = istate->_oop_temp;
766 #else
767 oop obj = cast_to_oop(at(interpreter_frame_oop_temp_offset));
768 assert(obj == NULL || Universe::heap()->is_in(obj), "sanity check");
769 *oop_result = obj;
770 #endif // CC_INTERP
771 break;
772 }
774 case T_BOOLEAN : { jint* p = (jint*)l_addr; value_result->z = (jboolean)((*p) & 0x1); break; }
775 case T_BYTE : { jint* p = (jint*)l_addr; value_result->b = (jbyte)((*p) & 0xff); break; }
776 case T_CHAR : { jint* p = (jint*)l_addr; value_result->c = (jchar)((*p) & 0xffff); break; }
777 case T_SHORT : { jint* p = (jint*)l_addr; value_result->s = (jshort)((*p) & 0xffff); break; }
778 case T_INT : value_result->i = *(jint*)l_addr; break;
779 case T_LONG : value_result->j = *(jlong*)l_scratch; break;
780 case T_FLOAT : value_result->f = *(jfloat*)d_scratch; break;
781 case T_DOUBLE : value_result->d = *(jdouble*)d_scratch; break;
782 case T_VOID : /* Nothing to do */ break;
783 default : ShouldNotReachHere();
784 }
785 } else {
786 intptr_t* tos_addr = interpreter_frame_tos_address();
788 switch(type) {
789 case T_OBJECT:
790 case T_ARRAY: {
791 oop obj = cast_to_oop(*tos_addr);
792 assert(obj == NULL || Universe::heap()->is_in(obj), "sanity check");
793 *oop_result = obj;
794 break;
795 }
796 case T_BOOLEAN : { jint* p = (jint*)tos_addr; value_result->z = (jboolean)((*p) & 0x1); break; }
797 case T_BYTE : { jint* p = (jint*)tos_addr; value_result->b = (jbyte)((*p) & 0xff); break; }
798 case T_CHAR : { jint* p = (jint*)tos_addr; value_result->c = (jchar)((*p) & 0xffff); break; }
799 case T_SHORT : { jint* p = (jint*)tos_addr; value_result->s = (jshort)((*p) & 0xffff); break; }
800 case T_INT : value_result->i = *(jint*)tos_addr; break;
801 case T_LONG : value_result->j = *(jlong*)tos_addr; break;
802 case T_FLOAT : value_result->f = *(jfloat*)tos_addr; break;
803 case T_DOUBLE : value_result->d = *(jdouble*)tos_addr; break;
804 case T_VOID : /* Nothing to do */ break;
805 default : ShouldNotReachHere();
806 }
807 };
809 return type;
810 }
812 // Lesp pointer is one word lower than the top item on the stack.
813 intptr_t* frame::interpreter_frame_tos_at(jint offset) const {
814 int index = (Interpreter::expr_offset_in_bytes(offset)/wordSize) - 1;
815 return &interpreter_frame_tos_address()[index];
816 }
819 #ifndef PRODUCT
821 #define DESCRIBE_FP_OFFSET(name) \
822 values.describe(frame_no, fp() + frame::name##_offset, #name)
824 void frame::describe_pd(FrameValues& values, int frame_no) {
825 for (int w = 0; w < frame::register_save_words; w++) {
826 values.describe(frame_no, sp() + w, err_msg("register save area word %d", w), 1);
827 }
829 if (is_interpreted_frame()) {
830 DESCRIBE_FP_OFFSET(interpreter_frame_d_scratch_fp);
831 DESCRIBE_FP_OFFSET(interpreter_frame_l_scratch_fp);
832 DESCRIBE_FP_OFFSET(interpreter_frame_padding);
833 DESCRIBE_FP_OFFSET(interpreter_frame_oop_temp);
835 // esp, according to Lesp (e.g. not depending on bci), if seems valid
836 intptr_t* esp = *interpreter_frame_esp_addr();
837 if ((esp >= sp()) && (esp < fp())) {
838 values.describe(-1, esp, "*Lesp");
839 }
840 }
842 if (!is_compiled_frame()) {
843 if (frame::callee_aggregate_return_pointer_words != 0) {
844 values.describe(frame_no, sp() + frame::callee_aggregate_return_pointer_sp_offset, "callee_aggregate_return_pointer_word");
845 }
846 for (int w = 0; w < frame::callee_register_argument_save_area_words; w++) {
847 values.describe(frame_no, sp() + frame::callee_register_argument_save_area_sp_offset + w,
848 err_msg("callee_register_argument_save_area_words %d", w));
849 }
850 }
851 }
853 #endif
855 intptr_t *frame::initial_deoptimization_info() {
856 // unused... but returns fp() to minimize changes introduced by 7087445
857 return fp();
858 }