New tests.
[mono.git] / mono / mini / exceptions-ppc.c
index 330e603b85731a6b4d291fdd2981ca79a1f22396..4dc0c6050c9bb4fa303b39c904ec92d70c674e5c 100644 (file)
@@ -4,8 +4,10 @@
  * Authors:
  *   Dietmar Maurer (dietmar@ximian.com)
  *   Paolo Molaro (lupus@ximian.com)
+ *   Andreas Faerber <andreas.faerber@web.de>
  *
  * (C) 2001 Ximian, Inc.
+ * (C) 2007-2008 Andreas Faerber
  */
 
 #include <config.h>
@@ -13,7 +15,9 @@
 #include <signal.h>
 #include <string.h>
 #include <stddef.h>
+#if HAVE_UCONTEXT_H
 #include <ucontext.h>
+#endif
 
 #include <mono/arch/ppc/ppc-codegen.h>
 #include <mono/metadata/appdomain.h>
@@ -26,8 +30,6 @@
 #include "mini.h"
 #include "mini-ppc.h"
 
-static gboolean arch_handle_exception (MonoContext *ctx, gpointer obj, gboolean test_only);
-
 /*
 
 struct sigcontext {
@@ -161,16 +163,32 @@ typedef elf_fpreg_t elf_fpregset_t[ELF_NFPREG];
 
 #define restore_regs_from_context(ctx_reg,ip_reg,tmp_reg) do { \
                int reg;        \
-               ppc_lwz (code, ip_reg, G_STRUCT_OFFSET (MonoContext, sc_ir), ctx_reg);  \
-               ppc_lmw (code, ppc_r13, ctx_reg, G_STRUCT_OFFSET (MonoContext, regs));  \
+               ppc_ldptr (code, ip_reg, G_STRUCT_OFFSET (MonoContext, sc_ir), ctx_reg);        \
+               ppc_load_multiple_regs (code, ppc_r13, G_STRUCT_OFFSET (MonoContext, regs), ctx_reg);   \
                for (reg = 0; reg < MONO_SAVED_FREGS; ++reg) {  \
-                       ppc_lfd (code, (14 + reg), G_STRUCT_OFFSET(MonoLMF, fregs) + reg * sizeof (gdouble), ctx_reg);  \
+                       ppc_lfd (code, (14 + reg),      \
+                               G_STRUCT_OFFSET(MonoContext, fregs) + reg * sizeof (gdouble), ctx_reg); \
                }       \
        } while (0)
 
 /* nothing to do */
 #define setup_context(ctx)
 
+#ifdef PPC_USES_FUNCTION_DESCRIPTOR
+guint8*
+mono_ppc_create_pre_code_ftnptr (guint8 *code)
+{
+       MonoPPCFunctionDescriptor *ftnptr = (MonoPPCFunctionDescriptor*)code;
+
+       code += sizeof (MonoPPCFunctionDescriptor);
+       ftnptr->code = code;
+       ftnptr->toc = NULL;
+       ftnptr->env = NULL;
+
+       return code;
+}
+#endif
+
 /*
  * arch_get_restore_context:
  *
@@ -178,18 +196,18 @@ typedef elf_fpreg_t elf_fpregset_t[ELF_NFPREG];
  * The first argument in r3 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 = NULL;
-
-       if (start)
-               return start;
+       guint8 *start, *code;
+       int size = MONO_PPC_32_64_CASE (128, 172) + PPC_FTNPTR_SIZE;
 
-       code = start = mono_global_codeman_reserve (128);
+       code = start = mono_global_codeman_reserve (size);
+       *ji = NULL;
+       if (!aot)
+               code = mono_ppc_create_pre_code_ftnptr (code);
        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);
+       ppc_ldptr (code, ppc_sp, G_STRUCT_OFFSET (MonoContext, sc_sp), ppc_r3);
        //ppc_break (code);
        /* jump to the saved IP */
        ppc_mtctr (code, ppc_r4);
@@ -197,11 +215,35 @@ mono_arch_get_restore_context (void)
        /* never reached */
        ppc_break (code);
 
