Tue, 06 Dec 2011 18:28:51 -0500
7117052: instanceKlass::_init_state can be u1 type
Summary: Change instanceKlass::_init_state field to u1 type.
Reviewed-by: bdelsart, coleenp, dholmes, phh, never
Contributed-by: Jiangli Zhou <jiangli.zhou@oracle.com>
never@2950 | 1 | /* |
never@2950 | 2 | * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved. |
never@2950 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
never@2950 | 4 | * |
never@2950 | 5 | * This code is free software; you can redistribute it and/or modify it |
never@2950 | 6 | * under the terms of the GNU General Public License version 2 only, as |
never@2950 | 7 | * published by the Free Software Foundation. |
never@2950 | 8 | * |
never@2950 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
never@2950 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
never@2950 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
never@2950 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
never@2950 | 13 | * accompanied this code). |
never@2950 | 14 | * |
never@2950 | 15 | * You should have received a copy of the GNU General Public License version |
never@2950 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
never@2950 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
never@2950 | 18 | * |
never@2950 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
never@2950 | 20 | * or visit www.oracle.com if you need additional information or have any |
never@2950 | 21 | * questions. |
never@2950 | 22 | * |
never@2950 | 23 | */ |
never@2950 | 24 | |
never@2950 | 25 | // Platform-specific definitions for method handles. |
never@2950 | 26 | // These definitions are inlined into class MethodHandles. |
never@2950 | 27 | |
never@2950 | 28 | // Adapters |
never@2950 | 29 | enum /* platform_dependent_constants */ { |
never@3255 | 30 | adapter_code_size = NOT_LP64(23000 DEBUG_ONLY(+ 40000)) LP64_ONLY(35000 DEBUG_ONLY(+ 50000)) |
never@2950 | 31 | }; |
never@2950 | 32 | |
never@2950 | 33 | public: |
never@2950 | 34 | |
never@2950 | 35 | class RicochetFrame : public ResourceObj { |
never@2950 | 36 | friend class MethodHandles; |
never@2950 | 37 | |
never@2950 | 38 | private: |
never@2950 | 39 | /* |
never@2950 | 40 | RF field x86 SPARC |
never@2950 | 41 | sender_pc *(rsp+0) I7-0x8 |
never@2950 | 42 | sender_link rbp I6+BIAS |
never@2950 | 43 | exact_sender_sp rsi/r13 I5_savedSP |
never@2950 | 44 | conversion *(rcx+&amh_conv) L5_conv |
never@2950 | 45 | saved_args_base rax L4_sab (cf. Gargs = G4) |
never@2950 | 46 | saved_args_layout #NULL L3_sal |
never@2950 | 47 | saved_target *(rcx+&mh_vmtgt) L2_stgt |
never@2950 | 48 | continuation #STUB_CON L1_cont |
never@2950 | 49 | */ |
never@2950 | 50 | static const Register L1_continuation ; // what to do when control gets back here |
never@2950 | 51 | static const Register L2_saved_target ; // target method handle to invoke on saved_args |
never@2950 | 52 | static const Register L3_saved_args_layout; // caching point for MethodTypeForm.vmlayout cookie |
never@2950 | 53 | static const Register L4_saved_args_base ; // base of pushed arguments (slot 0, arg N) (-3) |
never@2950 | 54 | static const Register L5_conversion ; // misc. information from original AdapterMethodHandle (-2) |
never@2950 | 55 | |
never@2950 | 56 | frame _fr; |
never@2950 | 57 | |
never@2950 | 58 | RicochetFrame(const frame& fr) : _fr(fr) { } |
never@2950 | 59 | |
never@2950 | 60 | intptr_t* register_addr(Register reg) const { |
never@2950 | 61 | assert((_fr.sp() + reg->sp_offset_in_saved_window()) == _fr.register_addr(reg), "must agree"); |
never@2950 | 62 | return _fr.register_addr(reg); |
never@2950 | 63 | } |
never@2950 | 64 | intptr_t register_value(Register reg) const { return *register_addr(reg); } |
never@2950 | 65 | |
never@2950 | 66 | public: |
never@2950 | 67 | intptr_t* continuation() const { return (intptr_t*) register_value(L1_continuation); } |
never@2950 | 68 | oop saved_target() const { return (oop) register_value(L2_saved_target); } |
never@2950 | 69 | oop saved_args_layout() const { return (oop) register_value(L3_saved_args_layout); } |
never@2950 | 70 | intptr_t* saved_args_base() const { return (intptr_t*) register_value(L4_saved_args_base); } |
never@2950 | 71 | intptr_t conversion() const { return register_value(L5_conversion); } |
never@2950 | 72 | intptr_t* exact_sender_sp() const { return (intptr_t*) register_value(I5_savedSP); } |
never@2950 | 73 | intptr_t* sender_link() const { return _fr.sender_sp(); } // XXX |
never@2950 | 74 | address sender_pc() const { return _fr.sender_pc(); } |
never@2950 | 75 | |
never@2950 | 76 | // This value is not used for much, but it apparently must be nonzero. |
never@2950 | 77 | static int frame_size_in_bytes() { return wordSize * 4; } |
never@2950 | 78 | |
never@2950 | 79 | intptr_t* extended_sender_sp() const { return saved_args_base(); } |
never@2950 | 80 | |
never@2950 | 81 | intptr_t return_value_slot_number() const { |
never@2950 | 82 | return adapter_conversion_vminfo(conversion()); |
never@2950 | 83 | } |
never@2950 | 84 | BasicType return_value_type() const { |
never@2950 | 85 | return adapter_conversion_dest_type(conversion()); |
never@2950 | 86 | } |
never@2950 | 87 | bool has_return_value_slot() const { |
never@2950 | 88 | return return_value_type() != T_VOID; |
never@2950 | 89 | } |
never@2950 | 90 | intptr_t* return_value_slot_addr() const { |
never@2950 | 91 | assert(has_return_value_slot(), ""); |
never@2950 | 92 | return saved_arg_slot_addr(return_value_slot_number()); |
never@2950 | 93 | } |
never@2950 | 94 | intptr_t* saved_target_slot_addr() const { |
never@2950 | 95 | return saved_arg_slot_addr(saved_args_length()); |
never@2950 | 96 | } |
never@2950 | 97 | intptr_t* saved_arg_slot_addr(int slot) const { |
never@2950 | 98 | assert(slot >= 0, ""); |
never@2950 | 99 | return (intptr_t*)( (address)saved_args_base() + (slot * Interpreter::stackElementSize) ); |
never@2950 | 100 | } |
never@2950 | 101 | |
never@2950 | 102 | jint saved_args_length() const; |
never@2950 | 103 | jint saved_arg_offset(int arg) const; |
never@2950 | 104 | |
never@2950 | 105 | // GC interface |
never@2950 | 106 | oop* saved_target_addr() { return (oop*)register_addr(L2_saved_target); } |
never@2950 | 107 | oop* saved_args_layout_addr() { return (oop*)register_addr(L3_saved_args_layout); } |
never@2950 | 108 | |
never@2950 | 109 | oop compute_saved_args_layout(bool read_cache, bool write_cache); |
never@2950 | 110 | |
never@2950 | 111 | #ifdef ASSERT |
never@2950 | 112 | // The magic number is supposed to help find ricochet frames within the bytes of stack dumps. |
never@2950 | 113 | enum { MAGIC_NUMBER_1 = 0xFEED03E, MAGIC_NUMBER_2 = 0xBEEF03E }; |
never@2950 | 114 | static const Register L0_magic_number_1 ; // cookie for debugging, at start of RSA |
never@2950 | 115 | static Address magic_number_2_addr() { return Address(L4_saved_args_base, -wordSize); } |
never@2950 | 116 | intptr_t magic_number_1() const { return register_value(L0_magic_number_1); } |
never@2950 | 117 | intptr_t magic_number_2() const { return saved_args_base()[-1]; } |
never@2950 | 118 | #endif //ASSERT |
never@2950 | 119 | |
never@2950 | 120 | public: |
never@2950 | 121 | enum { RETURN_VALUE_PLACEHOLDER = (NOT_DEBUG(0) DEBUG_ONLY(42)) }; |
never@2950 | 122 | |
never@2950 | 123 | void verify() const NOT_DEBUG_RETURN; // check for MAGIC_NUMBER, etc. |
never@2950 | 124 | |
never@2950 | 125 | static void generate_ricochet_blob(MacroAssembler* _masm, |
never@2950 | 126 | // output params: |
never@2950 | 127 | int* bounce_offset, |
never@2950 | 128 | int* exception_offset, |
never@2950 | 129 | int* frame_size_in_words); |
never@2950 | 130 | |
never@2950 | 131 | static void enter_ricochet_frame(MacroAssembler* _masm, |
never@2950 | 132 | Register recv_reg, |
never@2950 | 133 | Register argv_reg, |
never@2950 | 134 | address return_handler); |
never@2950 | 135 | |
never@2950 | 136 | static void leave_ricochet_frame(MacroAssembler* _masm, |
never@2950 | 137 | Register recv_reg, |
never@2950 | 138 | Register new_sp_reg, |
never@2950 | 139 | Register sender_pc_reg); |
never@2950 | 140 | |
never@2950 | 141 | static RicochetFrame* from_frame(const frame& fr) { |
never@2950 | 142 | RicochetFrame* rf = new RicochetFrame(fr); |
never@2950 | 143 | rf->verify(); |
never@2950 | 144 | return rf; |
never@2950 | 145 | } |
never@2950 | 146 | |
never@2950 | 147 | static void verify_clean(MacroAssembler* _masm) NOT_DEBUG_RETURN; |
never@2950 | 148 | }; |
never@2950 | 149 | |
never@2950 | 150 | // Additional helper methods for MethodHandles code generation: |
never@2950 | 151 | public: |
never@2950 | 152 | static void load_klass_from_Class(MacroAssembler* _masm, Register klass_reg, Register temp_reg, Register temp2_reg); |
never@2950 | 153 | static void load_conversion_vminfo(MacroAssembler* _masm, Address conversion_field_addr, Register reg); |
never@2950 | 154 | static void extract_conversion_vminfo(MacroAssembler* _masm, Register conversion_field_reg, Register reg); |
never@2950 | 155 | static void extract_conversion_dest_type(MacroAssembler* _masm, Register conversion_field_reg, Register reg); |
never@2950 | 156 | |
never@2950 | 157 | static void load_stack_move(MacroAssembler* _masm, |
never@2950 | 158 | Address G3_amh_conversion, |
never@2950 | 159 | Register G5_stack_move); |
never@2950 | 160 | |
never@2950 | 161 | static void insert_arg_slots(MacroAssembler* _masm, |
never@2950 | 162 | RegisterOrConstant arg_slots, |
never@2950 | 163 | Register argslot_reg, |
never@2950 | 164 | Register temp_reg, Register temp2_reg, Register temp3_reg); |
never@2950 | 165 | |
never@2950 | 166 | static void remove_arg_slots(MacroAssembler* _masm, |
never@2950 | 167 | RegisterOrConstant arg_slots, |
never@2950 | 168 | Register argslot_reg, |
never@2950 | 169 | Register temp_reg, Register temp2_reg, Register temp3_reg); |
never@2950 | 170 | |
never@2950 | 171 | static void push_arg_slots(MacroAssembler* _masm, |
never@2950 | 172 | Register argslot_reg, |
never@2950 | 173 | RegisterOrConstant slot_count, |
never@2950 | 174 | Register temp_reg, Register temp2_reg); |
never@2950 | 175 | |
never@2950 | 176 | static void move_arg_slots_up(MacroAssembler* _masm, |
never@2950 | 177 | Register bottom_reg, // invariant |
never@2950 | 178 | Address top_addr, // can use temp_reg |
never@2950 | 179 | RegisterOrConstant positive_distance_in_slots, |
never@2950 | 180 | Register temp_reg, Register temp2_reg); |
never@2950 | 181 | |
never@2950 | 182 | static void move_arg_slots_down(MacroAssembler* _masm, |
never@2950 | 183 | Address bottom_addr, // can use temp_reg |
never@2950 | 184 | Register top_reg, // invariant |
never@2950 | 185 | RegisterOrConstant negative_distance_in_slots, |
never@2950 | 186 | Register temp_reg, Register temp2_reg); |
never@2950 | 187 | |
never@2950 | 188 | static void move_typed_arg(MacroAssembler* _masm, |
never@2950 | 189 | BasicType type, bool is_element, |
never@2950 | 190 | Address value_src, Address slot_dest, |
never@2950 | 191 | Register temp_reg); |
never@2950 | 192 | |
never@2950 | 193 | static void move_return_value(MacroAssembler* _masm, BasicType type, |
never@2950 | 194 | Address return_slot); |
never@2950 | 195 | |
never@2950 | 196 | static void verify_argslot(MacroAssembler* _masm, Register argslot_reg, |
never@2950 | 197 | Register temp_reg, |
never@2950 | 198 | const char* error_message) NOT_DEBUG_RETURN; |
never@2950 | 199 | |
never@2950 | 200 | static void verify_argslots(MacroAssembler* _masm, |
never@2950 | 201 | RegisterOrConstant argslot_count, |
never@2950 | 202 | Register argslot_reg, |
never@2950 | 203 | Register temp_reg, |
never@2950 | 204 | Register temp2_reg, |
never@2950 | 205 | bool negate_argslot, |
never@2950 | 206 | const char* error_message) NOT_DEBUG_RETURN; |
never@2950 | 207 | |
never@2950 | 208 | static void verify_stack_move(MacroAssembler* _masm, |
never@2950 | 209 | RegisterOrConstant arg_slots, |
never@2950 | 210 | int direction) NOT_DEBUG_RETURN; |
never@2950 | 211 | |
never@2950 | 212 | static void verify_klass(MacroAssembler* _masm, |
never@2950 | 213 | Register obj_reg, KlassHandle klass, |
never@2950 | 214 | Register temp_reg, Register temp2_reg, |
never@2950 | 215 | const char* error_message = "wrong klass") NOT_DEBUG_RETURN; |
never@2950 | 216 | |
never@2950 | 217 | static void verify_method_handle(MacroAssembler* _masm, Register mh_reg, |
never@2950 | 218 | Register temp_reg, Register temp2_reg) { |
never@2950 | 219 | verify_klass(_masm, mh_reg, SystemDictionaryHandles::MethodHandle_klass(), |
never@2950 | 220 | temp_reg, temp2_reg, |
never@2950 | 221 | "reference is a MH"); |
never@2950 | 222 | } |
never@2950 | 223 | |
never@3005 | 224 | // Similar to InterpreterMacroAssembler::jump_from_interpreted. |
never@3005 | 225 | // Takes care of special dispatch from single stepping too. |
never@3005 | 226 | static void jump_from_method_handle(MacroAssembler* _masm, Register method, Register temp, Register temp2); |
never@3005 | 227 | |
never@2950 | 228 | static void trace_method_handle(MacroAssembler* _masm, const char* adaptername) PRODUCT_RETURN; |