2008-08-28 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / mini / exceptions-ppc.c
index 043bae8dcbd34d44095faa6db68945e79b7daf92..4350716f42dd4c58de893410e5b5bae819594a0b 100644 (file)
@@ -12,6 +12,7 @@
 #include <glib.h>
 #include <signal.h>
 #include <string.h>
+#include <stddef.h>
 #include <ucontext.h>
 
 #include <mono/arch/ppc/ppc-codegen.h>
@@ -176,18 +177,16 @@ typedef elf_fpreg_t elf_fpregset_t[ELF_NFPREG];
  * Returns a pointer to a method which restores a previously saved sigcontext.
  * The first argument in r3 is the pointer to the context.
  */
-static gpointer
-arch_get_restore_context (void)
+gpointer
+mono_arch_get_restore_context (void)
 {
        guint8 *code;
-       static guint8 start [128];
-       static int inited = 0;
+       static guint8 *start = NULL;
 
-       if (inited)
+       if (start)
                return start;
-       inited = 1;
 
-       code = start;
+       code = start = mono_global_codeman_reserve (128);
        restore_regs_from_context (ppc_r3, ppc_r4, ppc_r5);
        /* restore also the stack pointer */
        ppc_lwz (code, ppc_sp, G_STRUCT_OFFSET (MonoContext, sc_sp), ppc_r3);
@@ -198,32 +197,30 @@ arch_get_restore_context (void)
        /* never reached */
        ppc_break (code);
 
-       g_assert ((code - start) < sizeof(start));
+       g_assert ((code - start) < 128);
        mono_arch_flush_icache (start, code - start);
        return start;
 }
 
 /*
- * arch_get_call_filter:
+ * mono_arch_get_call_filter:
  *
  * Returns a pointer to a method which calls an exception filter. We
  * also use this function to call finally handlers (we pass NULL as 
  * @exc object in this case).
  */
-static gpointer
-arch_get_call_filter (void)
+gpointer
+mono_arch_get_call_filter (void)
 {
-       static guint8 start [320];
-       static int inited = 0;
+       static guint8 *start = NULL;
        guint8 *code;
        int alloc_size, pos, i;
 
-       if (inited)
+       if (start)
                return start;
 
-       inited = 1;
        /* call_filter (MonoContext *ctx, unsigned long eip, gpointer exc) */
-       code = start;
+       code = start = mono_global_codeman_reserve (320);
 
        /* save all the regs on the stack */
        pos = 0;
@@ -268,7 +265,7 @@ arch_get_call_filter (void)
 
        ppc_blr (code);
 
-       g_assert ((code - start) < sizeof(start));
+       g_assert ((code - start) < 320);
        mono_arch_flush_icache (start, code - start);
        return start;
 }
@@ -280,7 +277,7 @@ throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gulong *
        MonoContext ctx;
 
        if (!restore_context)
-               restore_context = arch_get_restore_context ();
+               restore_context = mono_arch_get_restore_context ();
 
        /* adjust eip so that it point into the call instruction */
        eip -= 4;
@@ -388,12 +385,13 @@ mono_arch_get_throw_exception_generic (guint8 *start, int size, int by_name, gbo
 gpointer
 mono_arch_get_rethrow_exception (void)
 {
-       static guint8 start [132];
+       static guint8 *start = NULL;
        static int inited = 0;
 
        if (inited)
                return start;
-       mono_arch_get_throw_exception_generic (start, sizeof (start), FALSE, TRUE);
+       start = mono_global_codeman_reserve (132);
+       mono_arch_get_throw_exception_generic (start, 132, FALSE, TRUE);
        inited = 1;
        return start;
 }
@@ -412,12 +410,13 @@ mono_arch_get_rethrow_exception (void)
 gpointer 
 mono_arch_get_throw_exception (void)
 {
-       static guint8 start [132];
+       static guint8 *start = NULL;
        static int inited = 0;
 
        if (inited)
                return start;
-       mono_arch_get_throw_exception_generic (start, sizeof (start), FALSE, FALSE);
+       start = mono_global_codeman_reserve (132);
+       mono_arch_get_throw_exception_generic (start, 132, FALSE, FALSE);
        inited = 1;
        return start;
 }
@@ -437,12 +436,13 @@ mono_arch_get_throw_exception (void)
 gpointer 
 mono_arch_get_throw_exception_by_name (void)
 {
-       static guint8 start [168];
+       static guint8 *start = NULL;
        static int inited = 0;
 
        if (inited)
                return start;
-       mono_arch_get_throw_exception_generic (start, sizeof (start), TRUE, FALSE);
+       start = mono_global_codeman_reserve (168);
+       mono_arch_get_throw_exception_generic (start, 168, TRUE, FALSE);
        inited = 1;
        return start;
 }      
@@ -476,14 +476,11 @@ glist_to_array (GList *list, MonoClass *eclass)
  * start of the function or -1 if that info is not available.
  */
 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)
+mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInfo *res, MonoJitInfo *prev_ji, MonoContext *ctx,
+                                                MonoContext *new_ctx, MonoLMF **lmf, gboolean *managed)
 {
        MonoJitInfo *ji;
        gpointer ip = MONO_CONTEXT_GET_IP (ctx);
-       unsigned long *ptr;
-       char *p;
        MonoPPCStackFrame *sframe;
 
        /* Avoid costly table lookup during stack overflow */
@@ -492,19 +489,12 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
        else
                ji = mono_jit_info_table_find (domain, ip);
 
-       if (trace)
-               *trace = NULL;
-
-       if (native_offset)
-               *native_offset = -1;
-
        if (managed)
                *managed = FALSE;
 
        if (ji != NULL) {
                gint32 address;
                int offset, i;
-               gulong *ctx_regs;
 
                *new_ctx = *ctx;
                setup_context (new_ctx);
@@ -516,16 +506,10 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
 
                address = (char *)ip - (char *)ji->code_start;
 
-               if (native_offset)
-                       *native_offset = address;
-
                if (managed)
                        if (!ji->method->wrapper_type)
                                *managed = TRUE;
 
-               if (trace) {
-                       *trace = mono_debug_print_stack_frame (ji->method, offset, domain);
-               }
                sframe = (MonoPPCStackFrame*)MONO_CONTEXT_GET_BP (ctx);
                MONO_CONTEXT_SET_BP (new_ctx, sframe->sp);
                if (ji->method->save_lmf) {
@@ -562,12 +546,6 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
                if (!(*lmf)->method)
                        return (gpointer)-1;
 
-               if (trace) {
-                       char *fname = mono_method_full_name ((*lmf)->method, TRUE);
-                       *trace = g_strdup_printf ("in (unmanaged) %s", fname);
-                       g_free (fname);
-               }
-               
                if ((ji = mono_jit_info_table_find (domain, (gpointer)(*lmf)->eip))) {
                } else {
                        memset (res, 0, sizeof (MonoJitInfo));
@@ -589,195 +567,120 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
        return NULL;
 }
 
+/*
+ * This is the function called from the signal handler
+ */
 void
-mono_jit_walk_stack (MonoStackWalk func, gboolean do_il_offset, gpointer user_data) {
-       MonoDomain *domain = mono_domain_get ();
-       MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
-       MonoLMF *lmf = jit_tls->lmf;
-       MonoJitInfo *ji, rji;
-       gint native_offset, il_offset;
-       gboolean managed;
-       MonoPPCStackFrame *sframe;
-
-       MonoContext ctx, new_ctx;
-
-       setup_context (&ctx);
-       setup_context (&new_ctx);
-
-#ifdef __APPLE__
-       __asm__ volatile("lwz   %0,0(r1)" : "=r" (sframe));
-#else
-       __asm__ volatile("lwz   %0,0(1)" : "=r" (sframe));
-#endif
-       //MONO_CONTEXT_SET_IP (&ctx, sframe->lr);
-       MONO_CONTEXT_SET_BP (&ctx, sframe->sp);
-       sframe = (MonoPPCStackFrame*)sframe->sp;
-       MONO_CONTEXT_SET_IP (&ctx, sframe->lr);
-
-       while (MONO_CONTEXT_GET_BP (&ctx) < jit_tls->end_of_stack) {
-               
-               ji = mono_arch_find_jit_info (domain, jit_tls, &rji, NULL, &ctx, &new_ctx, NULL, &lmf, &native_offset, &managed);
-               g_assert (ji);
-
-               if (ji == (gpointer)-1)
-                       return;
-
-               if (do_il_offset) {
-                       MonoDebugSourceLocation *source;
-
-                       source = mono_debug_lookup_source_location (ji->method, native_offset, domain);
-                       il_offset = source ? source->il_offset : -1;
-                       mono_debug_free_source_location (source);
-               } else
-                       il_offset = -1;
+mono_arch_sigctx_to_monoctx (void *ctx, MonoContext *mctx)
+{
+       os_ucontext *uc = ctx;
 
-               if (func (ji->method, native_offset, il_offset, managed, user_data))
-                       return;
-               
-               ctx = new_ctx;
-               setup_context (&ctx);
-       }
+       mctx->sc_ir = UCONTEXT_REG_NIP(uc);
+       mctx->sc_sp = UCONTEXT_REG_Rn(uc, 1);
+       memcpy (&mctx->regs, &UCONTEXT_REG_Rn(uc, 13), sizeof (gulong) * MONO_SAVED_GREGS);
+       memcpy (&mctx->fregs, &UCONTEXT_REG_FPRn(uc, 14), sizeof (double) * MONO_SAVED_FREGS);
 }
 
-MonoBoolean
-ves_icall_get_frame_info (gint32 skip, MonoBoolean need_file_info, 
-                         MonoReflectionMethod **method, 
-                         gint32 *iloffset, gint32 *native_offset,
-                         MonoString **file, gint32 *line, gint32 *column)
+void
+mono_arch_monoctx_to_sigctx (MonoContext *mctx, void *ctx)
 {
-       MonoDomain *domain = mono_domain_get ();
-       MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
-       MonoLMF *lmf = jit_tls->lmf;
-       MonoJitInfo *ji, rji;
-       MonoContext ctx, new_ctx;
-       MonoPPCStackFrame *sframe;
-       MonoDebugSourceLocation *location;
-
-#ifdef __APPLE__
-       __asm__ volatile("lwz   %0,0(r1)" : "=r" (sframe));
-#else
-       __asm__ volatile("lwz   %0,0(1)" : "=r" (sframe));
-#endif
-       MONO_CONTEXT_SET_BP (&ctx, sframe->sp);
-       sframe = (MonoPPCStackFrame*)sframe->sp;
-       MONO_CONTEXT_SET_IP (&ctx, sframe->lr);
-       /*MONO_CONTEXT_SET_IP (&ctx, ves_icall_get_frame_info);
-       MONO_CONTEXT_SET_BP (&ctx, __builtin_frame_address (0));*/
-
-       skip++;
-
-       do {
-               ji = mono_arch_find_jit_info (domain, jit_tls, &rji, NULL, &ctx, &new_ctx, NULL, &lmf, native_offset, NULL);
-
-               ctx = new_ctx;
-               
-               if (!ji || ji == (gpointer)-1 || MONO_CONTEXT_GET_BP (&ctx) >= jit_tls->end_of_stack)
-                       return FALSE;
-
-               /* skip all wrappers ??*/
-               if (ji->method->wrapper_type == MONO_WRAPPER_RUNTIME_INVOKE ||
-                   ji->method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK ||
-                   ji->method->wrapper_type == MONO_WRAPPER_XDOMAIN_INVOKE ||
-                   ji->method->wrapper_type == MONO_WRAPPER_XDOMAIN_DISPATCH ||
-                   ji->method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE)
-                       continue;
-
-               skip--;
+       os_ucontext *uc = ctx;
 
-       } while (skip >= 0);
-
-       *method = mono_method_get_object (domain, ji->method, NULL);
-
-       location = mono_debug_lookup_source_location (ji->method, *native_offset, domain);
-       if (location)
-               *iloffset = location->il_offset;
-       else
-               *iloffset = 0;
-
-       if (need_file_info) {
-               if (location) {
-                       *file = mono_string_new (domain, location->source_file);
-                       *line = location->row;
-                       *column = location->column;
-               } else {
-                       *file = NULL;
-                       *line = *column = 0;
-               }
-       }
-
-       mono_debug_free_source_location (location);
+       UCONTEXT_REG_NIP(uc) = mctx->sc_ir;
+       UCONTEXT_REG_Rn(uc, 1) = mctx->sc_sp;
+       memcpy (&UCONTEXT_REG_Rn(uc, 13), &mctx->regs, sizeof (gulong) * MONO_SAVED_GREGS);
+       memcpy (&UCONTEXT_REG_FPRn(uc, 14), &mctx->fregs, sizeof (double) * MONO_SAVED_FREGS);
+}
 
-       return TRUE;
+gpointer
+mono_arch_ip_from_context (void *sigctx)
+{
+       os_ucontext *uc = sigctx;
+       return (gpointer)UCONTEXT_REG_NIP(uc);
 }
 
-/*
- * This is the function called from the signal handler
- */
-#ifdef __APPLE__
-gboolean
-mono_arch_handle_exception (void *ctx, gpointer obj, gboolean test_only)
+#ifndef __APPLE__
+static void
+altstack_handle_and_restore (void *sigctx, gpointer obj, gboolean test_only)
 {
-       struct ucontext *uc = ctx;
+       void (*restore_context) (MonoContext *);
        MonoContext mctx;
-       gboolean result;
-       
-       mctx.sc_ir = uc->uc_mcontext->ss.srr0;
-       mctx.sc_sp = uc->uc_mcontext->ss.r1;
-       memcpy (&mctx.regs, &uc->uc_mcontext->ss.r13, sizeof (gulong) * MONO_SAVED_GREGS);
-       memcpy (&mctx.fregs, &uc->uc_mcontext->fs.fpregs [14], sizeof (double) * MONO_SAVED_FREGS);
 
-       result = arch_handle_exception (&mctx, obj, test_only);
-       /* restore the context so that returning from the signal handler will invoke
-        * the catch clause 
-        */
-       uc->uc_mcontext->ss.srr0 = mctx.sc_ir;
-       uc->uc_mcontext->ss.r1 = mctx.sc_sp;
-       memcpy (&uc->uc_mcontext->ss.r13, &mctx.regs, sizeof (gulong) * MONO_SAVED_GREGS);
-       memcpy (&uc->uc_mcontext->fs.fpregs [14], &mctx.fregs, sizeof (double) * MONO_SAVED_FREGS);
-       return result;
+       restore_context = mono_arch_get_restore_context ();
+       mono_arch_sigctx_to_monoctx (sigctx, &mctx);
+       arch_handle_exception (&mctx, obj, test_only);
+       restore_context (&mctx);
 }
 
-gpointer
-mono_arch_ip_from_context (void *sigctx)
+void
+mono_arch_handle_altstack_exception (void *sigctx, gpointer fault_addr, gboolean stack_ovf)
 {
-       struct ucontext *uc = sigctx;
-       return (gpointer)uc->uc_mcontext->ss.srr0;
+#ifdef MONO_ARCH_USE_SIGACTION
+       ucontext_t *uc = (ucontext_t*)sigctx;
+       ucontext_t *uc_copy;
+       MonoJitInfo *ji = mono_jit_info_table_find (mono_domain_get (), mono_arch_ip_from_context (sigctx));
+       gpointer *sp;
+       int frame_size;
+
+       if (stack_ovf) {
+               const char *method;
+               /* we don't do much now, but we can warn the user with a useful message */
+               fprintf (stderr, "Stack overflow: IP: %p, SP: %p\n", mono_arch_ip_from_context (sigctx), (gpointer)UCONTEXT_REG_Rn(uc, 1));
+               if (ji && ji->method)
+                       method = mono_method_full_name (ji->method, TRUE);
+               else
+                       method = "Unmanaged";
+               fprintf (stderr, "At %s\n", method);
+               abort ();
+       }
+       if (!ji)
+               mono_handle_native_sigsegv (SIGSEGV, sigctx);
+       /* setup a call frame on the real stack so that control is returned there
+        * and exception handling can continue.
+        * The frame looks like:
+        *   ucontext struct
+        *   ...
+        * 224 is the size of the red zone
+        */
+       frame_size = sizeof (ucontext_t) + sizeof (gpointer) * 16 + 224;
+       frame_size += 15;
+       frame_size &= ~15;
+       sp = (gpointer)(UCONTEXT_REG_Rn(uc, 1) & ~15);
+       sp = (gpointer)((char*)sp - frame_size);
+       /* may need to adjust pointers in the new struct copy, depending on the OS */
+       uc_copy = (ucontext_t*)(sp + 16);
+       memcpy (uc_copy, uc, sizeof (os_ucontext));
+#ifdef __linux__
+       uc_copy->uc_mcontext.uc_regs = (char*)uc_copy + offsetof(ucontext_t, uc_mcontext.uc_regs);
+#endif
+       /* at the return form the signal handler execution starts in altstack_handle_and_restore() */
+       UCONTEXT_REG_LNK(uc) = UCONTEXT_REG_NIP(uc);
+       UCONTEXT_REG_NIP(uc) = (unsigned long)altstack_handle_and_restore;
+       UCONTEXT_REG_Rn(uc, 1) = (unsigned long)sp;
+       UCONTEXT_REG_Rn(uc, PPC_FIRST_ARG_REG) = (unsigned long)(sp + 16);
+       UCONTEXT_REG_Rn(uc, PPC_FIRST_ARG_REG + 1) = 0;
+       UCONTEXT_REG_Rn(uc, PPC_FIRST_ARG_REG + 2) = 0;
+#endif
 }
 
-#else
-/* Linux */
+#endif
+
 gboolean
 mono_arch_handle_exception (void *ctx, gpointer obj, gboolean test_only)
 {
-       struct ucontext *uc = ctx;
        MonoContext mctx;
        gboolean result;
-       
-       mctx.sc_ir = uc->uc_mcontext.uc_regs->gregs [PT_NIP];
-       mctx.sc_sp = uc->uc_mcontext.uc_regs->gregs [PT_R1];
-       memcpy (&mctx.regs, &uc->uc_mcontext.uc_regs->gregs [PT_R13], sizeof (gulong) * MONO_SAVED_GREGS);
-       memcpy (&mctx.fregs, &uc->uc_mcontext.uc_regs->fpregs.fpregs [14], sizeof (double) * MONO_SAVED_FREGS);
+
+       mono_arch_sigctx_to_monoctx (ctx, &mctx);
 
        result = arch_handle_exception (&mctx, obj, test_only);
        /* restore the context so that returning from the signal handler will invoke
         * the catch clause 
         */
-       uc->uc_mcontext.uc_regs->gregs [PT_NIP] = mctx.sc_ir;
-       uc->uc_mcontext.uc_regs->gregs [PT_R1] = mctx.sc_sp;
-       memcpy (&uc->uc_mcontext.uc_regs->gregs [PT_R13], &mctx.regs, sizeof (gulong) * MONO_SAVED_GREGS);
-       memcpy (&uc->uc_mcontext.uc_regs->fpregs.fpregs [14], &mctx.fregs, sizeof (double) * MONO_SAVED_FREGS);
+       mono_arch_monoctx_to_sigctx (&mctx, ctx);
        return result;
 }
 
-gpointer
-mono_arch_ip_from_context (void *sigctx)
-{
-       struct ucontext *uc = sigctx;
-       return (gpointer)uc->uc_mcontext.uc_regs->gregs [PT_NIP];
-}
-
-#endif
-
 /**
  * arch_handle_exception:
  * @ctx: saved processor state
@@ -817,7 +720,7 @@ arch_handle_exception (MonoContext *ctx, gpointer obj, gboolean test_only)
 
 
        if (!call_filter)
-               call_filter = arch_get_call_filter ();
+               call_filter = mono_arch_get_call_filter ();
 
        g_assert (jit_tls->end_of_stack);
        g_assert (jit_tls->abort_func);
@@ -840,7 +743,7 @@ arch_handle_exception (MonoContext *ctx, gpointer obj, gboolean test_only)
                MonoContext new_ctx;
 
                setup_context (&new_ctx);
-               ji = mono_arch_find_jit_info (domain, jit_tls, &rji, &rji, ctx, &new_ctx, 
+               ji = mono_find_jit_info (domain, jit_tls, &rji, &rji, ctx, &new_ctx, 
                                              NULL, &lmf, NULL, NULL);
                if (!ji) {
                        g_warning ("Exception inside function without unwind info");
@@ -910,7 +813,14 @@ arch_handle_exception (MonoContext *ctx, gpointer obj, gboolean test_only)
                                                }
                                                if (!test_only && ei->try_start <= MONO_CONTEXT_GET_IP (ctx) && 
                                                    MONO_CONTEXT_GET_IP (ctx) < ei->try_end &&
-                                                   (ei->flags & MONO_EXCEPTION_CLAUSE_FINALLY)) {
+                                                   (ei->flags == MONO_EXCEPTION_CLAUSE_FAULT)) {
+                                                       if (mono_jit_trace_calls != NULL)
+                                                               g_print ("EXCEPTION: fault clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
+                                                       call_filter (ctx, ei->handler_start, NULL);
+                                               }
+                                               if (!test_only && ei->try_start <= MONO_CONTEXT_GET_IP (ctx) && 
+                                                   MONO_CONTEXT_GET_IP (ctx) < ei->try_end &&
+                                                   (ei->flags == MONO_EXCEPTION_CLAUSE_FINALLY)) {
                                                        if (mono_jit_trace_calls != NULL)
                                                                g_print ("EXCEPTION: finally clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
                                                        call_filter (ctx, ei->handler_start, NULL);