Introduce MonoThreadUnwindState and a bunch overloads to mono_walk_stack.
[mono.git] / mono / mini / exceptions-mips.c
index 27968d12e774713862c6a5c7cb42198d10b56bd1..e42d0c39108f3123d6da0530add75e40233643d0 100644 (file)
@@ -58,7 +58,7 @@
  * The first argument in a0 is the pointer to the MonoContext.
  */
 gpointer
-mono_arch_get_restore_context (void)
+mono_arch_get_restore_context (MonoTrampInfo **info, gboolean aot)
 {
        int i;
        guint8 *code;
@@ -66,6 +66,10 @@ mono_arch_get_restore_context (void)
        static int inited = 0;
        guint32 iregs_to_restore;
 
+       g_assert (!aot);
+       if (info)
+               *info = NULL;
+
        if (inited)
                return start;
        inited = 1;
@@ -75,7 +79,7 @@ mono_arch_get_restore_context (void)
                            | (1 << mips_sp) | (1 << mips_ra));
        for (i = 0; i < MONO_SAVED_GREGS; ++i) {
                if (iregs_to_restore & (1 << i)) {
-                       mips_lw (code, i, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[i]));
+                       MIPS_LW (code, i, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[i]));
                }
        }
 
@@ -108,7 +112,7 @@ mono_arch_get_restore_context (void)
  *     handler (void)
  */
 gpointer
-mono_arch_get_call_filter (void)
+mono_arch_get_call_filter (MonoTrampInfo **info, gboolean aot)
 {
        static guint8 start [320];
        static int inited = 0;
@@ -116,6 +120,10 @@ mono_arch_get_call_filter (void)
        int alloc_size;
        int offset;
 
+       g_assert (!aot);
+       if (info)
+               *info = NULL;
+
        if (inited)
                return start;
 
@@ -130,26 +138,26 @@ mono_arch_get_call_filter (void)
 
        /* Save global registers on stack (s0 - s7) */
        offset = 16;
-       mips_sw (code, mips_s0, mips_sp, offset); offset += IREG_SIZE;
-       mips_sw (code, mips_s1, mips_sp, offset); offset += IREG_SIZE;
-       mips_sw (code, mips_s2, mips_sp, offset); offset += IREG_SIZE;
-       mips_sw (code, mips_s3, mips_sp, offset); offset += IREG_SIZE;
-       mips_sw (code, mips_s4, mips_sp, offset); offset += IREG_SIZE;
-       mips_sw (code, mips_s5, mips_sp, offset); offset += IREG_SIZE;
-       mips_sw (code, mips_s6, mips_sp, offset); offset += IREG_SIZE;
-       mips_sw (code, mips_s7, mips_sp, offset); offset += IREG_SIZE;
-       mips_sw (code, mips_fp, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_SW (code, mips_s0, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_SW (code, mips_s1, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_SW (code, mips_s2, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_SW (code, mips_s3, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_SW (code, mips_s4, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_SW (code, mips_s5, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_SW (code, mips_s6, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_SW (code, mips_s7, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_SW (code, mips_fp, mips_sp, offset); offset += IREG_SIZE;
 
        /* Restore global registers from MonoContext, including the frame pointer */
-       mips_lw (code, mips_s0, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s0]));
-       mips_lw (code, mips_s1, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s1]));
-       mips_lw (code, mips_s2, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s2]));
-       mips_lw (code, mips_s3, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s3]));
-       mips_lw (code, mips_s4, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s4]));
-       mips_lw (code, mips_s5, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s5]));
-       mips_lw (code, mips_s6, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s6]));
-       mips_lw (code, mips_s7, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s7]));
-       mips_lw (code, mips_fp, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_fp]));
+       MIPS_LW (code, mips_s0, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s0]));
+       MIPS_LW (code, mips_s1, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s1]));
+       MIPS_LW (code, mips_s2, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s2]));
+       MIPS_LW (code, mips_s3, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s3]));
+       MIPS_LW (code, mips_s4, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s4]));
+       MIPS_LW (code, mips_s5, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s5]));
+       MIPS_LW (code, mips_s6, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s6]));
+       MIPS_LW (code, mips_s7, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_s7]));
+       MIPS_LW (code, mips_fp, mips_a0, G_STRUCT_OFFSET (MonoContext, sc_regs[mips_fp]));
 
        /* a1 is the handler to call */
        mips_move (code, mips_t9, mips_a1);
@@ -160,15 +168,15 @@ mono_arch_get_call_filter (void)
 
        /* restore all regs from the stack */
        offset = 16;
