3 * exception support for sparc
6 * Mark Crichton (crichton@gimp.org)
7 * Dietmar Maurer (dietmar@ximian.com)
9 * (C) 2003 Ximian, Inc.
16 #include <sys/ucontext.h>
18 #include <mono/arch/sparc/sparc-codegen.h>
19 #include <mono/metadata/appdomain.h>
20 #include <mono/metadata/tabledefs.h>
21 #include <mono/metadata/threads.h>
22 #include <mono/metadata/debug-helpers.h>
23 #include <mono/metadata/exception.h>
24 #include <mono/metadata/mono-debug.h>
25 #include <mono/metadata/gc-internals.h>
26 #include <mono/metadata/tokentype.h>
29 #include "mini-sparc.h"
35 #define MONO_SPARC_WINDOW_ADDR(sp) ((gpointer*)(((guint8*)(sp)) + MONO_SPARC_STACK_BIAS))
38 * mono_arch_get_restore_context:
40 * Returns a pointer to a method which restores a previously saved sigcontext.
43 mono_arch_get_restore_context (MonoTrampInfo **info, gboolean aot)
45 static guint32 *start;
46 static int inited = 0;
56 code = start = mono_global_codeman_reserve (32 * sizeof (guint32));
58 sparc_ldi_imm (code, sparc_o0, G_STRUCT_OFFSET (MonoContext, ip), sparc_i7);
59 sparc_ldi_imm (code, sparc_o0, G_STRUCT_OFFSET (MonoContext, sp), sparc_i6);
61 sparc_jmpl_imm (code, sparc_i7, 0, sparc_g0);
62 /* FIXME: This does not return to the correct window */
63 sparc_restore_imm (code, sparc_g0, 0, sparc_g0);
65 g_assert ((code - start) < 32);
67 mono_arch_flush_icache ((guint8*)start, (guint8*)code - (guint8*)start);
75 * mono_arch_get_call_filter:
77 * Returns a pointer to a method which calls an exception filter. We
78 * also use this function to call finally handlers (we pass NULL as
79 * @exc object in this case).
81 * call_filter (MonoContext *ctx, gpointer ip)
84 mono_arch_get_call_filter (MonoTrampInfo **info, gboolean aot)
86 static guint32 *start;
87 static int inited = 0;
98 code = start = mono_global_codeman_reserve (64 * sizeof (guint32));
101 * There are two frames here:
102 * - the first frame is used by call_filter
103 * - the second frame is used to run the filter code
106 /* Create first frame */
107 sparc_save_imm (code, sparc_sp, -256, sparc_sp);
109 sparc_mov_reg_reg (code, sparc_i1, sparc_o0);
110 sparc_ldi_imm (code, sparc_i0, G_STRUCT_OFFSET (MonoContext, sp), sparc_o1);
112 /* Create second frame */
113 sparc_save_imm (code, sparc_sp, -256, sparc_sp);
115 sparc_mov_reg_reg (code, sparc_i0, sparc_o0);
116 sparc_mov_reg_reg (code, sparc_i1, sparc_o1);
119 * We need to change %fp to point to the stack frame of the method
120 * containing the filter. But changing %fp also changes the %sp of
121 * the parent frame (the first frame), so if the OS saves the first frame,
122 * it saves it to the stack frame of the method, which is not good.
123 * So flush all register windows to memory before changing %fp.
127 sparc_mov_reg_reg (code, sparc_fp, sparc_o7);
130 * Modify the second frame so it is identical to the one used in the
131 * method containing the filter.
133 for (i = 0; i < 16; ++i)
134 sparc_ldi_imm (code, sparc_o1, MONO_SPARC_STACK_BIAS + i * sizeof (gpointer), sparc_l0 + i);
136 /* Save %fp to a location reserved in mono_arch_allocate_vars */
137 sparc_sti_imm (code, sparc_o7, sparc_fp, MONO_SPARC_STACK_BIAS - sizeof (gpointer));
139 /* Call the filter code, after this returns, %o0 will hold the result */
140 sparc_call_imm (code, sparc_o0, 0);
143 /* Restore original %fp */
144 sparc_ldi_imm (code, sparc_fp, MONO_SPARC_STACK_BIAS - sizeof (gpointer), sparc_fp);
146 sparc_mov_reg_reg (code, sparc_o0, sparc_i0);
148 /* Return to first frame */
149 sparc_restore (code, sparc_g0, sparc_g0, sparc_g0);
151 /* FIXME: Save locals to the stack */
153 /* Return to caller */
155 /* Return result in delay slot */
156 sparc_restore (code, sparc_o0, sparc_g0, sparc_o0);
158 g_assert ((code - start) < 64);
160 mono_arch_flush_icache ((guint8*)start, (guint8*)code - (guint8*)start);
168 throw_exception (MonoObject *exc, gpointer sp, gpointer ip, gboolean rethrow)
172 static void (*restore_context) (MonoContext *);
175 if (!restore_context)
176 restore_context = mono_get_restore_context ();
178 window = MONO_SPARC_WINDOW_ADDR (sp);
179 ctx.sp = (gpointer*)sp;
181 ctx.fp = (gpointer*)(MONO_SPARC_WINDOW_ADDR (sp) [sparc_i6 - 16]);
183 if (mono_object_isinst_checked (exc, mono_defaults.exception_class, &error)) {
184 MonoException *mono_ex = (MonoException*)exc;
186 mono_ex->stack_trace = NULL;
187 mono_ex->trace_ips = NULL;
190 mono_error_assert_ok (&error);
191 mono_handle_exception (&ctx, exc);
192 restore_context (&ctx);
194 g_assert_not_reached ();
198 get_throw_exception (gboolean rethrow)
200 guint32 *start, *code;
202 code = start = mono_global_codeman_reserve (16 * sizeof (guint32));
204 sparc_save_imm (code, sparc_sp, -512, sparc_sp);
207 sparc_mov_reg_reg (code, sparc_i0, sparc_o0);
208 sparc_mov_reg_reg (code, sparc_fp, sparc_o1);
209 sparc_mov_reg_reg (code, sparc_i7, sparc_o2);
210 sparc_set (code, rethrow, sparc_o3);
211 sparc_set (code, throw_exception, sparc_o7);
212 sparc_jmpl (code, sparc_o7, sparc_g0, sparc_callsite);
215 g_assert ((code - start) <= 16);
217 mono_arch_flush_icache ((guint8*)start, (guint8*)code - (guint8*)start);
223 * mono_arch_get_throw_exception:
224 * \returns a function pointer which can be used to raise exceptions.
225 * The returned function has the following
226 * signature: void (*func) (MonoException *exc);
229 mono_arch_get_throw_exception (MonoTrampInfo **info, gboolean aot)
231 static guint32* start;
232 static int inited = 0;
243 start = get_throw_exception (FALSE);
249 mono_arch_get_rethrow_exception (MonoTrampInfo **info, gboolean aot)
251 static guint32* start;
252 static int inited = 0;
263 start = get_throw_exception (TRUE);
269 * mono_arch_get_throw_corlib_exception:
270 * \returns a function pointer which can be used to raise
271 * corlib exceptions. The returned function has the following
272 * signature: void (*func) (guint32 ex_token, guint32 offset);
273 * Here, offset is the offset which needs to be substracted from the caller IP
274 * to get the IP of the throw. Passing the offset has the advantage that it
275 * needs no relocations in the caller.
278 mono_arch_get_throw_corlib_exception (MonoTrampInfo **info, gboolean aot)
280 static guint32 *start;
281 static int inited = 0;
293 code = start = mono_global_codeman_reserve (64 * sizeof (guint32));
301 sparc_mov_reg_reg (code, sparc_o7, sparc_o2);
302 sparc_save_imm (code, sparc_sp, -160, sparc_sp);
304 sparc_set (code, MONO_TOKEN_TYPE_DEF, sparc_o7);
305 sparc_add (code, FALSE, sparc_i0, sparc_o7, sparc_o1);
306 sparc_set (code, mono_defaults.exception_class->image, sparc_o0);
307 sparc_set (code, mono_exception_from_token, sparc_o7);
308 sparc_jmpl (code, sparc_o7, sparc_g0, sparc_callsite);
311 /* Return to the caller, so exception handling does not see this frame */
312 sparc_restore (code, sparc_o0, sparc_g0, sparc_o0);
314 /* Compute throw ip */
315 sparc_sll_imm (code, sparc_o1, 2, sparc_o1);
316 sparc_sub (code, 0, sparc_o2, sparc_o1, sparc_o7);
318 sparc_set (code, mono_arch_get_throw_exception (NULL, FALSE), reg);
319 /* Use a jmp instead of a call so o7 is preserved */
320 sparc_jmpl_imm (code, reg, 0, sparc_g0);
323 g_assert ((code - start) < 32);
325 mono_arch_flush_icache ((guint8*)start, (guint8*)code - (guint8*)start);
330 /* mono_arch_unwind_frame:
332 * This function is used to gather information from @ctx. It return the
333 * MonoJitInfo of the corresponding function, unwinds one stack frame and
334 * stores the resulting context into @new_ctx. It also stores a string
335 * describing the stack location into @trace (if not NULL), and modifies
336 * the @lmf if necessary. @native_offset return the IP offset from the
337 * start of the function or -1 if that info is not available.
340 mono_arch_unwind_frame (MonoDomain *domain, MonoJitTlsData *jit_tls,
341 MonoJitInfo *ji, MonoContext *ctx,
342 MonoContext *new_ctx, MonoLMF **lmf,
343 mgreg_t **save_locations,
344 StackFrameInfo *frame)
348 memset (frame, 0, sizeof (StackFrameInfo));
354 if (ji->is_trampoline)
355 frame->type = FRAME_TYPE_TRAMPOLINE;
357 frame->type = FRAME_TYPE_MANAGED;
359 /* Restore ip and sp from the saved register window */
360 window = MONO_SPARC_WINDOW_ADDR (ctx->sp);
361 new_ctx->ip = window [sparc_i7 - 16];
362 new_ctx->sp = (gpointer*)(window [sparc_i6 - 16]);
363 new_ctx->fp = (gpointer*)(MONO_SPARC_WINDOW_ADDR (new_ctx->sp) [sparc_i6 - 16]);
374 ji = mini_jit_info_table_find (domain, (gpointer)(*lmf)->ip, NULL);
379 frame->type = FRAME_TYPE_MANAGED_TO_NATIVE;
381 new_ctx->ip = (*lmf)->ip;
382 new_ctx->sp = (*lmf)->sp;
383 new_ctx->fp = (*lmf)->ebp;
385 *lmf = (*lmf)->previous_lmf;
394 mono_arch_handle_exception (void *sigctx, gpointer obj)
397 struct sigcontext *sc = sigctx;
401 mctx.ip = (gpointer) sc->sigc_regs.tpc;
402 mctx.sp = (gpointer) sc->sigc_regs.u_regs[14];
404 mctx.ip = (gpointer) sc->si_regs.pc;
405 mctx.sp = (gpointer) sc->si_regs.u_regs[14];
408 window = (gpointer*)(((guint8*)mctx.sp) + MONO_SPARC_STACK_BIAS);
409 mctx.fp = window [sparc_fp - 16];
411 mono_handle_exception (&mctx, obj);
414 sc->sigc_regs.tpc = (unsigned long) mctx.ip;
415 sc->sigc_regs.tnpc = (unsigned long) (mctx.ip + 4);
416 sc->sigc_regs.u_regs[14] = (unsigned long) mctx.sp;
418 sc->si_regs.pc = (unsigned long) mctx.ip;
419 sc->si_regs.npc = (unsigned long) (mctx.ip + 4);
420 sc->si_regs.u_regs[14] = (unsigned long) mctx.sp;
423 window = (gpointer*)(((guint8*)mctx.sp) + MONO_SPARC_STACK_BIAS);
424 window [sparc_fp - 16] = mctx.fp;
430 mono_arch_ip_from_context (void *sigctx)
432 struct sigcontext *sc = sigctx;
436 ret = (gpointer) sc->sigc_regs.tpc;
438 ret = (gpointer) sc->si_regs.pc;
444 #else /* !__linux__ */
447 mono_arch_handle_exception (void *sigctx, gpointer obj)
450 ucontext_t *ctx = (ucontext_t*)sigctx;
454 * Access to the machine state using the ucontext_t parameter is somewhat
455 * under documented under solaris. The code below seems to work under
458 g_assert (!ctx->uc_mcontext.gwins);
460 mctx.ip = ctx->uc_mcontext.gregs [REG_PC];
461 mctx.sp = ctx->uc_mcontext.gregs [REG_SP];
462 window = (gpointer*)(((guint8*)mctx.sp) + MONO_SPARC_STACK_BIAS);
463 mctx.fp = window [sparc_fp - 16];
465 mono_handle_exception (&mctx, obj);
467 /* We can't use restore_context to return from a signal handler */
468 ctx->uc_mcontext.gregs [REG_PC] = mctx.ip;
469 ctx->uc_mcontext.gregs [REG_nPC] = mctx.ip + 4;
470 ctx->uc_mcontext.gregs [REG_SP] = mctx.sp;
471 window = (gpointer*)(((guint8*)mctx.sp) + MONO_SPARC_STACK_BIAS);
472 window [sparc_fp - 16] = mctx.fp;
478 mono_arch_ip_from_context (void *sigctx)
480 ucontext_t *ctx = (ucontext_t*)sigctx;
481 return (gpointer)ctx->uc_mcontext.gregs [REG_PC];