duke@435: /* trims@1907: * Copyright (c) 1997, 2006, Oracle and/or its affiliates. All rights reserved. duke@435: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. duke@435: * duke@435: * This code is free software; you can redistribute it and/or modify it duke@435: * under the terms of the GNU General Public License version 2 only, as duke@435: * published by the Free Software Foundation. duke@435: * duke@435: * This code is distributed in the hope that it will be useful, but WITHOUT duke@435: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or duke@435: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License duke@435: * version 2 for more details (a copy is included in the LICENSE file that duke@435: * accompanied this code). duke@435: * duke@435: * You should have received a copy of the GNU General Public License version duke@435: * 2 along with this work; if not, write to the Free Software Foundation, duke@435: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. duke@435: * trims@1907: * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA trims@1907: * or visit www.oracle.com if you need additional information or have any trims@1907: * questions. duke@435: * duke@435: */ duke@435: duke@435: // A frame represents a physical stack frame (an activation). Frames can be duke@435: // C or Java frames, and the Java frames can be interpreted or compiled. duke@435: // In contrast, vframes represent source-level activations, so that one physical frame duke@435: // can correspond to multiple source level frames because of inlining. duke@435: // A frame is comprised of {pc, sp, younger_sp} duke@435: duke@435: duke@435: // Layout of asm interpreter frame: duke@435: // duke@435: // 0xfffffff duke@435: // ...... duke@435: // [last extra incoming arg, (local # Nargs > 6 ? Nargs-1 : undef)] duke@435: // .. Note: incoming args are copied to local frame area upon entry duke@435: // [first extra incoming arg, (local # Nargs > 6 ? 6 : undef)] duke@435: // [6 words for C-arg storage (unused)] Are this and next one really needed? duke@435: // [C-aggregate-word (unused)] Yes, if want extra params to be in same place as C convention duke@435: // [16 words for register saving] <--- FP duke@435: // [interpreter_frame_vm_locals ] (see below) duke@435: duke@435: // Note: Llocals is always double-word aligned duke@435: // [first local i.e. local # 0] <-- Llocals duke@435: // ... duke@435: // [last local, i.e. local # Nlocals-1] duke@435: duke@435: // [monitors ] duke@435: // .... duke@435: // [monitors ] <-- Lmonitors (same as Llocals + 6*4 if none) duke@435: // (must be double-word aligned because duke@435: // monitor element size is constrained to duke@435: // doubleword) duke@435: // duke@435: // <-- Lesp (points 1 past TOS) duke@435: // [bottom word used for stack ] duke@435: // ... duke@435: // [top word used for stack] (first word of stack is double-word aligned) duke@435: duke@435: // [space for outgoing args (conservatively allocated as max_stack - 6 + interpreter_frame_extra_outgoing_argument_words)] duke@435: // [6 words for C-arg storage] duke@435: // [C-aggregate-word (unused)] duke@435: // [16 words for register saving] <--- SP duke@435: // ... duke@435: // 0x0000000 duke@435: // duke@435: // The in registers and local registers are preserved in a block at SP. duke@435: // duke@435: // The first six in registers (I0..I5) hold the first six locals. duke@435: // The locals are used as follows: duke@435: // Lesp first free element of expression stack duke@435: // (which grows towards __higher__ addresses) duke@435: // Lbcp is set to address of bytecode to execute duke@435: // It is accessed in the frame under the name "bcx". duke@435: // It may at times (during GC) be an index instead. duke@435: // Lmethod the method being interpreted duke@435: // Llocals the base pointer for accessing the locals array duke@435: // (lower-numbered locals have lower addresses) duke@435: // Lmonitors the base pointer for accessing active monitors duke@435: // Lcache a saved pointer to the method's constant pool cache duke@435: // duke@435: // duke@435: // When calling out to another method, duke@435: // G5_method is set to method to call, G5_inline_cache_klass may be set, duke@435: // parameters are put in O registers, and also extra parameters duke@435: // must be cleverly copied from the top of stack to the outgoing param area in the frame, duke@435: // ------------------------------ C++ interpreter ---------------------------------------- duke@435: // Layout of C++ interpreter frame: duke@435: // duke@435: duke@435: duke@435: duke@435: // All frames: duke@435: duke@435: public: duke@435: duke@435: enum { duke@435: // normal return address is 2 words past PC duke@435: pc_return_offset = 2 * BytesPerInstWord, duke@435: duke@435: // size of each block, in order of increasing address: duke@435: register_save_words = 16, duke@435: #ifdef _LP64 duke@435: callee_aggregate_return_pointer_words = 0, duke@435: #else duke@435: callee_aggregate_return_pointer_words = 1, duke@435: #endif duke@435: callee_register_argument_save_area_words = 6, duke@435: // memory_parameter_words = , duke@435: duke@435: // offset of each block, in order of increasing address: duke@435: // (note: callee_register_argument_save_area_words == Assembler::n_register_parameters) duke@435: register_save_words_sp_offset = 0, duke@435: callee_aggregate_return_pointer_sp_offset = register_save_words_sp_offset + register_save_words, duke@435: callee_register_argument_save_area_sp_offset = callee_aggregate_return_pointer_sp_offset + callee_aggregate_return_pointer_words, duke@435: memory_parameter_word_sp_offset = callee_register_argument_save_area_sp_offset + callee_register_argument_save_area_words, duke@435: varargs_offset = memory_parameter_word_sp_offset duke@435: }; duke@435: duke@435: private: duke@435: intptr_t* _younger_sp; // optional SP of callee (used to locate O7) duke@435: int _sp_adjustment_by_callee; // adjustment in words to SP by callee for making locals contiguous duke@435: duke@435: // Note: On SPARC, unlike Intel, the saved PC for a stack frame duke@435: // is stored at a __variable__ distance from that frame's SP. duke@435: // (In fact, it may be in the register save area of the callee frame, duke@435: // but that fact need not bother us.) Thus, we must store the duke@435: // address of that saved PC explicitly. On the other hand, SPARC duke@435: // stores the FP for a frame at a fixed offset from the frame's SP, duke@435: // so there is no need for a separate "frame::_fp" field. duke@435: duke@435: public: duke@435: // Accessors duke@435: duke@435: intptr_t* younger_sp() const { duke@435: assert(_younger_sp != NULL, "frame must possess a younger_sp"); duke@435: return _younger_sp; duke@435: } duke@435: duke@435: int callee_sp_adjustment() const { return _sp_adjustment_by_callee; } duke@435: void set_sp_adjustment_by_callee(int number_of_words) { _sp_adjustment_by_callee = number_of_words; } duke@435: duke@435: // Constructors duke@435: duke@435: // This constructor relies on the fact that the creator of a frame duke@435: // has flushed register windows which the frame will refer to, and duke@435: // that those register windows will not be reloaded until the frame is duke@435: // done reading and writing the stack. Moreover, if the "younger_sp" duke@435: // argument points into the register save area of the next younger duke@435: // frame (though it need not), the register window for that next duke@435: // younger frame must also stay flushed. (The caller is responsible duke@435: // for ensuring this.) duke@435: duke@435: frame(intptr_t* sp, intptr_t* younger_sp, bool younger_frame_adjusted_stack = false); duke@435: duke@435: // make a deficient frame which doesn't know where its PC is: duke@435: enum unpatchable_t { unpatchable }; duke@435: frame(intptr_t* sp, unpatchable_t, address pc = NULL, CodeBlob* cb = NULL); duke@435: duke@435: // Walk from sp outward looking for old_sp, and return old_sp's predecessor duke@435: // (i.e. return the sp from the frame where old_sp is the fp). duke@435: // Register windows are assumed to be flushed for the stack in question. duke@435: duke@435: static intptr_t* next_younger_sp_or_null(intptr_t* old_sp, intptr_t* sp); duke@435: duke@435: // Return true if sp is a younger sp in the stack described by valid_sp. duke@435: static bool is_valid_stack_pointer(intptr_t* valid_sp, intptr_t* sp); duke@435: duke@435: public: duke@435: // accessors for the instance variables duke@435: intptr_t* fp() const { return (intptr_t*) ((intptr_t)(sp()[FP->sp_offset_in_saved_window()]) + STACK_BIAS ); } duke@435: duke@435: // All frames duke@435: duke@435: intptr_t* fp_addr_at(int index) const { return &fp()[index]; } duke@435: intptr_t* sp_addr_at(int index) const { return &sp()[index]; } duke@435: intptr_t fp_at( int index) const { return *fp_addr_at(index); } duke@435: intptr_t sp_at( int index) const { return *sp_addr_at(index); } duke@435: duke@435: private: duke@435: inline address* I7_addr() const; duke@435: inline address* O7_addr() const; duke@435: duke@435: inline address* I0_addr() const; duke@435: inline address* O0_addr() const; duke@435: intptr_t* younger_sp_addr_at(int index) const { return &younger_sp()[index]; } duke@435: duke@435: public: duke@435: // access to SPARC arguments and argument registers duke@435: duke@435: // Assumes reg is an in/local register duke@435: intptr_t* register_addr(Register reg) const { duke@435: return sp_addr_at(reg->sp_offset_in_saved_window()); duke@435: } duke@435: duke@435: // Assumes reg is an out register duke@435: intptr_t* out_register_addr(Register reg) const { duke@435: return younger_sp_addr_at(reg->after_save()->sp_offset_in_saved_window()); duke@435: } duke@435: intptr_t* memory_param_addr(int param_ix, bool is_in) const { duke@435: int offset = callee_register_argument_save_area_sp_offset + param_ix; duke@435: if (is_in) duke@435: return fp_addr_at(offset); duke@435: else duke@435: return sp_addr_at(offset); duke@435: } duke@435: intptr_t* param_addr(int param_ix, bool is_in) const { duke@435: if (param_ix >= callee_register_argument_save_area_words) duke@435: return memory_param_addr(param_ix, is_in); duke@435: else if (is_in) duke@435: return register_addr(Argument(param_ix, true).as_register()); duke@435: else { duke@435: // the registers are stored in the next younger frame duke@435: // %%% is this really necessary? duke@435: ShouldNotReachHere(); duke@435: return NULL; duke@435: } duke@435: } duke@435: duke@435: duke@435: // Interpreter frames duke@435: duke@435: public: duke@435: // Asm interpreter duke@435: #ifndef CC_INTERP duke@435: enum interpreter_frame_vm_locals { duke@435: // 2 words, also used to save float regs across calls to C duke@435: interpreter_frame_d_scratch_fp_offset = -2, duke@435: interpreter_frame_l_scratch_fp_offset = -4, duke@435: interpreter_frame_padding_offset = -5, // for native calls only duke@435: interpreter_frame_oop_temp_offset = -6, // for native calls only duke@435: interpreter_frame_vm_locals_fp_offset = -6, // should be same as above, and should be zero mod 8 duke@435: duke@435: interpreter_frame_vm_local_words = -interpreter_frame_vm_locals_fp_offset, duke@435: duke@435: duke@435: // interpreter frame set-up needs to save 2 extra words in outgoing param area duke@435: // for class and jnienv arguments for native stubs (see nativeStubGen_sparc.cpp_ duke@435: duke@435: interpreter_frame_extra_outgoing_argument_words = 2 duke@435: }; duke@435: #else duke@435: enum interpreter_frame_vm_locals { duke@435: // 2 words, also used to save float regs across calls to C duke@435: interpreter_state_ptr_offset = 0, // Is in L0 (Lstate) in save area duke@435: interpreter_frame_mirror_offset = 1, // Is in L1 (Lmirror) in save area (for native calls only) duke@435: duke@435: // interpreter frame set-up needs to save 2 extra words in outgoing param area duke@435: // for class and jnienv arguments for native stubs (see nativeStubGen_sparc.cpp_ duke@435: duke@435: interpreter_frame_extra_outgoing_argument_words = 2 duke@435: }; duke@435: #endif /* CC_INTERP */ duke@435: duke@435: // the compiler frame has many of the same fields as the interpreter frame duke@435: // %%%%% factor out declarations of the shared fields duke@435: enum compiler_frame_fixed_locals { duke@435: compiler_frame_d_scratch_fp_offset = -2, duke@435: compiler_frame_vm_locals_fp_offset = -2, // should be same as above duke@435: duke@435: compiler_frame_vm_local_words = -compiler_frame_vm_locals_fp_offset duke@435: }; duke@435: duke@435: private: duke@435: duke@435: constantPoolCacheOop* frame::interpreter_frame_cpoolcache_addr() const; duke@435: duke@435: #ifndef CC_INTERP duke@435: duke@435: // where Lmonitors is saved: duke@435: BasicObjectLock** interpreter_frame_monitors_addr() const { duke@435: return (BasicObjectLock**) sp_addr_at(Lmonitors->sp_offset_in_saved_window()); duke@435: } duke@435: intptr_t** interpreter_frame_esp_addr() const { duke@435: return (intptr_t**)sp_addr_at(Lesp->sp_offset_in_saved_window()); duke@435: } duke@435: duke@435: inline void interpreter_frame_set_tos_address(intptr_t* x); duke@435: duke@435: duke@435: // %%%%% Another idea: instead of defining 3 fns per item, just define one returning a ref duke@435: duke@435: // monitors: duke@435: duke@435: // next two fns read and write Lmonitors value, duke@435: private: duke@435: BasicObjectLock* interpreter_frame_monitors() const { return *interpreter_frame_monitors_addr(); } duke@435: void interpreter_frame_set_monitors(BasicObjectLock* monitors) { *interpreter_frame_monitors_addr() = monitors; } duke@435: #else duke@435: public: duke@435: inline interpreterState get_interpreterState() const { duke@435: return ((interpreterState)sp_at(interpreter_state_ptr_offset)); duke@435: } duke@435: duke@435: duke@435: #endif /* CC_INTERP */ duke@435: duke@435: duke@435: duke@435: // Compiled frames duke@435: duke@435: public: duke@435: // Tells if this register can hold 64 bits on V9 (really, V8+). duke@435: static bool holds_a_doubleword(Register reg) { duke@435: #ifdef _LP64 duke@435: // return true; duke@435: return reg->is_out() || reg->is_global(); duke@435: #else duke@435: return reg->is_out() || reg->is_global(); duke@435: #endif duke@435: }