* mini-s390.c, mini-s390x.c: Fix VARARG case processing with 0
[mono.git] / mono / mini / exceptions-s390x.c
blobb40b50ce84fefb7eb659015440c986f23595b560
1 /*------------------------------------------------------------------*/
2 /* */
3 /* Name - exceptions-s390.c */
4 /* */
5 /* Function - Exception support for S/390. */
6 /* */
7 /* Name - Neale Ferguson (Neale.Ferguson@SoftwareAG-usa.com) */
8 /* */
9 /* Date - January, 2004 */
10 /* */
11 /* Derivation - From exceptions-x86 & exceptions-ppc */
12 /* Paolo Molaro (lupus@ximian.com) */
13 /* Dietmar Maurer (dietmar@ximian.com) */
14 /* */
15 /* Copyright - 2001 Ximian, Inc. */
16 /* */
17 /*------------------------------------------------------------------*/
19 /*------------------------------------------------------------------*/
20 /* D e f i n e s */
21 /*------------------------------------------------------------------*/
23 #define S390_CALLFILTER_INTREGS S390_MINIMAL_STACK_SIZE
24 #define S390_CALLFILTER_FLTREGS (S390_CALLFILTER_INTREGS+(16*sizeof(gulong)))
25 #define S390_CALLFILTER_ACCREGS (S390_CALLFILTER_FLTREGS+(16*sizeof(gdouble)))
26 #define S390_CALLFILTER_SIZE (S390_CALLFILTER_ACCREGS+(16*sizeof(gint32)))
28 #define S390_THROWSTACK_ACCPRM S390_MINIMAL_STACK_SIZE
29 #define S390_THROWSTACK_FPCPRM (S390_THROWSTACK_ACCPRM+sizeof(gpointer))
30 #define S390_THROWSTACK_RETHROW (S390_THROWSTACK_FPCPRM+sizeof(gint32))
31 #define S390_THROWSTACK_INTREGS (S390_THROWSTACK_RETHROW+sizeof(gboolean))
32 #define S390_THROWSTACK_FLTREGS (S390_THROWSTACK_INTREGS+(16*sizeof(gulong)))
33 #define S390_THROWSTACK_ACCREGS (S390_THROWSTACK_FLTREGS+(16*sizeof(gdouble)))
34 #define S390_THROWSTACK_SIZE (S390_THROWSTACK_ACCREGS+(16*sizeof(gint32)))
36 #define SZ_THROW 384
38 /*========================= End of Defines =========================*/
40 /*------------------------------------------------------------------*/
41 /* I n c l u d e s */
42 /*------------------------------------------------------------------*/
44 #include <config.h>
45 #include <glib.h>
46 #include <signal.h>
47 #include <string.h>
48 #include <ucontext.h>
50 #include <mono/arch/s390x/s390x-codegen.h>
51 #include <mono/metadata/appdomain.h>
52 #include <mono/metadata/tabledefs.h>
53 #include <mono/metadata/threads.h>
54 #include <mono/metadata/debug-helpers.h>
55 #include <mono/metadata/exception.h>
56 #include <mono/metadata/mono-debug.h>
58 #include "mini.h"
59 #include "mini-s390x.h"
61 /*========================= End of Includes ========================*/
63 /*------------------------------------------------------------------*/
64 /* P r o t o t y p e s */
65 /*------------------------------------------------------------------*/
67 gboolean mono_arch_handle_exception (void *ctx,
68 gpointer obj,
69 gboolean test_only);
71 /*========================= End of Prototypes ======================*/
73 /*------------------------------------------------------------------*/
74 /* G l o b a l V a r i a b l e s */
75 /*------------------------------------------------------------------*/
77 /*====================== End of Global Variables ===================*/
79 /*------------------------------------------------------------------*/
80 /* */
81 /* Name - mono_arch_has_unwind_info */
82 /* */
83 /* Function - Tests if a function has a DWARF exception table */
84 /* that is able to restore all caller saved registers*/
85 /* */
86 /*------------------------------------------------------------------*/
88 gboolean
89 mono_arch_has_unwind_info (gconstpointer addr)
91 return FALSE;
94 /*========================= End of Function ========================*/
96 /*------------------------------------------------------------------*/
97 /* */
98 /* Name - mono_arch_get_call_filter */
99 /* */
100 /* Function - Return a pointer to a method which calls an */
101 /* exception filter. We also use this function to */
102 /* call finally handlers (we pass NULL as @exc */
103 /* object in this case). */
104 /* */
105 /*------------------------------------------------------------------*/
107 gpointer
108 mono_arch_get_call_filter (void)
110 static guint8 *start;
111 static int inited = 0;
112 guint8 *code;
113 int alloc_size, pos, i;
115 if (inited)
116 return start;
118 inited = 1;
119 /* call_filter (MonoContext *ctx, unsigned long eip, gpointer exc) */
120 code = start = mono_global_codeman_reserve (512);
122 s390_stmg (code, s390_r6, s390_r14, STK_BASE, S390_REG_SAVE_OFFSET);
123 s390_lgr (code, s390_r14, STK_BASE);
124 alloc_size = S390_ALIGN(S390_CALLFILTER_SIZE, S390_STACK_ALIGNMENT);
125 s390_aghi (code, STK_BASE, -alloc_size);
126 s390_stg (code, s390_r14, 0, STK_BASE, 0);
128 /*------------------------------------------------------*/
129 /* save general registers on stack */
130 /*------------------------------------------------------*/
131 s390_stmg (code, s390_r0, s390_r13, STK_BASE, S390_CALLFILTER_INTREGS);
133 /*------------------------------------------------------*/
134 /* save floating point registers on stack */
135 /*------------------------------------------------------*/
136 // pos = S390_CALLFILTER_FLTREGS;
137 // for (i = 0; i < 16; ++i) {
138 // s390_std (code, i, 0, STK_BASE, pos);
139 // pos += sizeof (gdouble);
140 // }
142 /*------------------------------------------------------*/
143 /* save access registers on stack */
144 /*------------------------------------------------------*/
145 // s390_stam (code, s390_a0, s390_a15, STK_BASE, S390_CALLFILTER_ACCREGS);
147 /*------------------------------------------------------*/
148 /* Get A(Context) */
149 /*------------------------------------------------------*/
150 s390_lgr (code, s390_r13, s390_r2);
152 /*------------------------------------------------------*/
153 /* Get A(Handler Entry Point) */
154 /*------------------------------------------------------*/
155 s390_lgr (code, s390_r0, s390_r3);
157 /*------------------------------------------------------*/
158 /* Set parameter register with Exception */
159 /*------------------------------------------------------*/
160 s390_lgr (code, s390_r2, s390_r4);
162 /*------------------------------------------------------*/
163 /* Load all registers with values from the context */
164 /*------------------------------------------------------*/
165 s390_lmg (code, s390_r3, s390_r12, s390_r13,
166 G_STRUCT_OFFSET(MonoContext, uc_mcontext.gregs[3]));
167 pos = G_STRUCT_OFFSET(MonoContext, uc_mcontext.fpregs.fprs[0]);
168 for (i = 0; i < 16; ++i) {
169 s390_ld (code, i, 0, s390_r13, pos);
170 pos += sizeof(gdouble);
173 /*------------------------------------------------------*/
174 /* Point at the copied stack frame and call the filter */
175 /*------------------------------------------------------*/
176 s390_lgr (code, s390_r1, s390_r0);
177 s390_basr (code, s390_r14, s390_r1);
179 /*------------------------------------------------------*/
180 /* Save return value */
181 /*------------------------------------------------------*/
182 s390_lgr (code, s390_r14, s390_r2);
184 /*------------------------------------------------------*/
185 /* Restore all the regs from the stack */
186 /*------------------------------------------------------*/
187 s390_lmg (code, s390_r0, s390_r13, STK_BASE, S390_CALLFILTER_INTREGS);
188 // pos = S390_CALLFILTER_FLTREGS;
189 // for (i = 0; i < 16; ++i) {
190 // s390_ld (code, i, 0, STK_BASE, pos);
191 // pos += sizeof (gdouble);
192 // }
194 s390_lgr (code, s390_r2, s390_r14);
195 // s390_lam (code, s390_a0, s390_a15, STK_BASE, S390_CALLFILTER_ACCREGS);
196 s390_aghi (code, s390_r15, alloc_size);
197 s390_lmg (code, s390_r6, s390_r14, STK_BASE, S390_REG_SAVE_OFFSET);
198 s390_br (code, s390_r14);
200 g_assert ((code - start) < SZ_THROW);
201 return start;
204 /*========================= End of Function ========================*/
206 /*------------------------------------------------------------------*/
207 /* */
208 /* Name - throw_exception. */
209 /* */
210 /* Function - Raise an exception based on the parameters passed.*/
211 /* */
212 /*------------------------------------------------------------------*/
214 static void
215 throw_exception (MonoObject *exc, unsigned long ip, unsigned long sp,
216 gulong *int_regs, gdouble *fp_regs, gint32 *acc_regs,
217 guint fpc, gboolean rethrow)
219 MonoContext ctx;
220 int iReg;
222 memset(&ctx, 0, sizeof(ctx));
224 getcontext(&ctx);
226 /* adjust eip so that it point into the call instruction */
227 ip -= 6;
229 for (iReg = 0; iReg < 16; iReg++) {
230 ctx.uc_mcontext.gregs[iReg] = int_regs[iReg];
231 ctx.uc_mcontext.fpregs.fprs[iReg].d = fp_regs[iReg];
232 ctx.uc_mcontext.aregs[iReg] = acc_regs[iReg];
235 ctx.uc_mcontext.fpregs.fpc = fpc;
237 MONO_CONTEXT_SET_BP (&ctx, sp);
238 MONO_CONTEXT_SET_IP (&ctx, ip);
240 if (mono_object_isinst (exc, mono_defaults.exception_class)) {
241 MonoException *mono_ex = (MonoException*)exc;
242 if (!rethrow)
243 mono_ex->stack_trace = NULL;
245 mono_arch_handle_exception (&ctx, exc, FALSE);
246 setcontext(&ctx);
248 g_assert_not_reached ();
251 /*========================= End of Function ========================*/
253 /*------------------------------------------------------------------*/
254 /* */
255 /* Name - get_throw_exception_generic */
256 /* */
257 /* Function - Return a function pointer which can be used to */
258 /* raise exceptions. The returned function has the */
259 /* following signature: */
260 /* void (*func) (MonoException *exc); or, */
261 /* void (*func) (char *exc_name); */
262 /* */
263 /*------------------------------------------------------------------*/
265 static gpointer
266 get_throw_exception_generic (guint8 *start, int size,
267 int by_name, gboolean rethrow)
269 guint8 *code;
270 int alloc_size, pos, i;
272 code = start;
274 s390_stmg (code, s390_r6, s390_r14, STK_BASE, S390_REG_SAVE_OFFSET);
275 alloc_size = S390_ALIGN(S390_THROWSTACK_SIZE, S390_STACK_ALIGNMENT);
276 s390_lgr (code, s390_r14, STK_BASE);
277 s390_aghi (code, STK_BASE, -alloc_size);
278 s390_stg (code, s390_r14, 0, STK_BASE, 0);
279 if (by_name) {
280 s390_lgr (code, s390_r4, s390_r2);
281 s390_basr (code, s390_r13, 0);
282 s390_j (code, 14);
283 s390_llong(code, mono_defaults.corlib);
284 s390_llong(code, "System");
285 s390_llong(code, mono_exception_from_name);
286 s390_lg (code, s390_r2, 0, s390_r13, 4);
287 s390_lg (code, s390_r3, 0, s390_r13, 12);
288 s390_lg (code, s390_r1, 0, s390_r13, 20);
289 s390_basr (code, s390_r14, s390_r1);
291 /*------------------------------------------------------*/
292 /* save the general registers on the stack */
293 /*------------------------------------------------------*/
294 s390_stmg (code, s390_r0, s390_r13, STK_BASE, S390_THROWSTACK_INTREGS);
296 s390_lgr (code, s390_r1, STK_BASE);
297 s390_aghi (code, s390_r1, alloc_size);
298 /*------------------------------------------------------*/
299 /* save the return address in the parameter register */
300 /*------------------------------------------------------*/
301 s390_lg (code, s390_r3, 0, s390_r1, S390_RET_ADDR_OFFSET);
303 /*------------------------------------------------------*/
304 /* save the floating point registers */
305 /*------------------------------------------------------*/
306 pos = S390_THROWSTACK_FLTREGS;
307 for (i = 0; i < 16; ++i) {
308 s390_std (code, i, 0, STK_BASE, pos);
309 pos += sizeof (gdouble);
311 /*------------------------------------------------------*/
312 /* save the access registers */
313 /*------------------------------------------------------*/
314 s390_stam (code, s390_r0, s390_r15, STK_BASE, S390_THROWSTACK_ACCREGS);
316 /*------------------------------------------------------*/
317 /* call throw_exception (exc, ip, sp, gr, fr, ar) */
318 /* exc is already in place in r2 */
319 /*------------------------------------------------------*/
320 s390_lgr (code, s390_r4, s390_r1); /* caller sp */
321 /*------------------------------------------------------*/
322 /* pointer to the saved int regs */
323 /*------------------------------------------------------*/
324 s390_la (code, s390_r5, 0, STK_BASE, S390_THROWSTACK_INTREGS);
325 s390_la (code, s390_r6, 0, STK_BASE, S390_THROWSTACK_FLTREGS);
326 s390_la (code, s390_r7, 0, STK_BASE, S390_THROWSTACK_ACCREGS);
327 s390_stg (code, s390_r7, 0, STK_BASE, S390_THROWSTACK_ACCPRM);
328 s390_stfpc(code, STK_BASE, S390_THROWSTACK_FPCPRM);
329 s390_lghi (code, s390_r7, rethrow);
330 s390_stg (code, s390_r7, 0, STK_BASE, S390_THROWSTACK_RETHROW);
331 s390_basr (code, s390_r13, 0);
332 s390_j (code, 6);
333 s390_llong(code, throw_exception);
334 s390_lg (code, s390_r1, 0, s390_r13, 4);
335 s390_basr (code, s390_r14, s390_r1);
336 /* we should never reach this breakpoint */
337 s390_break (code);
338 g_assert ((code - start) < size);
339 return start;
342 /*========================= End of Function ========================*/
344 /*------------------------------------------------------------------*/
345 /* */
346 /* Name - arch_get_throw_exception */
347 /* */
348 /* Function - Return a function pointer which can be used to */
349 /* raise exceptions. The returned function has the */
350 /* following signature: */
351 /* void (*func) (MonoException *exc); */
352 /* */
353 /*------------------------------------------------------------------*/
355 gpointer
356 mono_arch_get_throw_exception (void)
358 static guint8 *start;
359 static int inited = 0;
361 if (inited)
362 return start;
363 start = mono_global_codeman_reserve (SZ_THROW);
364 get_throw_exception_generic (start, SZ_THROW, FALSE, FALSE);
365 inited = 1;
366 return start;
369 /*========================= End of Function ========================*/
371 /*------------------------------------------------------------------*/
372 /* */
373 /* Name - arch_get_rethrow_exception */
374 /* */
375 /* Function - Return a function pointer which can be used to */
376 /* raise exceptions. The returned function has the */
377 /* following signature: */
378 /* void (*func) (MonoException *exc); */
379 /* */
380 /*------------------------------------------------------------------*/
382 gpointer
383 mono_arch_get_rethrow_exception (void)
385 static guint8 *start;
386 static int inited = 0;
388 if (inited)
389 return start;
390 start = mono_global_codeman_reserve (SZ_THROW);
391 get_throw_exception_generic (start, SZ_THROW, FALSE, TRUE);
392 inited = 1;
393 return start;
396 /*========================= End of Function ========================*/
398 /*------------------------------------------------------------------*/
399 /* */
400 /* Name - arch_get_throw_exception_by_name */
401 /* */
402 /* Function - Return a function pointer which can be used to */
403 /* raise corlib exceptions. The return function has */
404 /* the following signature: */
405 /* void (*func) (char *exc_name); */
406 /* */
407 /*------------------------------------------------------------------*/
409 gpointer
410 mono_arch_get_throw_exception_by_name (void)
412 static guint8 *start;
413 static int inited = 0;
415 if (inited)
416 return start;
417 start = mono_global_codeman_reserve (SZ_THROW);
418 get_throw_exception_generic (start, SZ_THROW, TRUE, FALSE);
419 inited = 1;
420 return start;
423 /*========================= End of Function ========================*/
425 /*------------------------------------------------------------------*/
426 /* */
427 /* Name - mono_arch_find_jit_info */
428 /* */
429 /* Function - This function is used to gather information from */
430 /* @ctx. It returns the MonoJitInfo of the corres- */
431 /* ponding function, unwinds one stack frame and */
432 /* stores the resulting context into @new_ctx. It */
433 /* also stores a string describing the stack location*/
434 /* into @trace (if not NULL), and modifies the @lmf */
435 /* if necessary. @native_offset returns the IP off- */
436 /* set from the start of the function or -1 if that */
437 /* information is not available. */
438 /* */
439 /*------------------------------------------------------------------*/
441 MonoJitInfo *
442 mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls,
443 MonoJitInfo *res, MonoJitInfo *prev_ji, MonoContext *ctx,
444 MonoContext *new_ctx, char **trace, MonoLMF **lmf,
445 int *native_offset, gboolean *managed)
447 MonoJitInfo *ji;
448 gpointer ip = (gpointer) MONO_CONTEXT_GET_IP (ctx);
449 MonoS390StackFrame *sframe;
451 if (prev_ji &&
452 (ip >= prev_ji->code_start &&
453 ((guint8 *) ip <= ((guint8 *) prev_ji->code_start) + prev_ji->code_size)))
454 ji = prev_ji;
455 else
456 ji = mono_jit_info_table_find (domain, ip);
458 if (trace)
459 *trace = NULL;
461 // if (native_offset)
462 // *native_offset = -1;
464 if (managed)
465 *managed = FALSE;
467 if (ji != NULL) {
468 gint64 address;
470 *new_ctx = *ctx;
472 if (*lmf && (MONO_CONTEXT_GET_SP (ctx) >= (gpointer)(*lmf)->ebp)) {
473 /* remove any unused lmf */
474 *lmf = (*lmf)->previous_lmf;
477 address = (char *)ip - (char *)ji->code_start;
479 if (native_offset)
480 *native_offset = address;
482 if (managed)
483 if (!ji->method->wrapper_type)
484 *managed = TRUE;
486 sframe = (MonoS390StackFrame *) MONO_CONTEXT_GET_SP (ctx);
487 MONO_CONTEXT_SET_BP (new_ctx, sframe->prev);
488 sframe = (MonoS390StackFrame *) sframe->prev;
489 MONO_CONTEXT_SET_IP (new_ctx, sframe->return_address);
490 memcpy (&new_ctx->uc_mcontext.gregs[6], sframe->regs, (8*sizeof(gint64)));
491 return ji;
493 } else if (*lmf) {
495 *new_ctx = *ctx;
497 if (!(*lmf)->method)
498 return (gpointer)-1;
500 if ((ji = mono_jit_info_table_find (domain, (gpointer)(*lmf)->eip))) {
501 } else {
502 memset (res, 0, sizeof (MonoJitInfo));
503 res->method = (*lmf)->method;
506 memcpy(new_ctx->uc_mcontext.gregs, (*lmf)->gregs, sizeof((*lmf)->gregs));
507 memcpy(new_ctx->uc_mcontext.fpregs.fprs, (*lmf)->fregs, sizeof((*lmf)->fregs));
509 MONO_CONTEXT_SET_BP (new_ctx, (*lmf)->ebp);
510 MONO_CONTEXT_SET_IP (new_ctx, (*lmf)->eip);
511 *lmf = (*lmf)->previous_lmf;
513 return ji ? ji : res;
516 return NULL;
519 /*========================= End of Function ========================*/
521 /*------------------------------------------------------------------*/
522 /* */
523 /* Name - mono_arch_handle_exception */
524 /* */
525 /* Function - Handle an exception raised by the JIT code. */
526 /* */
527 /* Parameters - ctx - Saved processor state */
528 /* obj - The exception object */
529 /* test_only - Only test if the exception is caught, */
530 /* but don't call handlers */
531 /* */
532 /*------------------------------------------------------------------*/
534 gboolean
535 mono_arch_handle_exception (void *uc, gpointer obj, gboolean test_only)
537 return mono_handle_exception (uc, obj, mono_arch_ip_from_context(uc), test_only);
540 /*========================= End of Function ========================*/
542 /*------------------------------------------------------------------*/
543 /* */
544 /* Name - mono_arch_ip_from_context */
545 /* */
546 /* Function - Return the instruction pointer from the context. */
547 /* */
548 /* Parameters - sigctx - Saved processor state */
549 /* */
550 /*------------------------------------------------------------------*/
552 gpointer
553 mono_arch_ip_from_context (void *sigctx)
555 return ((gpointer) MONO_CONTEXT_GET_IP(((MonoContext *) sigctx)));
559 /*========================= End of Function ========================*/
561 /*------------------------------------------------------------------*/
562 /* */
563 /* Name - mono_arch_get_restore_context */
564 /* */
565 /* Function - Return the address of the routine that will rest- */
566 /* ore the context. */
567 /* */
568 /*------------------------------------------------------------------*/
570 gpointer
571 mono_arch_get_restore_context ()
573 return setcontext;
577 /*========================= End of Function ========================*/
579 /*------------------------------------------------------------------*/
580 /* */
581 /* Name - mono_arch_is_int_overflow */
582 /* */
583 /* Function - Inspect the code that raised the SIGFPE signal */
584 /* to see if the DivideByZero or Arithmetic exception*/
585 /* should be raised. */
586 /* */
587 /*------------------------------------------------------------------*/
589 gboolean
590 mono_arch_is_int_overflow (void *uc, void *info)
592 MonoContext *ctx;
593 guint8 *code;
594 guint64 *operand;
595 gboolean arithExc = TRUE;
596 gint regNo,
597 idxNo,
598 offset;
600 ctx = (MonoContext *) uc;
601 code = (guint8 *) ((siginfo_t *)info)->si_addr;
602 /*----------------------------------------------------------*/
603 /* Divide operations are the only ones that will give the */
604 /* divide by zero exception so just check for these ops. */
605 /*----------------------------------------------------------*/
606 switch (code[0]) {
607 case 0x1d : /* Divide Register */
608 regNo = code[1] & 0x0f;
609 if (ctx->uc_mcontext.gregs[regNo] == 0)
610 arithExc = FALSE;
611 break;
612 case 0x5d : /* Divide */
613 regNo = (code[2] & 0xf0 >> 8);
614 idxNo = (code[1] & 0x0f);
615 offset = *((guint16 *) code+2) & 0x0fff;
616 operand = (guint64*)(ctx->uc_mcontext.gregs[regNo] + offset);
617 if (idxNo != 0)
618 operand += ctx->uc_mcontext.gregs[idxNo];
619 if (*operand == 0)
620 arithExc = FALSE;
621 break;
622 case 0xb9 : /* DL[GR] or DS[GR] */
623 if ((code[1] == 0x97) || (code[1] == 0x87) ||
624 (code[1] == 0x0d) || (code[1] == 0x1d)) {
625 regNo = (code[3] & 0x0f);
626 if (ctx->uc_mcontext.gregs[regNo] == 0)
627 arithExc = FALSE;
629 break;
630 case 0xe3 : /* DL[G] | DS[G] */
631 if ((code[5] == 0x97) || (code[5] == 0x87) ||
632 (code[5] == 0x0d) || (code[5] == 0x1d)) {
633 regNo = (code[2] & 0xf0 >> 8);
634 idxNo = (code[1] & 0x0f);
635 offset = (code[2] & 0x0f << 8) +
636 code[3] + (code[4] << 12);
637 operand = (guint64*)(ctx->uc_mcontext.gregs[regNo] + offset);
638 if (idxNo != 0)
639 operand += ctx->uc_mcontext.gregs[idxNo];
640 if (*operand == 0)
641 arithExc = FALSE;
643 break;
644 default:
645 arithExc = TRUE;
647 ctx->uc_mcontext.psw.addr = (guint64)code;
648 return (arithExc);
651 /*========================= End of Function ========================*/