2009-08-11 Gonzalo Paniagua Javier <gonzalo@novell.com>
[mono.git] / mono / mini / exceptions-arm.c
index 4c73c7ee64242dbe8822b2fe0a3a8af556e7f3ae..bebd9419835ebbba785c2303ab60623e6f2da364 100644 (file)
@@ -99,7 +99,6 @@ typedef struct my_ucontext {
 #endif
 
 #define restore_regs_from_context(ctx_reg,ip_reg,tmp_reg) do { \
-               int reg;        \
                ARM_LDR_IMM (code, ip_reg, ctx_reg, G_STRUCT_OFFSET (MonoContext, eip));        \
                ARM_ADD_REG_IMM8 (code, tmp_reg, ctx_reg, G_STRUCT_OFFSET(MonoContext, regs));  \
                ARM_LDMIA (code, tmp_reg, MONO_ARM_REGSAVE_MASK);       \
@@ -115,17 +114,15 @@ typedef struct my_ucontext {
  * The first argument in r0 is the pointer to the context.
  */
 gpointer
-mono_arch_get_restore_context (void)
+mono_arch_get_restore_context_full (guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
 {
        guint8 *code;
-       static guint8 start [128];
-       static int inited = 0;
+       guint8 *start;
 
-       if (inited)
-               return start;
-       inited = 1;
+       *ji = NULL;
+
+       start = code = mono_global_codeman_reserve (128);
 
-       code = start;
        restore_regs_from_context (ARMREG_R0, ARMREG_R1, ARMREG_R2);
        /* restore also the stack pointer, FIXME: handle sp != fp */
        ARM_LDR_IMM (code, ARMREG_SP, ARMREG_R0, G_STRUCT_OFFSET (MonoContext, ebp));
@@ -136,8 +133,12 @@ mono_arch_get_restore_context (void)
        /* never reached */
        ARM_DBRK (code);
 
-       g_assert ((code - start) < sizeof(start));
+       g_assert ((code - start) < 128);
+
        mono_arch_flush_icache (start, code - start);
+
+       *code_size = code - start;
+
        return start;
 }
 
@@ -149,19 +150,15 @@ mono_arch_get_restore_context (void)
  * @exc object in this case).
  */
 gpointer
-mono_arch_get_call_filter (void)
+mono_arch_get_call_filter_full (guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
 {
-       static guint8 start [320];
-       static int inited = 0;
        guint8 *code;
-       int alloc_size, pos, i;
+       guint8* start;
 
-       if (inited)
-               return start;
+       *ji = NULL;
 
-       inited = 1;
        /* call_filter (MonoContext *ctx, unsigned long eip, gpointer exc) */
-       code = start;
+       start = code = mono_global_codeman_reserve (320);
 
        /* save all the regs on the stack */
        ARM_MOV_REG_REG (code, ARMREG_IP, ARMREG_SP);
@@ -177,20 +174,24 @@ mono_arch_get_call_filter (void)
        /* epilog */
        ARM_POP_NWB (code, 0xff0 | ((1 << ARMREG_SP) | (1 << ARMREG_PC)));
 
-       g_assert ((code - start) < sizeof(start));
+       g_assert ((code - start) < 320);
+
        mono_arch_flush_icache (start, code - start);
+
+       *code_size = code - start;
+
        return start;
 }
 
-static void
-throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gulong *int_regs, gdouble *fp_regs)
+void
+mono_arm_throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gulong *int_regs, gdouble *fp_regs)
 {
        static void (*restore_context) (MonoContext *);
        MonoContext ctx;
        gboolean rethrow = eip & 1;
 
        if (!restore_context)
-               restore_context = mono_arch_get_restore_context ();
+               restore_context = mono_get_restore_context ();
 
        eip &= ~1; /* clear the optional rethrow bit */
        /* adjust eip so that it point into the call instruction */
@@ -215,6 +216,12 @@ throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gulong *
        g_assert_not_reached ();
 }
 
+void
+mono_arm_throw_exception_by_token (guint32 type_token, unsigned long eip, unsigned long esp, gulong *int_regs, gdouble *fp_regs)
+{
+       mono_arm_throw_exception ((MonoObject*)mono_exception_from_token (mono_defaults.corlib, type_token), eip, esp, int_regs, fp_regs);
+}
+
 /**
  * arch_get_throw_exception_generic:
  *
@@ -225,28 +232,19 @@ throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gulong *
  *
  */
 static gpointer 
-mono_arch_get_throw_exception_generic (guint8 *start, int size, int by_token, gboolean rethrow)
+mono_arch_get_throw_exception_generic (int size, int by_token, gboolean rethrow, guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
 {
+       guint8 *start;
        guint8 *code;
-       int alloc_size, pos, i;
 
-       code = start;
+       *ji = NULL;
+
+       code = start = mono_global_codeman_reserve (size);
 
        /* save all the regs on the stack */
        ARM_MOV_REG_REG (code, ARMREG_IP, ARMREG_SP);
        ARM_PUSH (code, MONO_ARM_REGSAVE_MASK);
 
-       if (by_token) {
-               /* r0 has the type token of the exception: get the object */
-               ARM_PUSH1 (code, ARMREG_R1);
-               ARM_MOV_REG_REG (code, ARMREG_R1, ARMREG_R0);
-               code = mono_arm_emit_load_imm (code, ARMREG_R0, GPOINTER_TO_UINT (mono_defaults.corlib));
-               code = mono_arm_emit_load_imm (code, ARMREG_IP, GPOINTER_TO_UINT (mono_exception_from_token));
-               ARM_MOV_REG_REG (code, ARMREG_LR, ARMREG_PC);
-               ARM_MOV_REG_REG (code, ARMREG_PC, ARMREG_IP);
-               ARM_POP1 (code, ARMREG_R1);
-       }
-
        /* call throw_exception (exc, ip, sp, int_regs, fp_regs) */
        /* caller sp */
        ARM_ADD_REG_IMM8 (code, ARMREG_R2, ARMREG_SP, 10 * 4); /* 10 saved regs */
@@ -264,13 +262,25 @@ mono_arch_get_throw_exception_generic (guint8 *start, int size, int by_token, gb
        /* we encode rethrow in the ip, so we avoid args on the stack */
        ARM_ORR_REG_IMM8 (code, ARMREG_R1, ARMREG_R1, rethrow);
 
-       code = mono_arm_emit_load_imm (code, ARMREG_IP, GPOINTER_TO_UINT (throw_exception));
+       if (aot) {
+               *ji = mono_patch_info_list_prepend (*ji, code - start, MONO_PATCH_INFO_JIT_ICALL_ADDR, by_token ? "mono_arm_throw_exception_by_token" : "mono_arm_throw_exception");
+               ARM_LDR_IMM (code, ARMREG_IP, ARMREG_PC, 0);
+               ARM_B (code, 0);
+               *(gpointer*)(gpointer)code = NULL;
+               code += 4;
+               ARM_LDR_REG_REG (code, ARMREG_IP, ARMREG_PC, ARMREG_IP);
+       } else {
+               code = mono_arm_emit_load_imm (code, ARMREG_IP, GPOINTER_TO_UINT (by_token ? (gpointer)mono_arm_throw_exception_by_token : (gpointer)mono_arm_throw_exception));
+       }
        ARM_MOV_REG_REG (code, ARMREG_LR, ARMREG_PC);
        ARM_MOV_REG_REG (code, ARMREG_PC, ARMREG_IP);
        /* we should never reach this breakpoint */
        ARM_DBRK (code);
        g_assert ((code - start) < size);
        mono_arch_flush_icache (start, code - start);
+
+       *code_size = code - start;
+
        return start;
 }
 
@@ -283,17 +293,11 @@ mono_arch_get_throw_exception_generic (guint8 *start, int size, int by_token, gb
  *
  */
 gpointer
-mono_arch_get_rethrow_exception (void)
+mono_arch_get_rethrow_exception_full (guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
 {
-       static guint8 start [132];
-       static int inited = 0;
-
-       if (inited)
-               return start;
-       mono_arch_get_throw_exception_generic (start, sizeof (start), FALSE, TRUE);
-       inited = 1;
-       return start;
+       return mono_arch_get_throw_exception_generic (132, FALSE, TRUE, code_size, ji, aot);
 }
+
 /**
  * arch_get_throw_exception:
  *
@@ -307,33 +311,26 @@ mono_arch_get_rethrow_exception (void)
  *
  */
 gpointer 
-mono_arch_get_throw_exception (void)
+mono_arch_get_throw_exception_full (guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
 {
-       static guint8 start [132];
-       static int inited = 0;
-
-       if (inited)
-               return start;
-       mono_arch_get_throw_exception_generic (start, sizeof (start), FALSE, FALSE);
-       inited = 1;
-       return start;
+       return mono_arch_get_throw_exception_generic (132, FALSE, FALSE, code_size, ji, aot);
 }
 
 gpointer 
-mono_arch_get_throw_exception_by_name (void)
+mono_arch_get_throw_exception_by_name_full (guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
 {      
-       static guint8* start;
-       static gboolean inited = FALSE;
+       guint8* start;
        guint8 *code;
 
-       if (inited)
-               return start;
+       *ji = NULL;
 
        start = code = mono_global_codeman_reserve (64);
 
        /* Not used on ARM */
        ARM_DBRK (code);
 
+       *code_size = code - start;
+
        return start;
 }
 
@@ -349,16 +346,9 @@ mono_arch_get_throw_exception_by_name (void)
  * On ARM, the ip is passed instead of an offset.
  */
 gpointer 
-mono_arch_get_throw_corlib_exception (void)
+mono_arch_get_throw_corlib_exception_full (guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
 {
-       static guint8 start [168];
-       static int inited = 0;
-
-       if (inited)
-               return start;
-       mono_arch_get_throw_exception_generic (start, sizeof (start), TRUE, FALSE);
-       inited = 1;
-       return start;
+       return mono_arch_get_throw_exception_generic (168, TRUE, FALSE, code_size, ji, aot);
 }      
 
 /* mono_arch_find_jit_info:
@@ -372,8 +362,7 @@ mono_arch_get_throw_corlib_exception (void)
  */
 MonoJitInfo *
 mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInfo *res, MonoJitInfo *prev_ji,
-                        MonoContext *ctx, MonoContext *new_ctx, char **trace, MonoLMF **lmf,
-                        int *native_offset, gboolean *managed)
+                        MonoContext *ctx, MonoContext *new_ctx, MonoLMF **lmf, gboolean *managed)
 {
        MonoJitInfo *ji;
        gpointer ip = MONO_CONTEXT_GET_IP (ctx);
@@ -388,7 +377,11 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
                *managed = FALSE;
 
        if (ji != NULL) {
-               int offset;
+               int i;
+               gssize regs [MONO_MAX_IREGS + 1];
+               guint8 *cfa;
+               guint32 unwind_info_len;
+               guint8 *unwind_info;
 
                *new_ctx = *ctx;
 
@@ -396,44 +389,33 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
                        if (!ji->method->wrapper_type)
                                *managed = TRUE;
 
-               /*
-                * Some managed methods like pinvoke wrappers might have save_lmf set.
-                * In this case, register save/restore code is not generated by the 
-                * JIT, so we have to restore callee saved registers from the lmf.
-                */
-               if (ji->method->save_lmf) {
-                       /* 
-                        * We only need to do this if the exception was raised in managed
-                        * code, since otherwise the lmf was already popped of the stack.
-                        */
-                       if (*lmf && (MONO_CONTEXT_GET_BP (ctx) >= (gpointer)(*lmf)->ebp)) {
-                               memcpy (&new_ctx->regs [0], &(*lmf)->iregs [4], sizeof (gulong) * MONO_SAVED_GREGS);
-                       }
-                       new_ctx->esp = (*lmf)->iregs [12];
-                       new_ctx->eip = (*lmf)->iregs [13];
-                       new_ctx->ebp = new_ctx->esp;
-               } else {
-                       int i;
-                       char* sp;
-                       offset = ji->used_regs >> 16;
-                       offset <<= 2;
-                       /* the saved regs are at sp + offset */
-                       /* restore caller saved registers */
-                       sp = (char*)ctx->ebp;
-                       sp += offset;
-                       for (i = 4; i < 16; ++i) {
-                               if (ji->used_regs & (1 << i)) {
-                                       new_ctx->regs [i - 4] = *(gulong*)sp;
-                                       sp += sizeof (gulong);
-                               }
-                       }
-                       /* IP and LR */
-                       new_ctx->esp = *(gulong*)sp;
-                       sp += sizeof (gulong);
-                       new_ctx->eip = *(gulong*)sp;
-                       sp += sizeof (gulong);
-                       new_ctx->ebp = new_ctx->esp;
-               }
+               if (ji->from_aot)
+                       unwind_info = mono_aot_get_unwind_info (ji, &unwind_info_len);
+               else
+                       unwind_info = mono_get_cached_unwind_info (ji->used_regs, &unwind_info_len);
+
+               /* Beautiful numbers */
+               for (i = 4; i < 12; ++i)
+                       regs [i] = new_ctx->regs [i - 4];
+               regs [ARMREG_IP] = new_ctx->regs [8];
+               regs [ARMREG_LR] = new_ctx->regs [9];
+               regs [ARMREG_SP] = new_ctx->esp;
+
+               mono_unwind_frame (unwind_info, unwind_info_len, ji->code_start, 
+                                                  (guint8*)ji->code_start + ji->code_size,
+                                                  ip, regs, MONO_MAX_IREGS, &cfa);
+
+               for (i = 4; i < 12; ++i)
+                       new_ctx->regs [i - 4] = regs [i];
+               new_ctx->regs [8] = regs [ARMREG_IP];
+               new_ctx->regs [9] = regs [ARMREG_LR];
+               new_ctx->eip = regs [ARMREG_LR];
+               new_ctx->esp = (gsize)cfa;
+               new_ctx->ebp = new_ctx->esp;
+
+               /* Needed by get_exception_catch_class () */
+               // FIXME: Is this neded ?
+               new_ctx->regs [ARMREG_R11] = new_ctx->esp;
 
                if (*lmf && (MONO_CONTEXT_GET_BP (ctx) >= (gpointer)(*lmf)->ebp)) {
                        /* remove any unused lmf */
@@ -452,12 +434,13 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
                } else {
                        if (!(*lmf)->method)
                                return (gpointer)-1;
-                       memset (res, 0, sizeof (MonoJitInfo));
+                       memset (res, 0, MONO_SIZEOF_JIT_INFO);
                        res->method = (*lmf)->method;
                }
 
                memcpy (&new_ctx->regs [0], &(*lmf)->iregs [4], sizeof (gulong) * MONO_SAVED_GREGS);
-               new_ctx->esp = (*lmf)->iregs [12];
+               /* This is the sp for the current frame */
+               new_ctx->esp = (*lmf)->iregs [ARMREG_FP];
                new_ctx->eip = (*lmf)->iregs [13];
                new_ctx->ebp = new_ctx->esp;