source: trunk/source/lisp-kernel/arm-exceptions.h @ 15158

Last change on this file since 15158 was 15158, checked in by gb, 7 years ago

Define another 3-register-argument UUO ('uuo_error_array_axis_bounds');
use it to report array bounds errors for multidimensional array access
(incorporating the axis/dimension in the UUO and therefore the error
message.)

File size: 5.4 KB
Line 
1/*
2   Copyright (C) 2010 Clozure Associates
3   This file is part of Clozure CL. 
4
5   Clozure CL is licensed under the terms of the Lisp Lesser GNU Public
6   License , known as the LLGPL and distributed with Clozure CL as the
7   file "LICENSE".  The LLGPL consists of a preamble and the LGPL,
8   which is distributed with Clozure CL as the file "LGPL".  Where these
9   conflict, the preamble takes precedence. 
10
11   Clozure CL is referenced in the preamble as the "LIBRARY."
12
13   The LLGPL is also available online at
14   http://opensource.franz.com/preamble.html
15*/
16#define UUO_MASK 0x0ff000f0
17
18#define IS_UUO(i) (((i) & UUO_MASK) == 0x07f000f0)
19/* If an instruction is a UUO its format is determined by the low 4 bits */
20#define UUO_FORMAT(i) ((i)&0xf)
21
22#define UUO_UNARY_field(uuo) (((uuo)>>12)&0xff)
23#define UUOA_field(uuo)      (((uuo)>>8) &0x0f)
24
25#define uuo_format_nullary          0 /* 12 bits of code */
26#define uuo_format_unary            1 /* 8 bits of info - NOT type info - 4-bit reg */
27#define uuo_format_error_lisptag    2 /* 2 bits of lisptag info, 4-bit reg */
28#define uuo_format_error_fulltag    3 /* 3 bits of fulltag info, 4 bit reg */
29
30#define uuo_format_error_xtype      4 /* 8 bits of extended type/subtag info, 4 bit reg */
31#define uuo_format_ternary2         5 /* r0,r1,r2 */
32#define uuo_format_binary           7 /* 4 bits of code, r1, r0 */
33#define uuo_format_nullary_error    8 /* nullary, call out to lisp */
34#define uuo_format_unary_error      9 /* like unary, but call out to lisp */
35#define uuo_format_cerror_lisptag  10 /* continuable, lisptag, reg */
36#define uuo_format_cerror_fulltag  11 /* continuable, fulltag, reg */
37#define uuo_format_cerror_xtype    12 /* continuable, xtype, reg */ 
38#define uuo_format_kernel_service  13 /* 8 bits of info */     
39#define uuo_format_ternary         14 /* slot-unbound only */
40#define uuo_format_binary_error    15 /* binary format, call out to lisp */
41
42
43
44
45typedef u_int32_t opcode, *pc;
46
47Boolean
48handle_uuo(ExceptionInformation *, siginfo_t *, opcode);
49
50
51
52int
53callback_for_trap (LispObj, ExceptionInformation *, natural, natural, int*);
54
55natural
56register_codevector_contains_pc (natural, pc);
57
58int
59callback_to_lisp (LispObj, ExceptionInformation *, natural, natural, int*);
60
61OSStatus
62handle_trap(ExceptionInformation *, opcode, pc, siginfo_t *);
63
64
65/* */
66
67#define RN_field(i) (((i)>>16)&0xf)
68#define RD_field(i) (((i)>>12)&0xf)
69#define RM_field(i) ((i)&0xf)
70
71#define IS_SUB_RM_FROM_ALLOCPTR(i)   (((i)&0x0ffff000) == 0x004cc000)
72#define IS_SUB_FROM_ALLOCPTR(i)      (((i)&0x0ffff000) == 0x024cc000)
73#define IS_SUB_LO_FROM_ALLOCPTR(i)   (((i)&0x0fffff00) == 0x024cc000)
74#define IS_SUB_HI_FROM_ALLOCPTR(i)   (IS_SUB_FROM_ALLOCPTR(i) && \
75                                     !(IS_SUB_LO_FROM_ALLOCPTR(i)))
76#define IS_LOAD_RD_FROM_ALLOCBASE(i) (((i)&0x0fff0fff) == \
77                                      ( 0x05930000 | offsetof(TCR,save_allocbase)))
78#define IS_COMPARE_ALLOCPTR_TO_RM(i) (((i)&0x0fff0ff0) == 0x015c0000)
79#define IS_ALLOC_TRAP(i) (((i)&0x0fffffff) == 0x07f000f0)
80#define IS_SET_ALLOCPTR_HEADER_RD(i) (((i)&0x0fff0fff) == \
81                                      (0x050c0000 | (- misc_header_offset)))
82/* The 5 here - and the 1 in the following definition - are based on
83   the tagged offsets of cars and cdrs.  Fix these definitions if that ever
84   changes ... */
85#define IS_SET_ALLOCPTR_CDR_RD(i)    (((i)&0x0fff0fff) == 0x050c0005)
86#define IS_SET_ALLOCPTR_CAR_RD(i)    (((i)&0x0fff0fff) == 0x050c0001)
87#define IS_SET_ALLOCPTR_RESULT_RD(i) (((i)&0x0fff0fff) == 0x01a0000c)
88#define IS_CLR_ALLOCPTR_TAG(i)       (((i)&0x0fffffff) == 0x03ccc007)
89#define IS_BRANCH_AROUND_ALLOC_TRAP(i) (((i)&0x0fffffff) == 0x0a000000)
90
91
92#define IS_GC_TRAP(i)                (((i)&0x0fffffff) == 0x07f002f0)
93#define IS_DEBUG_TRAP(i)             (((i)&0x0fffffff) == 0x07f003f0)
94#define IS_DEFERRED_INTERRUPT(i)     (((i)&0x0fffffff) == 0x07f004f0)
95#define IS_DEFERRED_SUSPEND(i)       (((i)&0x0fffffff) == 0x07f005f0)
96
97#define PSEUDO_SIGRETURN_UUO         (0xe7fffef1)
98
99OSStatus
100handle_error(ExceptionInformation *, unsigned, unsigned, int*);
101
102typedef char* vector_buf;
103
104void put_altivec_registers(vector_buf);
105void get_altivec_registers(vector_buf);
106
107
108int altivec_available;
109
110#ifdef DARWIN
111#include <mach/mach.h>
112#include <mach/mach_error.h>
113#include <mach/machine/thread_state.h>
114#include <mach/machine/thread_status.h>
115
116#endif
117
118
119
120#ifdef DARWIN
121#define SIGNAL_FOR_PROCESS_INTERRUPT SIGUSR1
122#endif
123#ifdef LINUX
124#define SIGNAL_FOR_PROCESS_INTERRUPT SIGPWR
125#endif
126
127
128
129Boolean
130extend_tcr_tlb(TCR *, ExceptionInformation *,  unsigned);
131
132void 
133pc_luser_xp(ExceptionInformation *, TCR *, signed_natural *);
134
135#define codevec_hdr_p(value) ((value) == 0)
136
137#ifdef __GNUC__
138static __inline__ natural
139ror(natural val, natural count) __attribute__((always_inline));
140
141static __inline__ natural
142ror(natural val,natural count)
143{
144  natural result;
145  __asm__ __volatile__("ror %[result],%[val],%[count]"
146                       :[result] "=r" (result)
147                       :[val] "r" (val),
148                        [count] "r" (count));
149  return result;
150}
151#else
152extern natural ror(natural, natural);
153#endif
154
155#ifdef DARWIN
156#undef USE_SIGALTSTACK
157#else
158#define USE_SIGALTSTACK 1
159#endif
160
161#ifdef USE_SIGALTSTACK
162void
163invoke_handler_on_main_stack(int, siginfo_t*, ExceptionInformation *, void *, void*);
164#endif
165
166#ifdef USE_SIGALTSTACK
167#define ALTSTACK(handler) altstack_ ## handler
168#else
169#define ALTSTACK(handler) handler
170#endif
171
172void
173normalize_tcr(ExceptionInformation *,TCR *, Boolean);
Note: See TracBrowser for help on using the repository browser.