-       g_assert ((code - start) < 128);
+       g_assert ((code - start) <= size);
        mono_arch_flush_icache (start, code - start);
+
+       *code_size = code - start;
+
        return start;
 }
 
+#define SAVED_REGS_LENGTH              (sizeof (gdouble) * MONO_SAVED_FREGS + sizeof (gpointer) * MONO_SAVED_GREGS)
+#define ALIGN_STACK_FRAME_SIZE(s)      (((s) + MONO_ARCH_FRAME_ALIGNMENT - 1) & ~(MONO_ARCH_FRAME_ALIGNMENT - 1))
+/* The 64 bytes here are for outgoing arguments and a bit of spare.
+   We don't use it all, but it doesn't hurt. */
+#define REG_SAVE_STACK_FRAME_SIZE      (ALIGN_STACK_FRAME_SIZE (SAVED_REGS_LENGTH + PPC_MINIMAL_STACK_SIZE + 64))
+
+static guint8*
+emit_save_saved_regs (guint8 *code, int pos)
+{
+       int i;
+
+       for (i = 31; i >= 14; --i) {
+               pos -= sizeof (gdouble);
+               ppc_stfd (code, i, pos, ppc_sp);
+       }
+       pos -= sizeof (gpointer) * MONO_SAVED_GREGS;
+       ppc_store_multiple_regs (code, ppc_r13, pos, ppc_sp);
+
+       return code;
+}
+
 /*
  * mono_arch_get_call_filter:
  *
@@ -210,37 +252,32 @@ 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 = NULL;
-       guint8 *code;
+       guint8 *start, *code;
        int alloc_size, pos, i;
+       int size = MONO_PPC_32_64_CASE (320, 500) + PPC_FTNPTR_SIZE;
 
-       if (start)
-               return start;
+       *ji = NULL;
 
        /* call_filter (MonoContext *ctx, unsigned long eip, gpointer exc) */
-       code = start = mono_global_codeman_reserve (320);
-
-       /* save all the regs on the stack */
-       pos = 0;
-       for (i = 31; i >= 14; --i) {
-               pos += sizeof (gdouble);
-               ppc_stfd (code, i, -pos, ppc_sp);
-       }
-       pos += sizeof (gulong) * MONO_SAVED_GREGS;
-       ppc_stmw (code, ppc_r13, ppc_sp, -pos);
+       code = start = mono_global_codeman_reserve (size);
+       if (!aot)
+               code = mono_ppc_create_pre_code_ftnptr (code);
 
+       /* store ret addr */
        ppc_mflr (code, ppc_r0);
-       ppc_stw (code, ppc_r0, PPC_RET_ADDR_OFFSET, ppc_sp);
+       ppc_stptr (code, ppc_r0, PPC_RET_ADDR_OFFSET, ppc_sp);
+
+       alloc_size = REG_SAVE_STACK_FRAME_SIZE;
 
-       alloc_size = PPC_MINIMAL_STACK_SIZE + pos + 64;
-       // align to PPC_STACK_ALIGNMENT bytes
-       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 & (MONO_ARCH_FRAME_ALIGNMENT-1)) == 0);
+       ppc_ldptr (code, ppc_r0, G_STRUCT_OFFSET (MonoContext, sc_sp), ppc_r3);
+       ppc_ldptr_indexed (code, ppc_r0, ppc_r0, ppc_r0);
+       ppc_stptr_update (code, ppc_r0, -alloc_size, ppc_sp);
 
-       g_assert ((alloc_size & (PPC_STACK_ALIGNMENT-1)) == 0);
-       ppc_stwu (code, ppc_sp, -alloc_size, ppc_sp);
+       code = emit_save_saved_regs (code, alloc_size);
 
        /* restore all the regs from ctx (in r3), but not r1, the stack pointer */
        restore_regs_from_context (ppc_r3, ppc_r6, ppc_r7);
@@ -250,34 +287,37 @@ mono_arch_get_call_filter (void)
        ppc_bcctrl (code, PPC_BR_ALWAYS, 0);
 
        /* epilog */
