2008-09-25 Dick Porter <dick@ximian.com>
[mono.git] / mono / mini / exceptions-ppc.c
index d47c54a7cfd9fd8a9f357acb267c78cac391c06a..b6b8c89f86c64b486be00a3d99f6f96d89c3c9d5 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>
@@ -25,8 +26,6 @@
 #include "mini.h"
 #include "mini-ppc.h"
 
-static gboolean arch_handle_exception (MonoContext *ctx, gpointer obj, gboolean test_only);
-
 /*
 
 struct sigcontext {
@@ -176,18 +175,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 +195,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;
@@ -242,8 +237,11 @@ arch_get_call_filter (void)
        alloc_size += PPC_STACK_ALIGNMENT - 1;
        alloc_size &= ~(PPC_STACK_ALIGNMENT - 1);
 
+       /* allocate stack frame and set link from sp in ctx */
        g_assert ((alloc_size & (PPC_STACK_ALIGNMENT-1)) == 0);
-       ppc_stwu (code, ppc_sp, -alloc_size, ppc_sp);
+       ppc_lwz (code, ppc_r0, G_STRUCT_OFFSET (MonoContext, sc_sp), ppc_r3);
+       ppc_lwzx (code, ppc_r0, ppc_r0, ppc_r0);
+       ppc_stwu (code, ppc_r0, -alloc_size, ppc_sp);
 
        /* restore all the regs from ctx (in r3), but not r1, the stack pointer */
        restore_regs_from_context (ppc_r3, ppc_r6, ppc_r7);
@@ -268,7 +266,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 +278,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;
@@ -298,7 +296,7 @@ throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gulong *
                if (!rethrow)
                        mono_ex->stack_trace = NULL;
        }
-       arch_handle_exception (&ctx, exc, FALSE);
+       mono_handle_exception (&ctx, exc, (gpointer)eip, FALSE);
        restore_context (&ctx);
 
        g_assert_not_reached ();
@@ -344,7 +342,7 @@ mono_arch_get_throw_exception_generic (guint8 *start, int size, int by_name, gbo
        //ppc_break (code);
        if (by_name) {
                ppc_mr (code, ppc_r5, ppc_r3);
-               ppc_load (code, ppc_r3, mono_defaults.corlib);
+               ppc_load (code, ppc_r3, (guint32)mono_defaults.corlib);
                ppc_load (code, ppc_r4, "System");
                ppc_load (code, ppc_r0, mono_exception_from_name);
                ppc_mtctr (code, ppc_r0);
@@ -388,12 +386,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 +411,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 +437,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 +477,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,41 +490,28 @@ 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);
 
-               if (*lmf && (MONO_CONTEXT_GET_BP (ctx) >= (gpointer)(*lmf)->ebp)) {
+               if (*lmf && (MONO_CONTEXT_GET_SP (ctx) >= (gpointer)(*lmf)->ebp)) {
                        /* remove any unused lmf */
                        *lmf = (*lmf)->previous_lmf;
                }
 
                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);
+               sframe = (MonoPPCStackFrame*)MONO_CONTEXT_GET_SP (ctx);
                MONO_CONTEXT_SET_BP (new_ctx, sframe->sp);
                if (ji->method->save_lmf) {
                        memcpy (&new_ctx->fregs, (char*)sframe->sp - sizeof (double) * MONO_SAVED_FREGS, sizeof (double) * MONO_SAVED_FREGS);
@@ -559,28 +544,25 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
                *new_ctx = *ctx;
                setup_context (new_ctx);
 
-               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 {
+                       if (!(*lmf)->method)
+                               return (gpointer)-1;
+
                        memset (res, 0, sizeof (MonoJitInfo));
                        res->method = (*lmf)->method;
                }
 
-               /*sframe = (MonoPPCStackFrame*)MONO_CONTEXT_GET_BP (ctx);
+               /*sframe = (MonoPPCStackFrame*)MONO_CONTEXT_GET_SP (ctx);
                MONO_CONTEXT_SET_BP (new_ctx, sframe->sp);
                MONO_CONTEXT_SET_IP (new_ctx, sframe->lr);*/
                MONO_CONTEXT_SET_BP (new_ctx, (*lmf)->ebp);
                MONO_CONTEXT_SET_IP (new_ctx, (*lmf)->eip);
                memcpy (&new_ctx->regs, (*lmf)->iregs, sizeof (gulong) * MONO_SAVED_GREGS);
                memcpy (&new_ctx->fregs, (*lmf)->fregs, sizeof (double) * MONO_SAVED_FREGS);
+
+               /* FIXME: what about trampoline LMF frames?  see exceptions-x86.c */
+
                *lmf = (*lmf)->previous_lmf;
 
                return ji ? ji : res;
@@ -589,360 +571,119 @@ 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;
-
-               if (func (ji->method, native_offset, il_offset, managed, user_data))
-                       return;
-               
-               ctx = new_ctx;
-               setup_context (&ctx);
-       }
-}
-
-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)
+mono_arch_sigctx_to_monoctx (void *ctx, MonoContext *mctx)
 {
-       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;
-
-#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);
+       os_ucontext *uc = ctx;
 
-               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--;
-
-       } 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);
-
-       return TRUE;
+       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);
 }
 
