/*
* get_unbox_trampoline:
- * @gsctx: the generic sharing context
* @m: method pointer
* @addr: pointer to native code for @m
*
* unboxing before calling the method
*/
gpointer
-mono_arch_get_unbox_trampoline (MonoGenericSharingContext *gsctx, MonoMethod *m, gpointer addr)
+mono_arch_get_unbox_trampoline (MonoMethod *m, gpointer addr)
{
guint8 *code, *start;
- int this_pos = mips_a0;
MonoDomain *domain = mono_domain_get ();
-
- if (MONO_TYPE_ISSTRUCT (mono_method_signature (m)->ret))
- this_pos = mips_a1;
start = code = mono_domain_code_reserve (domain, 20);
mips_load (code, mips_t9, addr);
- mips_addiu (code, this_pos, this_pos, sizeof (MonoObject));
+ /* The this pointer is kept in a0 */
+ mips_addiu (code, mips_a0, mips_a0, sizeof (MonoObject));
mips_jr (code, mips_t9);
mips_nop (code);
{
guint32 *code = (guint32*)orig_code;
- /* Locate the address of the method-specific trampoline. The call using
- the vtable slot that took the processing flow to 'arch_create_jit_trampoline'
- looks something like this:
+ /* Locate the address of the method-specific trampoline.
+ The call using the vtable slot that took the processing flow to
+ 'arch_create_jit_trampoline' looks something like one of these:
jal XXXXYYYY
nop
if ((code[-2] >> 26) == 0x03) {
//g_print ("direct patching\n");
mips_patch ((code-2), (gsize)addr);
- } else {
- /* Sanity check: look for the jalr */
- g_assert((code[-2] & 0xfc1f003f) == 0x00000009);
-
- //printf ("mips_magic_trampoline: jalr @ 0x%0x, w/ reg %d\n", code-2, reg);
-
+ return;
+ }
+ /* Look for the jalr */
+ if ((code[-2] & 0xfc1f003f) == 0x00000009) {
/* The lui / addiu / jalr case */
- if ((code [-4] >> 26) == 0x0f && (code [-3] >> 26) == 0x09 && (code [-2] >> 26) == 0) {
+ if ((code [-4] >> 26) == 0x0f && (code [-3] >> 26) == 0x09
+ && (code [-2] >> 26) == 0) {
mips_patch ((code-4), (gsize)addr);
- } else {
- g_assert_not_reached ();
+ return;
}
}
+ g_print("error: bad patch at 0x%08x\n", code);
+ g_assert_not_reached ();
}
void
-mono_arch_patch_plt_entry (guint8 *code, gpointer *got, gssize *regs, guint8 *addr)
+mono_arch_patch_plt_entry (guint8 *code, gpointer *got, mgreg_t *regs, guint8 *addr)
{
g_assert_not_reached ();
}
* STACK would be 444 for 32 bit darwin
*/
-#define STACK (4*IREG_SIZE + 8 + sizeof(MonoLMF) + 32)
+#define ALIGN_TO(val,align) ((((guint64)val) + ((align) - 1)) & ~((align) - 1))
-
-gpointer
-mono_arch_get_vcall_slot (guint8 *code_ptr, gpointer *regs, int *displacement)
-{
- char *o = NULL;
- char *vtable = NULL;
- int reg, offset = 0;
- guint32 base = 0;
- guint32 *code = (guint32*)code_ptr;
- char *sp;
-
- /* On MIPS, we are passed sp instead of the register array */
- sp = (char*)regs;
-
- //printf ("mips_magic_trampoline: 0x%08x @ 0x%0x\n", *(code-2), code-2);
-
- /* The jal case */
- if ((code[-2] >> 26) == 0x03)
- return NULL;
-
- /* Sanity check: look for the jalr */
- g_assert((code[-2] & 0xfc1f003f) == 0x00000009);
-
- reg = (code[-2] >> 21) & 0x1f;
-
- //printf ("mips_magic_trampoline: jalr @ 0x%0x, w/ reg %d\n", code-2, reg);
-
- /* The lui / addiu / jalr case */
- if ((code [-4] >> 26) == 0x0f && (code [-3] >> 26) == 0x09 && (code [-2] >> 26) == 0) {
- return NULL;
- }
-
- /* Probably a vtable lookup */
-
- /* Walk backwards to find 'lw reg,XX(base)' */
- for(; --code;) {
- guint32 mask = (0x3f << 26) | (0x1f << 16);
- guint32 match = (0x23 << 26) | (reg << 16);
- if((*code & mask) == match) {
- gint16 soff;
- gint reg_offset;
-
- /* lw reg,XX(base) */
- base = (*code >> 21) & 0x1f;
- soff = (*code & 0xffff);
- if (soff & 0x8000)
- soff |= 0xffff0000;
- offset = soff;
- if (1) {
- MonoLMF *lmf = (MonoLMF*)((char *)regs + 12*IREG_SIZE);
- g_assert (lmf->magic == MIPS_LMF_MAGIC2);
- o = (gpointer)lmf->iregs [base];
- }
- else {
- o = regs [base];
- }
- break;
- }
- }
- *displacement = offset;
- return o;
-}
-
-void
-mono_arch_nullify_plt_entry (guint8 *code, gssize *regs)
-{
- g_assert_not_reached ();
-}
+#define STACK (int)(ALIGN_TO(4*IREG_SIZE + 8 + sizeof(MonoLMF) + 32, 8))
void
-mono_arch_nullify_class_init_trampoline (guint8 *code, gssize *regs)
+mono_arch_nullify_class_init_trampoline (guint8 *code, mgreg_t *regs)
{
guint32 *code32 = (guint32*)code;
mips_nop (code32);
mono_arch_flush_icache ((gpointer)(code32 - 1), 4);
return;
- } else {
- g_assert_not_reached ();
}
+ g_assert_not_reached ();
+}
+
+gpointer
+mono_arch_get_nullified_class_init_trampoline (MonoTrampInfo **info)
+{
+ guint8 *buf, *code;
+
+ code = buf = mono_global_codeman_reserve (16);
+
+ mips_jr (code, mips_ra);
+ mips_nop (code);
+
+ mono_arch_flush_icache (buf, code - buf);
+
+ if (info)
+ *info = mono_tramp_info_create ("nullified_class_init_trampoline", buf, code - buf, NULL, NULL);
+
+ return buf;
}
/*
* -------------------
*/
guchar*
-mono_arch_create_trampoline_code (MonoTrampolineType tramp_type)
+mono_arch_create_generic_trampoline (MonoTrampolineType tramp_type, MonoTrampInfo **info, gboolean aot)
{
+ char *tramp_name;
guint8 *buf, *tramp, *code = NULL;
int i, lmf;
+ GSList *unwind_ops = NULL;
+ MonoJumpInfo *ji = NULL;
int max_code_len = 768;
+ /* AOT not supported on MIPS yet */
+ g_assert (!aot);
+
/* Now we'll create in 'buf' the MIPS trampoline code. This
is the trampoline code common to all methods */
-
+
code = buf = mono_global_codeman_reserve (max_code_len);
-
+
/* Allocate the stack frame, and save the return address */
mips_addiu (code, mips_sp, mips_sp, -STACK);
mips_sw (code, mips_ra, mips_sp, STACK + MIPS_RET_ADDR_OFFSET);
mips_load_const (code, mips_at, MIPS_LMF_MAGIC2);
mips_sw (code, mips_at, mips_sp, lmf + G_STRUCT_OFFSET(MonoLMF, magic));
+ /* Save caller sp */
+ mips_addiu (code, mips_at, mips_sp, STACK);
+ MIPS_SW (code, mips_at, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, iregs[mips_sp]));
+
/* save method info (it was in t8) */
mips_sw (code, mips_t8, mips_sp, lmf + G_STRUCT_OFFSET(MonoLMF, method));
- /* save frame pointer (caller fp) */
- MIPS_SW (code, mips_fp, mips_sp, lmf + G_STRUCT_OFFSET(MonoLMF, ebp));
-
/* save the IP (caller ip) */
if (tramp_type == MONO_TRAMPOLINE_JUMP) {
mips_sw (code, mips_zero, mips_sp, lmf + G_STRUCT_OFFSET(MonoLMF, eip));
* Now we're ready to call mips_magic_trampoline ().
*/
- /* Arg 1: stack pointer so that the magic trampoline can access the
- * registers we saved above
+ /* Arg 1: pointer to registers so that the magic trampoline can
+ * access what we saved above
*/
- mips_move (code, mips_a0, mips_sp);
-
+ mips_addiu (code, mips_a0, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, iregs[0]));
+
/* Arg 2: code (next address to the instruction that called us) */
if (tramp_type == MONO_TRAMPOLINE_JUMP) {
mips_move (code, mips_a1, mips_zero);
}
/* Arg 3: MonoMethod *method. */
- mips_lw (code, mips_a2, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, method));
+ if (tramp_type == MONO_TRAMPOLINE_GENERIC_CLASS_INIT)
+ mips_lw (code, mips_a2, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, iregs [mips_a0]));
+ else
+ mips_lw (code, mips_a2, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, method));
/* Arg 4: Trampoline */
mips_move (code, mips_a3, mips_zero);
*/
/* Restore ra & stack pointer, and jump to the code */
+ if (tramp_type == MONO_TRAMPOLINE_RGCTX_LAZY_FETCH)
+ mips_move (code, mips_v0, mips_at);
mips_lw (code, mips_ra, mips_sp, STACK + MIPS_RET_ADDR_OFFSET);
mips_addiu (code, mips_sp, mips_sp, STACK);
- if (tramp_type == MONO_TRAMPOLINE_CLASS_INIT)
+ if (MONO_TRAMPOLINE_TYPE_MUST_RETURN (tramp_type))
mips_jr (code, mips_ra);
else
mips_jr (code, mips_at);
/* Sanity check */
g_assert ((code - buf) <= max_code_len);
+ if (info) {
+ tramp_name = mono_get_generic_trampoline_name (tramp_type);
+ *info = mono_tramp_info_create (tramp_name, buf, code - buf, ji, unwind_ops);
+ g_free (tramp_name);
+ }
+
return buf;
}
}
gpointer
-mono_arch_create_rgctx_lazy_fetch_trampoline (guint32 encoded_offset)
+mono_arch_get_static_rgctx_trampoline (MonoMethod *m, MonoMethodRuntimeGenericContext *mrgctx, gpointer addr)
{
- /* FIXME: implement! */
- g_assert_not_reached ();
- return NULL;
+ guint8 *code, *start;
+ int buf_len;
+
+ MonoDomain *domain = mono_domain_get ();
+
+ buf_len = 24;
+
+ start = code = mono_domain_code_reserve (domain, buf_len);
+
+ mips_load (code, MONO_ARCH_RGCTX_REG, mrgctx);
+ mips_load (code, mips_at, addr);
+ mips_jr (code, mips_at);
+ mips_nop (code);
+
+ g_assert ((code - start) <= buf_len);
+
+ mono_arch_flush_icache (start, code - start);
+
+ return start;
}
gpointer
-mono_arch_create_generic_class_init_trampoline (void)
+mono_arch_create_rgctx_lazy_fetch_trampoline (guint32 slot, MonoTrampInfo **info, gboolean aot)
{
- /* FIXME: implement! */
- g_assert_not_reached ();
- return NULL;
+ guint8 *tramp;
+ guint8 *code, *buf;
+ int tramp_size;
+ guint32 code_len;
+ guint8 **rgctx_null_jumps;
+ int depth, index;
+ int i, njumps;
+ gboolean mrgctx;
+ MonoJumpInfo *ji = NULL;
+ GSList *unwind_ops = NULL;
+
+ mrgctx = MONO_RGCTX_SLOT_IS_MRGCTX (slot);
+ index = MONO_RGCTX_SLOT_INDEX (slot);
+ if (mrgctx)
+ index += MONO_SIZEOF_METHOD_RUNTIME_GENERIC_CONTEXT / sizeof (gpointer);
+ for (depth = 0; ; ++depth) {
+ int size = mono_class_rgctx_get_array_size (depth, mrgctx);
+
+ if (index < size - 1)
+ break;
+ index -= size - 1;
+ }
+
+ tramp_size = 64 + 16 * depth;
+
+ code = buf = mono_global_codeman_reserve (tramp_size);
+
+ mono_add_unwind_op_def_cfa (unwind_ops, code, buf, mips_sp, 0);
+
+ rgctx_null_jumps = g_malloc (sizeof (guint8*) * (depth + 2));
+ njumps = 0;
+
+ /* The vtable/mrgctx is in a0 */
+ g_assert (MONO_ARCH_VTABLE_REG == mips_a0);
+ if (mrgctx) {
+ /* get mrgctx ptr */
+ mips_move (code, mips_a1, mips_a0);
+ } else {
+ /* load rgctx ptr from vtable */
+ g_assert (mips_is_imm16 (G_STRUCT_OFFSET (MonoVTable, runtime_generic_context)));
+ mips_lw (code, mips_a1, mips_a0, G_STRUCT_OFFSET (MonoVTable, runtime_generic_context));
+ /* is the rgctx ptr null? */
+ /* if yes, jump to actual trampoline */
+ rgctx_null_jumps [njumps ++] = code;
+ mips_beq (code, mips_a1, mips_zero, 0);
+ mips_nop (code);
+ }
+
+ for (i = 0; i < depth; ++i) {
+ /* load ptr to next array */
+ if (mrgctx && i == 0) {
+ g_assert (mips_is_imm16 (MONO_SIZEOF_METHOD_RUNTIME_GENERIC_CONTEXT));
+ mips_lw (code, mips_a1, mips_a1, MONO_SIZEOF_METHOD_RUNTIME_GENERIC_CONTEXT);
+ } else {
+ mips_lw (code, mips_a1, mips_a1, 0);
+ }
+ /* is the ptr null? */
+ /* if yes, jump to actual trampoline */
+ rgctx_null_jumps [njumps ++] = code;
+ mips_beq (code, mips_a1, mips_zero, 0);
+ mips_nop (code);
+ }
+
+ /* fetch slot */
+ g_assert (mips_is_imm16 (sizeof (gpointer) * (index + 1)));
+ mips_lw (code, mips_a1, mips_a1, sizeof (gpointer) * (index + 1));
+ /* is the slot null? */
+ /* if yes, jump to actual trampoline */
+ rgctx_null_jumps [njumps ++] = code;
+ mips_beq (code, mips_a1, mips_zero, 0);
+ mips_nop (code);
+ /* otherwise return, result is in R1 */
+ mips_move (code, mips_v0, mips_a1);
+ mips_jr (code, mips_ra);
+ mips_nop (code);
+
+ g_assert (njumps <= depth + 2);
+ for (i = 0; i < njumps; ++i)
+ mips_patch ((guint32*)rgctx_null_jumps [i], (guint32)code);
+
+ g_free (rgctx_null_jumps);
+
+ /* Slowpath */
+
+ /* The vtable/mrgctx is still in a0 */
+
+ if (aot) {
+ ji = mono_patch_info_list_prepend (ji, code - buf, MONO_PATCH_INFO_JIT_ICALL_ADDR, g_strdup_printf ("specific_trampoline_lazy_fetch_%u", slot));
+ mips_load (code, mips_at, 0);
+ mips_jr (code, mips_at);
+ mips_nop (code);
+ } else {
+ tramp = mono_arch_create_specific_trampoline (GUINT_TO_POINTER (slot), MONO_TRAMPOLINE_RGCTX_LAZY_FETCH, mono_get_root_domain (), &code_len);
+ mips_load (code, mips_at, tramp);
+ mips_jr (code, mips_at);
+ mips_nop (code);
+ }
+
+ mono_arch_flush_icache (buf, code - buf);
+
+ g_assert (code - buf <= tramp_size);
+
+ if (info) {
+ char *name = mono_get_rgctx_fetch_trampoline_name (slot);
+ *info = mono_tramp_info_create (name, buf, code - buf, ji, unwind_ops);
+ g_free (name);
+ }
+
+ return buf;
+}
+
+gpointer
+mono_arch_create_generic_class_init_trampoline (MonoTrampInfo **info, gboolean aot)
+{
+ guint8 *tramp;
+ guint8 *code, *buf;
+ static int byte_offset = -1;
+ static guint8 bitmask;
+ guint8 *jump;
+ int tramp_size;
+ guint32 code_len;
+ GSList *unwind_ops = NULL;
+ MonoJumpInfo *ji = NULL;
+
+ tramp_size = 64;
+
+ code = buf = mono_global_codeman_reserve (tramp_size);
+
+ if (byte_offset < 0)
+ mono_marshal_find_bitfield_offset (MonoVTable, initialized, &byte_offset, &bitmask);
+
+ /* if (!(vtable->initialized)) */
+ mips_lbu (code, mips_at, MONO_ARCH_VTABLE_REG, byte_offset);
+ g_assert (!(bitmask & 0xffff0000));
+ mips_andi (code, mips_at, mips_at, bitmask);
+ jump = code;
+ mips_beq (code, mips_at, mips_zero, 0);
+ mips_nop (code);
+ /* Initialized case */
+ mips_jr (code, mips_ra);
+ mips_nop (code);
+
+ /* Uninitialized case */
+ mips_patch ((guint32*)jump, (guint32)code);
+
+ if (aot) {
+ ji = mono_patch_info_list_prepend (ji, code - buf, MONO_PATCH_INFO_JIT_ICALL_ADDR, "specific_trampoline_generic_class_init");
+ mips_load (code, mips_at, 0);
+ mips_jr (code, mips_at);
+ mips_nop (code);
+ } else {
+ tramp = mono_arch_create_specific_trampoline (NULL, MONO_TRAMPOLINE_GENERIC_CLASS_INIT, mono_get_root_domain (), &code_len);
+ mips_load (code, mips_at, tramp);
+ mips_jr (code, mips_at);
+ mips_nop (code);
+ }
+
+ mono_arch_flush_icache (buf, code - buf);
+
+ g_assert (code - buf <= tramp_size);
+
+ if (info)
+ *info = mono_tramp_info_create ("generic_class_init_trampoline", buf, code - buf, ji, unwind_ops);
+
+ return buf;
}
projects / mono.git / blobdiff