-       ppc_lwz (code, ppc_r0, alloc_size + PPC_RET_ADDR_OFFSET, ppc_sp);
+       ppc_ldptr (code, ppc_r0, alloc_size + PPC_RET_ADDR_OFFSET, ppc_sp);
        ppc_mtlr (code, ppc_r0);
-       ppc_addic (code, ppc_sp, ppc_sp, alloc_size);
-       
+
        /* restore all the regs from the stack */
-       pos = 0;
+       pos = alloc_size;
        for (i = 31; i >= 14; --i) {
-               pos += sizeof (double);
-               ppc_lfd (code, i, -pos, ppc_sp);
+               pos -= sizeof (gdouble);
+               ppc_lfd (code, i, pos, ppc_sp);
        }
-       pos += sizeof (gulong) * MONO_SAVED_GREGS;
-       ppc_lmw (code, ppc_r13, ppc_sp, -pos);
+       pos -= sizeof (gpointer) * MONO_SAVED_GREGS;
+       ppc_load_multiple_regs (code, ppc_r13, pos, ppc_sp);
 
+       ppc_addic (code, ppc_sp, ppc_sp, alloc_size);
        ppc_blr (code);
 
-       g_assert ((code - start) < 320);
+       g_assert ((code - start) < size);
        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, gboolean rethrow)
