• file
• revisions
• annotate
• diff
• comparison
• raw

src/cpu/sparc/vm/methodHandles_sparc.hpp@6729bbc1fcd6 (annotated)

src/cpu/sparc/vm/methodHandles_sparc.hpp

Wed, 16 Nov 2011 01:39:50 -0800

author

twisti

date

Wed, 16 Nov 2011 01:39:50 -0800

changeset 3310

6729bbc1fcd6

parent 3255

44ce519bc3d1

child 3445

82e5a84b7436

permissions

-rw-r--r--

7003454: order constants in constant table by number of references in code
Reviewed-by: kvn, never, bdelsart

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;