1 /*------------------------------------------------------------------*/
3 /* Name - exceptions-s390.c */
5 /* Function - Exception support for S/390. */
7 /* Name - Neale Ferguson (Neale.Ferguson@SoftwareAG-usa.com) */
9 /* Date - January, 2004 */
11 /* Derivation - From exceptions-x86 & exceptions-ppc */
12 /* Paolo Molaro (lupus@ximian.com) */
13 /* Dietmar Maurer (dietmar@ximian.com) */
15 /* Copyright - 2001 Ximian, Inc. */
17 /*------------------------------------------------------------------*/
19 /*------------------------------------------------------------------*/
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(gulong))
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)))
38 #define setup_context(ctx)
40 /*========================= End of Defines =========================*/
42 /*------------------------------------------------------------------*/
44 /*------------------------------------------------------------------*/
52 #include <mono/arch/s390x/s390x-codegen.h>
53 #include <mono/metadata/appdomain.h>
54 #include <mono/metadata/tabledefs.h>
55 #include <mono/metadata/threads.h>
56 #include <mono/metadata/debug-helpers.h>
57 #include <mono/metadata/exception.h>
58 #include <mono/metadata/mono-debug.h>
61 #include "mini-s390x.h"
62 #include "support-s390x.h"
64 /*========================= End of Includes ========================*/
66 /*------------------------------------------------------------------*/
67 /* P r o t o t y p e s */
68 /*------------------------------------------------------------------*/
70 static void throw_exception (MonoObject *, unsigned long, unsigned long,
71 gulong *, gdouble *, gint32 *, guint, gboolean);
72 static gpointer mono_arch_get_throw_exception_generic (int, MonoTrampInfo **,
73 int, gboolean, gboolean);
74 static void handle_signal_exception (gpointer);
76 /*========================= End of Prototypes ======================*/
78 /*------------------------------------------------------------------*/
79 /* G l o b a l V a r i a b l e s */
80 /*------------------------------------------------------------------*/
87 /*====================== End of Global Variables ===================*/
89 /*------------------------------------------------------------------*/
91 /* Name - mono_arch_get_call_filter */
93 /* Function - Return a pointer to a method which calls an */
94 /* exception filter. We also use this function to */
95 /* call finally handlers (we pass NULL as @exc */
96 /* object in this case). */
98 /*------------------------------------------------------------------*/
101 mono_arch_get_call_filter (MonoTrampInfo **info, gboolean aot)
103 static guint8 *start;
104 static int inited = 0;
106 int alloc_size, pos, i;
107 GSList *unwind_ops = NULL;
108 MonoJumpInfo *ji = NULL;
116 /* call_filter (MonoContext *ctx, unsigned long eip, gpointer exc) */
117 code = start = mono_global_codeman_reserve (512);
119 s390_stmg (code, s390_r6, s390_r14, STK_BASE, S390_REG_SAVE_OFFSET);
120 s390_lgr (code, s390_r14, STK_BASE);
121 alloc_size = S390_ALIGN(S390_CALLFILTER_SIZE, S390_STACK_ALIGNMENT);
122 s390_aghi (code, STK_BASE, -alloc_size);
123 s390_stg (code, s390_r14, 0, STK_BASE, 0);
125 /*------------------------------------------------------*/
126 /* save general registers on stack */
127 /*------------------------------------------------------*/
128 s390_stmg (code, s390_r0, STK_BASE, STK_BASE, S390_CALLFILTER_INTREGS);
130 /*------------------------------------------------------*/
131 /* save floating point registers on stack */
132 /*------------------------------------------------------*/
133 pos = S390_CALLFILTER_FLTREGS;
134 for (i = 0; i < 16; ++i) {
135 s390_std (code, i, 0, STK_BASE, pos);
136 pos += sizeof (gdouble);
139 /*------------------------------------------------------*/
140 /* save access registers on stack */
141 /*------------------------------------------------------*/
142 s390_stam (code, s390_a0, s390_a15, STK_BASE, S390_CALLFILTER_ACCREGS);
144 /*------------------------------------------------------*/
146 /*------------------------------------------------------*/
147 s390_lgr (code, s390_r13, s390_r2);
149 /*------------------------------------------------------*/
150 /* Get A(Handler Entry Point) */
151 /*------------------------------------------------------*/
152 s390_lgr (code, s390_r0, s390_r3);
154 /*------------------------------------------------------*/
155 /* Set parameter register with Exception */
156 /*------------------------------------------------------*/
157 s390_lgr (code, s390_r2, s390_r4);
159 /*------------------------------------------------------*/
160 /* Load all registers with values from the context */
161 /*------------------------------------------------------*/
162 s390_lmg (code, s390_r3, s390_r12, s390_r13,
163 G_STRUCT_OFFSET(MonoContext, uc_mcontext.gregs[3]));
164 pos = G_STRUCT_OFFSET(MonoContext, uc_mcontext.fpregs.fprs[0]);
165 for (i = 0; i < 16; ++i) {
166 s390_ld (code, i, 0, s390_r13, pos);
167 pos += sizeof(gdouble);
171 /*------------------------------------------------------*/
172 /* We need to preserve current SP before calling filter */
173 /* with SP from the context */
174 /*------------------------------------------------------*/
175 s390_lgr (code, s390_r14, STK_BASE);
176 s390_lg (code, STK_BASE, 0, s390_r13,
177 G_STRUCT_OFFSET(MonoContext, uc_mcontext.gregs[15]));
178 s390_lgr (code, s390_r13, s390_r14);
181 /*------------------------------------------------------*/
183 /*------------------------------------------------------*/
184 s390_lgr (code, s390_r1, s390_r0);
185 s390_basr (code, s390_r14, s390_r1);
187 /*------------------------------------------------------*/
188 /* Save return value */
189 /*------------------------------------------------------*/
190 s390_lgr (code, s390_r14, s390_r2);
193 /*------------------------------------------------------*/
194 /* Reload our stack register with value saved in context*/
195 /*------------------------------------------------------*/
196 s390_lgr (code, STK_BASE, s390_r13);
199 /*------------------------------------------------------*/
200 /* Restore all the regs from the stack */
201 /*------------------------------------------------------*/
202 s390_lmg (code, s390_r0, s390_r13, STK_BASE, S390_CALLFILTER_INTREGS);
203 pos = S390_CALLFILTER_FLTREGS;
204 for (i = 0; i < 16; ++i) {
205 s390_ld (code, i, 0, STK_BASE, pos);
206 pos += sizeof (gdouble);
209 s390_lgr (code, s390_r2, s390_r14);
210 s390_lam (code, s390_a0, s390_a15, STK_BASE, S390_CALLFILTER_ACCREGS);
211 s390_aghi (code, s390_r15, alloc_size);
212 s390_lmg (code, s390_r6, s390_r14, STK_BASE, S390_REG_SAVE_OFFSET);
213 s390_br (code, s390_r14);
215 g_assert ((code - start) < SZ_THROW);
217 mono_arch_flush_icache(start, code - start);
218 mono_profiler_code_buffer_new (start, code - start, MONO_PROFILER_CODE_BUFFER_EXCEPTION_HANDLING, NULL);
221 *info = mono_tramp_info_create ("call_filter",
222 start, code - start, ji,
228 /*========================= End of Function ========================*/
230 /*------------------------------------------------------------------*/
232 /* Name - throw_exception. */
234 /* Function - Raise an exception based on the parameters passed.*/
236 /*------------------------------------------------------------------*/
239 throw_exception (MonoObject *exc, unsigned long ip, unsigned long sp,
240 gulong *int_regs, gdouble *fp_regs, gint32 *acc_regs,
241 guint fpc, gboolean rethrow)
246 memset(&ctx, 0, sizeof(ctx));
250 /* adjust eip so that it point into the call instruction */
253 for (iReg = 0; iReg < 16; iReg++) {
254 ctx.uc_mcontext.gregs[iReg] = int_regs[iReg];
255 ctx.uc_mcontext.fpregs.fprs[iReg].d = fp_regs[iReg];
256 ctx.uc_mcontext.aregs[iReg] = acc_regs[iReg];
259 ctx.uc_mcontext.fpregs.fpc = fpc;
261 MONO_CONTEXT_SET_BP (&ctx, sp);
262 MONO_CONTEXT_SET_IP (&ctx, ip);
264 if (mono_object_isinst (exc, mono_defaults.exception_class)) {
265 MonoException *mono_ex = (MonoException*)exc;
267 mono_ex->stack_trace = NULL;
268 mono_ex->trace_ips = NULL;
271 // mono_arch_handle_exception (&ctx, exc, FALSE);
272 mono_handle_exception (&ctx, exc);
273 mono_restore_context(&ctx);
275 g_assert_not_reached ();
278 /*========================= End of Function ========================*/
280 /*------------------------------------------------------------------*/
282 /* Name - get_throw_exception_generic */
284 /* Function - Return a function pointer which can be used to */
285 /* raise exceptions. The returned function has the */
286 /* following signature: */
287 /* void (*func) (MonoException *exc); or, */
288 /* void (*func) (char *exc_name); */
290 /*------------------------------------------------------------------*/
293 mono_arch_get_throw_exception_generic (int size, MonoTrampInfo **info,
294 int corlib, gboolean rethrow, gboolean aot)
296 guint8 *code, *start;
297 int alloc_size, pos, i;
298 MonoJumpInfo *ji = NULL;
299 GSList *unwind_ops = NULL;
301 code = start = mono_global_codeman_reserve(size);
303 s390_stmg (code, s390_r6, s390_r14, STK_BASE, S390_REG_SAVE_OFFSET);
304 alloc_size = S390_ALIGN(S390_THROWSTACK_SIZE, S390_STACK_ALIGNMENT);
305 s390_lgr (code, s390_r14, STK_BASE);
306 s390_aghi (code, STK_BASE, -alloc_size);
307 s390_stg (code, s390_r14, 0, STK_BASE, 0);
308 s390_lgr (code, s390_r3, s390_r2);
310 S390_SET (code, s390_r1, (guint8 *)mono_exception_from_token);
311 S390_SET (code, s390_r2, (guint8 *)mono_defaults.exception_class->image);
312 s390_basr (code, s390_r14, s390_r1);
315 /*------------------------------------------------------*/
316 /* save the general registers on the stack */
317 /*------------------------------------------------------*/
318 s390_stmg (code, s390_r0, s390_r13, STK_BASE, S390_THROWSTACK_INTREGS);
320 s390_lgr (code, s390_r1, STK_BASE);
321 s390_aghi (code, s390_r1, alloc_size);
322 /*------------------------------------------------------*/
323 /* save the return address in the parameter register */
324 /*------------------------------------------------------*/
325 s390_lg (code, s390_r3, 0, s390_r1, S390_RET_ADDR_OFFSET);
327 /*------------------------------------------------------*/
328 /* save the floating point registers */
329 /*------------------------------------------------------*/
330 pos = S390_THROWSTACK_FLTREGS;
331 for (i = 0; i < 16; ++i) {
332 s390_std (code, i, 0, STK_BASE, pos);
333 pos += sizeof (gdouble);
335 /*------------------------------------------------------*/
336 /* save the access registers */
337 /*------------------------------------------------------*/
338 s390_stam (code, s390_r0, s390_r15, STK_BASE, S390_THROWSTACK_ACCREGS);
340 /*------------------------------------------------------*/
341 /* call throw_exception (tkn, ip, sp, gr, fr, ar, re) */
342 /* - r2 already contains *exc */
343 /*------------------------------------------------------*/
344 s390_lgr (code, s390_r4, s390_r1); /* caller sp */
346 /*------------------------------------------------------*/
347 /* pointer to the saved int regs */
348 /*------------------------------------------------------*/
349 s390_la (code, s390_r5, 0, STK_BASE, S390_THROWSTACK_INTREGS);
350 s390_la (code, s390_r6, 0, STK_BASE, S390_THROWSTACK_FLTREGS);
351 s390_la (code, s390_r7, 0, STK_BASE, S390_THROWSTACK_ACCREGS);
352 s390_stg (code, s390_r7, 0, STK_BASE, S390_THROWSTACK_ACCPRM);
353 s390_stfpc(code, STK_BASE, S390_THROWSTACK_FPCPRM+4);
354 S390_SET (code, s390_r1, (guint8 *)throw_exception);
355 s390_lghi (code, s390_r7, rethrow);
356 s390_stg (code, s390_r7, 0, STK_BASE, S390_THROWSTACK_RETHROW);
357 s390_basr (code, s390_r14, s390_r1);
358 /* we should never reach this breakpoint */
360 g_assert ((code - start) < size);
362 mono_arch_flush_icache (start, code - start);
363 mono_profiler_code_buffer_new (start, code - start, MONO_PROFILER_CODE_BUFFER_EXCEPTION_HANDLING, NULL);
366 *info = mono_tramp_info_create (corlib ? "throw_corlib_exception"
367 : (rethrow ? "rethrow_exception"
368 : "throw_exception"),
369 start, code - start, ji, unwind_ops);
374 /*========================= End of Function ========================*/
376 /*------------------------------------------------------------------*/
378 /* Name - arch_get_throw_exception */
380 /* Function - Return a function pointer which can be used to */
381 /* raise exceptions. The returned function has the */
382 /* following signature: */
383 /* void (*func) (MonoException *exc); */
385 /*------------------------------------------------------------------*/
388 mono_arch_get_throw_exception (MonoTrampInfo **info, gboolean aot)
395 return (mono_arch_get_throw_exception_generic (SZ_THROW, info, FALSE, FALSE, aot));
398 /*========================= End of Function ========================*/
400 /*------------------------------------------------------------------*/
402 /* Name - arch_get_rethrow_exception */
404 /* Function - Return a function pointer which can be used to */
405 /* raise exceptions. The returned function has the */
406 /* following signature: */
407 /* void (*func) (MonoException *exc); */
409 /*------------------------------------------------------------------*/
412 mono_arch_get_rethrow_exception (MonoTrampInfo **info, gboolean aot)
418 return (mono_arch_get_throw_exception_generic (SZ_THROW, info, FALSE, TRUE, aot));
421 /*========================= End of Function ========================*/
423 /*------------------------------------------------------------------*/
425 /* Name - arch_get_corlib_exception */
427 /* Function - Return a function pointer which can be used to */
428 /* raise corlib exceptions. The return function has */
429 /* the following signature: */
430 /* void (*func) (guint32 token, guint32 offset) */
432 /*------------------------------------------------------------------*/
435 mono_arch_get_throw_corlib_exception (MonoTrampInfo **info, gboolean aot)
441 return (mono_arch_get_throw_exception_generic (SZ_THROW, info, TRUE, FALSE, aot));
444 /*========================= End of Function ========================*/
446 /*------------------------------------------------------------------*/
448 /* Name - mono_arch_unwind_frame */
450 /* Function - See exceptions-amd64.c for docs. */
452 /*------------------------------------------------------------------*/
455 mono_arch_unwind_frame (MonoDomain *domain, MonoJitTlsData *jit_tls,
456 MonoJitInfo *ji, MonoContext *ctx,
457 MonoContext *new_ctx, MonoLMF **lmf,
458 mgreg_t **save_locations,
459 StackFrameInfo *frame)
461 gpointer ip = (gpointer) MONO_CONTEXT_GET_IP (ctx);
463 memset (frame, 0, sizeof (StackFrameInfo));
471 guint32 unwind_info_len;
475 if (ji->is_trampoline)
476 frame->type = FRAME_TYPE_TRAMPOLINE;
478 frame->type = FRAME_TYPE_MANAGED;
480 unwind_info = mono_jinfo_get_unwind_info (ji, &unwind_info_len);
482 address = (char *)ip - (char *)ji->code_start;
484 memcpy(®s, &ctx->uc_mcontext.gregs, sizeof(regs));
485 mono_unwind_frame (unwind_info, unwind_info_len, ji->code_start,
486 (guint8 *) ji->code_start + ji->code_size,
487 ip, NULL, regs, 16, save_locations,
488 MONO_MAX_IREGS, &cfa);
489 memcpy (&new_ctx->uc_mcontext.gregs, ®s, sizeof(regs));
490 MONO_CONTEXT_SET_IP(new_ctx, regs[14] - 2);
491 MONO_CONTEXT_SET_BP(new_ctx, cfa);
496 ji = mini_jit_info_table_find (domain, (gpointer)(*lmf)->eip, NULL);
501 frame->method = (*lmf)->method;
505 frame->type = FRAME_TYPE_MANAGED_TO_NATIVE;
507 memcpy(new_ctx->uc_mcontext.gregs, (*lmf)->gregs, sizeof((*lmf)->gregs));
508 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 - 2);
511 *lmf = (*lmf)->previous_lmf;
519 /*========================= End of Function ========================*/
521 /*------------------------------------------------------------------*/
523 /* Name - handle_signal_exception */
525 /* Function - Handle an exception raised by the JIT code. */
527 /* Parameters - obj - The exception object */
529 /*------------------------------------------------------------------*/
532 handle_signal_exception (gpointer obj)
534 MonoJitTlsData *jit_tls = mono_native_tls_get_value (mono_jit_tls_id);
537 memcpy (&ctx, &jit_tls->ex_ctx, sizeof (MonoContext));
538 mono_handle_exception (&ctx, obj);
539 mono_restore_context (&ctx);
542 /*========================= End of Function ========================*/
544 /*------------------------------------------------------------------*/
546 /* Name - mono_arch_handle_exception */
548 /* Function - Handle an exception raised by the JIT code. */
550 /* Parameters - ctx - Saved processor state */
551 /* obj - The exception object */
553 /*------------------------------------------------------------------*/
556 mono_arch_handle_exception (void *sigctx, gpointer obj)
561 * Handling the exception in the signal handler is problematic, since the original
562 * signal is disabled, and we could run arbitrary code though the debugger. So
563 * resume into the normal stack and do most work there if possible.
565 MonoJitTlsData *jit_tls = mono_native_tls_get_value (mono_jit_tls_id);
567 /* Pass the ctx parameter in TLS */
568 mono_sigctx_to_monoctx (sigctx, &jit_tls->ex_ctx);
570 mctx = jit_tls->ex_ctx;
571 mono_arch_setup_async_callback (&mctx, handle_signal_exception, obj);
572 mono_monoctx_to_sigctx (&mctx, sigctx);
577 /*========================= End of Function ========================*/
579 /*------------------------------------------------------------------*/
581 /* Name - mono_arch_setup_async_callback */
583 /* Function - Establish the async callback. */
585 /* Parameters - ctx - Context */
586 /* async_cb - Callback routine address */
587 /* user_data - Data to be passed to callback */
589 /*------------------------------------------------------------------*/
592 mono_arch_setup_async_callback (MonoContext *ctx, void (*async_cb)(void *fun), gpointer user_data)
594 uintptr_t sp = (uintptr_t) MONO_CONTEXT_GET_SP(ctx);
596 ctx->uc_mcontext.gregs[2] = (unsigned long) user_data;
598 sp -= S390_MINIMAL_STACK_SIZE;
599 *(unsigned long *)sp = MONO_CONTEXT_GET_SP(ctx);
600 MONO_CONTEXT_SET_BP(ctx, sp);
601 MONO_CONTEXT_SET_IP(ctx, (unsigned long) async_cb);
604 /*========================= End of Function ========================*/
606 /*------------------------------------------------------------------*/
608 /* Name - mono_arch_ip_from_context */
610 /* Function - Return the instruction pointer from the context. */
612 /* Parameters - sigctx - Saved processor state */
614 /*------------------------------------------------------------------*/
617 mono_arch_ip_from_context (void *sigctx)
619 return ((gpointer) MONO_CONTEXT_GET_IP(((MonoContext *) sigctx)));
623 /*========================= End of Function ========================*/
625 /*------------------------------------------------------------------*/
627 /* Name - mono_arch_get_restore_context */
629 /* Function - Return the address of the routine that will rest- */
630 /* ore the context. */
632 /*------------------------------------------------------------------*/
635 mono_arch_get_restore_context (MonoTrampInfo **info, gboolean aot)
644 /*========================= End of Function ========================*/
646 /*------------------------------------------------------------------*/
648 /* Name - mono_arch_is_int_overflow */
650 /* Function - Inspect the code that raised the SIGFPE signal */
651 /* to see if the DivideByZero or Arithmetic exception*/
652 /* should be raised. */
654 /*------------------------------------------------------------------*/
657 mono_arch_is_int_overflow (void *uc, void *info)
662 gboolean arithExc = TRUE;
667 ctx = (MonoContext *) uc;
668 code = (guint8 *) ((siginfo_t *)info)->si_addr;
669 /*----------------------------------------------------------*/
670 /* Divide operations are the only ones that will give the */
671 /* divide by zero exception so just check for these ops. */
672 /*----------------------------------------------------------*/
674 case 0x1d : /* Divide Register */
675 regNo = code[1] & 0x0f;
676 if (ctx->uc_mcontext.gregs[regNo] == 0)
679 case 0x5d : /* Divide */
680 regNo = (code[2] & 0xf0 >> 8);
681 idxNo = (code[1] & 0x0f);
682 offset = *((guint16 *) code+2) & 0x0fff;
683 operand = (guint64*)(ctx->uc_mcontext.gregs[regNo] + offset);
685 operand += ctx->uc_mcontext.gregs[idxNo];
689 case 0xb9 : /* DL[GR] or DS[GR] */
690 if ((code[1] == 0x97) || (code[1] == 0x87) ||
691 (code[1] == 0x0d) || (code[1] == 0x1d)) {
692 regNo = (code[3] & 0x0f);
693 if (ctx->uc_mcontext.gregs[regNo] == 0)
697 case 0xe3 : /* DL[G] | DS[G] */
698 if ((code[5] == 0x97) || (code[5] == 0x87) ||
699 (code[5] == 0x0d) || (code[5] == 0x1d)) {
700 regNo = (code[2] & 0xf0 >> 8);
701 idxNo = (code[1] & 0x0f);
702 offset = (code[2] & 0x0f << 8) +
703 code[3] + (code[4] << 12);
704 operand = (guint64*)(ctx->uc_mcontext.gregs[regNo] + offset);
706 operand += ctx->uc_mcontext.gregs[idxNo];
714 ctx->uc_mcontext.psw.addr = (guint64)code;
718 /*========================= End of Function ========================*/