#include "mini.h"
#include "mini-mips.h"
+static guint8* nullified_class_init_trampoline;
+
/*
* get_unbox_trampoline:
* @m: method pointer
* this argument. This method returns a pointer to a trampoline which does
* unboxing before calling the method
*/
-static gpointer
-get_unbox_trampoline (MonoMethod *m, gpointer addr)
+gpointer
+mono_arch_get_unbox_trampoline (MonoMethod *m, gpointer addr)
{
guint8 *code, *start;
int this_pos = mips_a0;
MonoDomain *domain = mono_domain_get ();
- if (!mono_method_signature (m)->ret->byref && MONO_TYPE_ISSTRUCT (mono_method_signature (m)->ret))
+ if (MONO_TYPE_ISSTRUCT (mono_method_signature (m)->ret))
this_pos = mips_a1;
- mono_domain_lock (domain);
- start = code = mono_code_manager_reserve (domain->code_mp, 20);
- mono_domain_unlock (domain);
+ start = code = mono_domain_code_reserve (domain, 20);
mips_load (code, mips_t9, addr);
mips_addiu (code, this_pos, this_pos, sizeof (MonoObject));
return start;
}
-/* Stack size for trampoline function
- * MIPS_MINIMAL_STACK_SIZE + 16 (args + alignment to mips_magic_trampoline)
- * + MonoLMF + 14 fp regs + 13 gregs + alignment
- * #define STACK (MIPS_MINIMAL_STACK_SIZE + 4 * sizeof (gulong) + sizeof (MonoLMF) + 14 * sizeof (double) + 13 * (sizeof (gulong)))
- * STACK would be 444 for 32 bit darwin
- */
-
-#define STACK (4*4 + 8 + sizeof(MonoLMF) + 32)
-
-
-/* Method-specific trampoline code fragment size */
-#define METHOD_TRAMPOLINE_SIZE 64
-
-/* Jump-specific trampoline code fragment size */
-#define JUMP_TRAMPOLINE_SIZE 64
-
-/**
- * mips_magic_trampoline:
- * @code: pointer into caller code
- * @method: the method to translate
- * @sp: stack pointer
- *
- * This method is called by the function 'arch_create_jit_trampoline', which in
- * turn is called by the trampoline functions for virtual methods.
- * After having called the JIT compiler to compile the method, it inspects the
- * caller code to find the address of the method-specific part of the
- * trampoline vtable slot for this method, updates it with a fragment that calls
- * the newly compiled code and returns this address of the compiled code to
- * 'arch_create_jit_trampoline'
- */
-static gpointer
-mips_magic_trampoline (MonoMethod *method, guint32 *code, char *sp)
+void
+mono_arch_patch_callsite (guint8 *method_start, guint8 *orig_code, guint8 *addr)
{
- char *vtable = NULL;
- gpointer addr;
- MonoJitInfo *ji, *target_ji;
- int reg, offset = 0;
- guint32 base = 0;
+ guint32 *code = (guint32*)orig_code;
- addr = mono_compile_method (method);
- g_assert (addr);
-
- if (!code)
- return addr;
-
- /* We can't trampoline across domains */
- ji = mono_jit_info_table_find (mono_domain_get (), code);
- target_ji = mono_jit_info_table_find (mono_domain_get (), addr);
- if (!mono_method_same_domain (ji, target_ji))
- return addr;
-
-#if 0
- g_print ("mips_magic: method code at %p from %p for %s:%s\n",
- addr, code, method->klass->name, method->name);
-#endif
- /* 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
lui t9, XXXX
addiu t9, YYYY
/* The jal case */
if ((code[-2] >> 26) == 0x03) {
- g_print ("direct patching\n");
- mips_patch ((char*)(code-2), addr);
- return addr;
+ //g_print ("direct patching\n");
+ mips_patch ((code-2), (gsize)addr);
+ 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) {
+ mips_patch ((code-4), (gsize)addr);
+ 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, mgreg_t *regs, guint8 *addr)
+{
+ g_assert_not_reached ();
+}
+
+/* Stack size for trampoline function
+ * MIPS_MINIMAL_STACK_SIZE + 16 (args + alignment to mips_magic_trampoline)
+ * + MonoLMF + 14 fp regs + 13 gregs + alignment
+ * #define STACK (MIPS_MINIMAL_STACK_SIZE + 4 * sizeof (gulong) + sizeof (MonoLMF) + 14 * sizeof (double) + 13 * (sizeof (gulong)))
+ * STACK would be 444 for 32 bit darwin
+ */
+
+#define STACK (4*IREG_SIZE + 8 + sizeof(MonoLMF) + 32)
+
+
+gpointer
+mono_arch_get_vcall_slot (guint8 *code_ptr, mgreg_t *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);
/* The lui / addiu / jalr case */
if ((code [-4] >> 26) == 0x0f && (code [-3] >> 26) == 0x09 && (code [-2] >> 26) == 0) {
- mips_patch ((char*)(code-4), addr);
- return addr;
+ return NULL;
}
- //printf ("mips_magic_trampoline: 0x%08x @ 0x%0x\n", *(code-2), code-2);
-
/* Probably a vtable lookup */
/* Walk backwards to find 'lw reg,XX(base)' */
if (soff & 0x8000)
soff |= 0xffff0000;
offset = soff;
- reg_offset = STACK - sizeof (MonoLMF)
- + G_STRUCT_OFFSET (MonoLMF, iregs[base]);
- /* o contains now the value of register reg */
- vtable = *((char**) (sp + reg_offset));
-#if 0
- g_print ("patching reg is %d, offset %d (vtable %p) @ %p\n",
- base, offset, vtable, code);
-#endif
+ if (1) {
+ MonoLMF *lmf = (MonoLMF*)((char *)regs + 12*IREG_SIZE);
+ g_assert (lmf->magic == MIPS_LMF_MAGIC2);
+ o = (gpointer)lmf->iregs [base];
+ }
+ else {
+ o = (gpointer) regs [base];
+ }
break;
}
}
+ *displacement = offset;
+ return o;
+}
- /* this is not done for non-virtual calls, because in that case
- we won't have an object, but the actual pointer to the
- valuetype as the this argument
- */
- if (method->klass->valuetype && !mono_aot_is_got_entry (code, vtable))
- addr = get_unbox_trampoline (method, addr);
+void
+mono_arch_nullify_plt_entry (guint8 *code, mgreg_t *regs)
+{
+ if (mono_aot_only && !nullified_class_init_trampoline)
+ nullified_class_init_trampoline = mono_aot_get_trampoline ("nullified_class_init_trampoline");
- vtable += offset;
- if (mono_aot_is_got_entry (code, vtable) || mono_domain_owns_vtable_slot (mono_domain_get (), vtable))
- *((gpointer *)vtable) = addr;
- return addr;
+ mono_arch_patch_plt_entry (code, NULL, regs, nullified_class_init_trampoline);
}
-static void
-mips_class_init_trampoline (void *vtable, guint32 *code, char *sp)
+void
+mono_arch_nullify_class_init_trampoline (guint8 *code, mgreg_t *regs)
{
- //g_print ("mips_class_init: vtable=%p code=%p sp=%p\n", vtable, code, sp);
-
- mono_runtime_class_init (vtable);
+ guint32 *code32 = (guint32*)code;
/* back up to the jal/jalr instruction */
- code -= 2;
+ code32 -= 2;
/* Check for jal/jalr -- and NOP it out */
- if ((((*code)&0xfc000000) == 0x0c000000)
- || (((*code)&0xfc1f003f) == 0x00000009)) {
- mips_nop (code);
- mono_arch_flush_icache (code-1, 4);
+ if ((((*code32)&0xfc000000) == 0x0c000000)
+ || (((*code32)&0xfc1f003f) == 0x00000009)) {
+ 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 (g_strdup_printf ("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)
{
- guint8 *buf, *code = NULL;
- int i, offset, lmf;
+ 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 */
lmf = STACK - sizeof (MonoLMF) - 8;
for (i = 0; i < MONO_MAX_IREGS; i++)
- mips_sw (code, i, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, iregs[i]));
+ MIPS_SW (code, i, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, iregs[i]));
for (i = 0; i < MONO_MAX_FREGS; i++)
- mips_swc1 (code, i, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, fregs[i]));
+ MIPS_SWC1 (code, i, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, fregs[i]));
/* Set the magic number */
mips_load_const (code, mips_at, MIPS_LMF_MAGIC2);
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));
+ MIPS_SW (code, mips_fp, mips_sp, lmf + G_STRUCT_OFFSET(MonoLMF, ebp));
/* save the IP (caller ip) */
if (tramp_type == MONO_TRAMPOLINE_JUMP) {
* Now we're ready to call mips_magic_trampoline ().
*/
- /* Arg 1: MonoMethod *method. */
- mips_lw (code, mips_a0, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, method));
-
+ /* Arg 1: pointer to registers so that the magic trampoline can
+ * access what we saved above
+ */
+ 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);
} else {
mips_lw (code, mips_a1, mips_sp, STACK + MIPS_RET_ADDR_OFFSET);
}
-
- /* Arg 3: stack pointer so that the magic trampoline can access the
- * registers we saved above
- */
- mips_move (code, mips_a2, mips_sp);
+
+ /* Arg 3: MonoMethod *method. */
+ mips_lw (code, mips_a2, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, method));
+
+ /* Arg 4: Trampoline */
+ mips_move (code, mips_a3, mips_zero);
/* Now go to the trampoline */
- if (tramp_type == MONO_TRAMPOLINE_CLASS_INIT) {
- mips_load (code, mips_t9, (guint32)mips_class_init_trampoline);
- } else {
- mips_load (code, mips_t9, (guint32)mips_magic_trampoline);
- }
+ tramp = (guint8*)mono_get_trampoline_func (tramp_type);
+ mips_load (code, mips_t9, (guint32)tramp);
mips_jalr (code, mips_t9, mips_ra);
mips_nop (code);
/* Restore the callee-saved & argument registers */
for (i = 0; i < MONO_MAX_IREGS; i++) {
if ((MONO_ARCH_CALLEE_SAVED_REGS | MONO_ARCH_CALLEE_REGS | MIPS_ARG_REGS) & (1 << i))
- mips_lw (code, i, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, iregs[i]));
+ MIPS_LW (code, i, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, iregs[i]));
}
for (i = 0; i < MONO_MAX_FREGS; i++)
- mips_lwc1 (code, i, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, fregs[i]));
+ MIPS_LWC1 (code, i, mips_sp, lmf + G_STRUCT_OFFSET (MonoLMF, fregs[i]));
/* Non-standard function epilogue. Instead of doing a proper
* return, we just jump to the compiled code.
mips_lw (code, mips_ra, mips_sp, STACK + MIPS_RET_ADDR_OFFSET);
mips_addiu (code, mips_sp, mips_sp, STACK);
- mips_jr (code, mips_at);
+ if (tramp_type == MONO_TRAMPOLINE_CLASS_INIT)
+ mips_jr (code, mips_ra);
+ else
+ mips_jr (code, mips_at);
mips_nop (code);
/* Flush instruction cache, since we've generated code */
/* Sanity check */
g_assert ((code - buf) <= max_code_len);
+ if (tramp_type == MONO_TRAMPOLINE_CLASS_INIT)
+ /* Initialize the nullified class init trampoline used in the AOT case */
+ nullified_class_init_trampoline = mono_arch_get_nullified_class_init_trampoline (NULL);
+
+ if (info)
+ *info = mono_tramp_info_create (mono_get_generic_trampoline_name (tramp_type), buf, code - buf, ji, unwind_ops);
+
return buf;
}
-static MonoJitInfo*
-create_specific_tramp (MonoMethod *method, guint8* tramp, MonoDomain *domain) {
- guint8 *code, *buf;
- MonoJitInfo *ji;
+gpointer
+mono_arch_create_specific_trampoline (gpointer arg1, MonoTrampolineType tramp_type, MonoDomain *domain, guint32 *code_len)
+{
+ guint8 *code, *buf, *tramp;
+
+ tramp = mono_get_trampoline_code (tramp_type);
- mono_domain_lock (domain);
- code = buf = mono_code_manager_reserve (domain->code_mp, 32);
- mono_domain_unlock (domain);
+ code = buf = mono_domain_code_reserve (domain, 32);
/* Prepare the jump to the generic trampoline code
* mono_arch_create_trampoline_code() knows we're putting this in t8
*/
- mips_load (code, mips_t8, method);
+ mips_load (code, mips_t8, arg1);
/* Now jump to the generic trampoline code */
mips_load (code, mips_at, tramp);
g_assert ((code - buf) <= 32);
- ji = g_new0 (MonoJitInfo, 1);
- ji->method = method;
- ji->code_start = buf;
- ji->code_size = code - buf;
-
- mono_jit_stats.method_trampolines++;
-
- return ji;
-}
-
-MonoJitInfo*
-mono_arch_create_jump_trampoline (MonoMethod *method)
-{
- guint8 *tramp;
- MonoDomain* domain = mono_domain_get ();
-
- tramp = mono_get_trampoline_code (MONO_TRAMPOLINE_JUMP);
- return create_specific_tramp (method, tramp, domain);
-}
-
-/**
- * arch_create_jit_trampoline:
- * @method: pointer to the method info
- *
- * Creates a trampoline function for virtual methods. If the created
- * code is called it first starts JIT compilation of method,
- * and then calls the newly created method. It also replaces the
- * corresponding vtable entry (see mips_magic_trampoline).
- *
- * A trampoline consists of two parts: a main fragment, shared by all method
- * trampolines, and some code specific to each method, which hard-codes a
- * reference to that method and then calls the main fragment.
- *
- * The main fragment contains a call to 'mips_magic_trampoline', which performs
- * call to the JIT compiler and substitutes the method-specific fragment with
- * some code that directly calls the JIT-compiled method.
- *
- * Returns: a pointer to the newly created code
- */
-gpointer
-mono_arch_create_jit_trampoline (MonoMethod *method)
-{
- guint8 *tramp;
- MonoJitInfo *ji;
- MonoDomain* domain = mono_domain_get ();
- gpointer code_start;
-
- tramp = mono_get_trampoline_code (MONO_TRAMPOLINE_GENERIC);
- /* FIXME: should pass the domain down to this function */
- ji = create_specific_tramp (method, tramp, domain);
- code_start = ji->code_start;
- g_free (ji);
-
- return code_start;
-}
-
-/**
- * mono_arch_create_class_init_trampoline:
- * @vtable: the type to initialize
- *
- * Creates a trampoline function to run a type initializer.
- * If the trampoline is called, it calls mono_runtime_class_init with the
- * given vtable, then patches the caller code so it does not get called any
- * more.
- *
- * Returns: a pointer to the newly created code
- */
-gpointer
-mono_arch_create_class_init_trampoline (MonoVTable *vtable)
-{
- guint8 *code, *buf, *tramp;
-
- tramp = mono_get_trampoline_code (MONO_TRAMPOLINE_CLASS_INIT);
-
- /* This is the method-specific part of the trampoline. Its purpose is
- to provide the generic part with the MonoMethod *method pointer. We'll
- use r11 to keep that value, for instance. However, the generic part of
- the trampoline relies on r11 having the same value it had before coming
- here, so we must save it before. */
- mono_domain_lock (vtable->domain);
- code = buf = mono_code_manager_reserve (vtable->domain->code_mp, METHOD_TRAMPOLINE_SIZE);
- mono_domain_unlock (vtable->domain);
-
- //g_print ("mips_class_init_tramp buf=%p tramp=%p\n", buf, tramp);
-
- mips_addiu (code, mips_sp, mips_sp, -MIPS_MINIMAL_STACK_SIZE);
- mips_sw (code, mips_ra, mips_sp, MIPS_MINIMAL_STACK_SIZE + MIPS_RET_ADDR_OFFSET);
-
- /* Probably need to save/restore a0-a3 here */
-
- mips_load (code, mips_a0, vtable);
- mips_move (code, mips_a1, mips_ra);
- mips_move (code, mips_a2, mips_zero);
-
- mips_load (code, mips_t9, mips_class_init_trampoline);
- mips_jalr (code, mips_t9, mips_ra);
- mips_nop (code);
-
- mips_lw (code, mips_ra, mips_sp, MIPS_MINIMAL_STACK_SIZE + MIPS_RET_ADDR_OFFSET);
- mips_addiu (code, mips_sp, mips_sp, MIPS_MINIMAL_STACK_SIZE);
- mips_jr (code, mips_ra);
- mips_nop (code);
-
- /* Flush instruction cache, since we've generated code */
- mono_arch_flush_icache (buf, code - buf);
-
- /* Sanity check */
- g_assert ((code - buf) <= METHOD_TRAMPOLINE_SIZE);
- mono_jit_stats.method_trampolines++;
+ if (code_len)
+ *code_len = code - buf;
return buf;
}
-/*
- * This method is only called when running in the Mono Debugger.
- */
gpointer
-mono_debugger_create_notification_function (void)
-{
-#if 0
- guint8 *ptr, *buf;
-
- ptr = buf = mono_global_codeman_reserve (16);
- mips_break (buf, 0xd0);
- mips_jr (buf, mips_ra);
- mips_nop (buf);
- mono_arch_flush_icache (ptr, buf - ptr);
-
- return ptr;
-#else
- return NULL;
-#endif
-}
-
-gpointer
-mono_arch_create_rgctx_lazy_fetch_trampoline (guint32 encoded_offset)
+mono_arch_create_rgctx_lazy_fetch_trampoline (guint32 slot, MonoTrampInfo **info, gboolean aot)
{
/* FIXME: implement! */
g_assert_not_reached ();
return NULL;
}
-guint32
-mono_arch_get_rgctx_lazy_fetch_offset (gpointer *regs)
+gpointer
+mono_arch_create_generic_class_init_trampoline (MonoTrampInfo **info, gboolean aot)
{
/* FIXME: implement! */
g_assert_not_reached ();
- return 0;
+ return NULL;
}
projects / mono.git / blobdiff