1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
|
/*
GCL config file for Mac OS X.
To be used with the following configure switches :
--enable-debug (optional)
--enable-machine=powerpc-macosx
--disable-statsysbfd
--enable-custreloc
Aurelien Chanudet <aurelien.chanudet(at)m4x.org>
*/
/* For those who are using ACL2, please remember to enlarge your shell stack (ulimit -s 8192). */
#include "bsd.h"
#define DARWIN
/* Mac OS X has its own executable file format (Mach-O). */
#undef HAVE_AOUT
#undef HAVE_ELF
/** sbrk(2) emulation */
/* Alternatively, we could use the global variable vm_page_size. */
#define PAGEWIDTH 12
/* The following value determines the running process heap size. */
/* #define BIG_HEAP_SIZE 0x50000000 */
extern char *mach_mapstart;
extern char *mach_maplimit;
extern char *mach_brkpt;
extern char *get_dbegin ();
#undef SET_REAL_MAXPAGE
#define SET_REAL_MAXPAGE real_maxpage = MAXPAGE
#include <unistd.h> /* to get sbrk defined */
extern void *my_sbrk(int incr);
#define sbrk my_sbrk
/** (si::save-system "...") a.k.a. unexec implementation */
/* The implementation of unexec for GCL is based on Andrew Choi's work for Emacs.
Previous pioneering implementation of unexec for Mac OS X by Steve Nygard. */
#define UNIXSAVE "unexmacosx.c"
#undef malloc
#define malloc my_malloc
#undef free
#define free my_free
#undef realloc
#define realloc my_realloc
#undef valloc
#define valloc my_valloc
#undef calloc
#define calloc my_calloc
/** Dynamic loading implementation */
/* The sfasl{bfd,macosx,macho}.c files are included from sfasl.c. */
#ifdef HAVE_LIBBFD
#define SEPARATE_SFASL_FILE "sfaslbfd.c"
#else
#define SPECIAL_RSYM "rsym_macosx.c"
#define SEPARATE_SFASL_FILE "sfaslmacho.c"
#endif
/* The file has non Mach-O stuff appended. We need to know where the Mach-O stuff ends. */
#include <stdio.h>
extern int seek_to_end_ofile (FILE *);
#define SEEK_TO_END_OFILE(fp) seek_to_end_ofile(fp)
#ifdef IN_SFASL
#include <sys/mman.h>
#define CLEAR_CACHE {\
void *p,*pe; \
p=(void *)((unsigned long)memory->cfd.cfd_start & ~(PAGESIZE-1)); \
pe=(void *)((unsigned long)(memory->cfd.cfd_start+memory->cfd.cfd_size) & ~(PAGESIZE-1)) + PAGESIZE-1; \
if (mprotect(p,pe-p,PROT_READ|PROT_WRITE|PROT_EXEC)) {\
fprintf(stderr,"%p %p\n",p,pe);\
perror("");\
FEerror("Cannot mprotect", 0);\
}\
}
#endif
/* Processor cache synchronization code. This is based on powerpc-linux.h (Debian ppc).
See equivalent code in dyld. See also vm_msync declared in <mach/vm_maps.h>. */
/* #define CLEAR_CACHE_LINE_SIZE 32 */
/* #define CLEAR_CACHE \ */
/* do { \ */
/* void *v=memory->cfd.cfd_start,*ve=v+memory->cfd.cfd_size; \ */
/* v=(void *)((unsigned long)v & ~(CLEAR_CACHE_LINE_SIZE - 1)); \ */
/* for (;v<ve;v+=CLEAR_CACHE_LINE_SIZE) \ */
/* asm __volatile__ \ */
/* ("dcbst 0,%0\n\tsync\n\ticbi 0,%0\n\tsync\n\tisync": : "r" (v) : "memory"); \ */
/* } while(0) */
/** Stratified garbage collection implementation [ (si::sgc-on t) ] */
/* Mac OS X has sigaction (this is needed in o/usig.c) */
#define HAVE_SIGACTION
/* Copied from {Net,Free,Open}BSD.h */
/* Modified according to Camm's instructions on April 15, 2004. */
#define HAVE_SIGPROCMASK
/* #define SIG_STACK_SIZE (SIGSTKSZ/sizeof(double)) */
#define SETUP_SIG_STACK \
{ \
static stack_t estack; \
static double estack_buf [SIG_STACK_SIZE]; \
bzero(estack_buf, sizeof(estack_buf)); \
estack.ss_sp = (char *) &estack_buf[SIG_STACK_SIZE-1]; \
estack.ss_flags = 0; \
estack.ss_size = SIGSTKSZ; \
if (sigaltstack(&estack, 0) < 0) \
perror("sigaltstack"); \
}
/* until the sgc/save problem can be fixed. 20050114 CM*/
/* #define SGC */
#define MPROTECT_ACTION_FLAGS (SA_SIGINFO | SA_RESTART)
#define INSTALL_MPROTECT_HANDLER \
do { \
static struct sigaction sact; \
sigfillset (&(sact.sa_mask)); \
sact.sa_flags = MPROTECT_ACTION_FLAGS; \
sact.sa_sigaction = (void (*) ()) memprotect_handler; \
sigaction (SIGBUS, &sact, 0); \
sigaction (SIGSEGV, &sact, 0); \
} while (0);
#define INSTALL_SEGMENTATION_CATCHER \
(void) signal (SIGSEGV, segmentation_catcher); \
(void) signal (SIGBUS, segmentation_catcher)
/* si_addr not containing the faulting address is a bug in Darwin.
Work around this by looking at the dar field of the exception state. */
#define GET_FAULT_ADDR(sig,code,sv,a) ((siginfo_t *)code)->si_addr
/* #define GET_FAULT_ADDR(sig,code,scp,addr) ((char *) (((ucontext_t *) scp)->uc_mcontext->es.dar)) */
/*
#include <signal.h>
#include <unistd.h>
#include <stdio.h>
#include <sys/ucontext.h>
void handler (int sig, siginfo_t *info, void *scp)
{
ucontext_t *uc = (ucontext_t *)scp;
fprintf(stderr, "addr = 0x%08lx\n", uc->uc_mcontext->es.dar);
_exit(99);
}
int main(void)
{
struct sigaction sact;
int ret;
sigfillset(&(sact.sa_mask));
sact.sa_flags = SA_SIGINFO;
sact.sa_sigaction = (void (*)())handler;
ret = sigaction (SIGBUS, &sact, 0);
return *(int *)0x43;
}
*/
/** Misc stuff */
#define IEEEFLOAT
/* Mac OS X does not have _fileno as in linux.h. Nor does it have _cnt as in bsd.h.
Let's see what we can do with this declaration found in {Net,Free,Open}BSD.h. */
#undef LISTEN_FOR_INPUT
#define LISTEN_FOR_INPUT(fp) \
do {int c=0; \
if ((fp)->_r <=0 && (c=0, ioctl((fp)->_file, FIONREAD, &c), c<=0)) \
return(FALSE); \
} while (0)
/* We (hopefully) dont need to worry about zeroing fp->_base. */
#define FCLOSE_SETBUF_OK
#define GET_FULL_PATH_SELF(a_) \
do { \
extern int _NSGetExecutablePath (char *, unsigned long *); \
unsigned long bufsize = 1024; \
static char buf [1024]; \
static char fub [1024]; \
if (_NSGetExecutablePath (buf, &bufsize) != 0) { \
error ("_NSGetExecutablePath failed"); \
} \
if (realpath (buf, fub) == 0) { \
error ("realpath failed"); \
} \
(a_) = fub; \
} while (0)
#ifdef _LP64
#define C_GC_OFFSET 4
#include <mach-o/x86_64/reloc.h>
#define RELOC_H "mach64_i386_reloc.h"
#else
#define RELOC_H "mach32_i386_reloc.h"
#endif
|