+void
+mono_ppc_throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gulong *int_regs, gdouble *fp_regs, gboolean rethrow)
 {
        static void (*restore_context) (MonoContext *);
        MonoContext ctx;
 
        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 -= 4;
@@ -295,7 +335,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 ();
@@ -307,70 +347,97 @@ throw_exception (MonoObject *exc, unsigned long eip, unsigned long esp, gulong *
  * Returns a function pointer which can be used to raise 
  * exceptions. The returned function has the following 
  * signature: void (*func) (MonoException *exc); or
- * void (*func) (char *exc_name);
+ * void (*func) (guint32 ex_token, gpointer ip)
  *
  */
-static gpointer 
-mono_arch_get_throw_exception_generic (guint8 *start, int size, int by_name, gboolean rethrow)
+static gpointer
+mono_arch_get_throw_exception_generic (int size, guint32 *code_size, MonoJumpInfo **ji, int corlib, gboolean rethrow, gboolean aot)
 {
-       guint8 *code;
-       int alloc_size, pos, i;
+       guint8 *start, *code;
+       int alloc_size, pos;
 
-       code = start;
+       *ji = NULL;
 
-       /* save all the regs on the stack */
-       pos = 0;
-       for (i = 31; i >= 14; --i) {
-               pos += sizeof (gdouble);
-               ppc_stfd (code, i, -pos, ppc_sp);
-       }
-       pos += sizeof (gulong) * MONO_SAVED_GREGS;
-       ppc_stmw (code, ppc_r13, ppc_sp, -pos);
+       code = start = mono_global_codeman_reserve (size);
+       if (!aot)
+               code = mono_ppc_create_pre_code_ftnptr (code);
 
-       ppc_mflr (code, ppc_r0);
-       ppc_stw (code, ppc_r0, PPC_RET_ADDR_OFFSET, ppc_sp);
+       /* store ret addr */
+       if (corlib)
+               ppc_mr (code, ppc_r0, ppc_r4);
+       else
+               ppc_mflr (code, ppc_r0);
+       ppc_stptr (code, ppc_r0, PPC_RET_ADDR_OFFSET, ppc_sp);
+
+       alloc_size = REG_SAVE_STACK_FRAME_SIZE;
 
-       alloc_size = PPC_MINIMAL_STACK_SIZE + pos + 64;
-       // align to PPC_STACK_ALIGNMENT bytes
-       alloc_size += PPC_STACK_ALIGNMENT - 1;
-       alloc_size &= ~(PPC_STACK_ALIGNMENT - 1);
+       g_assert ((alloc_size & (MONO_ARCH_FRAME_ALIGNMENT-1)) == 0);
+       ppc_stptr_update (code, ppc_sp, -alloc_size, ppc_sp);
 
-       g_assert ((alloc_size & (PPC_STACK_ALIGNMENT-1)) == 0);
-       ppc_stwu (code, ppc_sp, -alloc_size, ppc_sp);
+       code = emit_save_saved_regs (code, alloc_size);
 
        //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_r4, "System");
-               ppc_load (code, ppc_r0, mono_exception_from_name);
-               ppc_mtctr (code, ppc_r0);
-               ppc_bcctrl (code, PPC_BR_ALWAYS, 0);
+       if (corlib) {
+               ppc_mr (code, ppc_r4, ppc_r3);
+
+               if (aot) {
+                       code = mono_arch_emit_load_aotconst (start, code, ji, MONO_PATCH_INFO_IMAGE, mono_defaults.corlib);
+                       ppc_mr (code, ppc_r3, ppc_r11);
+                       code = mono_arch_emit_load_aotconst (start, code, ji, MONO_PATCH_INFO_JIT_ICALL_ADDR, "mono_exception_from_token");
+#ifdef PPC_USES_FUNCTION_DESCRIPTOR
+                       ppc_ldptr (code, ppc_r2, sizeof (gpointer), ppc_r11);
+                       ppc_ldptr (code, ppc_r11, 0, ppc_r11);
+#endif
+                       ppc_mtctr (code, ppc_r11);
+                       ppc_bcctrl (code, PPC_BR_ALWAYS, 0);
+               } else {
+                       ppc_load (code, ppc_r3, (gulong)mono_defaults.corlib);
+                       ppc_load_func (code, ppc_r0, mono_exception_from_token);
+                       ppc_mtctr (code, ppc_r0);
+                       ppc_bcctrl (code, PPC_BR_ALWAYS, 0);
+               }
        }
 
        /* call throw_exception (exc, ip, sp, int_regs, fp_regs) */
        /* caller sp */
-       ppc_lwz (code, ppc_r5, 0, ppc_sp); 
+       ppc_ldptr (code, ppc_r5, 0, ppc_sp);
        /* exc is already in place in r3 */
-       if (by_name)
-               ppc_lwz (code, ppc_r4, PPC_RET_ADDR_OFFSET, ppc_r5); 
+       if (corlib)
+               ppc_ldptr (code, ppc_r4, PPC_RET_ADDR_OFFSET, ppc_r5);
        else
                ppc_mr (code, ppc_r4, ppc_r0); /* caller ip */
        /* pointer to the saved fp regs */
-       pos = alloc_size - sizeof (double) * MONO_SAVED_FREGS;
+       pos = alloc_size - sizeof (gdouble) * MONO_SAVED_FREGS;
        ppc_addi (code, ppc_r7, ppc_sp, pos);
        /* pointer to the saved int regs */
-       pos -= sizeof (gulong) * MONO_SAVED_GREGS;
+       pos -= sizeof (gpointer) * MONO_SAVED_GREGS;
        ppc_addi (code, ppc_r6, ppc_sp, pos);
        ppc_li (code, ppc_r8, rethrow);
 
-       ppc_load (code, ppc_r0, throw_exception);
-       ppc_mtctr (code, ppc_r0);
-       ppc_bcctrl (code, PPC_BR_ALWAYS, 0);
+       if (aot) {
+               // This can be called from runtime code, which can't guarantee that
+               // r30 contains the got address.
+               // So emit the got address loading code too
+               code = mono_arch_emit_load_got_addr (start, code, NULL, ji);
+               code = mono_arch_emit_load_aotconst (start, code, ji, MONO_PATCH_INFO_JIT_ICALL_ADDR, "mono_ppc_throw_exception");
+#ifdef PPC_USES_FUNCTION_DESCRIPTOR
+               ppc_ldptr (code, ppc_r2, sizeof (gpointer), ppc_r11);
+               ppc_ldptr (code, ppc_r11, 0, ppc_r11);
+#endif
+               ppc_mtctr (code, ppc_r11);
+               ppc_bcctrl (code, PPC_BR_ALWAYS, 0);
+       } else {
+               ppc_load_func (code, ppc_r0, mono_ppc_throw_exception);
+               ppc_mtctr (code, ppc_r0);
+               ppc_bcctrl (code, PPC_BR_ALWAYS, 0);
+       }
        /* we should never reach this breakpoint */
        ppc_break (code);
-       g_assert ((code - start) < size);
+       g_assert ((code - start) <= size);
        mono_arch_flush_icache (start, code - start);
+
+       *code_size = code - start;
+
        return start;
 }
 
@@ -383,18 +450,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_full (guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
 {
-       static guint8 *start = NULL;
-       static int inited = 0;
-
-       if (inited)
-               return start;
-       start = mono_global_codeman_reserve (132);
-       mono_arch_get_throw_exception_generic (start, 132, FALSE, TRUE);
-       inited = 1;
-       return start;
+       int size = MONO_PPC_32_64_CASE (132, 224) + PPC_FTNPTR_SIZE;
+
+       if (aot)
+               size += 64;
+       return mono_arch_get_throw_exception_generic (size, code_size, ji, FALSE, TRUE, aot);
 }
+
 /**
  * arch_get_throw_exception:
  *
@@ -407,18 +471,14 @@ 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_full (guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
 {
-       static guint8 *start = NULL;
-       static int inited = 0;
-
-       if (inited)
-               return start;
-       start = mono_global_codeman_reserve (132);
-       mono_arch_get_throw_exception_generic (start, 132, FALSE, FALSE);
-       inited = 1;
-       return start;
+       int size = MONO_PPC_32_64_CASE (132, 224) + PPC_FTNPTR_SIZE;
+
+       if (aot)
+               size += 64;
+       return mono_arch_get_throw_exception_generic (size, code_size, ji, FALSE, FALSE, aot);
 }
 
 /**
@@ -433,37 +493,38 @@ mono_arch_get_throw_exception (void)
  * x86_call_code (code, arch_get_throw_exception_by_name ()); 
  *
  */
-gpointer 
-mono_arch_get_throw_exception_by_name (void)
-{
-       static guint8 *start = NULL;
-       static int inited = 0;
-
-       if (inited)
-               return start;
-       start = mono_global_codeman_reserve (168);
-       mono_arch_get_throw_exception_generic (start, 168, TRUE, FALSE);
-       inited = 1;
-       return start;
-}      
-
-static MonoArray *
-glist_to_array (GList *list, MonoClass *eclass) 
+gpointer
+mono_arch_get_throw_exception_by_name_full (guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
 {
-       MonoDomain *domain = mono_domain_get ();
-       MonoArray *res;
-       int len, i;
+       guint8 *start, *code;
+       int size = 64;
 
-       if (!list)
-               return NULL;
+       *ji = NULL;
 
-       len = g_list_length (list);
-       res = mono_array_new (domain, eclass, len);
+       /* Not used on PPC */   
+       start = code = mono_global_codeman_reserve (size);
+       ppc_break (code);
+       mono_arch_flush_icache (start, code - start);
+       *code_size = code - start;
+       return start;
+}
 
-       for (i = 0; list; list = list->next, i++)
-               mono_array_set (res, gpointer, i, list->data);
+/**
+ * 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) (guint32 ex_token, guint32 offset); 
+ * On PPC, we pass the ip instead of the offset
+ */
+gpointer
+mono_arch_get_throw_corlib_exception_full (guint32 *code_size, MonoJumpInfo **ji, gboolean aot)
+{
+       int size = MONO_PPC_32_64_CASE (168, 304) + PPC_FTNPTR_SIZE;
 
-       return res;
+       if (aot)
+               size += 64;
+       return mono_arch_get_throw_exception_generic (size, code_size, ji, TRUE, FALSE, aot);
 }
 
 /* mono_arch_find_jit_info:
@@ -476,9 +537,8 @@ 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);
@@ -490,12 +550,6 @@ 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;
 
@@ -506,24 +560,18 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
                *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);
@@ -556,28 +604,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 {
-                       memset (res, 0, sizeof (MonoJitInfo));
+                       if (!(*lmf)->method)
+                               return (gpointer)-1;
+
+                       memset (res, 0, MONO_SIZEOF_JIT_INFO);
                        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;
@@ -592,51 +637,65 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
 void
 mono_arch_sigctx_to_monoctx (void *ctx, MonoContext *mctx)
 {
+#ifdef MONO_CROSS_COMPILE
+       g_assert_not_reached ();
+#else
        os_ucontext *uc = 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);
+#endif
 }
 
 void
 mono_arch_monoctx_to_sigctx (MonoContext *mctx, void *ctx)
 {
+#ifdef MONO_CROSS_COMPILE
+       g_assert_not_reached ();
+#else
        os_ucontext *uc = ctx;
 
        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);
+#endif
 }
 
 gpointer
 mono_arch_ip_from_context (void *sigctx)
 {
+#ifdef MONO_CROSS_COMPILE
+       g_assert_not_reached ();
+#else
        os_ucontext *uc = sigctx;
        return (gpointer)UCONTEXT_REG_NIP(uc);
+#endif
 }
 
-#ifndef __APPLE__
 static void
 altstack_handle_and_restore (void *sigctx, gpointer obj, gboolean test_only)
 {
        void (*restore_context) (MonoContext *);
        MonoContext mctx;
 
-       restore_context = mono_arch_get_restore_context ();
+       restore_context = mono_get_restore_context ();
        mono_arch_sigctx_to_monoctx (sigctx, &mctx);
-       arch_handle_exception (&mctx, obj, test_only);
+       mono_handle_exception (&mctx, obj, (gpointer)mctx.sc_ir, test_only);
        restore_context (&mctx);
 }
 
 void
 mono_arch_handle_altstack_exception (void *sigctx, gpointer fault_addr, gboolean stack_ovf)
 {
+#ifdef MONO_CROSS_COMPILE
+       g_assert_not_reached ();
+#else
 #ifdef MONO_ARCH_USE_SIGACTION
-       ucontext_t *uc = (ucontext_t*)sigctx;
-       ucontext_t *uc_copy;
+       os_ucontext *uc = (ucontext_t*)sigctx;
+       os_ucontext *uc_copy;
        MonoJitInfo *ji = mono_jit_info_table_find (mono_domain_get (), mono_arch_ip_from_context (sigctx));
        gpointer *sp;
        int frame_size;
@@ -669,20 +728,30 @@ mono_arch_handle_altstack_exception (void *sigctx, gpointer fault_addr, gboolean
        /* 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);
+#if defined(__linux__) && !defined(__mono_ppc64__)
+       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);
+#ifdef PPC_USES_FUNCTION_DESCRIPTOR
+       {
+               MonoPPCFunctionDescriptor *handler_ftnptr = (MonoPPCFunctionDescriptor*)altstack_handle_and_restore;
+
+               UCONTEXT_REG_NIP(uc) = (gulong)handler_ftnptr->code;
+               UCONTEXT_REG_Rn(uc, 2) = (gulong)handler_ftnptr->toc;
+       }
+#else
        UCONTEXT_REG_NIP(uc) = (unsigned long)altstack_handle_and_restore;
+#endif
        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
+#endif /* !MONO_CROSS_COMPILE */
+}
 
 gboolean
 mono_arch_handle_exception (void *ctx, gpointer obj, gboolean test_only)
@@ -692,7 +761,7 @@ mono_arch_handle_exception (void *ctx, gpointer obj, gboolean test_only)
 
        mono_arch_sigctx_to_monoctx (ctx, &mctx);
 
-       result = arch_handle_exception (&mctx, obj, test_only);
+       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 
         */
@@ -700,181 +769,6 @@ mono_arch_handle_exception (void *ctx, gpointer obj, gboolean test_only)
        return result;
 }
 
-/**
- * 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)
-{
-       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 = mono_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_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));
-
-                               }
-                       }
-
-                       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_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);
-                                               }
-                                               
-                                       }
-                               }
-                       }
-               }
-
-               *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 ();
-}
-
 gboolean
 mono_arch_has_unwind_info (gconstpointer addr)
 {