-       mips_lw (code, mips_s0, mips_sp, offset); offset += IREG_SIZE;
-       mips_lw (code, mips_s1, mips_sp, offset); offset += IREG_SIZE;
-       mips_lw (code, mips_s2, mips_sp, offset); offset += IREG_SIZE;
-       mips_lw (code, mips_s3, mips_sp, offset); offset += IREG_SIZE;
-       mips_lw (code, mips_s4, mips_sp, offset); offset += IREG_SIZE;
-       mips_lw (code, mips_s5, mips_sp, offset); offset += IREG_SIZE;
-       mips_lw (code, mips_s6, mips_sp, offset); offset += IREG_SIZE;
-       mips_lw (code, mips_s7, mips_sp, offset); offset += IREG_SIZE;
-       mips_lw (code, mips_fp, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_LW (code, mips_s0, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_LW (code, mips_s1, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_LW (code, mips_s2, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_LW (code, mips_s3, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_LW (code, mips_s4, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_LW (code, mips_s5, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_LW (code, mips_s6, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_LW (code, mips_s7, mips_sp, offset); offset += IREG_SIZE;
+       MIPS_LW (code, mips_fp, mips_sp, offset); offset += IREG_SIZE;
 
        /* epilog */
        mips_lw (code, mips_ra, mips_sp, alloc_size + MIPS_RET_ADDR_OFFSET);
@@ -193,7 +201,7 @@ throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gboolean
 #endif
 
        if (!restore_context)
-               restore_context = mono_arch_get_restore_context ();
+               restore_context = mono_get_restore_context ();
 
        /* adjust eip so that it point into the call instruction */
        eip -= 8;
@@ -203,11 +211,7 @@ throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gboolean
        /*g_print  ("stack in throw: %p\n", esp);*/
        memcpy (&ctx.sc_regs, (void *)(esp + MIPS_STACK_PARAM_OFFSET),
                sizeof (gulong) * MONO_SAVED_GREGS);
-#if 0
-       memcpy (&ctx.sc_fpregs, fp_regs, sizeof (float) * MONO_SAVED_FREGS);
-#else
-       memset (&ctx.sc_fpregs, 0, sizeof (float) * MONO_SAVED_FREGS);
-#endif
+       memset (&ctx.sc_fpregs, 0, sizeof (mips_freg) * MONO_SAVED_FREGS);
        MONO_CONTEXT_SET_IP (&ctx, eip);
 
        if (mono_object_isinst (exc, mono_defaults.exception_class)) {
@@ -236,7 +240,7 @@ throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gboolean
  *
  */
 static gpointer 
-mono_arch_get_throw_exception_generic (guint8 *start, int size, int by_name, gboolean rethrow)
+mono_arch_get_throw_exception_generic (guint8 *start, int size, int corlib, gboolean rethrow)
 {
        guint8 *code;
        int alloc_size, pos, i;
@@ -262,18 +266,17 @@ mono_arch_get_throw_exception_generic (guint8 *start, int size, int by_name, gbo
        /* Save all the regs on the stack */
        for (i = 0; i < MONO_MAX_IREGS; i++) {
                if (i != mips_sp)
-                       mips_sw (code, i, mips_sp, i*IREG_SIZE + MIPS_STACK_PARAM_OFFSET);
+                       MIPS_SW (code, i, mips_sp, i*IREG_SIZE + MIPS_STACK_PARAM_OFFSET);
                else {
                        mips_addiu (code, mips_at, mips_sp, alloc_size);
-                       mips_sw (code, mips_at, mips_sp, i*IREG_SIZE + MIPS_STACK_PARAM_OFFSET);
+                       MIPS_SW (code, mips_at, mips_sp, i*IREG_SIZE + MIPS_STACK_PARAM_OFFSET);
                }
        }
 
-       if (by_name) {
-               mips_move (code, mips_a2, mips_a0);
+       if (corlib) {
+               mips_move (code, mips_a1, mips_a0);
                mips_load (code, mips_a0, mono_defaults.corlib);
-               mips_load (code, mips_a1, "System");
-               mips_load (code, mips_t9, mono_exception_from_name);
+               mips_load (code, mips_t9, mono_exception_from_token);
                mips_jalr (code, mips_t9, mips_ra);
                mips_nop (code);
                mips_move (code, mips_a0, mips_v0);
@@ -283,7 +286,7 @@ mono_arch_get_throw_exception_generic (guint8 *start, int size, int by_name, gbo
        /* exc is already in place in a0 */
 
        /* pointer to ip */
-       if (by_name)
+       if (corlib)
                mips_lw (code, mips_a1, mips_sp, alloc_size + MIPS_RET_ADDR_OFFSET);
        else
                mips_move (code, mips_a1, mips_ra);
@@ -312,11 +315,15 @@ mono_arch_get_throw_exception_generic (guint8 *start, int size, int by_name, gbo
  *
  */
 gpointer
-mono_arch_get_rethrow_exception (void)
+mono_arch_get_rethrow_exception (MonoTrampInfo **info, gboolean aot)
 {
        static guint8 start [GENERIC_EXCEPTION_SIZE];
        static int inited = 0;
 
+       g_assert (!aot);
+       if (info)
+               *info = NULL;
+
        if (inited)
                return start;
        mono_arch_get_throw_exception_generic (start, sizeof (start), FALSE, TRUE);
@@ -336,12 +343,16 @@ mono_arch_get_rethrow_exception (void)
  * x86_call_code (code, arch_get_throw_exception ()); 
  *
  */
-gpointer 
-mono_arch_get_throw_exception (void)
+gpointer
+mono_arch_get_throw_exception (MonoTrampInfo **info, gboolean aot)
 {
        static guint8 start [GENERIC_EXCEPTION_SIZE];
        static int inited = 0;
 
+       g_assert (!aot);
+       if (info)
+               *info = NULL;
+
        if (inited)
                return start;
        mono_arch_get_throw_exception_generic (start, sizeof (start), FALSE, FALSE);
@@ -349,24 +360,37 @@ mono_arch_get_throw_exception (void)
        return start;
 }
 
+gpointer 
+mono_arch_get_throw_exception_by_name (void)
+{
+       guint8 *start, *code;
+       int size = 64;
+
+       /* Not used on MIPS */  
+       start = code = mono_global_codeman_reserve (size);
+       mips_break (code, 0xfd);
+       mono_arch_flush_icache (start, code - start);
+       return start;
+}
+
 /**
- * arch_get_throw_exception_by_name:
+ * mono_arch_get_throw_corlib_exception:
  *
  * Returns a function pointer which can be used to raise 
  * corlib exceptions. The returned function has the following 
- * signature: void (*func) (char *exc_name); 
- * For example to raise an arithmetic exception you can use:
- *
- * x86_push_imm (code, "ArithmeticException"); 
- * x86_call_code (code, arch_get_throw_exception_by_name ()); 
- *
+ * signature: void (*func) (guint32 ex_token, guint32 offset); 
+ * On MIPS, the offset argument is missing.
  */
-gpointer 
-mono_arch_get_throw_exception_by_name (void)
+gpointer
+mono_arch_get_throw_corlib_exception (MonoTrampInfo **info, gboolean aot)
 {
        static guint8 start [GENERIC_EXCEPTION_SIZE];
        static int inited = 0;
 
+       g_assert (!aot);
+       if (info)
+               *info = NULL;
+
        if (inited)
                return start;
        mono_arch_get_throw_exception_generic (start, sizeof (start), TRUE, FALSE);
@@ -393,42 +417,37 @@ glist_to_array (GList *list, MonoClass *eclass)
        return res;
 }
 
-/* mono_arch_find_jit_info:
+/*
+ * mono_arch_find_jit_info:
  *
- * This function is used to gather information from @ctx. It returns the 
- * MonoJitInfo of the corresponding function, unwinds one stack frame and
- * stores the resulting context into @new_ctx. It also stores a string 
- * describing the stack location into @trace (if not NULL), and modifies
- * the @lmf if necessary. @native_offset return the IP offset from the 
- * start of the function or -1 if that info is not available.
+ * This function is used to gather information from @ctx, and store it in @frame_info.
+ * It unwinds one stack frame, and stores the resulting context into @new_ctx. @lmf
+ * is modified if needed.
+ * Returns TRUE on success, FALSE otherwise.
  */
-MonoJitInfo *
-mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls,
-                        MonoJitInfo *res, MonoJitInfo *prev_ji,
-                        MonoContext *ctx, MonoContext *new_ctx,
-                        MonoLMF **lmf, gboolean *managed)
+gboolean
+mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, 
+                                                        MonoJitInfo *ji, MonoContext *ctx, 
+                                                        MonoContext *new_ctx, MonoLMF **lmf, 
+                                                        mgreg_t **save_locations,
+                                                        StackFrameInfo *frame)
 {
-       MonoJitInfo *ji;
        gpointer ip = MONO_CONTEXT_GET_IP (ctx);
        gpointer fp = MONO_CONTEXT_GET_BP (ctx);
        guint32 sp;
 
-       /* Avoid costly table lookup during stack overflow */
-       if (prev_ji && (ip > prev_ji->code_start && ((guint8*)ip < ((guint8*)prev_ji->code_start) + prev_ji->code_size)))
-               ji = prev_ji;
-       else
-               ji = mono_jit_info_table_find (domain, ip);
-
-       if (managed)
-               *managed = FALSE;
+       memset (frame, 0, sizeof (StackFrameInfo));
+       frame->ji = ji;
 
-       memcpy (new_ctx, ctx, sizeof (MonoContext));
+       *new_ctx = *ctx;
 
        if (ji != NULL) {
                int i;
                gint32 address;
                int offset = 0;
 
+               frame->type = FRAME_TYPE_MANAGED;
+
                if (*lmf && (MONO_CONTEXT_GET_BP (ctx) >= (gpointer)(*lmf)->ebp)) {
                        /* remove any unused lmf */
                        *lmf = (*lmf)->previous_lmf;
@@ -436,10 +455,6 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls,
 
                address = (char *)ip - (char *)ji->code_start;
 
-               if (managed)
-                       if (!ji->method->wrapper_type)
-                               *managed = TRUE;
-
                /* My stack frame */
                fp = MONO_CONTEXT_GET_BP (ctx);
 
@@ -452,7 +467,7 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls,
 #ifdef DEBUG_EXCEPTIONS
                        g_print ("mono_arch_find_jit_info: bad stack sp=%p\n", (void *) sp);
 #endif
-                       return (gpointer)-1;
+                       return FALSE;
                }
 
                if (ji->method->save_lmf && 0) {
@@ -473,10 +488,15 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls,
                        /* these all happen before adjustment of fp */
                        /* Look for sw ??, ????(sp) */
                        insn = ((guint32 *)ji->code_start) + 1;
-                       while (!*insn || (*insn & 0xffe00000) == 0xafa00000) {
+                       while (!*insn || ((*insn & 0xffe00000) == 0xafa00000) || ((*insn & 0xffe00000) == 0xffa00000)) {
                                int reg = (*insn >> 16) & 0x1f;
+                               guint32 addr = (((guint32)fp) + (short)(*insn & 0x0000ffff));
+
                                mask &= ~(1 << reg);
-                               new_ctx->sc_regs [reg] = *(guint32 *)(((guint32)fp) + (short)(*insn & 0x0000ffff));
+                               if ((*insn & 0xffe00000) == 0xafa00000)
+                                       new_ctx->sc_regs [reg] = *(guint32 *)addr;
+                               else
+                                       new_ctx->sc_regs [reg] = *(guint64 *)addr;
                                insn++;
                        }
                        MONO_CONTEXT_SET_SP (new_ctx, sp);
@@ -489,21 +509,25 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls,
 
                /* Sanity check -- we should have made progress here */
                g_assert (new_ctx->sc_pc != ctx->sc_pc);
-               return ji;
+               return TRUE;
        } else if (*lmf) {
                if (!(*lmf)->method) {
 #ifdef DEBUG_EXCEPTIONS
                        g_print ("mono_arch_find_jit_info: bad lmf @ %p\n", (void *) *lmf);
 #endif
-                       return (gpointer)-1;
+                       return FALSE;
                }
                g_assert (((*lmf)->magic == MIPS_LMF_MAGIC1) || ((*lmf)->magic == MIPS_LMF_MAGIC2));
 
-               if ((ji = mono_jit_info_table_find (domain, (gpointer)(*lmf)->eip))) {
-               } else {
-                       memset (res, 0, sizeof (MonoJitInfo));
-                       res->method = (*lmf)->method;
+               ji = mini_jit_info_table_find (domain, (gpointer)(*lmf)->eip, NULL);
+               if (!ji) {
+                       // FIXME: This can happen with multiple appdomains (bug #444383)
+                       return FALSE;
                }
+
+               frame->ji = ji;
+               frame->type = FRAME_TYPE_MANAGED_TO_NATIVE;
+
                memcpy (&new_ctx->sc_regs, (*lmf)->iregs, sizeof (gulong) * MONO_SAVED_GREGS);
                memcpy (&new_ctx->sc_fpregs, (*lmf)->fregs, sizeof (float) * MONO_SAVED_FREGS);
                MONO_CONTEXT_SET_IP (new_ctx, (*lmf)->eip);
@@ -511,10 +535,10 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls,
                g_assert (new_ctx->sc_pc != ctx->sc_pc);
                *lmf = (*lmf)->previous_lmf;
 
-               return ji ? ji : res;
+               return TRUE;
        }
 
-       return NULL;
+       return FALSE;
 }
 
 void
@@ -576,11 +600,3 @@ mono_arch_handle_exception (void *ctx, gpointer obj, gboolean test_only)
 
        return result;
 }
-
-
-gboolean
-mono_arch_has_unwind_info (gconstpointer addr)
-{
-       return FALSE;
-}
-