-/*
- * This is the function called from the signal handler
- */
-#ifdef __APPLE__
-gboolean
-mono_arch_handle_exception (void *ctx, gpointer obj, gboolean test_only)
+void
+mono_arch_monoctx_to_sigctx (MonoContext *mctx, void *ctx)
 {
-       struct ucontext *uc = ctx;
-       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);
+       os_ucontext *uc = ctx;
 
-       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;
+       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);
 }
 
 gpointer
 mono_arch_ip_from_context (void *sigctx)
 {
-       struct ucontext *uc = sigctx;
-       return (gpointer)uc->uc_mcontext->ss.srr0;
+       os_ucontext *uc = sigctx;
+       return (gpointer)UCONTEXT_REG_NIP(uc);
 }
 
-#else
-/* Linux */
-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.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);
 
-       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);
-       return result;
+       restore_context = mono_arch_get_restore_context ();
+       mono_arch_sigctx_to_monoctx (sigctx, &mctx);
+       mono_handle_exception (&mctx, obj, (gpointer)mctx.sc_ir, 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.uc_regs->gregs [PT_NIP];
+#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 = (gpointer)((char*)uc_copy + ((char*)uc->uc_mcontext.uc_regs - (char*)uc));
+#endif
+       g_assert (mono_arch_ip_from_context (uc) == mono_arch_ip_from_context (uc_copy));
+       /* 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
 }
 
 #endif
 
-/**
- * arch_handle_exception:
- * @ctx: saved processor state
- * @obj: the exception object
- * @test_only: only test if the exception is caught, but dont call handlers
- *
- *
- */
-static gboolean
-arch_handle_exception (MonoContext *ctx, gpointer obj, gboolean test_only)
+gboolean
+mono_arch_handle_exception (void *ctx, gpointer obj, gboolean test_only)
 {
-       MonoDomain *domain = mono_domain_get ();
-       MonoJitInfo *ji, rji;
-       static int (*call_filter) (MonoContext *, gpointer, gpointer) = NULL;
-       MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
-       MonoLMF *lmf = jit_tls->lmf;            
-       GList *trace_ips = NULL;
-       MonoException *mono_ex;
-       MonoArray *initial_trace_ips = NULL;
-       int frame_count = 0;
-       gboolean has_dynamic_methods = FALSE;
-
-       g_assert (ctx != NULL);
-       if (!obj) {
-               MonoException *ex = mono_get_exception_null_reference ();
-               ex->message = mono_string_new (domain, 
-                       "Object reference not set to an instance of an object");
-               obj = (MonoObject *)ex;
-       } 
-
-       if (mono_object_isinst (obj, mono_defaults.exception_class)) {
-               mono_ex = (MonoException*)obj;
-               initial_trace_ips = mono_ex->trace_ips;
-       } else {
-               mono_ex = NULL;
-       }
-
-
-       if (!call_filter)
-               call_filter = arch_get_call_filter ();
-
-       g_assert (jit_tls->end_of_stack);
-       g_assert (jit_tls->abort_func);
-
-       if (!test_only) {
-               MonoContext ctx_cp = *ctx;
-               setup_context (&ctx_cp);
-               if (mono_jit_trace_calls != NULL)
-                       g_print ("EXCEPTION handling: %s\n", mono_object_class (obj)->name);
-               if (!arch_handle_exception (&ctx_cp, obj, TRUE)) {
-                       if (mono_break_on_exc)
-                               G_BREAKPOINT ();
-                       mono_unhandled_exception (obj);
-               }
-       }
-
-       memset (&rji, 0, sizeof (rji));
-
-       while (1) {
-               MonoContext new_ctx;
-
-               setup_context (&new_ctx);
-               ji = mono_arch_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");
-                       g_assert_not_reached ();
-               }
-
-               if (ji != (gpointer)-1) {
-                       frame_count ++;
-                       
-                       if (test_only && ji->method->wrapper_type != MONO_WRAPPER_RUNTIME_INVOKE && mono_ex) {
-                               /* 
-                                * Avoid overwriting the stack trace if the exception is
-                                * rethrown. Also avoid giant stack traces during a stack
-                                * overflow.
-                                */
-                               if (!initial_trace_ips && (frame_count < 1000)) {
-                                       trace_ips = g_list_prepend (trace_ips, MONO_CONTEXT_GET_IP (ctx));
-
-                               }
-                       }
+       MonoContext mctx;
+       gboolean result;
 
-                       if (ji->method->dynamic)
-                               has_dynamic_methods = TRUE;
-
-                       if (ji->num_clauses) {
-                               int i;
-                               
-                               g_assert (ji->clauses);
-                       
-                               for (i = 0; i < ji->num_clauses; i++) {
-                                       MonoJitExceptionInfo *ei = &ji->clauses [i];
-                                       gboolean filtered = FALSE;
-
-                                       if (ei->try_start <= MONO_CONTEXT_GET_IP (ctx) && 
-                                           MONO_CONTEXT_GET_IP (ctx) <= ei->try_end) { 
-                                               /* catch block */
-
-                                               if ((ei->flags == MONO_EXCEPTION_CLAUSE_NONE) || (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER)) {
-                                                       /* store the exception object int cfg->excvar */
-                                                       g_assert (ei->exvar_offset);
-                                                       /* need to use the frame pointer (ppc_r31), not r1 (regs start from register r13): methods with clauses always have r31 */
-                                                       *((gpointer *)((char *)(ctx->regs [ppc_r31-13]) + ei->exvar_offset)) = obj;
-                                               }
-
-                                               if (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER)
-                                                       filtered = call_filter (ctx, ei->data.filter, mono_ex);
-
-                                               if ((ei->flags == MONO_EXCEPTION_CLAUSE_NONE && 
-                                                    mono_object_isinst (obj, ei->data.catch_class)) || filtered) {
-                                                       if (test_only) {
-                                                               if (mono_ex && !initial_trace_ips) {
-                                                                       trace_ips = g_list_reverse (trace_ips);
-                                                                       mono_ex->trace_ips = glist_to_array (trace_ips, mono_defaults.int_class);
-                                                                       if (has_dynamic_methods)
-                                                                               /* These methods could go away anytime, so compute the stack trace now */
-                                                                               mono_ex->stack_trace = ves_icall_System_Exception_get_trace (mono_ex);
-                                                               }
-                                                               g_list_free (trace_ips);
-                                                               return TRUE;
-                                                       }
-                                                       if (mono_jit_trace_calls != NULL)
-                                                               g_print ("EXCEPTION: catch found at clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
-                                                       /*printf ("stack for catch: %p\n", MONO_CONTEXT_GET_BP (ctx));*/
-                                                       MONO_CONTEXT_SET_IP (ctx, ei->handler_start);
-                                                       jit_tls->lmf = lmf;
-                                                       return 0;
-                                               }
-                                               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);
-                                               }
-                                               
-                                       }
-                               }
-                       }
-               }
+       mono_arch_sigctx_to_monoctx (ctx, &mctx);
 
-               *ctx = new_ctx;
-               setup_context (ctx);
-
-               if ((ji == (gpointer)-1) || MONO_CONTEXT_GET_BP (ctx) >= jit_tls->end_of_stack) {
-                       if (!test_only) {
-                               jit_tls->lmf = lmf;
-                               jit_tls->abort_func (obj);
-                               g_assert_not_reached ();
-                       } else {
-                               if (mono_ex && !initial_trace_ips) {
-                                       trace_ips = g_list_reverse (trace_ips);
-                                       mono_ex->trace_ips = glist_to_array (trace_ips, mono_defaults.int_class);
-                                       if (has_dynamic_methods)
-                                               /* These methods could go away anytime, so compute the stack trace now */
-                                               mono_ex->stack_trace = ves_icall_System_Exception_get_trace (mono_ex);
-                               }
-                               g_list_free (trace_ips);
-                               return FALSE;
-                       }
-               }
-       }
-
-       g_assert_not_reached ();
+       result = mono_handle_exception (&mctx, obj, (gpointer)mctx.sc_ir, test_only);
+       /* restore the context so that returning from the signal handler will invoke
+        * the catch clause 
+        */
+       mono_arch_monoctx_to_sigctx (&mctx, ctx);
+       return result;
 }
 
 gboolean