Annotation of OpenXM_contrib/gc/mach_dep.c, Revision 1.1.1.2
1.1 maekawa 1: /*
2: * Copyright 1988, 1989 Hans-J. Boehm, Alan J. Demers
3: * Copyright (c) 1991-1994 by Xerox Corporation. All rights reserved.
4: *
5: * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
6: * OR IMPLIED. ANY USE IS AT YOUR OWN RISK.
7: *
8: * Permission is hereby granted to use or copy this program
9: * for any purpose, provided the above notices are retained on all copies.
10: * Permission to modify the code and to distribute modified code is granted,
11: * provided the above notices are retained, and a notice that the code was
12: * modified is included with the above copyright notice.
13: */
14: /* Boehm, November 17, 1995 12:13 pm PST */
15: # include "gc_priv.h"
16: # include <stdio.h>
17: # include <setjmp.h>
18: # if defined(OS2) || defined(CX_UX)
19: # define _setjmp(b) setjmp(b)
20: # define _longjmp(b,v) longjmp(b,v)
21: # endif
22: # ifdef AMIGA
1.1.1.2 ! maekawa 23: # ifndef __GNUC__
! 24: # include <dos/dos.h>
! 25: # else
! 26: # include <machine/reg.h>
! 27: # endif
1.1 maekawa 28: # endif
29:
30: #if defined(__MWERKS__) && !defined(POWERPC)
31:
32: asm static void PushMacRegisters()
33: {
34: sub.w #4,sp // reserve space for one parameter.
35: move.l a2,(sp)
36: jsr GC_push_one
37: move.l a3,(sp)
38: jsr GC_push_one
39: move.l a4,(sp)
40: jsr GC_push_one
41: # if !__option(a6frames)
42: // <pcb> perhaps a6 should be pushed if stack frames are not being used.
43: move.l a6,(sp)
44: jsr GC_push_one
45: # endif
46: // skip a5 (globals), a6 (frame pointer), and a7 (stack pointer)
47: move.l d2,(sp)
48: jsr GC_push_one
49: move.l d3,(sp)
50: jsr GC_push_one
51: move.l d4,(sp)
52: jsr GC_push_one
53: move.l d5,(sp)
54: jsr GC_push_one
55: move.l d6,(sp)
56: jsr GC_push_one
57: move.l d7,(sp)
58: jsr GC_push_one
59: add.w #4,sp // fix stack.
60: rts
61: }
62:
63: #endif /* __MWERKS__ */
64:
1.1.1.2 ! maekawa 65: # if defined(SPARC) || defined(IA64)
! 66: /* Value returned from register flushing routine; either sp (SPARC) */
! 67: /* or ar.bsp (IA64) */
! 68: word GC_save_regs_ret_val;
! 69: # endif
! 70:
1.1 maekawa 71: /* Routine to mark from registers that are preserved by the C compiler. */
72: /* This must be ported to every new architecture. There is a generic */
73: /* version at the end, that is likely, but not guaranteed to work */
74: /* on your architecture. Run the test_setjmp program to see whether */
75: /* there is any chance it will work. */
76:
77: #ifndef USE_GENERIC_PUSH_REGS
78: void GC_push_regs()
79: {
80: # ifdef RT
81: register long TMP_SP; /* must be bound to r11 */
82: # endif
83: # ifdef VAX
84: /* VAX - generic code below does not work under 4.2 */
85: /* r1 through r5 are caller save, and therefore */
86: /* on the stack or dead. */
87: asm("pushl r11"); asm("calls $1,_GC_push_one");
88: asm("pushl r10"); asm("calls $1,_GC_push_one");
89: asm("pushl r9"); asm("calls $1,_GC_push_one");
90: asm("pushl r8"); asm("calls $1,_GC_push_one");
91: asm("pushl r7"); asm("calls $1,_GC_push_one");
92: asm("pushl r6"); asm("calls $1,_GC_push_one");
93: # endif
94: # if defined(M68K) && (defined(SUNOS4) || defined(NEXT))
95: /* M68K SUNOS - could be replaced by generic code */
96: /* a0, a1 and d1 are caller save */
97: /* and therefore are on stack or dead. */
98:
99: asm("subqw #0x4,sp"); /* allocate word on top of stack */
100:
101: asm("movl a2,sp@"); asm("jbsr _GC_push_one");
102: asm("movl a3,sp@"); asm("jbsr _GC_push_one");
103: asm("movl a4,sp@"); asm("jbsr _GC_push_one");
104: asm("movl a5,sp@"); asm("jbsr _GC_push_one");
105: /* Skip frame pointer and stack pointer */
106: asm("movl d1,sp@"); asm("jbsr _GC_push_one");
107: asm("movl d2,sp@"); asm("jbsr _GC_push_one");
108: asm("movl d3,sp@"); asm("jbsr _GC_push_one");
109: asm("movl d4,sp@"); asm("jbsr _GC_push_one");
110: asm("movl d5,sp@"); asm("jbsr _GC_push_one");
111: asm("movl d6,sp@"); asm("jbsr _GC_push_one");
112: asm("movl d7,sp@"); asm("jbsr _GC_push_one");
113:
114: asm("addqw #0x4,sp"); /* put stack back where it was */
115: # endif
116:
117: # if defined(M68K) && defined(HP)
118: /* M68K HP - could be replaced by generic code */
119: /* a0, a1 and d1 are caller save. */
120:
121: asm("subq.w &0x4,%sp"); /* allocate word on top of stack */
122:
123: asm("mov.l %a2,(%sp)"); asm("jsr _GC_push_one");
124: asm("mov.l %a3,(%sp)"); asm("jsr _GC_push_one");
125: asm("mov.l %a4,(%sp)"); asm("jsr _GC_push_one");
126: asm("mov.l %a5,(%sp)"); asm("jsr _GC_push_one");
127: /* Skip frame pointer and stack pointer */
128: asm("mov.l %d1,(%sp)"); asm("jsr _GC_push_one");
129: asm("mov.l %d2,(%sp)"); asm("jsr _GC_push_one");
130: asm("mov.l %d3,(%sp)"); asm("jsr _GC_push_one");
131: asm("mov.l %d4,(%sp)"); asm("jsr _GC_push_one");
132: asm("mov.l %d5,(%sp)"); asm("jsr _GC_push_one");
133: asm("mov.l %d6,(%sp)"); asm("jsr _GC_push_one");
134: asm("mov.l %d7,(%sp)"); asm("jsr _GC_push_one");
135:
136: asm("addq.w &0x4,%sp"); /* put stack back where it was */
137: # endif /* M68K HP */
138:
1.1.1.2 ! maekawa 139: # if defined(M68K) && defined(AMIGA)
! 140: /* AMIGA - could be replaced by generic code */
! 141: /* a0, a1, d0 and d1 are caller save */
! 142:
! 143: # ifdef __GNUC__
! 144: asm("subq.w &0x4,%sp"); /* allocate word on top of stack */
! 145:
! 146: asm("mov.l %a2,(%sp)"); asm("jsr _GC_push_one");
! 147: asm("mov.l %a3,(%sp)"); asm("jsr _GC_push_one");
! 148: asm("mov.l %a4,(%sp)"); asm("jsr _GC_push_one");
! 149: asm("mov.l %a5,(%sp)"); asm("jsr _GC_push_one");
! 150: asm("mov.l %a6,(%sp)"); asm("jsr _GC_push_one");
! 151: /* Skip frame pointer and stack pointer */
! 152: asm("mov.l %d2,(%sp)"); asm("jsr _GC_push_one");
! 153: asm("mov.l %d3,(%sp)"); asm("jsr _GC_push_one");
! 154: asm("mov.l %d4,(%sp)"); asm("jsr _GC_push_one");
! 155: asm("mov.l %d5,(%sp)"); asm("jsr _GC_push_one");
! 156: asm("mov.l %d6,(%sp)"); asm("jsr _GC_push_one");
! 157: asm("mov.l %d7,(%sp)"); asm("jsr _GC_push_one");
! 158:
! 159: asm("addq.w &0x4,%sp"); /* put stack back where it was */
! 160: # else /* !__GNUC__ */
1.1 maekawa 161: GC_push_one(getreg(REG_A2));
162: GC_push_one(getreg(REG_A3));
163: GC_push_one(getreg(REG_A4));
164: GC_push_one(getreg(REG_A5));
165: GC_push_one(getreg(REG_A6));
166: /* Skip stack pointer */
167: GC_push_one(getreg(REG_D2));
168: GC_push_one(getreg(REG_D3));
169: GC_push_one(getreg(REG_D4));
170: GC_push_one(getreg(REG_D5));
171: GC_push_one(getreg(REG_D6));
172: GC_push_one(getreg(REG_D7));
1.1.1.2 ! maekawa 173: # endif /* !__GNUC__ */
! 174: # endif /* AMIGA */
1.1 maekawa 175:
176: # if defined(M68K) && defined(MACOS)
177: # if defined(THINK_C)
178: # define PushMacReg(reg) \
179: move.l reg,(sp) \
180: jsr GC_push_one
181: asm {
182: sub.w #4,sp ; reserve space for one parameter.
183: PushMacReg(a2);
184: PushMacReg(a3);
185: PushMacReg(a4);
186: ; skip a5 (globals), a6 (frame pointer), and a7 (stack pointer)
187: PushMacReg(d2);
188: PushMacReg(d3);
189: PushMacReg(d4);
190: PushMacReg(d5);
191: PushMacReg(d6);
192: PushMacReg(d7);
193: add.w #4,sp ; fix stack.
194: }
195: # undef PushMacReg
196: # endif /* THINK_C */
197: # if defined(__MWERKS__)
198: PushMacRegisters();
199: # endif /* __MWERKS__ */
200: # endif /* MACOS */
201:
202: # if defined(I386) &&!defined(OS2) &&!defined(SVR4) &&!defined(MSWIN32) \
203: && !defined(SCO) && !defined(SCO_ELF) \
204: && !(defined(LINUX) && defined(__ELF__)) \
205: && !(defined(__FreeBSD__) && defined(__ELF__)) \
206: && !defined(DOS4GW)
207: /* I386 code, generic code does not appear to work */
208: /* It does appear to work under OS2, and asms dont */
209: /* This is used for some 38g UNIX variants and for CYGWIN32 */
210: asm("pushl %eax"); asm("call _GC_push_one"); asm("addl $4,%esp");
211: asm("pushl %ecx"); asm("call _GC_push_one"); asm("addl $4,%esp");
212: asm("pushl %edx"); asm("call _GC_push_one"); asm("addl $4,%esp");
213: asm("pushl %ebp"); asm("call _GC_push_one"); asm("addl $4,%esp");
214: asm("pushl %esi"); asm("call _GC_push_one"); asm("addl $4,%esp");
215: asm("pushl %edi"); asm("call _GC_push_one"); asm("addl $4,%esp");
216: asm("pushl %ebx"); asm("call _GC_push_one"); asm("addl $4,%esp");
217: # endif
218:
219: # if ( defined(I386) && defined(LINUX) && defined(__ELF__) ) \
220: || ( defined(I386) && defined(__FreeBSD__) && defined(__ELF__) )
221:
222: /* This is modified for Linux with ELF (Note: _ELF_ only) */
223: /* This section handles FreeBSD with ELF. */
224: asm("pushl %eax"); asm("call GC_push_one"); asm("addl $4,%esp");
225: asm("pushl %ecx"); asm("call GC_push_one"); asm("addl $4,%esp");
226: asm("pushl %edx"); asm("call GC_push_one"); asm("addl $4,%esp");
227: asm("pushl %ebp"); asm("call GC_push_one"); asm("addl $4,%esp");
228: asm("pushl %esi"); asm("call GC_push_one"); asm("addl $4,%esp");
229: asm("pushl %edi"); asm("call GC_push_one"); asm("addl $4,%esp");
230: asm("pushl %ebx"); asm("call GC_push_one"); asm("addl $4,%esp");
231: # endif
232:
233: # if defined(I386) && defined(MSWIN32) && !defined(USE_GENERIC)
234: /* I386 code, Microsoft variant */
235: __asm push eax
236: __asm call GC_push_one
237: __asm add esp,4
238: __asm push ebx
239: __asm call GC_push_one
240: __asm add esp,4
241: __asm push ecx
242: __asm call GC_push_one
243: __asm add esp,4
244: __asm push edx
245: __asm call GC_push_one
246: __asm add esp,4
247: __asm push ebp
248: __asm call GC_push_one
249: __asm add esp,4
250: __asm push esi
251: __asm call GC_push_one
252: __asm add esp,4
253: __asm push edi
254: __asm call GC_push_one
255: __asm add esp,4
256: # endif
257:
258: # if defined(I386) && (defined(SVR4) || defined(SCO) || defined(SCO_ELF))
259: /* I386 code, SVR4 variant, generic code does not appear to work */
260: asm("pushl %eax"); asm("call GC_push_one"); asm("addl $4,%esp");
261: asm("pushl %ebx"); asm("call GC_push_one"); asm("addl $4,%esp");
262: asm("pushl %ecx"); asm("call GC_push_one"); asm("addl $4,%esp");
263: asm("pushl %edx"); asm("call GC_push_one"); asm("addl $4,%esp");
264: asm("pushl %ebp"); asm("call GC_push_one"); asm("addl $4,%esp");
265: asm("pushl %esi"); asm("call GC_push_one"); asm("addl $4,%esp");
266: asm("pushl %edi"); asm("call GC_push_one"); asm("addl $4,%esp");
267: # endif
268:
269: # ifdef NS32K
270: asm ("movd r3, tos"); asm ("bsr ?_GC_push_one"); asm ("adjspb $-4");
271: asm ("movd r4, tos"); asm ("bsr ?_GC_push_one"); asm ("adjspb $-4");
272: asm ("movd r5, tos"); asm ("bsr ?_GC_push_one"); asm ("adjspb $-4");
273: asm ("movd r6, tos"); asm ("bsr ?_GC_push_one"); asm ("adjspb $-4");
274: asm ("movd r7, tos"); asm ("bsr ?_GC_push_one"); asm ("adjspb $-4");
275: # endif
276:
1.1.1.2 ! maekawa 277: # if defined(SPARC) || defined(IA64)
1.1 maekawa 278: {
279: word GC_save_regs_in_stack();
280:
281: /* generic code will not work */
1.1.1.2 ! maekawa 282: GC_save_regs_ret_val = GC_save_regs_in_stack();
1.1 maekawa 283: }
284: # endif
285:
286: # ifdef RT
287: GC_push_one(TMP_SP); /* GC_push_one from r11 */
288:
289: asm("cas r11, r6, r0"); GC_push_one(TMP_SP); /* r6 */
290: asm("cas r11, r7, r0"); GC_push_one(TMP_SP); /* through */
291: asm("cas r11, r8, r0"); GC_push_one(TMP_SP); /* r10 */
292: asm("cas r11, r9, r0"); GC_push_one(TMP_SP);
293: asm("cas r11, r10, r0"); GC_push_one(TMP_SP);
294:
295: asm("cas r11, r12, r0"); GC_push_one(TMP_SP); /* r12 */
296: asm("cas r11, r13, r0"); GC_push_one(TMP_SP); /* through */
297: asm("cas r11, r14, r0"); GC_push_one(TMP_SP); /* r15 */
298: asm("cas r11, r15, r0"); GC_push_one(TMP_SP);
299: # endif
300:
301: # if defined(M68K) && defined(SYSV)
302: /* Once again similar to SUN and HP, though setjmp appears to work.
303: --Parag
304: */
305: # ifdef __GNUC__
306: asm("subqw #0x4,%sp"); /* allocate word on top of stack */
307:
308: asm("movl %a2,%sp@"); asm("jbsr GC_push_one");
309: asm("movl %a3,%sp@"); asm("jbsr GC_push_one");
310: asm("movl %a4,%sp@"); asm("jbsr GC_push_one");
311: asm("movl %a5,%sp@"); asm("jbsr GC_push_one");
312: /* Skip frame pointer and stack pointer */
313: asm("movl %d1,%sp@"); asm("jbsr GC_push_one");
314: asm("movl %d2,%sp@"); asm("jbsr GC_push_one");
315: asm("movl %d3,%sp@"); asm("jbsr GC_push_one");
316: asm("movl %d4,%sp@"); asm("jbsr GC_push_one");
317: asm("movl %d5,%sp@"); asm("jbsr GC_push_one");
318: asm("movl %d6,%sp@"); asm("jbsr GC_push_one");
319: asm("movl %d7,%sp@"); asm("jbsr GC_push_one");
320:
321: asm("addqw #0x4,%sp"); /* put stack back where it was */
322: # else /* !__GNUC__*/
323: asm("subq.w &0x4,%sp"); /* allocate word on top of stack */
324:
325: asm("mov.l %a2,(%sp)"); asm("jsr GC_push_one");
326: asm("mov.l %a3,(%sp)"); asm("jsr GC_push_one");
327: asm("mov.l %a4,(%sp)"); asm("jsr GC_push_one");
328: asm("mov.l %a5,(%sp)"); asm("jsr GC_push_one");
329: /* Skip frame pointer and stack pointer */
330: asm("mov.l %d1,(%sp)"); asm("jsr GC_push_one");
331: asm("mov.l %d2,(%sp)"); asm("jsr GC_push_one");
332: asm("mov.l %d3,(%sp)"); asm("jsr GC_push_one");
333: asm("mov.l %d4,(%sp)"); asm("jsr GC_push_one");
334: asm("mov.l %d5,(%sp)"); asm("jsr GC_push_one");
335: asm("mov.l %d6,(%sp)"); asm("jsr GC_push_one");
336: asm("mov.l %d7,(%sp)"); asm("jsr GC_push_one");
337:
338: asm("addq.w &0x4,%sp"); /* put stack back where it was */
339: # endif /* !__GNUC__ */
340: # endif /* M68K/SYSV */
341:
1.1.1.2 ! maekawa 342: # if defined(PJ)
! 343: {
! 344: register int * sp asm ("optop");
! 345: extern int *__libc_stack_end;
! 346:
! 347: GC_push_all_stack (sp, __libc_stack_end);
! 348: }
! 349: # endif
1.1 maekawa 350:
351: /* other machines... */
352: # if !(defined M68K) && !(defined VAX) && !(defined RT)
353: # if !(defined SPARC) && !(defined I386) && !(defined NS32K)
1.1.1.2 ! maekawa 354: # if !defined(POWERPC) && !defined(UTS4) && !defined(IA64)
! 355: # if !defined(PJ)
1.1 maekawa 356: --> bad news <--
1.1.1.2 ! maekawa 357: # endif
1.1 maekawa 358: # endif
359: # endif
360: # endif
361: }
362: #endif /* !USE_GENERIC_PUSH_REGS */
363:
364: #if defined(USE_GENERIC_PUSH_REGS)
365: void GC_generic_push_regs(cold_gc_frame)
366: ptr_t cold_gc_frame;
367: {
368: /* Generic code */
369: /* The idea is due to Parag Patel at HP. */
370: /* We're not sure whether he would like */
371: /* to be he acknowledged for it or not. */
372: {
373: static jmp_buf regs;
374: register word * i = (word *) regs;
375: register ptr_t lim = (ptr_t)(regs) + (sizeof regs);
376:
377: /* Setjmp on Sun 3s doesn't clear all of the buffer. */
378: /* That tends to preserve garbage. Clear it. */
379: for (; (char *)i < lim; i++) {
380: *i = 0;
381: }
382: # if defined(POWERPC) || defined(MSWIN32) || defined(UTS4)
383: (void) setjmp(regs);
384: # else
385: (void) _setjmp(regs);
386: # endif
387: GC_push_current_stack(cold_gc_frame);
388: }
389: }
390: #endif /* USE_GENERIC_PUSH_REGS */
391:
392: /* On register window machines, we need a way to force registers into */
393: /* the stack. Return sp. */
394: # ifdef SPARC
395: asm(" .seg \"text\"");
396: # ifdef SVR4
397: asm(" .globl GC_save_regs_in_stack");
398: asm("GC_save_regs_in_stack:");
399: asm(" .type GC_save_regs_in_stack,#function");
400: # else
401: asm(" .globl _GC_save_regs_in_stack");
402: asm("_GC_save_regs_in_stack:");
403: # endif
404: asm(" ta 0x3 ! ST_FLUSH_WINDOWS");
405: asm(" mov %sp,%o0");
406: asm(" retl");
407: asm(" nop");
408: # ifdef SVR4
409: asm(" .GC_save_regs_in_stack_end:");
410: asm(" .size GC_save_regs_in_stack,.GC_save_regs_in_stack_end-GC_save_regs_in_stack");
411: # endif
412: # ifdef LINT
413: word GC_save_regs_in_stack() { return(0 /* sp really */);}
414: # endif
415: # endif
416:
1.1.1.2 ! maekawa 417: /* On IA64, we also need to flush register windows. But they end */
! 418: /* up on the other side of the stack segment. */
! 419: /* Returns the backing store pointer for the register stack. */
! 420: # ifdef IA64
! 421: asm(" .text");
! 422: asm(" .psr abi64");
! 423: asm(" .psr lsb");
! 424: asm(" .lsb");
! 425: asm("");
! 426: asm(" .text");
! 427: asm(" .align 16");
! 428: asm(" .global GC_save_regs_in_stack");
! 429: asm(" .proc GC_save_regs_in_stack");
! 430: asm("GC_save_regs_in_stack:");
! 431: asm(" .body");
! 432: asm(" flushrs");
! 433: asm(" ;;");
! 434: asm(" mov r8=ar.bsp");
! 435: asm(" br.ret.sptk.few rp");
! 436: asm(" .endp GC_save_regs_in_stack");
! 437: # endif
1.1 maekawa 438:
439: /* GC_clear_stack_inner(arg, limit) clears stack area up to limit and */
440: /* returns arg. Stack clearing is crucial on SPARC, so we supply */
441: /* an assembly version that's more careful. Assumes limit is hotter */
442: /* than sp, and limit is 8 byte aligned. */
443: #if defined(ASM_CLEAR_CODE) && !defined(THREADS)
444: #ifndef SPARC
445: --> fix it
446: #endif
447: # ifdef SUNOS4
448: asm(".globl _GC_clear_stack_inner");
449: asm("_GC_clear_stack_inner:");
450: # else
451: asm(".globl GC_clear_stack_inner");
452: asm("GC_clear_stack_inner:");
453: asm(".type GC_save_regs_in_stack,#function");
454: # endif
455: asm("mov %sp,%o2"); /* Save sp */
456: asm("add %sp,-8,%o3"); /* p = sp-8 */
457: asm("clr %g1"); /* [g0,g1] = 0 */
458: asm("add %o1,-0x60,%sp"); /* Move sp out of the way, */
459: /* so that traps still work. */
460: /* Includes some extra words */
461: /* so we can be sloppy below. */
462: asm("loop:");
463: asm("std %g0,[%o3]"); /* *(long long *)p = 0 */
464: asm("cmp %o3,%o1");
465: asm("bgu loop "); /* if (p > limit) goto loop */
466: asm("add %o3,-8,%o3"); /* p -= 8 (delay slot) */
467: asm("retl");
468: asm("mov %o2,%sp"); /* Restore sp., delay slot */
469: /* First argument = %o0 = return value */
470: # ifdef SVR4
471: asm(" .GC_clear_stack_inner_end:");
472: asm(" .size GC_clear_stack_inner,.GC_clear_stack_inner_end-GC_clear_stack_inner");
473: # endif
474:
475: # ifdef LINT
476: /*ARGSUSED*/
477: ptr_t GC_clear_stack_inner(arg, limit)
478: ptr_t arg; word limit;
479: { return(arg); }
480: # endif
481: #endif
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>