New test.
[mono.git] / mono / mini / exceptions-ia64.c
index 3d2db50505783a3810d6142288a0c5e5a6237c9c..26ef6651f91840007f837a16343c65e3068ce807 100644 (file)
 #define GP_SCRATCH_REG 31
 #define GP_SCRATCH_REG2 30
 
+G_GNUC_UNUSED static void
+print_ctx (MonoContext *ctx)
+{
+       char name[256];
+       unw_word_t off, ip, sp;
+       unw_proc_info_t pi;
+       int res;
+
+       unw_get_proc_name (&ctx->cursor, name, 256, &off);
+       unw_get_proc_info(&ctx->cursor, &pi);
+       res = unw_get_reg (&ctx->cursor, UNW_IA64_IP, &ip);
+       g_assert (res == 0);
+       res = unw_get_reg (&ctx->cursor, UNW_IA64_SP, &sp);
+       g_assert (res == 0);
+
+       printf ("%s:%lx [%lx-%lx] SP: %lx\n", name, ip - pi.start_ip, pi.start_ip, pi.end_ip, sp);
+}
+
 static gpointer
 ia64_create_ftnptr (gpointer ptr)
 {
@@ -56,6 +74,10 @@ static void
 restore_context (MonoContext *ctx)
 {
        int res;
+       unw_word_t ip;
+
+       res = unw_get_reg (&ctx->cursor, UNW_IA64_IP, &ip);
+       g_assert (res == 0);
 
        /* Set this to 0 to tell OP_START_HANDLER that it doesn't have to set the frame pointer */
        res = unw_set_reg (&ctx->cursor, UNW_IA64_GR + 15, 0);
@@ -78,32 +100,34 @@ mono_arch_get_restore_context (void)
 static gpointer
 get_real_call_filter (void)
 {
-       static guint8 *start;
+       static gpointer filter;
        static gboolean inited = FALSE;
+       guint8 *start;
        Ia64CodegenState code;
-       int i, in0, local0, out0, nout;
+       int in0, local0, out0, nout;
        unw_dyn_info_t *di;
-       unw_dyn_region_info_t *r_pro;
+       unw_dyn_region_info_t *r_pro, *r_body, *r_epilog;
 
        if (inited)
-               return start;
+               return filter;
 
        start = mono_global_codeman_reserve (1024);
 
        /* int call_filter (guint64 fp, guint64 ip) */
 
        /*
-        * We have to create a register+stack frame similar to the frame which contains
-        * the filter. 
+        * We have to create a register+stack frame similar to the frame which 
+        * contains the filter. 
         * - setting fp
         * - setting up a register stack frame
-        * These cannot be set up in this function, because the fp register is a stacked
-        * register which is different in each method. Also, the register stack frame is
-        * different in each method. So we pass the FP value in a a non-stacked
-        * register and the code generated by the OP_START_HANDLER opcode will copy it
-        * to the appropriate register after setting up the register stack frame.
+        * These cannot be set up in this function, because the fp register is a 
+        * stacked register which is different in each method. Also, the register 
+        * stack frame is different in each method. So we pass the FP value in a a 
+        * non-stacked register and the code generated by the OP_START_HANDLER 
+        * opcode will copy it to the appropriate register after setting up the 
+        * register stack frame.
         * The stacked registers are not need to be set since variables used in
-        * handler registers are never allocated to registers.
+        * handler regions are never allocated to registers.
         */
 
        in0 = 32;
@@ -115,45 +139,41 @@ get_real_call_filter (void)
 
        ia64_codegen_set_one_ins_per_bundle (code, TRUE);
 
+       ia64_unw_save_reg (code, UNW_IA64_AR_PFS, UNW_IA64_GR + local0 + 0);
        ia64_alloc (code, local0 + 0, local0 - in0, out0 - local0, nout, 0);
+       ia64_unw_save_reg (code, UNW_IA64_RP, UNW_IA64_GR + local0 + 1);
        ia64_mov_from_br (code, local0 + 1, IA64_B0);
 
-       r_pro = g_malloc0 (_U_dyn_region_info_size (2));
-       r_pro->op_count = 2;
-       r_pro->insn_count = 6;
-       i = 0;
-       _U_dyn_op_save_reg (&r_pro->op[i++], _U_QP_TRUE, /* when=*/ 2,
-                                               /* reg=*/ UNW_IA64_AR_PFS, /* dst=*/ UNW_IA64_GR + local0 + 0);
-       _U_dyn_op_save_reg (&r_pro->op[i++], _U_QP_TRUE, /* when=*/ 5,
-                                               /* reg=*/ UNW_IA64_RP, /* dst=*/ UNW_IA64_GR + local0 + 1);
-       g_assert ((unsigned) i <= r_pro->op_count);     
+       ia64_begin_bundle (code);
+
+       r_pro = mono_ia64_create_unwind_region (&code);
 
        /* Frame pointer */
        ia64_mov (code, IA64_R15, in0 + 0);
        /* Target ip */
        ia64_mov_to_br (code, IA64_B6, in0 + 1);
 
-       /* Return address */
-       ia64_mov_from_ip (code, GP_SCRATCH_REG);
-       ia64_adds_imm (code, GP_SCRATCH_REG, 3 * 16, GP_SCRATCH_REG);
-
        /* Call the filter */
        ia64_br_call_reg (code, IA64_B0, IA64_B6);
 
        /* R8 contains the result of the filter */
-       /* R9 contains the saved apr_pfs value */
 
-       /* The filter returns using br_cond_reg, so have to do another return */
-       ia64_mov_to_ar_i (code, IA64_PFS, IA64_R9);
-       ia64_mov_from_ip (code, GP_SCRATCH_REG);        
-       ia64_adds_imm (code, GP_SCRATCH_REG, 4 * 16, GP_SCRATCH_REG);
-       ia64_mov_to_br (code, IA64_B0, GP_SCRATCH_REG);
-       ia64_br_ret_reg (code, IA64_B0);
+       /* FIXME: Add unwind info for this */
+
+       ia64_begin_bundle (code);
+
+       r_body = mono_ia64_create_unwind_region (&code);
+       r_pro->next = r_body;
 
        ia64_mov_to_ar_i (code, IA64_PFS, local0 + 0);
        ia64_mov_ret_to_br (code, IA64_B0, local0 + 1);
        ia64_br_ret_reg (code, IA64_B0);
 
+       ia64_begin_bundle (code);
+
+       r_epilog = mono_ia64_create_unwind_region (&code);
+       r_body->next = r_epilog;
+
        ia64_codegen_set_one_ins_per_bundle (code, FALSE);
 
        ia64_codegen_close (code);
@@ -168,22 +188,24 @@ get_real_call_filter (void)
        di->gp = 0;
        di->format = UNW_INFO_FORMAT_DYNAMIC;
        di->u.pi.name_ptr = (unw_word_t)"throw_trampoline";
-       di->u.pi.regions = r_pro;
+       di->u.pi.regions = r_body;
 
        _U_dyn_register (di);
 
-       return ia64_create_ftnptr (start);
+    filter = ia64_create_ftnptr (start);
+
+       inited = TRUE;
+
+       return filter;
 }
 
 static int
 call_filter (MonoContext *ctx, gpointer ip)
 {
-       static int (*filter) (MonoContext *, gpointer) = NULL;
+       int (*filter) (MonoContext *, gpointer);
        gpointer fp = MONO_CONTEXT_GET_BP (ctx);
 
-       /* FIXME: thread safety */
-       if (!filter)
-               filter = get_real_call_filter ();
+       filter = get_real_call_filter ();
 
        return filter (fp, ip);
 }
@@ -198,6 +220,9 @@ call_filter (MonoContext *ctx, gpointer ip)
 gpointer
 mono_arch_get_call_filter (void)
 {
+       /* Initialize the real filter non-lazily */
+       get_real_call_filter ();
+
        return call_filter;
 }
 
@@ -207,7 +232,7 @@ throw_exception (MonoObject *exc, guint64 rethrow)
        unw_context_t unw_ctx;
        MonoContext ctx;
        MonoJitInfo *ji;
-       unw_word_t ip;
+       unw_word_t ip, sp;
        int res;
 
        if (mono_object_isinst (exc, mono_defaults.exception_class)) {
@@ -230,8 +255,13 @@ throw_exception (MonoObject *exc, guint64 rethrow)
                res = unw_get_reg (&ctx.cursor, UNW_IA64_IP, &ip);
                g_assert (res == 0);
 
+               res = unw_get_reg (&ctx.cursor, UNW_IA64_SP, &sp);
+               g_assert (res == 0);
+
                ji = mono_jit_info_table_find (mono_domain_get (), (gpointer)ip);
 
+               //printf ("UN: %s %lx %lx\n", ji ? ji->method->name : "", ip, sp);
+
                if (ji)
                        break;
 
@@ -382,7 +412,7 @@ mono_arch_get_throw_exception_by_name (void)
  *
  * 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); 
+ * signature: void (*func) (guint32 ex_token_index, guint32 offset); 
  * Here, offset is the offset which needs to be substracted from the caller IP 
  * to get the IP of the throw. Passing the offset has the advantage that it 
  * needs no relocations in the caller.
@@ -390,8 +420,9 @@ mono_arch_get_throw_exception_by_name (void)
 gpointer 
 mono_arch_get_throw_corlib_exception (void)
 {
-       static guint8* start;
+       static guint8* res;
        static gboolean inited = FALSE;
+       guint8 *start;
        gpointer ptr;
        int i, in0, local0, out0, nout;
        Ia64CodegenState code;
@@ -399,7 +430,7 @@ mono_arch_get_throw_corlib_exception (void)
        unw_dyn_region_info_t *r_pro;
 
        if (inited)
-               return start;
+               return res;
 
        start = mono_global_codeman_reserve (1024);
 
@@ -425,6 +456,8 @@ mono_arch_get_throw_corlib_exception (void)
        /* Call exception_from_token */
        ia64_movl (code, out0 + 0, mono_defaults.exception_class->image);
        ia64_mov (code, out0 + 1, in0 + 0);
+       ia64_movl (code, GP_SCRATCH_REG, MONO_TOKEN_TYPE_DEF);
+       ia64_add (code, out0 + 1, in0 + 0, GP_SCRATCH_REG);
        ptr = mono_exception_from_token;
        ia64_movl (code, GP_SCRATCH_REG, ptr);
        ia64_ld8_inc_imm (code, GP_SCRATCH_REG2, GP_SCRATCH_REG, 8);
@@ -469,7 +502,10 @@ mono_arch_get_throw_corlib_exception (void)
 
        mono_arch_flush_icache (start, code.buf - start);
 
-       return ia64_create_ftnptr (start);
+       res = ia64_create_ftnptr (start);
+       inited = TRUE;
+
+       return res;
 }
 
 /* mono_arch_find_jit_info:
@@ -534,9 +570,13 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInf
        }
 
        if (ji) {
+               //print_ctx (new_ctx);
+
                err = unw_step (&new_ctx->cursor);
                g_assert (err >= 0);
 
+               //print_ctx (new_ctx);
+
                return ji;
        }
        else
@@ -591,16 +631,7 @@ mono_arch_handle_exception (void *sigctx, gpointer obj, gboolean test_only)
 gpointer
 mono_arch_ip_from_context (void *sigctx)
 {
-       /* On IA64, these two are equal */
-       unw_context_t *ctx = (unw_context_t*)sigctx;
-       unw_cursor_t cursor;
-       int res;
-       unw_word_t w;
-
-       res = unw_init_local (&cursor, ctx);
-       g_assert (res == 0);
-       res = unw_get_reg (&cursor, UNW_IA64_IP, &w);
-       g_assert (res == 0);
+       ucontext_t *ctx = (ucontext_t*)sigctx;
 
-       return (gpointer)w;
+       return (gpointer)ctx->uc_mcontext.sc_ip;
 }