[sgen] Clear the card table in the finishing pause
[mono.git] / mono / mini / exceptions-ia64.c
1 /*
2  * exceptions-ia64.c: exception support for IA64
3  *
4  * Authors:
5  *   Zoltan Varga (vargaz@gmail.com)
6  *
7  * (C) 2001 Ximian, Inc.
8  */
9
10 /*
11  * We implement exception handling with the help of the libuwind library:
12  * 
13  * http://www.hpl.hp.com/research/linux/libunwind/
14  *
15  *  Under IA64 all functions are assumed to have unwind info, we do not need to save
16  * the machine state in the LMF. But we have to generate unwind info for all 
17  * dynamically generated code.
18  */
19
20 #include <config.h>
21 #include <glib.h>
22 #include <signal.h>
23 #include <string.h>
24 #include <sys/ucontext.h>
25
26 #include <mono/arch/ia64/ia64-codegen.h>
27 #include <mono/metadata/appdomain.h>
28 #include <mono/metadata/tabledefs.h>
29 #include <mono/metadata/threads.h>
30 #include <mono/metadata/debug-helpers.h>
31 #include <mono/metadata/exception.h>
32 #include <mono/metadata/gc-internals.h>
33 #include <mono/metadata/mono-debug.h>
34
35 #include "mini.h"
36 #include "mini-ia64.h"
37
38 #define ALIGN_TO(val,align) (((val) + ((align) - 1)) & ~((align) - 1))
39
40 #define GP_SCRATCH_REG 31
41 #define GP_SCRATCH_REG2 30
42
43 G_GNUC_UNUSED static void
44 print_ctx (MonoContext *ctx)
45 {
46         char name[256];
47         unw_word_t off, ip, sp;
48         unw_proc_info_t pi;
49         int res;
50
51         unw_get_proc_name (&ctx->cursor, name, 256, &off);
52         unw_get_proc_info(&ctx->cursor, &pi);
53         res = unw_get_reg (&ctx->cursor, UNW_IA64_IP, &ip);
54         g_assert (res == 0);
55         res = unw_get_reg (&ctx->cursor, UNW_IA64_SP, &sp);
56         g_assert (res == 0);
57
58         printf ("%s:%lx [%lx-%lx] SP: %lx\n", name, ip - pi.start_ip, pi.start_ip, pi.end_ip, sp);
59 }
60
61 static gpointer
62 ia64_create_ftnptr (gpointer ptr)
63 {
64         gpointer *desc = mono_global_codeman_reserve (2 * sizeof (gpointer));
65         desc [0] = ptr;
66         desc [1] = NULL;
67
68         return desc;
69 }
70
71 static void
72 restore_context (MonoContext *ctx)
73 {
74         int res;
75         unw_word_t ip;
76
77         res = unw_get_reg (&ctx->cursor, UNW_IA64_IP, &ip);
78         g_assert (res == 0);
79
80         /* Set this to 0 to tell OP_START_HANDLER that it doesn't have to set the frame pointer */
81         res = unw_set_reg (&ctx->cursor, UNW_IA64_GR + 15, 0);
82         g_assert (res == 0);
83
84         unw_resume (&ctx->cursor);
85 }
86
87 /*
88  * mono_arch_get_restore_context:
89  *
90  * Returns a pointer to a method which restores a previously saved sigcontext.
91  */
92 gpointer
93 mono_arch_get_restore_context (MonoTrampInfo **info, gboolean aot)
94 {
95         g_assert (!aot);
96         if (info)
97                 *info = NULL;
98
99         return restore_context;
100 }
101
102 static gpointer
103 get_real_call_filter (void)
104 {
105         static gpointer filter;
106         static gboolean inited = FALSE;
107         guint8 *start;
108         Ia64CodegenState code;
109         int in0, local0, out0, nout;
110         unw_dyn_info_t *di;
111         unw_dyn_region_info_t *r_pro, *r_body, *r_epilog;
112
113         if (inited)
114                 return filter;
115
116         start = mono_global_codeman_reserve (1024);
117
118         /* int call_filter (guint64 fp, guint64 ip) */
119
120         /*
121          * We have to create a register+stack frame similar to the frame which 
122          * contains the filter. 
123          * - setting fp
124          * - setting up a register stack frame
125          * These cannot be set up in this function, because the fp register is a 
126          * stacked register which is different in each method. Also, the register 
127          * stack frame is different in each method. So we pass the FP value in a a 
128          * non-stacked register and the code generated by the OP_START_HANDLER 
129          * opcode will copy it to the appropriate register after setting up the 
130          * register stack frame.
131          * The stacked registers are not need to be set since variables used in
132          * handler regions are never allocated to registers.
133          */
134
135         in0 = 32;
136         local0 = in0 + 2;
137         out0 = local0 + 4;
138         nout = 0;
139
140         ia64_codegen_init (code, start);
141
142         ia64_codegen_set_one_ins_per_bundle (code, TRUE);
143
144         ia64_unw_save_reg (code, UNW_IA64_AR_PFS, UNW_IA64_GR + local0 + 0);
145         ia64_alloc (code, local0 + 0, local0 - in0, out0 - local0, nout, 0);
146         ia64_unw_save_reg (code, UNW_IA64_RP, UNW_IA64_GR + local0 + 1);
147         ia64_mov_from_br (code, local0 + 1, IA64_B0);
148
149         ia64_begin_bundle (code);
150
151         r_pro = mono_ia64_create_unwind_region (&code);
152
153         /* Frame pointer */
154         ia64_mov (code, IA64_R15, in0 + 0);
155         /* Target ip */
156         ia64_mov_to_br (code, IA64_B6, in0 + 1);
157
158         /* Call the filter */
159         ia64_br_call_reg (code, IA64_B0, IA64_B6);
160
161         /* R8 contains the result of the filter */
162
163         /* FIXME: Add unwind info for this */
164
165         ia64_begin_bundle (code);
166
167         r_body = mono_ia64_create_unwind_region (&code);
168         r_pro->next = r_body;
169
170         ia64_mov_to_ar_i (code, IA64_PFS, local0 + 0);
171         ia64_mov_ret_to_br (code, IA64_B0, local0 + 1);
172         ia64_br_ret_reg (code, IA64_B0);
173
174         ia64_begin_bundle (code);
175
176         r_epilog = mono_ia64_create_unwind_region (&code);
177         r_body->next = r_epilog;
178
179         ia64_codegen_set_one_ins_per_bundle (code, FALSE);
180
181         ia64_codegen_close (code);
182
183         g_assert ((code.buf - start) <= 256);
184
185         mono_arch_flush_icache (start, code.buf - start);
186
187         di = g_malloc0 (sizeof (unw_dyn_info_t));
188         di->start_ip = (unw_word_t) start;
189         di->end_ip = (unw_word_t) code.buf;
190         di->gp = 0;
191         di->format = UNW_INFO_FORMAT_DYNAMIC;
192         di->u.pi.name_ptr = (unw_word_t)"throw_trampoline";
193         di->u.pi.regions = r_body;
194
195         _U_dyn_register (di);
196
197     filter = ia64_create_ftnptr (start);
198
199         inited = TRUE;
200
201         return filter;
202 }
203
204 static int
205 call_filter (MonoContext *ctx, gpointer ip)
206 {
207         int (*filter) (MonoContext *, gpointer);
208         gpointer fp = MONO_CONTEXT_GET_BP (ctx);
209
210         filter = get_real_call_filter ();
211
212         return filter (fp, ip);
213 }
214
215 /*
216  * mono_arch_get_call_filter:
217  *
218  * Returns a pointer to a method which calls an exception filter. We
219  * also use this function to call finally handlers (we pass NULL as 
220  * @exc object in this case).
221  */
222 gpointer
223 mono_arch_get_call_filter (MonoTrampInfo **info, gboolean aot)
224 {
225         g_assert (!aot);
226         if (info)
227                 *info = NULL;
228
229         /* Initialize the real filter non-lazily */
230         get_real_call_filter ();
231
232         return call_filter;
233 }
234
235 static void
236 throw_exception (MonoObject *exc, guint64 rethrow)
237 {
238         unw_context_t unw_ctx;
239         MonoContext ctx;
240         MonoJitInfo *ji;
241         unw_word_t ip, sp;
242         int res;
243
244         if (mono_object_isinst (exc, mono_defaults.exception_class)) {
245                 MonoException *mono_ex = (MonoException*)exc;
246                 if (!rethrow) {
247                         mono_ex->stack_trace = NULL;
248                         mono_ex->trace_ips = NULL;
249                 }
250         }
251
252         res = unw_getcontext (&unw_ctx);
253         g_assert (res == 0);
254         res = unw_init_local (&ctx.cursor, &unw_ctx);
255         g_assert (res == 0);
256
257         /* 
258          * Unwind until the first managed frame. This is needed since 
259          * mono_handle_exception expects the variables in the original context to
260          * correspond to the method returned by mono_find_jit_info.
261          */
262         while (TRUE) {
263                 res = unw_get_reg (&ctx.cursor, UNW_IA64_IP, &ip);
264                 g_assert (res == 0);
265
266                 res = unw_get_reg (&ctx.cursor, UNW_IA64_SP, &sp);
267                 g_assert (res == 0);
268
269                 ji = mini_jit_info_table_find (mono_domain_get (), (gpointer)ip, NULL);
270
271                 //printf ("UN: %s %lx %lx\n", ji ? jinfo_get_method (ji)->name : "", ip, sp);
272
273                 if (ji)
274                         break;
275
276                 res = unw_step (&ctx.cursor);
277
278                 if (res == 0) {
279                         /*
280                          * This means an unhandled exception during the compilation of a
281                          * topmost method like Main
282                          */
283                         break;
284                 }
285                 g_assert (res >= 0);
286         }
287         ctx.precise_ip = FALSE;
288
289         mono_handle_exception (&ctx, exc);
290         restore_context (&ctx);
291
292         g_assert_not_reached ();
293 }
294
295 static gpointer
296 get_throw_trampoline (gboolean rethrow)
297 {
298         guint8* start;
299         Ia64CodegenState code;
300         gpointer ptr = throw_exception;
301         int i, in0, local0, out0;
302         unw_dyn_info_t *di;
303         unw_dyn_region_info_t *r_pro;
304
305         start = mono_global_codeman_reserve (256);
306
307         in0 = 32;
308         local0 = in0 + 1;
309         out0 = local0 + 2;
310
311         ia64_codegen_init (code, start);
312         ia64_alloc (code, local0 + 0, local0 - in0, out0 - local0, 3, 0);
313         ia64_mov_from_br (code, local0 + 1, IA64_B0);   
314
315         /* FIXME: This depends on the current instruction emitter */
316
317         r_pro = g_malloc0 (_U_dyn_region_info_size (2));
318         r_pro->op_count = 2;
319         r_pro->insn_count = 6;
320         i = 0;
321         _U_dyn_op_save_reg (&r_pro->op[i++], _U_QP_TRUE, /* when=*/ 2,
322                                                 /* reg=*/ UNW_IA64_AR_PFS, /* dst=*/ UNW_IA64_GR + local0 + 0);
323         _U_dyn_op_save_reg (&r_pro->op[i++], _U_QP_TRUE, /* when=*/ 5,
324                                                 /* reg=*/ UNW_IA64_RP, /* dst=*/ UNW_IA64_GR + local0 + 1);
325         g_assert ((unsigned) i <= r_pro->op_count);     
326
327         /* Set args */
328         ia64_mov (code, out0 + 0, in0 + 0);
329         ia64_adds_imm (code, out0 + 1, rethrow, IA64_R0);
330
331         /* Call throw_exception */
332         ia64_movl (code, GP_SCRATCH_REG, ptr);
333         ia64_ld8_inc_imm (code, GP_SCRATCH_REG2, GP_SCRATCH_REG, 8);
334         ia64_mov_to_br (code, IA64_B6, GP_SCRATCH_REG2);
335         ia64_ld8 (code, IA64_GP, GP_SCRATCH_REG);
336         ia64_br_call_reg (code, IA64_B0, IA64_B6);
337
338         /* Not reached */
339         ia64_break_i (code, 1000);
340         ia64_codegen_close (code);
341
342         g_assert ((code.buf - start) <= 256);
343
344         mono_arch_flush_icache (start, code.buf - start);
345
346         di = g_malloc0 (sizeof (unw_dyn_info_t));
347         di->start_ip = (unw_word_t) start;
348         di->end_ip = (unw_word_t) code.buf;
349         di->gp = 0;
350         di->format = UNW_INFO_FORMAT_DYNAMIC;
351         di->u.pi.name_ptr = (unw_word_t)"throw_trampoline";
352         di->u.pi.regions = r_pro;
353
354         _U_dyn_register (di);
355
356         return ia64_create_ftnptr (start);
357 }
358
359 /**
360  * mono_arch_get_throw_exception:
361  *
362  * Returns a function pointer which can be used to raise 
363  * exceptions. The returned function has the following 
364  * signature: void (*func) (MonoException *exc); 
365  *
366  */
367 gpointer
368 mono_arch_get_throw_exception (MonoTrampInfo **info, gboolean aot)
369 {
370         g_assert (!aot);
371         if (info)
372                 *info = NULL;
373
374         return get_throw_trampoline (FALSE);
375 }
376
377 gpointer
378 mono_arch_get_rethrow_exception (MonoTrampInfo **info, gboolean aot)
379 {
380         g_assert (!aot);
381         if (info)
382                 *info = NULL;
383
384         return get_throw_trampoline (TRUE);
385 }
386
387 /**
388  * mono_arch_get_throw_corlib_exception:
389  *
390  * Returns a function pointer which can be used to raise 
391  * corlib exceptions. The returned function has the following 
392  * signature: void (*func) (guint32 ex_token_index, guint32 offset); 
393  * Here, offset is the offset which needs to be substracted from the caller IP 
394  * to get the IP of the throw. Passing the offset has the advantage that it 
395  * needs no relocations in the caller.
396  */
397 gpointer
398 mono_arch_get_throw_corlib_exception (MonoTrampInfo **info, gboolean aot)
399 {
400         static guint8* res;
401         static gboolean inited = FALSE;
402         guint8 *start;
403         gpointer ptr;
404         int i, in0, local0, out0, nout;
405         Ia64CodegenState code;
406         unw_dyn_info_t *di;
407         unw_dyn_region_info_t *r_pro;
408
409         g_assert (!aot);
410         if (info)
411                 *info = NULL;
412
413         if (inited)
414                 return res;
415
416         start = mono_global_codeman_reserve (1024);
417
418         in0 = 32;
419         local0 = in0 + 2;
420         out0 = local0 + 4;
421         nout = 3;
422
423         ia64_codegen_init (code, start);
424         ia64_alloc (code, local0 + 0, local0 - in0, out0 - local0, nout, 0);
425         ia64_mov_from_br (code, local0 + 1, IA64_RP);
426
427         r_pro = g_malloc0 (_U_dyn_region_info_size (2));
428         r_pro->op_count = 2;
429         r_pro->insn_count = 6;
430         i = 0;
431         _U_dyn_op_save_reg (&r_pro->op[i++], _U_QP_TRUE, /* when=*/ 2,
432                                                 /* reg=*/ UNW_IA64_AR_PFS, /* dst=*/ UNW_IA64_GR + local0 + 0);
433         _U_dyn_op_save_reg (&r_pro->op[i++], _U_QP_TRUE, /* when=*/ 5,
434                                                 /* reg=*/ UNW_IA64_RP, /* dst=*/ UNW_IA64_GR + local0 + 1);
435         g_assert ((unsigned) i <= r_pro->op_count);     
436
437         /* Call exception_from_token */
438         ia64_movl (code, out0 + 0, mono_defaults.exception_class->image);
439         ia64_mov (code, out0 + 1, in0 + 0);
440         ia64_movl (code, GP_SCRATCH_REG, MONO_TOKEN_TYPE_DEF);
441         ia64_add (code, out0 + 1, in0 + 0, GP_SCRATCH_REG);
442         ptr = mono_exception_from_token;
443         ia64_movl (code, GP_SCRATCH_REG, ptr);
444         ia64_ld8_inc_imm (code, GP_SCRATCH_REG2, GP_SCRATCH_REG, 8);
445         ia64_mov_to_br (code, IA64_B6, GP_SCRATCH_REG2);
446         ia64_ld8 (code, IA64_GP, GP_SCRATCH_REG);
447         ia64_br_call_reg (code, IA64_B0, IA64_B6);
448         ia64_mov (code, local0 + 3, IA64_R8);
449
450         /* Compute throw ip */
451         ia64_mov (code, local0 + 2, local0 + 1);
452         ia64_sub (code, local0 + 2, local0 + 2, in0 + 1);
453
454         /* Trick the unwind library into using throw_ip as the IP in the caller frame */
455         ia64_mov (code, local0 + 1, local0 + 2);
456
457         /* Set args */
458         ia64_mov (code, out0 + 0, local0 + 3);
459         ia64_mov (code, out0 + 1, IA64_R0);
460
461         /* Call throw_exception */
462         ptr = throw_exception;
463         ia64_movl (code, GP_SCRATCH_REG, ptr);
464         ia64_ld8_inc_imm (code, GP_SCRATCH_REG2, GP_SCRATCH_REG, 8);
465         ia64_mov_to_br (code, IA64_B6, GP_SCRATCH_REG2);
466         ia64_ld8 (code, IA64_GP, GP_SCRATCH_REG);
467         ia64_br_call_reg (code, IA64_B0, IA64_B6);
468
469         ia64_break_i (code, 1002);
470         ia64_codegen_close (code);
471
472         g_assert ((code.buf - start) <= 1024);
473
474         di = g_malloc0 (sizeof (unw_dyn_info_t));
475         di->start_ip = (unw_word_t) start;
476         di->end_ip = (unw_word_t) code.buf;
477         di->gp = 0;
478         di->format = UNW_INFO_FORMAT_DYNAMIC;
479         di->u.pi.name_ptr = (unw_word_t)"throw_corlib_exception_trampoline";
480         di->u.pi.regions = r_pro;
481
482         _U_dyn_register (di);
483
484         mono_arch_flush_icache (start, code.buf - start);
485
486         res = ia64_create_ftnptr (start);
487         inited = TRUE;
488
489         return res;
490 }
491
492 /*
493  * mono_arch_unwind_frame:
494  *
495  * This function is used to gather information from @ctx, and store it in @frame_info.
496  * It unwinds one stack frame, and stores the resulting context into @new_ctx. @lmf
497  * is modified if needed.
498  * Returns TRUE on success, FALSE otherwise.
499  */
500 gboolean
501 mono_arch_unwind_frame (MonoDomain *domain, MonoJitTlsData *jit_tls, 
502                                                          MonoJitInfo *ji, MonoContext *ctx, 
503                                                          MonoContext *new_ctx, MonoLMF **lmf,
504                                                          mgreg_t **save_locations,
505                                                          StackFrameInfo *frame)
506 {
507         int err;
508         unw_word_t ip;
509
510         memset (frame, 0, sizeof (StackFrameInfo));
511         frame->ji = ji;
512
513         *new_ctx = *ctx;
514         new_ctx->precise_ip = FALSE;
515
516         if (!ji) {
517                 while (TRUE) {
518                         err = unw_get_reg (&new_ctx->cursor, UNW_IA64_IP, &ip);
519                         g_assert (err == 0);
520
521                         ji = mini_jit_info_table_find (domain, (gpointer)ip, NULL);
522
523                         /*
524                           {
525                           char name[256];
526                           unw_word_t off;
527
528                           unw_get_proc_name (&new_ctx->cursor, name, 256, &off);
529                           printf ("F: %s\n", name);
530                           }
531                         */
532
533                         if (ji)
534                                 break;
535
536                         /* This is an unmanaged frame, so just unwind through it */
537                         /* FIXME: This returns -3 for the __clone2 frame in libc */
538                         err = unw_step (&new_ctx->cursor);
539                         if (err < 0)
540                                 break;
541
542                         if (err == 0)
543                                 break;
544                 }
545         }
546
547         if (ji) {
548                 if (ji->is_trampoline)
549                         frame->type = FRAME_TYPE_TRAMPOLINE;
550                 else
551                         frame->type = FRAME_TYPE_MANAGED;
552                 frame->ji = ji;
553
554                 //print_ctx (new_ctx);
555
556                 err = unw_step (&new_ctx->cursor);
557                 g_assert (err >= 0);
558
559                 //print_ctx (new_ctx);
560
561                 return TRUE;
562         }
563         else
564                 return FALSE;
565 }
566
567 /**
568  * mono_arch_handle_exception:
569  *
570  * @ctx: saved processor state
571  * @obj: the exception object
572  */
573 gboolean
574 mono_arch_handle_exception (void *sigctx, gpointer obj)
575 {
576         /* libunwind takes care of this */
577         unw_context_t unw_ctx;
578         MonoContext ctx;
579         MonoJitInfo *ji;
580         unw_word_t ip;
581         int res;
582
583         res = unw_getcontext (&unw_ctx);
584         g_assert (res == 0);
585         res = unw_init_local (&ctx.cursor, &unw_ctx);
586         g_assert (res == 0);
587
588         /* 
589          * Unwind until the first managed frame. This skips the signal handler frames
590          * too.
591          */
592         while (TRUE) {
593                 res = unw_get_reg (&ctx.cursor, UNW_IA64_IP, &ip);
594                 g_assert (res == 0);
595
596                 ji = mini_jit_info_table_find (mono_domain_get (), (gpointer)ip, NULL);
597
598                 if (ji)
599                         break;
600
601                 res = unw_step (&ctx.cursor);
602                 g_assert (res >= 0);
603         }
604         ctx.precise_ip = TRUE;
605
606         mono_handle_exception (&ctx, obj);
607
608         restore_context (&ctx);
609
610         g_assert_not_reached ();
611 }
612
613 gpointer
614 mono_arch_ip_from_context (void *sigctx)
615 {
616         ucontext_t *ctx = (ucontext_t*)sigctx;
617
618         return (gpointer)ctx->uc_mcontext.sc_ip;
619 }