1.0.5.37: cleanup a small thinko from previous x86-assem.S refactoring
[sbcl.git] / src / runtime / sparc-arch.c
1 /*
2  * This software is part of the SBCL system. See the README file for
3  * more information.
4  *
5  * This software is derived from the CMU CL system, which was
6  * written at Carnegie Mellon University and released into the
7  * public domain. The software is in the public domain and is
8  * provided with absolutely no warranty. See the COPYING and CREDITS
9  * files for more information.
10  */
11 #include <stdio.h>
12
13 #include "sbcl.h"
14 #include "runtime.h"
15 #include "arch.h"
16 #include "globals.h"
17 #include "validate.h"
18 #include "os.h"
19 #include "lispregs.h"
20 #include "signal.h"
21 #include "alloc.h"
22 #include "interrupt.h"
23 #include "interr.h"
24 #include "breakpoint.h"
25 #include "monitor.h"
26
27 #ifdef LISP_FEATURE_LINUX
28 extern int linux_sparc_siginfo_bug;
29 #endif
30
31 void arch_init(void)
32 {
33     return;
34 }
35
36 os_vm_address_t arch_get_bad_addr(int sig, siginfo_t *code, os_context_t *context)
37 {
38     unsigned int badinst;
39     unsigned int *pc;
40     int rs1;
41
42     pc = (unsigned int *)(*os_context_pc_addr(context));
43
44     /* On the sparc, we have to decode the instruction. */
45
46     /* Make sure it's not the pc thats bogus, and that it was lisp code */
47     /* that caused the fault. */
48     if ((unsigned long) pc & 3) {
49       /* Unaligned */
50       return NULL;
51     }
52     if ((pc < READ_ONLY_SPACE_START ||
53          pc >= READ_ONLY_SPACE_START+READ_ONLY_SPACE_SIZE) &&
54         (pc < current_dynamic_space ||
55          pc >= current_dynamic_space + dynamic_space_size)) {
56       return NULL;
57     }
58
59     badinst = *pc;
60
61     if ((badinst >> 30) != 3)
62         /* All load/store instructions have op = 11 (binary) */
63         return 0;
64
65     rs1 = (badinst>>14)&0x1f;
66
67     if (badinst & (1<<13)) {
68         /* r[rs1] + simm(13) */
69         int simm13 = badinst & 0x1fff;
70
71         if (simm13 & (1<<12))
72             simm13 |= -1<<13;
73
74         return (os_vm_address_t)
75             (*os_context_register_addr(context, rs1)+simm13);
76     }
77     else {
78         /* r[rs1] + r[rs2] */
79         int rs2 = badinst & 0x1f;
80
81         return (os_vm_address_t)
82             (*os_context_register_addr(context, rs1) +
83              *os_context_register_addr(context, rs2));
84     }
85 }
86
87 void arch_skip_instruction(os_context_t *context)
88 {
89     *os_context_pc_addr(context) = *os_context_npc_addr(context);
90     /* Note that we're doing integer arithmetic here, not pointer. So
91      * the value that the return value of os_context_npc_addr() points
92      * to will be incremented by 4, not 16.
93      */
94     *os_context_npc_addr(context) += 4;
95 }
96
97 unsigned char *arch_internal_error_arguments(os_context_t *context)
98 {
99     return (unsigned char *)(*os_context_pc_addr(context) + 4);
100 }
101
102 boolean arch_pseudo_atomic_atomic(os_context_t *context)
103 {
104     return ((*os_context_register_addr(context,reg_ALLOC)) & 4);
105 }
106
107 void arch_set_pseudo_atomic_interrupted(os_context_t *context)
108 {
109     *os_context_register_addr(context,reg_ALLOC) |=  1;
110 }
111
112 void arch_clear_pseudo_atomic_interrupted(os_context_t *context)
113 {
114     *os_context_register_addr(context,reg_ALLOC) &= ~1;
115 }
116
117 unsigned int arch_install_breakpoint(void *pc)
118 {
119     unsigned int *ptr = (unsigned int *)pc;
120     unsigned int result = *ptr;
121     *ptr = trap_Breakpoint;
122
123     os_flush_icache((os_vm_address_t) pc, sizeof(unsigned int));
124
125     return result;
126 }
127
128 void arch_remove_breakpoint(void *pc, unsigned int orig_inst)
129 {
130     *(unsigned int *)pc = orig_inst;
131     os_flush_icache((os_vm_address_t) pc, sizeof(unsigned int));
132 }
133
134 /*
135  * Perform the instruction that we overwrote with a breakpoint.  As we
136  * don't have a single-step facility, this means we have to:
137  * - put the instruction back
138  * - put a second breakpoint at the following instruction,
139  *   set after_breakpoint and continue execution.
140  *
141  * When the second breakpoint is hit (very shortly thereafter, we hope)
142  * sigtrap_handler gets called again, but follows the AfterBreakpoint
143  * arm, which
144  * - puts a bpt back in the first breakpoint place (running across a
145  *   breakpoint shouldn't cause it to be uninstalled)
146  * - replaces the second bpt with the instruction it was meant to be
147  * - carries on
148  *
149  * Clear?
150  */
151 static unsigned int *skipped_break_addr, displaced_after_inst;
152 static sigset_t orig_sigmask;
153
154 void arch_do_displaced_inst(os_context_t *context, unsigned int orig_inst)
155 {
156     unsigned int *pc = (unsigned int *)(*os_context_pc_addr(context));
157     unsigned int *npc = (unsigned int *)(*os_context_npc_addr(context));
158
159   /*  orig_sigmask = context->sigmask;
160       sigemptyset(&context->sigmask); */
161   /* FIXME!!! */
162   /* FILLBLOCKSET(&context->uc_sigmask);*/
163
164     *pc = orig_inst;
165     os_flush_icache((os_vm_address_t) pc, sizeof(unsigned int));
166     skipped_break_addr = pc;
167     displaced_after_inst = *npc;
168     *npc = trap_AfterBreakpoint;
169     os_flush_icache((os_vm_address_t) npc, sizeof(unsigned int));
170
171 }
172
173 static int pseudo_atomic_trap_p(os_context_t *context)
174 {
175     unsigned int* pc;
176     unsigned int badinst;
177     int result;
178
179
180     pc = (unsigned int*) *os_context_pc_addr(context);
181     badinst = *pc;
182     result = 0;
183
184     /* Check to see if the current instruction is a pseudo-atomic-trap */
185     if (((badinst >> 30) == 2) && (((badinst >> 19) & 0x3f) == 0x3a)
186         && (((badinst >> 13) & 1) == 1) && ((badinst & 0x7f) == PSEUDO_ATOMIC_TRAP))
187         {
188             unsigned int previnst;
189             previnst = pc[-1];
190             /*
191              * Check to see if the previous instruction was an andcc alloc-tn,
192              * 3, zero-tn instruction.
193              */
194             if (((previnst >> 30) == 2) && (((previnst >> 19) & 0x3f) == 0x11)
195                 && (((previnst >> 14) & 0x1f) == reg_ALLOC)
196                 && (((previnst >> 25) & 0x1f) == reg_ZERO)
197                 && (((previnst >> 13) & 1) == 1)
198                 && ((previnst & 0x1fff) == 3))
199                 {
200                     result = 1;
201                 }
202             else
203                 {
204                     fprintf(stderr, "Oops!  Got a PSEUDO-ATOMIC-TRAP without a preceeding andcc!\n");
205                 }
206         }
207     return result;
208 }
209
210 void
211 arch_handle_breakpoint(os_context_t *context)
212 {
213     handle_breakpoint(context);
214 }
215
216 void
217 arch_handle_fun_end_breakpoint(os_context_t *context)
218 {
219     *os_context_pc_addr(context) = (int) handle_fun_end_breakpoint(context);
220     *os_context_npc_addr(context) = *os_context_pc_addr(context) + 4;
221 }
222
223 void
224 arch_handle_after_breakpoint(os_context_t *context)
225 {
226     *skipped_break_addr = trap_Breakpoint;
227     os_flush_icache(skipped_break_addr, sizeof(unsigned int));
228     skipped_break_addr = NULL;
229     *(unsigned long *) os_context_pc_addr(context) = displaced_after_inst;
230     /* context->sigmask = orig_sigmask; */
231     os_flush_icache((os_vm_address_t) os_context_pc_addr(context), sizeof(unsigned int));
232 }
233
234 void
235 arch_handle_single_step_trap(os_context_t *context, int trap)
236 {
237     unsigned int code = *((u32 *)(*os_context_pc_addr(context)));
238     int register_offset = code >> 5 & 0x1f;
239     handle_single_step_trap(context, trap, register_offset);
240     arch_skip_instruction(context);
241 }
242
243 static void sigill_handler(int signal, siginfo_t *siginfo, void *void_context)
244 {
245     os_context_t *context = arch_os_get_context(&void_context);
246 #ifdef LISP_FEATURE_LINUX
247     /* FIXME: Check that this is necessary -- CSR, 2002-07-15 */
248     os_restore_fp_control(context);
249 #endif
250
251     if ((siginfo->si_code) == ILL_ILLOPC
252 #ifdef LISP_FEATURE_LINUX
253         || (linux_sparc_siginfo_bug && (siginfo->si_code == 2))
254 #endif
255         ) {
256         int trap;
257         unsigned int inst;
258         unsigned int* pc = (unsigned int*) siginfo->si_addr;
259
260         inst = *pc;
261         trap = inst & 0x1f;
262         handle_trap(context,trap);
263     }
264     else if ((siginfo->si_code) == ILL_ILLTRP
265 #ifdef LISP_FEATURE_LINUX
266              || (linux_sparc_siginfo_bug && (siginfo->si_code) == 192)
267 #endif
268              ) {
269         if (pseudo_atomic_trap_p(context)) {
270             /* A trap instruction from a pseudo-atomic.  We just need
271                to fixup up alloc-tn to remove the interrupted flag,
272                skip over the trap instruction, and then handle the
273                pending interrupt(s). */
274             arch_clear_pseudo_atomic_interrupted(context);
275             arch_skip_instruction(context);
276             interrupt_handle_pending(context);
277         }
278         else {
279             interrupt_internal_error(context, 0);
280         }
281     }
282     else {
283         interrupt_handle_now(signal, siginfo, context);
284     }
285 }
286
287 static void sigemt_handler(int signal, siginfo_t *siginfo, void *void_context)
288 {
289     unsigned int badinst;
290     boolean subtract, immed;
291     int rd, rs1, op1, rs2, op2, result;
292     os_context_t *context = arch_os_get_context(&void_context);
293 #ifdef LISP_FEATURE_LINUX
294     os_restore_fp_control(context);
295 #endif
296
297     badinst = *(unsigned int *)os_context_pc_addr(context);
298     if ((badinst >> 30) != 2 || ((badinst >> 20) & 0x1f) != 0x11) {
299         /* It wasn't a tagged add.  Pass the signal into lisp. */
300         interrupt_handle_now(signal, siginfo, context);
301         return;
302     }
303
304     fprintf(stderr, "SIGEMT trap handler with tagged op instruction!\n");
305
306     /* Extract the parts of the inst. */
307     subtract = badinst & (1<<19);
308     rs1 = (badinst>>14) & 0x1f;
309     op1 = *os_context_register_addr(context, rs1);
310
311     /* If the first arg is $ALLOC then it is really a signal-pending note */
312     /* for the pseudo-atomic noise. */
313     if (rs1 == reg_ALLOC) {
314         /* Perform the op anyway. */
315         op2 = badinst & 0x1fff;
316         if (op2 & (1<<12))
317             op2 |= -1<<13;
318         if (subtract)
319             result = op1 - op2;
320         else
321             result = op1 + op2;
322         /* KLUDGE: this & ~7 is a little bit magical but basically
323            clears pseudo_atomic bits if any */
324         *os_context_register_addr(context, reg_ALLOC) = result & ~7;
325         arch_skip_instruction(context);
326         interrupt_handle_pending(context);
327         return;
328     }
329
330     if ((op1 & 3) != 0) {
331         /* The first arg wan't a fixnum. */
332         interrupt_internal_error(context, 0);
333         return;
334     }
335
336     if (immed = badinst & (1<<13)) {
337         op2 = badinst & 0x1fff;
338         if (op2 & (1<<12))
339             op2 |= -1<<13;
340     }
341     else {
342         rs2 = badinst & 0x1f;
343         op2 = *os_context_register_addr(context, rs2);
344     }
345
346     if ((op2 & 3) != 0) {
347         /* The second arg wan't a fixnum. */
348         interrupt_internal_error(context, 0);
349         return;
350     }
351
352     rd = (badinst>>25) & 0x1f;
353     if (rd != 0) {
354         /* Don't bother computing the result unless we are going to use it. */
355         if (subtract)
356             result = (op1>>2) - (op2>>2);
357         else
358             result = (op1>>2) + (op2>>2);
359
360         dynamic_space_free_pointer =
361             (lispobj *) *os_context_register_addr(context, reg_ALLOC);
362
363         *os_context_register_addr(context, rd) = alloc_number(result);
364
365         *os_context_register_addr(context, reg_ALLOC) =
366             (unsigned long) dynamic_space_free_pointer;
367     }
368
369     arch_skip_instruction(context);
370 }
371
372 void arch_install_interrupt_handlers()
373 {
374     undoably_install_low_level_interrupt_handler(SIGILL , sigill_handler);
375     undoably_install_low_level_interrupt_handler(SIGEMT, sigemt_handler);
376 }
377
378 \f
379 #ifdef LISP_FEATURE_LINKAGE_TABLE
380
381 /* This a naive port from CMUCL/sparc, which was mostly stolen from the
382  * CMUCL/x86 version, with adjustments for sparc
383  *
384  * Linkage entry size is 16, because we need at least 3 instruction to
385  * implement a jump:
386  *
387  *      sethi %hi(addr), %g4
388  *      jmpl  [%g4 + %lo(addr)], %g5
389  *      nop
390  *
391  * The Sparc V9 ABI seems to use 8 words for its jump tables.  Maybe
392  * we should do the same?
393  */
394
395 /*
396  * Define the registers to use in the linkage jump table. Can be the
397  * same. Some care must be exercised when choosing these. It has to be
398  * a register that is not otherwise being used. reg_L0 is a good
399  * choice. call_into_c trashes reg_L0 without preserving it, so we can
400  * trash it in the linkage jump table.
401  */
402 #define LINKAGE_TEMP_REG        reg_L0
403 #define LINKAGE_ADDR_REG        reg_L0
404
405 /*
406  * Insert the necessary jump instructions at the given address.
407  */
408 void
409 arch_write_linkage_table_jmp(void* reloc_addr, void *target_addr)
410 {
411   /*
412    * Make JMP to function entry.
413    *
414    * The instruction sequence is:
415    *
416    *        sethi %hi(addr), temp_reg
417    *        jmp   %temp_reg + %lo(addr), %addr_reg
418    *        nop
419    *        nop
420    *
421    */
422   int* inst_ptr;
423   unsigned long hi;                   /* Top 22 bits of address */
424   unsigned long lo;                   /* Low 10 bits of address */
425   unsigned int inst;
426
427   inst_ptr = (int*) reloc_addr;
428
429   /*
430    * Split the target address into hi and lo parts for the sethi
431    * instruction.  hi is the top 22 bits.  lo is the low 10 bits.
432    */
433   hi = (unsigned long) target_addr;
434   lo = hi & 0x3ff;
435   hi >>= 10;
436
437   /*
438    * sethi %hi(addr), temp_reg
439    */
440
441   inst = (0 << 30) | (LINKAGE_TEMP_REG << 25) | (4 << 22) | hi;
442   *inst_ptr++ = inst;
443
444   /*
445    * jmpl [temp_reg + %lo(addr)], addr_reg
446    */
447
448   inst = (2U << 30) | (LINKAGE_ADDR_REG << 25) | (0x38 << 19)
449     | (LINKAGE_TEMP_REG << 14) | (1 << 13) | lo;
450   *inst_ptr++ = inst;
451
452   /* nop (really sethi 0, %g0) */
453
454   inst = (0 << 30) | (0 << 25) | (4 << 22) | 0;
455
456   *inst_ptr++ = inst;
457   *inst_ptr++ = inst;
458
459   os_flush_icache((os_vm_address_t) reloc_addr, (char*) inst_ptr - (char*) reloc_addr);
460 }
461
462 void
463 arch_write_linkage_table_ref(void * reloc_addr, void *target_addr)
464 {
465     *(unsigned long *)reloc_addr = (unsigned long)target_addr;
466 }
467
468 #endif