?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
2009-12-30 Rodrigo Kumpera <rkumpera@novell.com>
[mono.git] / mono / mini / exceptions-alpha.c
blob598cc2587328364882d6083b482b6b7e4433a213
1 /*------------------------------------------------------------------*/
2 /* */
3 /* Name - exceptions-alpha.c */
4 /* */
5 /* Function - Exception support for Alpha. */
6 /* */
7 /* Name - Sergey Tikhonov (tsv@solvo.ru) */
8 /* */
9 /* Date - January, 2006 */
10 /* */
11 /* Derivation - From exceptions-amd64 & exceptions-ia64 */
12 /* Paolo Molaro (lupus@ximian.com) */
13 /* Dietmar Maurer (dietmar@ximian.com) */
14 /* Zoltan Varga (vargaz@gmail.com) */
15 /* */
16 /* */
17 /*------------------------------------------------------------------*/
18
19 /*------------------------------------------------------------------*/
20 /* D e f i n e s */
21 /*------------------------------------------------------------------*/
22 #define ALPHA_DEBUG(x) \
23 if (mini_alpha_verbose_level) \
24 g_debug ("ALPHA_DEBUG: %s is called.", x);
25
26 #define ALPHA_PRINT if (mini_alpha_verbose_level)
27
28 #define SZ_THROW 384
29
30 extern int mini_alpha_verbose_level;
31
32 /*========================= End of Defines =========================*/
33
34
35 /*------------------------------------------------------------------*/
36 /* I n c l u d e s */
37 /*------------------------------------------------------------------*/
38
39 #include <config.h>
40 #include <glib.h>
41 #include <signal.h>
42 #include <string.h>
43 #include <ucontext.h>
44
45 #include <mono/arch/alpha/alpha-codegen.h>
46 #include <mono/metadata/appdomain.h>
47 #include <mono/metadata/tabledefs.h>
48 #include <mono/metadata/threads.h>
49 #include <mono/metadata/debug-helpers.h>
50 #include <mono/metadata/exception.h>
51 #include <mono/metadata/mono-debug.h>
52
53 #include "mini.h"
54 #include "mini-alpha.h"
55
56 /*========================= End of Includes ========================*/
57
58 /*------------------------------------------------------------------*/
59 /* */
60 /* Name - mono_arch_get_call_filter */
61 /* */
62 /* Function - Return a pointer to a method which calls an */
63 /* exception filter. We also use this function to */
64 /* call finally handlers (we pass NULL as @exc */
65 /* object in this case). */
66 /* */
67 /*------------------------------------------------------------------*/
68
69 gpointer
70 mono_arch_get_call_filter (void)
71 {
72 static gboolean inited = FALSE;
73 static unsigned int *start_code;
74 unsigned int *code;
75
76 ALPHA_DEBUG("mono_arch_get_call_filter");
77
78 if (inited)
79 return start_code;
80
81 start_code = code = mono_global_codeman_reserve (128 * 4);
82
83 /* call_filter (MonoContext *ctx, unsigned long eip) */
84 code = start_code;
85
86 alpha_ldah( code, alpha_gp, alpha_pv, 0 );
87 alpha_lda( code, alpha_gp, alpha_gp, 0 ); // ldgp gp, 0(pv)
88
89 /* store call convention parameters on stack */
90 alpha_lda(code, alpha_sp, alpha_sp, -(8*25)); // Save 22 regs + RA, FP
91 alpha_stq(code, alpha_ra, alpha_sp, 0);
92 alpha_stq(code, alpha_fp, alpha_sp, 8);
93
94 /* set the frame pointer */
95 alpha_mov1( code, alpha_sp, alpha_fp );
96
97 /* Save registers */
98 alpha_stq(code, alpha_r1, alpha_fp, (16+(8*0)));
99 alpha_stq(code, alpha_r2, alpha_fp, (16+(8*1)));
100 alpha_stq(code, alpha_r3, alpha_fp, (16+(8*2)));
101 alpha_stq(code, alpha_r4, alpha_fp, (16+(8*3)));
102 alpha_stq(code, alpha_r5, alpha_fp, (16+(8*4)));
103 alpha_stq(code, alpha_r6, alpha_fp, (16+(8*5)));
104 alpha_stq(code, alpha_r7, alpha_fp, (16+(8*6)));
105 alpha_stq(code, alpha_r8, alpha_fp, (16+(8*7)));
106 alpha_stq(code, alpha_r9, alpha_fp, (16+(8*8)));
107 alpha_stq(code, alpha_r10, alpha_fp, (16+(8*9)));
108 alpha_stq(code, alpha_r11, alpha_fp, (16+(8*10)));
109 alpha_stq(code, alpha_r12, alpha_fp, (16+(8*11)));
110 alpha_stq(code, alpha_r13, alpha_fp, (16+(8*12)));
111 alpha_stq(code, alpha_r14, alpha_fp, (16+(8*13)));
112 alpha_stq(code, alpha_r22, alpha_fp, (16+(8*14)));
113 alpha_stq(code, alpha_r23, alpha_fp, (16+(8*15)));
114 alpha_stq(code, alpha_r24, alpha_fp, (16+(8*16)));
115 alpha_stq(code, alpha_r25, alpha_fp, (16+(8*17)));
116 alpha_stq(code, alpha_r26, alpha_fp, (16+(8*18)));
117 alpha_stq(code, alpha_r27, alpha_fp, (16+(8*19)));
118 alpha_stq(code, alpha_r28, alpha_fp, (16+(8*20)));
119 alpha_stq(code, alpha_r29, alpha_fp, (16+(8*21)));
120
121 /* Load regs from ctx */
122
123 alpha_ldq(code, alpha_r1, alpha_a0,
124 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r1]));
125 alpha_ldq(code, alpha_r2, alpha_a0,
126 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r2]));
127 alpha_ldq(code, alpha_r3, alpha_a0,
128 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r3]));
129 alpha_ldq(code, alpha_r4, alpha_a0,
130 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r4]));
131 alpha_ldq(code, alpha_r5, alpha_a0,
132 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r5]));
133 alpha_ldq(code, alpha_r6, alpha_a0,
134 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r6]));
135 alpha_ldq(code, alpha_r7, alpha_a0,
136 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r7]));
137 alpha_ldq(code, alpha_r8, alpha_a0,
138 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r8]));
139 alpha_ldq(code, alpha_r9, alpha_a0,
140 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r9]));
141 alpha_ldq(code, alpha_r10, alpha_a0,
142 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r10]));
143 alpha_ldq(code, alpha_r11, alpha_a0,
144 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r11]));
145 alpha_ldq(code, alpha_r12, alpha_a0,
146 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r12]));
147 alpha_ldq(code, alpha_r13, alpha_a0,
148 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r13]));
149 alpha_ldq(code, alpha_r14, alpha_a0,
150 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r14]));
151 alpha_ldq(code, alpha_r15, alpha_a0,
152 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r15]));
153 alpha_ldq(code, alpha_r22, alpha_a0,
154 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r22]));
155 alpha_ldq(code, alpha_r23, alpha_a0,
156 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r23]));
157 alpha_ldq(code, alpha_r24, alpha_a0,
158 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r24]));
159 alpha_ldq(code, alpha_r25, alpha_a0,
160 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r25]));
161 alpha_ldq(code, alpha_r26, alpha_a0,
162 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r26]));
163 alpha_ldq(code, alpha_r27, alpha_a0,
164 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r27]));
165 alpha_ldq(code, alpha_r28, alpha_a0,
166 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r28]));
167 alpha_ldq(code, alpha_r29, alpha_a0,
168 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r29]));
169
170 alpha_mov1(code, alpha_a1, alpha_pv);
171
172 /* call the handler */
173 alpha_jsr(code, alpha_ra, alpha_pv, 0);
174
175 /* restore saved regs */
176 alpha_ldq(code, alpha_r1, alpha_sp, (16+(8*0)));
177 alpha_ldq(code, alpha_r2, alpha_sp, (16+(8*1)));
178 alpha_ldq(code, alpha_r3, alpha_sp, (16+(8*2)));
179 alpha_ldq(code, alpha_r4, alpha_sp, (16+(8*3)));
180 alpha_ldq(code, alpha_r5, alpha_sp, (16+(8*4)));
181 alpha_ldq(code, alpha_r6, alpha_sp, (16+(8*5)));
182 alpha_ldq(code, alpha_r7, alpha_sp, (16+(8*6)));
183 alpha_ldq(code, alpha_r8, alpha_sp, (16+(8*7)));
184 alpha_ldq(code, alpha_r9, alpha_sp, (16+(8*8)));
185 alpha_ldq(code, alpha_r10, alpha_sp, (16+(8*9)));
186 alpha_ldq(code, alpha_r11, alpha_sp, (16+(8*10)));
187 alpha_ldq(code, alpha_r12, alpha_sp, (16+(8*11)));
188 alpha_ldq(code, alpha_r13, alpha_sp, (16+(8*12)));
189 alpha_ldq(code, alpha_r14, alpha_sp, (16+(8*13)));
190 alpha_ldq(code, alpha_r22, alpha_sp, (16+(8*14)));
191 alpha_ldq(code, alpha_r23, alpha_sp, (16+(8*15)));
192 alpha_ldq(code, alpha_r24, alpha_sp, (16+(8*16)));
193 alpha_ldq(code, alpha_r25, alpha_sp, (16+(8*17)));
194 alpha_ldq(code, alpha_r26, alpha_sp, (16+(8*18)));
195 alpha_ldq(code, alpha_r27, alpha_sp, (16+(8*19)));
196 alpha_ldq(code, alpha_r28, alpha_sp, (16+(8*20)));
197 alpha_ldq(code, alpha_r29, alpha_sp, (16+(8*21)));
198
199 alpha_ldq(code, alpha_ra, alpha_sp, 0);
200 alpha_ldq(code, alpha_fp, alpha_sp, 8);
201 alpha_lda(code, alpha_sp, alpha_sp, (8*25)); // Save 22 regs + RA, FP
202
203 alpha_ret(code, alpha_ra, 1);
204
205 inited = TRUE;
206
207 g_assert (( ((char *)code) - (char *)start_code) < 128 * 4);
208
209 return start_code;
210 }
211
212 /*========================= End of Function ========================*/
213
214 /*------------------------------------------------------------------*/
215 /* */
216 /* Name - arch_get_throw_exception */
217 /* */
218 /* Function - Return a function pointer which can be used to */
219 /* raise exceptions. The returned function has the */
220 /* following signature: */
221 /* void (*func) (MonoException *exc); */
222 /* */
223 /*------------------------------------------------------------------*/
224
225 static void throw_exception(MonoException *exc, unsigned long RA,
226 unsigned long *SP, unsigned long rethrow)
227 {
228 static void (*restore_context) (MonoContext *);
229 MonoContext ctx;
230 unsigned long *LSP = SP - 24;
231
232 //g_print("ALPHA: throw_exception - Exc: %p, RA: %0lX, SP: %p\n",
233 // exc, RA, SP);
234
235 if (!restore_context)
236 restore_context = mono_arch_get_restore_context ();
237
238 // Save stored regs into context
239 ctx.uc_mcontext.sc_regs[alpha_r0] = LSP[0];
240 ctx.uc_mcontext.sc_regs[alpha_r1] = LSP[1];
241 ctx.uc_mcontext.sc_regs[alpha_r2] = LSP[2];
242 ctx.uc_mcontext.sc_regs[alpha_r3] = LSP[3];
243 ctx.uc_mcontext.sc_regs[alpha_r4] = LSP[4];
244 ctx.uc_mcontext.sc_regs[alpha_r5] = LSP[5];
245 ctx.uc_mcontext.sc_regs[alpha_r6] = LSP[6];
246 ctx.uc_mcontext.sc_regs[alpha_r7] = LSP[7];
247 ctx.uc_mcontext.sc_regs[alpha_r8] = LSP[8];
248 ctx.uc_mcontext.sc_regs[alpha_r9] = LSP[9];
249 ctx.uc_mcontext.sc_regs[alpha_r10] = LSP[10];
250 ctx.uc_mcontext.sc_regs[alpha_r11] = LSP[11];
251 ctx.uc_mcontext.sc_regs[alpha_r12] = LSP[12];
252 ctx.uc_mcontext.sc_regs[alpha_r13] = LSP[13];
253 ctx.uc_mcontext.sc_regs[alpha_r14] = LSP[14];
254 ctx.uc_mcontext.sc_regs[alpha_r15] = LSP[15];
255 ctx.uc_mcontext.sc_regs[alpha_r22] = LSP[16];
256 ctx.uc_mcontext.sc_regs[alpha_r23] = LSP[17];
257 ctx.uc_mcontext.sc_regs[alpha_r24] = LSP[18];
258 ctx.uc_mcontext.sc_regs[alpha_r25] = LSP[19];
259 ctx.uc_mcontext.sc_regs[alpha_r26] = LSP[20];
260 ctx.uc_mcontext.sc_regs[alpha_r27] = LSP[21];
261 ctx.uc_mcontext.sc_regs[alpha_r28] = LSP[22];
262 ctx.uc_mcontext.sc_regs[alpha_r29] = LSP[23];
263
264 ctx.uc_mcontext.sc_regs[alpha_r30] = (unsigned long)SP;
265 ctx.uc_mcontext.sc_pc = RA;
266
267 if (mono_object_isinst (exc, mono_defaults.exception_class))
268 {
269 MonoException *mono_ex = (MonoException*)exc;
270 if (!rethrow)
271 mono_ex->stack_trace = NULL;
272 }
273
274 mono_handle_exception (&ctx, exc, (gpointer)RA, FALSE);
275
276 restore_context(&ctx);
277
278 g_assert_not_reached ();
279 }
280
281 /*
282 ** This trampoline code is called from the code as action on
283 ** throw opcode. It should save all necessary regs somethere and
284 ** call the C function to do the rest.
285 ** For Alpha trampoline code should allocate space on stack and
286 ** save all registers into it. Then call "throw_exception"
287 ** function with "exc" info and saved registers. The "throw_exception"
288 ** should handle the rest. The "throw_exception" has signature
289 ** void (*throw_exception)(MonoException *, long PC, long SP)
290 ** The stack layout is:
291 ** R0, R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14,
292 ** R15, R22, R23, R24, R25, R26, R27, R28, R29
293 **
294 **
295 */
296
297 static gpointer
298 get_throw_trampoline (gboolean rethrow)
299 {
300 guint8 *start_code;
301 unsigned int *code;
302
303 start_code = mono_global_codeman_reserve (46*4);
304
305 code = (unsigned int *)start_code;
306
307 /* Exception is in a0 already */
308 alpha_mov1(code, alpha_ra, alpha_a1); // Return address
309 alpha_mov1(code, alpha_sp, alpha_a2); // Stack pointer
310
311 if (rethrow)
312 alpha_lda(code, alpha_a3, alpha_zero, 1);
313 else
314 alpha_mov1(code, alpha_zero, alpha_a3);
315
316 alpha_lda(code, alpha_sp, alpha_sp, -(24*8)); // Allocate stack for regs
317
318 alpha_stq(code, alpha_r0, alpha_sp, 0*8);
319 alpha_stq(code, alpha_r1, alpha_sp, 1*8);
320 alpha_stq(code, alpha_r2, alpha_sp, 2*8);
321 alpha_stq(code, alpha_r3, alpha_sp, 3*8);
322 alpha_stq(code, alpha_r4, alpha_sp, 4*8);
323 alpha_stq(code, alpha_r5, alpha_sp, 5*8);
324 alpha_stq(code, alpha_r6, alpha_sp, 6*8);
325 alpha_stq(code, alpha_r7, alpha_sp, 7*8);
326 alpha_stq(code, alpha_r8, alpha_sp, 8*8);
327 alpha_stq(code, alpha_r9, alpha_sp, 9*8);
328 alpha_stq(code, alpha_r10, alpha_sp, 10*8);
329 alpha_stq(code, alpha_r11, alpha_sp, 11*8);
330 alpha_stq(code, alpha_r12, alpha_sp, 12*8);
331 alpha_stq(code, alpha_r13, alpha_sp, 13*8);
332 alpha_stq(code, alpha_r14, alpha_sp, 14*8);
333 alpha_stq(code, alpha_r15, alpha_sp, 15*8);
334 alpha_stq(code, alpha_r22, alpha_sp, 16*8);
335 alpha_stq(code, alpha_r23, alpha_sp, 17*8);
336 alpha_stq(code, alpha_r24, alpha_sp, 18*8);
337 alpha_stq(code, alpha_r25, alpha_sp, 19*8);
338 alpha_stq(code, alpha_r26, alpha_sp, 20*8);
339 alpha_stq(code, alpha_r27, alpha_sp, 21*8);
340 alpha_stq(code, alpha_r28, alpha_sp, 22*8);
341 alpha_stq(code, alpha_r29, alpha_sp, 23*8);
342
343 alpha_mov1(code, alpha_zero, alpha_pv);
344 alpha_lda(code, alpha_r1, alpha_zero,
345 ((unsigned long)throw_exception)&0xFFFF);
346 alpha_lda(code, alpha_r2, alpha_zero,
347 (((unsigned long)throw_exception) >> 16)&0xFFFF);
348 alpha_lda(code, alpha_r3, alpha_zero,
349 (((unsigned long)throw_exception) >> 32)&0xFFFF);
350 alpha_lda(code, alpha_r4, alpha_zero,
351 (((unsigned long)throw_exception) >> 48)&0xFFFF);
352 alpha_zapnot_(code, alpha_r1, 0x3, alpha_r1);
353 alpha_bis(code, alpha_r1, alpha_pv, alpha_pv);
354
355 alpha_zapnot_(code, alpha_r2, 0x3, alpha_r2);
356 alpha_sll_(code, alpha_r2, 16, alpha_r2);
357 alpha_bis(code, alpha_r2, alpha_pv, alpha_pv);
358
359 alpha_zapnot_(code, alpha_r3, 0x3, alpha_r3);
360 alpha_sll_(code, alpha_r3, 32, alpha_r3);
361 alpha_bis(code, alpha_r3, alpha_pv, alpha_pv);
362
363 alpha_zapnot_(code, alpha_r4, 0x3, alpha_r4);
364 alpha_sll_(code, alpha_r4, 48, alpha_r4);
365 alpha_bis(code, alpha_r4, alpha_pv, alpha_pv); // pv - handle_exception addr
366
367 alpha_jmp(code, alpha_zero, alpha_pv, 0);
368
369 // alpha_break(code);
370
371 g_assert (( ((char *)code) - (char *)start_code) < 46 * 4);
372
373 return start_code;
374 }
375
376 /**
377 * mono_arch_get_throw_exception:
378 *
379 * Returns a function pointer which can be used to raise
380 * exceptions. The returned function has the following
381 * signature: void (*func) (MonoException *exc);
382 *
383 */
384 gpointer
385 mono_arch_get_throw_exception (void)
386 {
387 static guint8* start;
388 static gboolean inited = FALSE;
389
390 ALPHA_DEBUG("mono_arch_get_throw_exception");
391
392 if (inited)
393 return start;
394
395 start = get_throw_trampoline (FALSE);
396
397 inited = TRUE;
398
399 return start;
400 }
401 /*========================= End of Function ========================*/
402
403
404 /**
405 * mono_arch_get_throw_corlib_exception:
406 *
407 * Returns a function pointer which can be used to raise
408 * corlib exceptions. The returned function has the following
409 * signature: void (*func) (guint32 ex_token, guint32 offset);
410 * Here, offset is the offset which needs to be substracted from the caller IP
411 * to get the IP of the throw. Passing the offset has the advantage that it
412 * needs no relocations in the caller.
413 */
414 gpointer
415 mono_arch_get_throw_corlib_exception (void)
416 {
417 static guint8* start;
418 static gboolean inited = FALSE;
419 unsigned int *code;
420 guint64 throw_ex;
421
422 ALPHA_DEBUG("mono_arch_get_throw_corlib_exception");
423
424 if (inited)
425 return start;
426
427 start = mono_global_codeman_reserve (512);
428
429 code = (unsigned int *)start;
430 // Logic
431 // Expect exception token as parameter
432 // call mono_exception_from_token(void *, uint32 token)
433 // Get result and call "throw_ex" (got from mono_arch_get_throw_exception)
434 // Throw exception
435
436 // The trampoline code will be called with PV set
437 // so expect correct ABI handling
438
439 //alpha_ldah(code, alpha_gp, alpha_pv, 0);
440 //alpha_lda(code, alpha_gp, alpha_gp, 0);
441 alpha_lda(code, alpha_sp, alpha_sp, -(8*4));
442
443 // Save caller GP
444 alpha_stq(code, alpha_gp, alpha_sp, 24);
445
446 /* store call convention parameters on stack */
447 alpha_stq( code, alpha_ra, alpha_sp, 0 ); // ra
448 alpha_stq( code, alpha_fp, alpha_sp, 8 ); // fp
449
450 /* set the frame pointer */
451 alpha_mov1(code, alpha_sp, alpha_fp );
452
453 // Store throw_ip offset
454 alpha_stq(code, alpha_a1, alpha_fp, 16);
455
456 // Prepare to call "mono_exception_from_token (MonoImage *image, guint32 token)"
457 // Move token to a1 reg
458 alpha_mov1(code, alpha_a0, alpha_a1);
459
460 alpha_mov1(code, alpha_zero, alpha_a0);
461 alpha_lda(code, alpha_r1, alpha_zero,
462 ((unsigned long)mono_defaults.exception_class->image)&0xFFFF);
463 alpha_lda(code, alpha_r2, alpha_zero,
464 (((unsigned long)mono_defaults.exception_class->image) >> 16)&0xFFFF);
465 alpha_lda(code, alpha_r3, alpha_zero,
466 (((unsigned long)mono_defaults.exception_class->image) >> 32)&0xFFFF);
467 alpha_lda(code, alpha_r4, alpha_zero,
468 (((unsigned long)mono_defaults.exception_class->image) >> 48)&0xFFFF);
469 alpha_zapnot_(code, alpha_r1, 0x3, alpha_r1);
470 alpha_bis(code, alpha_r1, alpha_a0, alpha_a0);
471
472 alpha_zapnot_(code, alpha_r2, 0x3, alpha_r2);
473 alpha_sll_(code, alpha_r2, 16, alpha_r2);
474 alpha_bis(code, alpha_r2, alpha_a0, alpha_a0);
475
476 alpha_zapnot_(code, alpha_r3, 0x3, alpha_r3);
477 alpha_sll_(code, alpha_r3, 32, alpha_r3);
478 alpha_bis(code, alpha_r3, alpha_a0, alpha_a0);
479
480 alpha_zapnot_(code, alpha_r4, 0x3, alpha_r4);
481 alpha_sll_(code, alpha_r4, 48, alpha_r4);
482 alpha_bis(code, alpha_r4, alpha_a0, alpha_a0); // a0 - mono_defaults.exception_class->image
483
484 alpha_mov1(code, alpha_zero, alpha_pv);
485 alpha_lda(code, alpha_r1, alpha_zero,
486 ((unsigned long)mono_exception_from_token)&0xFFFF);
487 alpha_lda(code, alpha_r2, alpha_zero,
488 (((unsigned long)mono_exception_from_token) >> 16)&0xFFFF);
489 alpha_lda(code, alpha_r3, alpha_zero,
490 (((unsigned long)mono_exception_from_token) >> 32)&0xFFFF);
491 alpha_lda(code, alpha_r4, alpha_zero,
492 (((unsigned long)mono_exception_from_token) >> 48)&0xFFFF);
493 alpha_zapnot_(code, alpha_r1, 0x3, alpha_r1);
494 alpha_bis(code, alpha_r1, alpha_pv, alpha_pv);
495
496 alpha_zapnot_(code, alpha_r2, 0x3, alpha_r2);
497 alpha_sll_(code, alpha_r2, 16, alpha_r2);
498 alpha_bis(code, alpha_r2, alpha_pv, alpha_pv);
499
500 alpha_zapnot_(code, alpha_r3, 0x3, alpha_r3);
501 alpha_sll_(code, alpha_r3, 32, alpha_r3);
502 alpha_bis(code, alpha_r3, alpha_pv, alpha_pv);
503
504 alpha_zapnot_(code, alpha_r4, 0x3, alpha_r4);
505 alpha_sll_(code, alpha_r4, 48, alpha_r4);
506 alpha_bis(code, alpha_r4, alpha_pv, alpha_pv); // pv - mono_exception_from_token addr
507
508 alpha_jsr(code, alpha_ra, alpha_pv, 0);
509
510 // R0 holds pointer to initialised exception object
511
512 throw_ex = (guint64)mono_arch_get_throw_exception ();
513
514 alpha_mov1(code, alpha_r0, alpha_a0);
515
516 // Calc return address
517 alpha_mov1(code, alpha_fp, alpha_sp);
518 alpha_ldq(code, alpha_ra, alpha_sp, 0);
519 alpha_ldq(code, alpha_fp, alpha_sp, 8);
520 alpha_ldq(code, alpha_a1, alpha_sp, 16);
521 alpha_addq(code, alpha_ra, alpha_a1, alpha_ra);
522 alpha_ldq(code, alpha_gp, alpha_sp, 24);
523
524 // Modify stack to point to exception caller
525 alpha_lda(code, alpha_sp, alpha_sp, (8*4));
526
527 alpha_mov1(code, alpha_zero, alpha_pv);
528 alpha_lda(code, alpha_r1, alpha_zero,
529 ((unsigned long)throw_ex)&0xFFFF);
530 alpha_lda(code, alpha_r2, alpha_zero,
531 (((unsigned long)throw_ex) >> 16)&0xFFFF);
532 alpha_lda(code, alpha_r3, alpha_zero,
533 (((unsigned long)throw_ex) >> 32)&0xFFFF);
534 alpha_lda(code, alpha_r4, alpha_zero,
535 (((unsigned long)throw_ex) >> 48)&0xFFFF);
536 alpha_zapnot_(code, alpha_r1, 0x3, alpha_r1);
537 alpha_bis(code, alpha_r1, alpha_pv, alpha_pv);
538
539 alpha_zapnot_(code, alpha_r2, 0x3, alpha_r2);
540 alpha_sll_(code, alpha_r2, 16, alpha_r2);
541 alpha_bis(code, alpha_r2, alpha_pv, alpha_pv);
542
543 alpha_zapnot_(code, alpha_r3, 0x3, alpha_r3);
544 alpha_sll_(code, alpha_r3, 32, alpha_r3);
545 alpha_bis(code, alpha_r3, alpha_pv, alpha_pv);
546
547 alpha_zapnot_(code, alpha_r4, 0x3, alpha_r4);
548 alpha_sll_(code, alpha_r4, 48, alpha_r4);
549 alpha_bis(code, alpha_r4, alpha_pv, alpha_pv); // pv - handle_exception addr
550
551 alpha_jmp(code, alpha_zero, alpha_pv, 0);
552
553 g_assert (((char *)code - (char *)start) < 512);
554
555 inited = TRUE;
556
557 return start;
558 }
559
560 /*------------------------------------------------------------------*/
561 /* */
562 /* Name - mono_arch_handle_exception */
563 /* */
564 /* Function - Handle an exception raised by the JIT code. */
565 /* */
566 /* Parameters - ctx - Saved processor state */
567 /* obj - The exception object */
568 /* test_only - Only test if the exception is caught, */
569 /* but don't call handlers */
570 /* */
571 /*------------------------------------------------------------------*/
572
573 gboolean
574 mono_arch_handle_exception (void *uc, gpointer obj, gboolean test_only)
575 {
576 ALPHA_DEBUG("mono_arch_handle_exception");
577
578 return mono_handle_exception (uc, obj, mono_arch_ip_from_context(uc),
579 test_only);
580 }
581
582 /*========================= End of Function ========================*/
583
584 /*------------------------------------------------------------------*/
585 /* */
586 /* Name - mono_arch_get_restore_context */
587 /* */
588 /* Function - Return the address of the routine that will rest- */
589 /* ore the context. */
590 /* */
591 /*------------------------------------------------------------------*/
592
593 gpointer
594 mono_arch_get_restore_context ()
595 {
596 static guint8 *start_code = NULL;
597 static gboolean inited = FALSE;
598 unsigned int *code;
599
600 ALPHA_DEBUG("mono_arch_get_restore_context");
601
602 if (inited)
603 return start_code;
604
605 /* restore_contect (MonoContext *ctx) */
606
607 start_code = mono_global_codeman_reserve (30*4);
608
609 code = (unsigned int *)start_code;
610
611 alpha_ldq(code, alpha_r0, alpha_a0,
612 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r0]));
613 alpha_ldq(code, alpha_r1, alpha_a0,
614 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r1]));
615 alpha_ldq(code, alpha_r2, alpha_a0,
616 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r2]));
617 alpha_ldq(code, alpha_r3, alpha_a0,
618 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r3]));
619 alpha_ldq(code, alpha_r4, alpha_a0,
620 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r4]));
621 alpha_ldq(code, alpha_r5, alpha_a0,
622 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r5]));
623 alpha_ldq(code, alpha_r6, alpha_a0,
624 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r6]));
625 alpha_ldq(code, alpha_r7, alpha_a0,
626 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r7]));
627 alpha_ldq(code, alpha_r8, alpha_a0,
628 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r8]));
629 alpha_ldq(code, alpha_r9, alpha_a0,
630 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r9]));
631 alpha_ldq(code, alpha_r10, alpha_a0,
632 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r10]));
633 alpha_ldq(code, alpha_r11, alpha_a0,
634 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r11]));
635 alpha_ldq(code, alpha_r12, alpha_a0,
636 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r12]));
637 alpha_ldq(code, alpha_r13, alpha_a0,
638 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r13]));
639 alpha_ldq(code, alpha_r14, alpha_a0,
640 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r14]));
641 alpha_ldq(code, alpha_r15, alpha_a0,
642 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r15]));
643 alpha_ldq(code, alpha_r22, alpha_a0,
644 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r22]));
645 alpha_ldq(code, alpha_r23, alpha_a0,
646 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r23]));
647 alpha_ldq(code, alpha_r24, alpha_a0,
648 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r24]));
649 alpha_ldq(code, alpha_r25, alpha_a0,
650 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r25]));
651 alpha_ldq(code, alpha_r26, alpha_a0,
652 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r26]));
653 alpha_ldq(code, alpha_r27, alpha_a0,
654 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r27]));
655 alpha_ldq(code, alpha_r28, alpha_a0,
656 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r28]));
657 alpha_ldq(code, alpha_r29, alpha_a0,
658 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r29]));
659 alpha_ldq(code, alpha_r30, alpha_a0,
660 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_regs[alpha_r30]));
661
662 alpha_ldq(code, alpha_ra, alpha_a0,
663 G_STRUCT_OFFSET(MonoContext, uc_mcontext.sc_pc));
664
665 alpha_ret(code, alpha_ra, 1);
666
667 inited = TRUE;
668
669 return start_code;
670 }
671
672 /*========================= End of Function ========================*/
673
674 /*------------------------------------------------------------------*/
675 /* */
676 /* Name - mono_arch_ip_from_context */
677 /* */
678 /* Function - Return the instruction pointer from the context. */
679 /* */
680 /* Parameters - sigctx - Saved processor state */
681 /* */
682 /*------------------------------------------------------------------*/
683
684 gpointer
685 mono_arch_ip_from_context (void *sigctx)
686 {
687 gpointer ip;
688 ALPHA_DEBUG("mono_arch_ip_from_context");
689
690 ip = (gpointer) MONO_CONTEXT_GET_IP(((MonoContext *) sigctx));
691
692 printf("ip_from_context = %p\n", ip);
693
694 return ip;
695 }
696
697
698 /*========================= End of Function ========================*/
699
700 /*------------------------------------------------------------------*/
701 /* */
702 /* Name - arch_get_rethrow_exception */
703 /* */
704 /* Function - Return a function pointer which can be used to */
705 /* raise exceptions. The returned function has the */
706 /* following signature: */
707 /* void (*func) (MonoException *exc); */
708 /* */
709 /*------------------------------------------------------------------*/
710
711 gpointer
712 mono_arch_get_rethrow_exception (void)
713 {
714 static guint8 *start;
715 static int inited = 0;
716
717 ALPHA_DEBUG("mono_arch_get_rethrow_exception");
718
719 if (inited)
720 return start;
721
722 start = get_throw_trampoline (TRUE);
723
724 inited = 1;
725
726 return start;
727 }
728
729 /*========================= End of Function ========================*/
730
731 /*------------------------------------------------------------------*/
732 /* */
733 /* Name - arch_get_throw_exception_by_name */
734 /* */
735 /* Function - Return a function pointer which can be used to */
736 /* raise corlib exceptions. The return function has */
737 /* the following signature: */
738 /* void (*func) (char *exc_name); */
739 /* */
740 /*------------------------------------------------------------------*/
741
742 gpointer
743 mono_arch_get_throw_exception_by_name (void)
744 {
745 static guint8 *start;
746 static int inited = 0;
747 unsigned int *code;
748
749 if (inited)
750 return start;
751
752 start = mono_global_codeman_reserve (SZ_THROW);
753 // get_throw_exception_generic (start, SZ_THROW, TRUE, FALSE);
754 inited = 1;
755
756 code = (unsigned int *)start;
757
758 alpha_call_pal(code, 0x80);
759
760 return start;
761 }
762 /*========================= End of Function ========================*/
763
764 /*------------------------------------------------------------------*/
765 /* */
766 /* Name - mono_arch_find_jit_info */
767 /* */
768 /* Function - This function is used to gather informatoin from */
769 /* @ctx. It returns the MonoJitInfo of the corres- */
770 /* ponding function, unwinds one stack frame and */
771 /* stores the resulting context into @new_ctx. It */
772 /* also stores a string describing the stack location*/
773 /* into @trace (if not NULL), and modifies the @lmf */
774 /* if necessary. @native_offset returns the IP off- */
775 /* set from the start of the function or -1 if that */
776 /* information is not available. */
777 /* */
778 /*------------------------------------------------------------------*/
779
780 MonoJitInfo *
781 mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls,
782 MonoJitInfo *res, MonoJitInfo *prev_ji,
783 MonoContext *ctx,
784 MonoContext *new_ctx, MonoLMF **lmf,
785 gboolean *managed)
786 {
787 MonoJitInfo *ji;
788 int i;
789 gpointer ip = MONO_CONTEXT_GET_IP (ctx);
790
791 ALPHA_DEBUG("mono_arch_find_jit_info");
792
793 /* Avoid costly table lookup during stack overflow */
794 if (prev_ji &&
795 (ip > prev_ji->code_start &&
796 ((guint8*)ip < ((guint8*)prev_ji->code_start) + prev_ji->code_size)))
797 ji = prev_ji;
798 else
799 ji = mini_jit_info_table_find (domain, ip, NULL);
800
801 if (managed)
802 *managed = FALSE;
803
804 if (ji != NULL)
805 {
806 int offset;
807 gboolean omit_fp = 0; //(ji->used_regs & (1 << 31)) > 0;
808
809 *new_ctx = *ctx;
810
811 if (managed)
812 if (!ji->method->wrapper_type)
813 *managed = TRUE;
814
815 /*
816 * Some managed methods like pinvoke wrappers might have save_lmf set.
817 * In this case, register save/restore code is not generated by the
818 * JIT, so we have to restore callee saved registers from the lmf.
819 */
820
821 if (ji->method->save_lmf)
822 {
823 /*
824 * We only need to do this if the exception was raised in managed
825 * code, since otherwise the lmf was already popped of the stack.
826 */
827 if (*lmf && ((*lmf) != jit_tls->first_lmf) &&
828 (MONO_CONTEXT_GET_SP (ctx) >= (gpointer)(*lmf)->rsp))
829 {
830 new_ctx->uc_mcontext.sc_regs[alpha_fp] = (*lmf)->ebp;
831 new_ctx->uc_mcontext.sc_regs[alpha_sp] = (*lmf)->rsp;
832 new_ctx->uc_mcontext.sc_regs[alpha_gp] = (*lmf)->rgp;
833
834 /*
835 new_ctx->rbp = (*lmf)->ebp;
836 new_ctx->rbx = (*lmf)->rbx;
837 new_ctx->rsp = (*lmf)->rsp;
838 new_ctx->r12 = (*lmf)->r12;
839 new_ctx->r13 = (*lmf)->r13;
840 new_ctx->r14 = (*lmf)->r14;
841 new_ctx->r15 = (*lmf)->r15;
842 */
843 }
844 }
845 else
846 {
847 offset = omit_fp ? 0 : 2;
848
849 /* restore caller saved registers */
850 for (i = 0; i < MONO_MAX_IREGS; i++)
851 if (ALPHA_IS_CALLEE_SAVED_REG(i) &&
852 (ji->used_regs & (1 << i)))
853 {
854
855 guint64 reg;
856 #if 0
857 if (omit_fp)
858 {
859 reg = *((guint64*)ctx->rsp + offset);
860 offset++;
861 }
862 else
863 {
864 //reg = *((guint64 *)ctx->SC_EBP + offset);
865 //offset--;
866 }
867
868 switch (i)
869 {
870 case AMD64_RBX:
871 new_ctx->rbx = reg;
872 break;
873 case AMD64_R12:
874 new_ctx->r12 = reg;
875 break;
876 case AMD64_R13:
877 new_ctx->r13 = reg;
878 break;
879 case AMD64_R14:
880 new_ctx->r14 = reg;
881 break;
882 case AMD64_R15:
883 new_ctx->r15 = reg;
884 break;
885 case AMD64_RBP:
886 new_ctx->rbp = reg;
887 break;
888 default:
889 g_assert_not_reached ();
890 }
891 #endif
892 }
893 }
894
895 if (*lmf && ((*lmf) != jit_tls->first_lmf) &&
896 (MONO_CONTEXT_GET_SP (ctx) >= (gpointer)(*lmf)->rsp)) {
897 /* remove any unused lmf */
898 *lmf = (*lmf)->previous_lmf;
899 }
900
901 #if 0
902 if (omit_fp)
903 {
904 /* Pop frame */
905 new_ctx->rsp += (ji->used_regs >> 16) & (0x7fff);
906 new_ctx->SC_EIP = *((guint64 *)new_ctx->rsp) - 1;
907 /* Pop return address */
908 new_ctx->rsp += 8;
909 }
910 else
911 #endif
912 {
913
914 /* Pop FP and the RA */
915 /* Some how we should find size of frame. One way:
916 read 3rd instruction (alpha_lda(alpha_sp, alpha_sp, -stack_size ))
917 and extract "stack_size" from there
918 read 4th and 5th insts to get offsets to saved RA & FP
919 */
920 unsigned int *code = (unsigned int *)ji->code_start;
921 short stack_size = -((short)(code[2] & 0xFFFF));
922 short ra_off = code[3] & 0xFFFF;
923 short fp_off = code[4] & 0xFFFF;
924
925 /* Restore stack - value of FP reg + stack_size */
926 new_ctx->uc_mcontext.sc_regs[alpha_sp] =
927 ctx->uc_mcontext.sc_regs[alpha_r15] + stack_size;
928
929 /* we substract 1, so that the IP points into the call instruction */
930 /* restore PC - @FP + 0 */
931 new_ctx->uc_mcontext.sc_pc =
932 *((guint64 *)(ctx->uc_mcontext.sc_regs[alpha_r15] + ra_off));
933
934 /* Restore FP reg - @FP + 8 */
935 new_ctx->uc_mcontext.sc_regs[alpha_r15] =
936 *((guint64 *)(ctx->uc_mcontext.sc_regs[alpha_r15] + fp_off));
937
938 /* Restore GP - read two insts that restore GP from sc_pc and */
939 /* do the same. Use sc_pc as RA */
940 code = (unsigned int *)new_ctx->uc_mcontext.sc_pc;
941 if ((code[0] & 0xFFFF0000) == 0x27ba0000 && // ldah gp,high_off(ra)
942 (code[1] & 0xFFFF0000) == 0x23bd0000) // lda gp,low_off(gp)
943 {
944 short high_off = (short)(code[0] & 0xFFFF);
945 short low_off = (short)(code[1] & 0xFFFF);
946
947 long rgp = new_ctx->uc_mcontext.sc_pc +
948 (65536 * high_off) + low_off;
949
950 new_ctx->uc_mcontext.sc_regs[alpha_gp] = rgp;
951 }
952 }
953
954 #if 0
955 /* Pop arguments off the stack */
956 // No poping args off stack on Alpha
957 // We use fixed place
958 {
959 MonoJitArgumentInfo *arg_info =
960 g_newa (MonoJitArgumentInfo,
961 mono_method_signature (ji->method)->param_count + 1);
962
963 guint32 stack_to_pop =
964 mono_arch_get_argument_info (mono_method_signature (ji->method),
965 mono_method_signature (ji->method)->param_count,
966 arg_info);
967 new_ctx->uc_mcontext.sc_regs[alpha_sp] += stack_to_pop;
968 }
969 #endif
970 return ji;
971 }
972 else if (*lmf)
973 {
974 // Unwind based on LMF info
975 if (!(*lmf)->method)
976 return (gpointer)-1;
977
978 if ((ji = mini_jit_info_table_find (domain, (gpointer)(*lmf)->eip, NULL))) {
979 } else {
980 memset (res, 0, MONO_SIZEOF_JIT_INFO);
981 res->method = (*lmf)->method;
982 }
983
984 new_ctx->uc_mcontext.sc_regs[alpha_fp] = (*lmf)->ebp;
985 new_ctx->uc_mcontext.sc_regs[alpha_sp] = (*lmf)->rsp;
986 new_ctx->uc_mcontext.sc_regs[alpha_gp] = (*lmf)->rgp;
987 new_ctx->uc_mcontext.sc_pc = (*lmf)->eip;
988
989 *lmf = (*lmf)->previous_lmf;
990
991 return ji ? ji : res;
992 }
993
994 return NULL;
995 }
996
997 /*========================= End of Function ========================*/
998
999
git-svn mirror of mono