1.0.16.31: --control-stack-size runtime argument
[sbcl.git] / src / runtime / x86-assem.S
index 5d77b3e..e336bdd 100644 (file)
  */
 \f
 #define LANGUAGE_ASSEMBLY
-#include "validate.h"
 #include "sbcl.h"
-
-/* Minimize conditionalization for different OS naming schemes. */
-#if defined __linux__  || defined __FreeBSD__ /* (but *not* OpenBSD) */
+#include "validate.h"
+#include "genesis/closure.h"
+#include "genesis/funcallable-instance.h"
+#include "genesis/fdefn.h"
+#include "genesis/static-symbols.h"
+#include "genesis/symbol.h"
+#include "genesis/thread.h"
+       
+/* Minimize conditionalization for different OS naming schemes. 
+ *
+ * (As of sbcl-0.8.10, this seems no longer to be much of an issue, 
+ * since everyone has converged on ELF. If this generality really 
+ * turns out not to matter, perhaps it's just clutter we could get
+ * rid of? -- WHN 2004-04-18)
+ *
+ * (Except Win32, which is unlikely ever to be ELF, sorry. -- AB 2005-12-08)
+ */
+#if defined __linux__  || defined __FreeBSD__ || defined __NetBSD__ || defined __OpenBSD__ || defined __sun
 #define GNAME(var) var
 #else
 #define GNAME(var) _##var
 #endif
 
-/* Get the right type of alignment. Linux and FreeBSD (but not OpenBSD)
- * want alignment in bytes. */
-#if defined(__linux__) || defined(__FreeBSD__)
+/* Get the right type of alignment. Linux, FreeBSD and NetBSD (but not OpenBSD)
+ * want alignment in bytes. 
+ *
+ * (As in the GNAME() definitions above, as of sbcl-0.8.10, this seems 
+ * no longer to be much of an issue, since everyone has converged on
+ * the same value. If this generality really turns out not to 
+ * matter any more, perhaps it's just clutter we could get
+ * rid of? -- WHN 2004-04-18)
+ */
+#if defined(__linux__) || defined(__FreeBSD__) || defined(__NetBSD__) || defined(__OpenBSD__) || defined(__sun) || defined(LISP_FEATURE_WIN32)
 #define align_4byte    4
 #define align_8byte    8
 #define align_16byte   16
 #define        align_16byte    4       
 #endif                 
 
+/*
+ * The assembler used for win32 doesn't like .type or .size directives,
+ * so we want to conditionally kill them out. So let's wrap them in macros
+ * that are defined to be no-ops on win32. Hopefully this still works on
+ * other platforms.
+ */
+#if !defined(LISP_FEATURE_WIN32) && !defined(LISP_FEATURE_DARWIN)
+#define TYPE(name) .type name,@function
+#define SIZE(name) .size name,.-name
+#else
+#define TYPE(name)
+#define SIZE(name)
+#endif
+
+/*
+ * x86/darwin (as of MacOS X 10.4.5) doesn't reliably file signal
+ * handlers (SIGTRAP or Mach exception handlers) for 0xCC, wo we have
+ * to use ud2 instead. ud2 is an undefined opcode, #x0b0f, or
+ * 0F 0B in low-endian notation, that causes SIGILL to fire. We check
+ * for this instruction in the SIGILL handler and if we see it, we
+ * advance the EIP by two bytes to skip over ud2 instruction and
+ * call sigtrap_handler. */
+#if defined(LISP_FEATURE_DARWIN)
+#define END()
+#define TRAP ud2
+#else
+#define END() .end
+#define TRAP int3
+#endif
+
        .text
-       .global GNAME(foreign_function_call_active)
-       
+       .globl  GNAME(all_threads)
 \f
 /*
  * A call to call_into_c preserves esi, edi, and ebp.  
  * floats.
  *
  * This should work for Lisp calls C calls Lisp calls C..
+ *
+ * FIXME & OAOOM: This duplicates call-out in src/compiler/x86/c-call.lisp,
+ * so if you tweak this, change that too!
  */
        .text
        .align  align_16byte,0x90
-       .global GNAME(call_into_c)
-       .type   GNAME(call_into_c),@function
+       .globl GNAME(call_into_c)
+       TYPE(GNAME(call_into_c))
 GNAME(call_into_c):
-       movl    $1,GNAME(foreign_function_call_active)
-
 /* Save the return Lisp address in ebx. */
        popl    %ebx
 
@@ -71,13 +122,12 @@ GNAME(call_into_c):
        fstp    %st(0)
        fstp    %st(0)
 
-       call    *%eax           # normal callout using Lisp stack
-
-       movl    %eax,%ecx       # remember integer return value
+       call    *%eax             # normal callout using Lisp stack
+       movl    %eax,%ecx         # remember integer return value
 
 /* Check for a return FP value. */
        fxam
-       fnstsw  %eax
+       fnstsw  %ax
        andl    $0x4500,%eax
        cmpl    $0x4100,%eax
        jne     Lfp_rtn_value
@@ -96,7 +146,6 @@ GNAME(call_into_c):
 /* Restore the return value. */
        movl    %ecx,%eax       # maybe return value
 
-       movl    $0,GNAME(foreign_function_call_active)
 /* Return. */
        jmp     *%ebx
 
@@ -114,35 +163,56 @@ Lfp_rtn_value:
 
 /* We don't need to restore eax, because the result is in st(0). */
 
-       movl    $0,GNAME(foreign_function_call_active)
-/* Return. */  
+/* Return. FIXME: It would be nice to restructure this to use RET. */  
        jmp     *%ebx
 
-       .size   GNAME(call_into_c), . - GNAME(call_into_c)
+       SIZE(GNAME(call_into_c))
 
 \f
        .text   
-       .global GNAME(call_into_lisp)
-       .type  GNAME(call_into_lisp),@function
+       .globl GNAME(call_into_lisp_first_time)
+       TYPE(GNAME(call_into_lisp_first_time))
+               
+/* The *ALIEN-STACK* pointer is set up on the first call_into_lisp when
+ * the stack changes.  We don't worry too much about saving registers 
+ * here, because we never expect to return from the initial call to lisp 
+ * anyway */
+       
+       .align  align_16byte,0x90
+GNAME(call_into_lisp_first_time):
+       pushl   %ebp            # Save old frame pointer.
+       movl    %esp,%ebp       # Establish new frame.
+#ifndef LISP_FEATURE_WIN32
+       movl    %esp,ALIEN_STACK + SYMBOL_VALUE_OFFSET
+       movl    GNAME(all_threads),%eax
+       /* pthread machinery takes care of this for other threads */
+       movl    THREAD_CONTROL_STACK_END_OFFSET(%eax) ,%esp
+#else
+/* Win32 -really- doesn't like you switching stacks out from under it. */
+       movl    GNAME(all_threads),%eax
+#endif
+       jmp     Lstack
+\f
+       .text   
+       .globl GNAME(call_into_lisp)
+       TYPE(GNAME(call_into_lisp))
                
 /* The C conventions require that ebx, esi, edi, and ebp be preserved
  * across function calls. */
-/* The *ALIEN-STACK* pointer is set up on the first call_into_lisp when
- * the stack changes. */
        
        .align  align_16byte,0x90
 GNAME(call_into_lisp):
        pushl   %ebp            # Save old frame pointer.
        movl    %esp,%ebp       # Establish new frame.
-
+Lstack:
 /* Save the NPX state */
        fwait                   # Catch any pending NPX exceptions.
        subl    $108,%esp       # Make room for the NPX state.
-       fnsave  (%esp)          # resets NPX
+       fnsave  (%esp)          # save and reset NPX
 
        movl    (%esp),%eax     # Load NPX control word.
-       andl    $0xfffff3ff,%eax        # Set rounding mode to nearest.
-       orl     $0x00000300,%eax        # Set precision to 64 bits.
+       andl    $0xfffff2ff,%eax        # Set rounding mode to nearest.
+       orl     $0x00000200,%eax        # Set precision to 64 bits.  (53-bit mantissa)
        pushl   %eax
        fldcw   (%esp)          # Recover modes.
        popl    %eax
@@ -170,18 +240,7 @@ GNAME(call_into_lisp):
        xorl    %esi,%esi       # third arg
 
 /* no longer in function call */
-       movl    %eax, GNAME(foreign_function_call_active)
-
        movl    %esp,%ebx       # remember current stack
-       cmpl    $CONTROL_STACK_START,%esp
-       jbe     ChangeToLispStack
-       cmpl    $CONTROL_STACK_END,%esp
-       jbe     OnLispStack
-ChangeToLispStack:
-       /* Setup the *alien-stack* pointer */
-       movl    %esp,ALIEN_STACK + SYMBOL_VALUE_OFFSET
-       movl    $CONTROL_STACK_END,%esp         # new stack
-OnLispStack:
        pushl   %ebx            # Save entry stack on (maybe) new stack.
 
        /* Establish Lisp args. */
@@ -201,18 +260,39 @@ OnLispStack:
 Ldone: 
        /* Registers eax, ecx, edx, edi, and esi are now live. */
 
+#ifdef LISP_FEATURE_WIN32
+       /* Establish an SEH frame. */
+#ifdef LISP_FEATURE_SB_THREAD
+       /* FIXME: need to save BSP here. */
+#error "need to save BSP here, but don't know how yet."
+#else
+       pushl   BINDING_STACK_POINTER + SYMBOL_VALUE_OFFSET
+#endif
+       pushl   $GNAME(exception_handler_wrapper)
+       pushl   %fs:0
+       movl    %esp, %fs:0
+#endif
+
        /* Alloc new frame. */
        mov     %esp,%ebx       # The current sp marks start of new frame.
        push    %ebp            # fp in save location S0
        sub     $8,%esp         # Ensure 3 slots are allocated, one above.
        mov     %ebx,%ebp       # Switch to new frame.
 
-       /* Indirect the closure. */
-       call    *CLOSURE_FUNCTION_OFFSET(%eax)
+       call    *CLOSURE_FUN_OFFSET(%eax)
        
-       /* Multi-value return; blow off any extra values. */
+       /* If the function returned multiple values, it will return to
+          this point.  Lose them */
+       jnc     LsingleValue
        mov     %ebx, %esp
-       /* single value return */
+LsingleValue:
+       /* A singled value function returns here */
+
+#ifdef LISP_FEATURE_WIN32
+       /* Remove our SEH frame. */
+       popl    %fs:0
+       add     $8, %esp
+#endif
 
 /* Restore the stack, in case there was a stack change. */
        popl    %esp            # c-sp
@@ -229,187 +309,115 @@ Ldone:
        popl    %ebp            # c-sp
        movl    %edx,%eax       # c-val
        ret
-       .size   GNAME(call_into_lisp), . - GNAME(call_into_lisp)
+       SIZE(GNAME(call_into_lisp))
 \f
 /* support for saving and restoring the NPX state from C */
        .text
-       .global GNAME(fpu_save)
-       .type   GNAME(fpu_save),@function
+       .globl  GNAME(fpu_save)
+       TYPE(GNAME(fpu_save))
        .align  2,0x90
 GNAME(fpu_save):
        movl    4(%esp),%eax
        fnsave  (%eax)          # Save the NPX state. (resets NPX)
        ret
-       .size   GNAME(fpu_save),.-GNAME(fpu_save)
+       SIZE(GNAME(fpu_save))
 
-       .global GNAME(fpu_restore)
-       .type   GNAME(fpu_restore),@function
+       .globl  GNAME(fpu_restore)
+       TYPE(GNAME(fpu_restore))
        .align  2,0x90
 GNAME(fpu_restore):
        movl    4(%esp),%eax
        frstor  (%eax)          # Restore the NPX state.
        ret
-       .size   GNAME(fpu_restore),.-GNAME(fpu_restore)
+       SIZE(GNAME(fpu_restore))
 \f
 /*
  * the undefined-function trampoline
  */
        .text
        .align  align_4byte,0x90
-       .global GNAME(undefined_tramp)
-       .type   GNAME(undefined_tramp),@function
+       .globl GNAME(undefined_tramp)
+       TYPE(GNAME(undefined_tramp))
+        .byte   0, 0, 0, SIMPLE_FUN_HEADER_WIDETAG
 GNAME(undefined_tramp):
-       int3
+       TRAP
        .byte   trap_Error
         .byte   2
-#ifdef type_LongFloat
-        .byte   24
-#else
-        .byte   23
-#endif
+        .byte   UNDEFINED_FUN_ERROR
         .byte   sc_DescriptorReg # eax in the Descriptor-reg SC
        ret
-       .size   GNAME(undefined_tramp), .-GNAME(undefined_tramp)
+       SIZE(GNAME(undefined_tramp))
 
 /*
  * the closure trampoline
  */
        .text
        .align  align_4byte,0x90
-       .global GNAME(closure_tramp)
-       .type   GNAME(closure_tramp),@function
+       .globl GNAME(closure_tramp)
+       TYPE(GNAME(closure_tramp))
+        .byte   0, 0, 0, SIMPLE_FUN_HEADER_WIDETAG
 GNAME(closure_tramp):
-       movl    FDEFN_FUNCTION_OFFSET(%eax),%eax
+       movl    FDEFN_FUN_OFFSET(%eax),%eax
        /* FIXME: The '*' after "jmp" in the next line is from PVE's
         * patch posted to the CMU CL mailing list Oct 6, 1999. It looks
         * reasonable, and it certainly seems as though if CMU CL needs it,
         * SBCL needs it too, but I haven't actually verified that it's
         * right. It would be good to find a way to force the flow of
         * control through here to test it. */
-       jmp     *CLOSURE_FUNCTION_OFFSET(%eax)
-       .size   GNAME(closure_tramp), .-GNAME(closure_tramp)
+       jmp     *CLOSURE_FUN_OFFSET(%eax)
+       SIZE(GNAME(closure_tramp))
 
+       .text
+       .align  align_4byte,0x90
+       .globl GNAME(funcallable_instance_tramp)
+       TYPE(GNAME(funcallable_instance_tramp))
+GNAME(funcallable_instance_tramp):
+       movl    FUNCALLABLE_INSTANCE_FUNCTION_OFFSET(%eax),%eax 
+       /* KLUDGE: on this platform, whatever kind of function is in %rax
+        * now, the first word of it contains the address to jump to. */
+       jmp     *CLOSURE_FUN_OFFSET(%eax)
+       SIZE(GNAME(funcallable_instance_tramp))
+       
 /*
- * function-end breakpoint magic
+ * fun-end breakpoint magic
  */
        .text
-       .global GNAME(function_end_breakpoint_guts)
+       .globl  GNAME(fun_end_breakpoint_guts)
        .align  align_4byte
-GNAME(function_end_breakpoint_guts):
+GNAME(fun_end_breakpoint_guts):
        /* Multiple Value return */
-       jmp     multiple_value_return
+       jc      multiple_value_return
        /* Single value return: The eventual return will now use the
           multiple values return convention but with a return values
           count of one. */
        movl    %esp,%ebx       # Setup ebx - the ofp.
        subl    $4,%esp         # Allocate one stack slot for the return value
        movl    $4,%ecx         # Setup ecx for one return value.
-       movl    $NIL,%edi       # default second value
-       movl    $NIL,%esi       # default third value
+       movl    $(NIL),%edi     # default second value
+       movl    $(NIL),%esi     # default third value
                
 multiple_value_return:
        
-       .global GNAME(function_end_breakpoint_trap)
-GNAME(function_end_breakpoint_trap):
-       int3
-       .byte   trap_FunctionEndBreakpoint
+       .globl GNAME(fun_end_breakpoint_trap)
+GNAME(fun_end_breakpoint_trap):
+       TRAP
+       .byte   trap_FunEndBreakpoint
        hlt                     # We should never return here.
 
-       .global GNAME(function_end_breakpoint_end)
-GNAME(function_end_breakpoint_end):
+       .globl GNAME(fun_end_breakpoint_end)
+GNAME(fun_end_breakpoint_end):
 
 \f
-       .global GNAME(do_pending_interrupt)
-       .type   GNAME(do_pending_interrupt),@function
+       .globl  GNAME(do_pending_interrupt)
+       TYPE(GNAME(do_pending_interrupt))
        .align  align_4byte,0x90
 GNAME(do_pending_interrupt):
-       int3
+       TRAP
        .byte   trap_PendingInterrupt
        ret
-       .size   GNAME(do_pending_interrupt),.-GNAME(do_pending_interrupt)
+       SIZE(GNAME(do_pending_interrupt))
 \f
-#ifdef WANT_CGC
-/* This is a copy function which is optimized for the Pentium and
- * works OK on 486 as well. This assumes (does not check) that the
- * input byte count is a multiple of 8 bytes (one Lisp object).
- * This code takes advantage of pairing in the Pentium as well
- * as the 128-bit cache line.
- */
-       .global GNAME(fastcopy16)
-       .type   GNAME(fastcopy16),@function
-       .align align_4byte,0x90
-GNAME(fastcopy16):
-       pushl   %ebp
-       movl    %esp,%ebp
-       movl    8(%ebp), %edx   # dst
-       movl    12(%ebp),%eax   # src
-       movl    16(%ebp),%ecx   # bytes
-       pushl   %ebx
-       pushl   %esi
-       pushl   %edi
-       movl    %edx,%edi
-       movl    %eax,%esi
-       sarl    $3,%ecx         # number 8-byte units
-       testl   $1,%ecx         # odd?
-       jz      Lquad
-       movl    (%esi),%eax
-       movl    4(%esi),%ebx
-       movl    %eax,(%edi)
-       movl    %ebx,4(%edi)
-       leal    8(%esi),%esi
-       leal    8(%edi),%edi
-Lquad: sarl    $1,%ecx         # count 16-byte units
-       jz      Lend
-       movl    %ecx,%ebp       # use ebp for loop counter
-       .align  align_16byte,0x90
-Ltop:
-       movl      (%edi),%eax   # prefetch! MAJOR Pentium win..
-       movl      (%esi),%eax
-       movl     4(%esi),%ebx
-       movl     8(%esi),%ecx
-       movl    12(%esi),%edx
-       movl    %eax,  (%edi)
-       movl    %ebx, 4(%edi)
-       movl    %ecx, 8(%edi)
-       movl    %edx,12(%edi)
-       leal    16(%esi),%esi
-       leal    16(%edi),%edi
-       decl    %ebp
-       jnz     Ltop            # non-prefixed jump saves cycles
-Lend:
-       popl    %edi
-       popl    %esi
-       popl    %ebx
-       popl    %ebp
-       ret
-       .size   GNAME(fastcopy16),.-GNAME(fastcopy16)
-#endif
-\f
-#ifdef GENCGC
-/* This is a fast bzero using the FPU. The first argument is the start
- * address which needs to be aligned on an 8 byte boundary, the second
- * argument is the number of bytes, which must be a nonzero multiple
- * of 8 bytes. */
-       .text
-       .globl  GNAME(i586_bzero)
-       .type   GNAME(i586_bzero),@function
-       .align  align_4byte,0x90
-GNAME(i586_bzero):
-       movl    4(%esp),%edx    # Load the start address.
-       movl    8(%esp),%eax    # Load the number of bytes.
-       fldz
-l1:    fstl    0(%edx)
-       addl    $8,%edx
-       subl    $8,%eax
-       jnz     l1
-       fstp    %st(0)
-       ret
-       .size   GNAME(i586_bzero),.-GNAME(i586_bzero)
-#endif 
-\f
-
-/*
- * Allocate bytes and return the start of the allocated space
+/* Allocate bytes and return the start of the allocated space
  * in the specified destination register.
  *
  * In the general case the size will be in the destination register.
@@ -417,437 +425,457 @@ l1:     fstl    0(%edx)
  * All registers must be preserved except the destination.
  * The C conventions will preserve ebx, esi, edi, and ebp.
  * So only eax, ecx, and edx need special care here.
+ *
+ * ALLOC factors out the logic of calling alloc(): stack alignment, etc.
+ *
+ * DEFINE_ALLOC_TO_FOO defines an alloction routine.
  */
-       
-       .globl  GNAME(alloc_to_eax)
-       .type   GNAME(alloc_to_eax),@function
-       .align  align_4byte,0x90
-GNAME(alloc_to_eax):
-       pushl   %ecx    # Save ecx and edx as C could destroy them.
-       pushl   %edx
-       pushl   %eax    # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       popl    %edx    # Restore ecx and edx.
-       popl    %ecx
-       ret
-       .size   GNAME(alloc_to_eax),.-GNAME(alloc_to_eax)
-
-       .globl  GNAME(alloc_8_to_eax)
-       .type   GNAME(alloc_8_to_eax),@function
-       .align  align_4byte,0x90
-GNAME(alloc_8_to_eax):
-       pushl   %ecx    # Save ecx and edx as C could destroy them.
-       pushl   %edx
-       pushl   $8      # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       popl    %edx    # Restore ecx and edx.
-       popl    %ecx
-       ret
-       .size   GNAME(alloc_8_to_eax),.-GNAME(alloc_8_to_eax)
-
-       .globl  GNAME(alloc_8_to_eax)
-       .type   GNAME(alloc_8_to_eax),@function
-       .align  align_4byte,0x90
-
-       .globl  GNAME(alloc_16_to_eax)
-       .type   GNAME(alloc_16_to_eax),@function
-       .align  align_4byte,0x90
-GNAME(alloc_16_to_eax):
-       pushl   %ecx    # Save ecx and edx as C could destroy them.
-       pushl   %edx
-       pushl   $16     # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       popl    %edx    # Restore ecx and edx.
-       popl    %ecx
-       ret
-       .size   GNAME(alloc_16_to_eax),.-GNAME(alloc_16_to_eax)
-
-       .globl  GNAME(alloc_to_ecx)
-       .type   GNAME(alloc_to_ecx),@function
-       .align  align_4byte,0x90
-GNAME(alloc_to_ecx):
-       pushl   %eax    # Save eax and edx as C could destroy them.
-       pushl   %edx
-       pushl   %ecx    # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       movl    %eax,%ecx       # Set up the destination.
-       popl    %edx    # Restore eax and edx.
-       popl    %eax
-       ret
-       .size   GNAME(alloc_to_ecx),.-GNAME(alloc_to_ecx)
-
-       .globl  GNAME(alloc_8_to_ecx)
-       .type   GNAME(alloc_8_to_ecx),@function
-       .align  align_4byte,0x90
-GNAME(alloc_8_to_ecx):
-       pushl   %eax    # Save eax and edx as C could destroy them.
-       pushl   %edx
-       pushl   $8      # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       movl    %eax,%ecx       # Set up the destination.
-       popl    %edx    # Restore eax and edx.
-       popl    %eax
-       ret
-       .size   GNAME(alloc_8_to_ecx),.-GNAME(alloc_8_to_ecx)
-
-       .globl  GNAME(alloc_16_to_ecx)
-       .type   GNAME(alloc_16_to_ecx),@function
-       .align  align_4byte,0x90
-GNAME(alloc_16_to_ecx):
-       pushl   %eax    # Save eax and edx as C could destroy them.
-       pushl   %edx
-       pushl   $16     # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       movl    %eax,%ecx       # Set up the destination.
-       popl    %edx    # Restore eax and edx.
-       popl    %eax
-       ret
-       .size   GNAME(alloc_16_to_ecx),.-GNAME(alloc_16_to_ecx)
-
 
-       .globl  GNAME(alloc_to_edx)
-       .type   GNAME(alloc_to_edx),@function
-       .align  align_4byte,0x90
-GNAME(alloc_to_edx):
-       pushl   %eax    # Save eax and ecx as C could destroy them.
-       pushl   %ecx
-       pushl   %edx    # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       movl    %eax,%edx       # Set up the destination.
-       popl    %ecx    # Restore eax and ecx.
-       popl    %eax
-       ret
-       .size   GNAME(alloc_to_edx),.-GNAME(alloc_to_edx)
-
-       .globl  GNAME(alloc_8_to_edx)
-       .type   GNAME(alloc_8_to_edx),@function
-       .align  align_4byte,0x90
-GNAME(alloc_8_to_edx):
-       pushl   %eax    # Save eax and ecx as C could destroy them.
-       pushl   %ecx
-       pushl   $8      # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       movl    %eax,%edx       # Set up the destination.
-       popl    %ecx    # Restore eax and ecx.
-       popl    %eax
-       ret
-       .size   GNAME(alloc_8_to_edx),.-GNAME(alloc_8_to_edx)
-
-       .globl  GNAME(alloc_16_to_edx)
-       .type   GNAME(alloc_16_to_edx),@function
-       .align  align_4byte,0x90
-GNAME(alloc_16_to_edx):
-       pushl   %eax    # Save eax and ecx as C could destroy them.
-       pushl   %ecx
-       pushl   $16     # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       movl    %eax,%edx       # Set up the destination.
-       popl    %ecx    # Restore eax and ecx.
-       popl    %eax
-       ret
-       .size   GNAME(alloc_16_to_edx),.-GNAME(alloc_16_to_edx)
-
-
-
-       .globl  GNAME(alloc_to_ebx)
-       .type   GNAME(alloc_to_ebx),@function
-       .align  align_4byte,0x90
-GNAME(alloc_to_ebx):
-       pushl   %eax    # Save eax, ecx, and edx as C could destroy them.
-       pushl   %ecx
-       pushl   %edx
-       pushl   %ebx    # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       movl    %eax,%ebx       # Set up the destination.
-       popl    %edx    # Restore eax, ecx and edx.
-       popl    %ecx
-       popl    %eax
-       ret
-       .size   GNAME(alloc_to_ebx),.-GNAME(alloc_to_ebx)
-
-       .globl  GNAME(alloc_8_to_ebx)
-       .type   GNAME(alloc_8_to_ebx),@function
-       .align  align_4byte,0x90
-GNAME(alloc_8_to_ebx):
-       pushl   %eax    # Save eax, ecx, and edx as C could destroy them.
-       pushl   %ecx
-       pushl   %edx
-       pushl   $8      # Push the size.
-       call    GNAME(alloc)
-       addl    $4,%esp # Pop the size arg.
-       movl    %eax,%ebx       # Set up the destination.
-       popl    %edx    # Restore eax, ecx and edx.
-       popl    %ecx
-       popl    %eax
-       ret
-       .size   GNAME(alloc_8_to_ebx),.-GNAME(alloc_8_to_ebx)
-
-       .globl  GNAME(alloc_16_to_ebx)
-       .type   GNAME(alloc_16_to_ebx),@function
-       .align  align_4byte,0x90
-GNAME(alloc_16_to_ebx):
-       pushl   %eax    # Save eax, ecx, and edx as C could destroy them.
-       pushl   %ecx
-       pushl   %edx
-       pushl   $16     # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%ebx       # setup the destination.
-       popl    %edx    # Restore eax, ecx and edx.
-       popl    %ecx
-       popl    %eax
-       ret
-       .size   GNAME(alloc_16_to_ebx),.-GNAME(alloc_16_to_ebx)
-
-
-
-       .globl  GNAME(alloc_to_esi)
-       .type   GNAME(alloc_to_esi),@function
-       .align  align_4byte,0x90
-GNAME(alloc_to_esi):
-       pushl   %eax    # Save eax, ecx, and edx as C could destroy them.
-       pushl   %ecx
-       pushl   %edx
-       pushl   %esi    # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%esi       # setup the destination.
-       popl    %edx    # Restore eax, ecx and edx.
-       popl    %ecx
-       popl    %eax
-       ret
-       .size   GNAME(alloc_to_esi),.-GNAME(alloc_to_esi)
-
-       .globl  GNAME(alloc_8_to_esi)
-       .type   GNAME(alloc_8_to_esi),@function
-       .align  align_4byte,0x90
-GNAME(alloc_8_to_esi):
-       pushl   %eax    # Save eax, ecx, and edx as C could destroy them.
-       pushl   %ecx
-       pushl   %edx
-       pushl   $8      # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%esi       # setup the destination.
-       popl    %edx    # Restore eax, ecx and edx.
-       popl    %ecx
-       popl    %eax
-       ret
-       .size   GNAME(alloc_8_to_esi),.-GNAME(alloc_8_to_esi)
-
-       .globl  GNAME(alloc_16_to_esi)
-       .type   GNAME(alloc_16_to_esi),@function
-       .align  align_4byte,0x90
-GNAME(alloc_16_to_esi):
-       pushl   %eax    # Save eax, ecx, and edx as C could destroy them.
-       pushl   %ecx
-       pushl   %edx
-       pushl   $16     # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%esi       # setup the destination.
-       popl    %edx    # Restore eax, ecx and edx.
-       popl    %ecx
-       popl    %eax
-       ret
-       .size   GNAME(alloc_16_to_esi),.-GNAME(alloc_16_to_esi)
-
-
-       .globl  GNAME(alloc_to_edi)
-       .type   GNAME(alloc_to_edi),@function
-       .align  align_4byte,0x90
-GNAME(alloc_to_edi):
-       pushl   %eax    # Save eax, ecx, and edx as C could destroy them.
-       pushl   %ecx
-       pushl   %edx
-       pushl   %edi    # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%edi       # setup the destination.
-       popl    %edx    # Restore eax, ecx and edx.
-       popl    %ecx
-       popl    %eax
-       ret
-       .size   GNAME(alloc_to_edi),.-GNAME(alloc_to_edi)
-
-       .globl  GNAME(alloc_8_to_edi)
-       .type   GNAME(alloc_8_to_edi),@function
-       .align  align_4byte,0x90
-GNAME(alloc_8_to_edi):
-       pushl   %eax    # Save eax, ecx, and edx as C could destroy them.
-       pushl   %ecx
-       pushl   %edx
-       pushl   $8      # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%edi       # setup the destination.
-       popl    %edx    # Restore eax, ecx and edx.
-       popl    %ecx
-       popl    %eax
-       ret
-       .size   GNAME(alloc_8_to_edi),.-GNAME(alloc_8_to_edi)
-
-       .globl  GNAME(alloc_16_to_edi)
-       .type   GNAME(alloc_16_to_edi),@function
-       .align  align_4byte,0x90
-GNAME(alloc_16_to_edi):
-       pushl   %eax    # Save eax, ecx, and edx as C could destroy them.
-       pushl   %ecx
-       pushl   %edx
-       pushl   $16     # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%edi       # setup the destination.
-       popl    %edx    # Restore eax, ecx and edx.
-       popl    %ecx
-       popl    %eax
-       ret
-       .size   GNAME(alloc_16_to_edi),.-GNAME(alloc_16_to_edi)
-               
-
-\f
-#ifdef GENCGC
+#ifdef LISP_FEATURE_DARWIN
+#define ALLOC(size)                                             \
+        pushl   %ebp;              /* Save EBP               */ \
+        movl    %esp,%ebp;         /* Save ESP to EBP        */ \
+        andl    $0xfffffff0,%esp;  /* Align stack            */ \
+        pushl   $0;                /* Padding                */ \
+        pushl   size;              /* Argument to alloc      */ \
+        call    GNAME(alloc);                                   \
+        movl    %ebp,%esp;         /* Restore ESP from EBP   */ \
+        popl    %ebp;              /* Restore EBP            */
+#else
+#define ALLOC(size)                                             \
+        pushl   size;              /* Argument to alloc      */ \
+        call    GNAME(alloc);                                   \
+        addl    $4,%esp;           /* Pop argument           */
+#endif
 
-/* These routines are called from Lisp when an inline allocation 
- * overflows. Every register except the result needs to be preserved.
+#define DEFINE_ALLOC_TO_EAX(name,size)                          \
+        .globl  GNAME(name);                                    \
+        TYPE(GNAME(name));                                      \
+        .align  align_4byte,0x90;                               \
+GNAME(name):                                                    \
+        pushl   %ecx;              /* Save ECX and EDX       */ \
+        pushl   %edx;                                           \
+        ALLOC(size)                                             \
+        popl    %edx;              /* Restore ECX and EDX    */ \
+        popl    %ecx;                                           \
+        ret;                                                    \
+        SIZE(GNAME(name))
+
+#define DEFINE_ALLOC_TO_ECX(name,size)                          \
+        .globl  GNAME(name);                                    \
+        TYPE(GNAME(name));                                      \
+        .align  align_4byte,0x90;                               \
+GNAME(name):                                                    \
+        pushl   %eax;              /* Save EAX and EDX       */ \
+        pushl   %edx;                                           \
+        ALLOC(size)                                             \
+        movl    %eax,%ecx;         /* Result to destination  */ \
+        popl    %edx;                                           \
+        popl    %eax;                                           \
+        ret;                                                    \
+        SIZE(GNAME(name))
+        
+#define DEFINE_ALLOC_TO_EDX(name,size)                          \
+        .globl  GNAME(name);                                    \
+        TYPE(GNAME(name));                                      \
+        .align  align_4byte,0x90;                               \
+GNAME(name):                                                    \
+        pushl   %eax;               /* Save EAX and ECX      */ \
+        pushl   %ecx;                                           \
+        ALLOC(size)                                             \
+        movl    %eax,%edx;          /* Restore EAX and ECX   */ \
+        popl    %ecx;                                           \
+        popl    %eax;                                           \
+        ret;                                                    \
+        SIZE(GNAME(name))
+
+#define DEFINE_ALLOC_TO_REG(name,reg,size)                      \
+        .globl  GNAME(name);                                    \
+        TYPE(GNAME(name));                                      \
+        .align  align_4byte,0x90;                               \
+GNAME(name):                                                    \
+        pushl   %eax;              /* Save EAX, ECX, and EDX */ \
+        pushl   %ecx;                                           \
+        pushl   %edx;                                           \
+        ALLOC(size)                                             \
+        movl    %eax,reg;          /* Restore them           */ \
+        popl    %edx;                                           \
+        popl    %ecx;                                           \
+        popl    %eax;                                           \
+        ret;                                                    \
+       SIZE(GNAME(name))
+
+DEFINE_ALLOC_TO_EAX(alloc_to_eax,%eax)
+DEFINE_ALLOC_TO_EAX(alloc_8_to_eax,$8)
+DEFINE_ALLOC_TO_EAX(alloc_16_to_eax,$16)
+
+DEFINE_ALLOC_TO_ECX(alloc_to_ecx,%ecx)
+DEFINE_ALLOC_TO_ECX(alloc_8_to_ecx,$8)
+DEFINE_ALLOC_TO_ECX(alloc_16_to_ecx,$16)
+
+DEFINE_ALLOC_TO_EDX(alloc_to_edx,%edx)
+DEFINE_ALLOC_TO_EDX(alloc_8_to_edx,$8)
+DEFINE_ALLOC_TO_EDX(alloc_16_to_edx,$16)
+
+DEFINE_ALLOC_TO_REG(alloc_to_ebx,%ebx,%ebx)
+DEFINE_ALLOC_TO_REG(alloc_8_to_ebx,%ebx,$8)
+DEFINE_ALLOC_TO_REG(alloc_16_to_ebx,%ebx,$16)
+
+DEFINE_ALLOC_TO_REG(alloc_to_esi,%esi,%esi)
+DEFINE_ALLOC_TO_REG(alloc_8_to_esi,%esi,$8)
+DEFINE_ALLOC_TO_REG(alloc_16_to_esi,%esi,$16)
+
+DEFINE_ALLOC_TO_REG(alloc_to_edi,%edi,%edi)
+DEFINE_ALLOC_TO_REG(alloc_8_to_edi,%edi,$8)
+DEFINE_ALLOC_TO_REG(alloc_16_to_edi,%edi,$16)
+
+/* Called from lisp when an inline allocation overflows.
+ * Every register except the result needs to be preserved.
  * We depend on C to preserve ebx, esi, edi, and ebp.
  * But where necessary must save eax, ecx, edx. */
 
+#ifdef LISP_FEATURE_SB_THREAD
+#define START_REGION %fs:THREAD_ALLOC_REGION_OFFSET
+#else
+#define START_REGION GNAME(boxed_region)
+#endif
+
+#define ALLOC_OVERFLOW(size)                                    \
+        /* Calculate the size for the allocation. */            \
+        subl    START_REGION,size;                              \
+        ALLOC(size)
+
 /* This routine handles an overflow with eax=crfp+size. So the
- * size=eax-crfp. */
-       .align  align_4byte
-       .globl  GNAME(alloc_overflow_eax)
-       .type   GNAME(alloc_overflow_eax),@function
+   size=eax-crfp. */
+        .align  align_4byte
+        .globl  GNAME(alloc_overflow_eax)
+       TYPE(GNAME(alloc_overflow_eax))
 GNAME(alloc_overflow_eax):
-       pushl   %ecx            # Save ecx
-       pushl   %edx            # Save edx
-       /* Calculate the size for the allocation. */
-       subl    GNAME(current_region_free_pointer),%eax
-       pushl   %eax            # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       popl    %edx    # Restore edx.
-       popl    %ecx    # Restore ecx.
-       addl    $6,(%esp) # Adjust the return address to skip the next inst.
-       ret
-       .size    GNAME(alloc_overflow_eax),.-GNAME(alloc_overflow_eax)
-
-/* This routine handles an overflow with ecx=crfp+size. So the
- * size=ecx-crfp. */
-       .align  align_4byte
-       .globl  GNAME(alloc_overflow_ecx)
-       .type   GNAME(alloc_overflow_ecx),@function
+        pushl   %ecx            # Save ecx
+        pushl   %edx            # Save edx
+       ALLOC_OVERFLOW(%eax)
+        popl    %edx    # Restore edx.
+        popl    %ecx    # Restore ecx.
+        ret
+        SIZE(GNAME(alloc_overflow_eax))
+
+        .align  align_4byte
+        .globl  GNAME(alloc_overflow_ecx)
+       TYPE(GNAME(alloc_overflow_ecx))
 GNAME(alloc_overflow_ecx):
-       pushl   %eax            # Save eax
-       pushl   %edx            # Save edx
-       /* Calculate the size for the allocation. */
-       subl    GNAME(current_region_free_pointer),%ecx
-       pushl   %ecx            # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%ecx       # setup the destination.
-       popl    %edx    # Restore edx.
-       popl    %eax    # Restore eax.
-       addl    $6,(%esp) # Adjust the return address to skip the next inst.
-       ret
-       .size    GNAME(alloc_overflow_ecx),.-GNAME(alloc_overflow_ecx)
-
-/* This routine handles an overflow with edx=crfp+size. So the
- * size=edx-crfp. */
-       .align  align_4byte
-       .globl  GNAME(alloc_overflow_edx)
-       .type   GNAME(alloc_overflow_edx),@function
+        pushl   %eax            # Save eax
+        pushl   %edx            # Save edx
+       ALLOC_OVERFLOW(%ecx)
+        movl    %eax,%ecx       # setup the destination.
+        popl    %edx    # Restore edx.
+        popl    %eax    # Restore eax.
+        ret
+        SIZE(GNAME(alloc_overflow_ecx))
+
+        .align  align_4byte
+        .globl  GNAME(alloc_overflow_edx)
+        TYPE(GNAME(alloc_overflow_edx))
 GNAME(alloc_overflow_edx):
-       pushl   %eax            # Save eax
-       pushl   %ecx            # Save ecx
-       /* Calculate the size for the allocation. */
-       subl    GNAME(current_region_free_pointer),%edx
-       pushl   %edx            # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%edx       # setup the destination.
-       popl    %ecx    # Restore ecx.
-       popl    %eax    # Restore eax.
-       addl    $6,(%esp) # Adjust the return address to skip the next inst.
-       ret
-       .size    GNAME(alloc_overflow_edx),.-GNAME(alloc_overflow_edx)
+        pushl   %eax            # Save eax
+        pushl   %ecx            # Save ecx
+       ALLOC_OVERFLOW(%edx)
+        movl    %eax,%edx       # setup the destination.
+        popl    %ecx    # Restore ecx.
+        popl    %eax    # Restore eax.
+        ret
+        SIZE(GNAME(alloc_overflow_edx))
 
 /* This routine handles an overflow with ebx=crfp+size. So the
- * size=ebx-crfp. */
-       .align  align_4byte
-       .globl  GNAME(alloc_overflow_ebx)
-       .type   GNAME(alloc_overflow_ebx),@function
+   size=ebx-crfp. */
+        .align  align_4byte
+        .globl  GNAME(alloc_overflow_ebx)
+        TYPE(GNAME(alloc_overflow_ebx))
 GNAME(alloc_overflow_ebx):
-       pushl   %eax            # Save eax
-       pushl   %ecx            # Save ecx
-       pushl   %edx            # Save edx
-       /* Calculate the size for the allocation. */
-       subl    GNAME(current_region_free_pointer),%ebx
-       pushl   %ebx            # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%ebx       # setup the destination.
-       popl    %edx    # Restore edx.
-       popl    %ecx    # Restore ecx.
-       popl    %eax    # Restore eax.
-       addl    $6,(%esp) # Adjust the return address to skip the next inst.
-       ret
-       .size    GNAME(alloc_overflow_ebx),.-GNAME(alloc_overflow_ebx)
+        pushl   %eax            # Save eax
+        pushl   %ecx            # Save ecx
+        pushl   %edx            # Save edx
+       ALLOC_OVERFLOW(%ebx)
+        movl    %eax,%ebx       # setup the destination.
+        popl    %edx    # Restore edx.
+        popl    %ecx    # Restore ecx.
+        popl    %eax    # Restore eax.
+        ret
+        SIZE(GNAME(alloc_overflow_ebx))
 
 /* This routine handles an overflow with esi=crfp+size. So the
- * size=esi-crfp. */
-       .align  align_4byte
-       .globl  GNAME(alloc_overflow_esi)
-       .type   GNAME(alloc_overflow_esi),@function
+   size=esi-crfp. */
+        .align  align_4byte
+        .globl  GNAME(alloc_overflow_esi)
+        TYPE(GNAME(alloc_overflow_esi))
 GNAME(alloc_overflow_esi):
-       pushl   %eax            # Save eax
-       pushl   %ecx            # Save ecx
-       pushl   %edx            # Save edx
-       /* Calculate the size for the allocation. */
-       subl    GNAME(current_region_free_pointer),%esi
-       pushl   %esi            # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%esi       # setup the destination.
-       popl    %edx    # Restore edx.
-       popl    %ecx    # Restore ecx.
-       popl    %eax    # Restore eax.
-       addl    $6,(%esp) # Adjust the return address to skip the next inst.
-       ret
-       .size    GNAME(alloc_overflow_esi),.-GNAME(alloc_overflow_esi)
-
-/* This routine handles an overflow with edi=crfp+size. So the
- * size=edi-crfp. */
-       .align  align_4byte
-       .globl  GNAME(alloc_overflow_edi)
-       .type   GNAME(alloc_overflow_edi),@function
+        pushl   %eax            # Save eax
+        pushl   %ecx            # Save ecx
+        pushl   %edx            # Save edx
+       ALLOC_OVERFLOW(%esi)
+        movl    %eax,%esi       # setup the destination.
+        popl    %edx    # Restore edx.
+        popl    %ecx    # Restore ecx.
+        popl    %eax    # Restore eax.
+        ret
+        SIZE(GNAME(alloc_overflow_esi))
+
+        .align  align_4byte
+        .globl  GNAME(alloc_overflow_edi)
+        TYPE(GNAME(alloc_overflow_edi))
 GNAME(alloc_overflow_edi):
-       pushl   %eax            # Save eax
-       pushl   %ecx            # Save ecx
-       pushl   %edx            # Save edx
-       /* Calculate the size for the allocation. */
-       subl    GNAME(current_region_free_pointer),%edi
-       pushl   %edi            # Push the size
-       call    GNAME(alloc)
-       addl    $4,%esp # pop the size arg.
-       movl    %eax,%edi       # setup the destination.
-       popl    %edx    # Restore edx.
-       popl    %ecx    # Restore ecx.
-       popl    %eax    # Restore eax.
-       addl    $6,(%esp) # Adjust the return address to skip the next inst.
+        pushl   %eax            # Save eax
+        pushl   %ecx            # Save ecx
+        pushl   %edx            # Save edx
+       ALLOC_OVERFLOW(%edi)
+        movl    %eax,%edi       # setup the destination.
+        popl    %edx    # Restore edx.
+        popl    %ecx    # Restore ecx.
+        popl    %eax    # Restore eax.
+        ret
+        SIZE(GNAME(alloc_overflow_edi))
+
+
+#ifdef LISP_FEATURE_WIN32
+       /* The guts of the exception-handling system doesn't use
+        * frame pointers, which manages to throw off backtraces
+        * rather badly.  So here we grab the (known-good) EBP
+        * and EIP from the exception context and use it to fake
+        * up a stack frame which will skip over the system SEH
+        * code. */
+       .align  align_4byte
+       .globl  GNAME(exception_handler_wrapper)
+       TYPE(GNAME(exception_handler_wrapper))
+GNAME(exception_handler_wrapper):
+       /* Context layout is: */
+       /* 7 dwords before FSA. (0x1c) */
+       /* 8 dwords and 0x50 bytes in the FSA. (0x70/0x8c) */
+       /* 4 dwords segregs. (0x10/0x9c) */
+       /* 6 dwords non-stack GPRs. (0x18/0xb4) */
+       /* EBP (at 0xb4) */
+       /* EIP (at 0xb8) */
+#define CONTEXT_EBP_OFFSET 0xb4
+#define CONTEXT_EIP_OFFSET 0xb8
+       /* some other stuff we don't care about. */
+       pushl   %ebp
+       movl    0x10(%esp), %ebp        /* context */
+       pushl   CONTEXT_EIP_OFFSET(%ebp)
+       pushl   CONTEXT_EBP_OFFSET(%ebp)
+       movl    %esp, %ebp
+       pushl   0x1c(%esp)
+       pushl   0x1c(%esp)
+       pushl   0x1c(%esp)
+       pushl   0x1c(%esp)
+       call    GNAME(handle_exception)
+       lea     8(%ebp), %esp
+       popl    %ebp
        ret
-       .size    GNAME(alloc_overflow_edi),.-GNAME(alloc_overflow_edi)
+       SIZE(GNAME(exception_handler_wrapper))
+#endif
 
+#ifdef LISP_FEATURE_DARWIN
+        .align align_4byte
+        .globl GNAME(call_into_lisp_tramp)
+        TYPE(GNAME(call_into_lisp_tramp))
+GNAME(call_into_lisp_tramp):
+        /* 1. build the stack frame from the block that's pointed to by ECX
+           2. free the block
+           3. set ECX to 0
+           4. call the function via call_into_lisp
+        */
+        pushl   0(%ecx)          /* return address */
+
+        pushl   %ebp
+        movl    %esp, %ebp
+
+        pushl   32(%ecx)         /* eflags */
+        pushl   28(%ecx)         /* EAX */
+        pushl   20(%ecx)         /* ECX */
+        pushl   16(%ecx)         /* EDX */
+        pushl   24(%ecx)         /* EBX */
+        pushl   $0                /* popal is going to ignore esp */
+        pushl   %ebp              /* is this right?? */
+        pushl   12(%ecx)         /* ESI */
+        pushl   8(%ecx)          /* EDI */
+        pushl   $0                /* args for call_into_lisp */
+        pushl   $0
+        pushl   4(%ecx)          /* function to call */
+
+        /* free our save block */
+        pushl   %ecx              /* reserve sufficient space on stack for args */
+        pushl   %ecx
+        andl    $0xfffffff0, %esp  /* align stack */
+        movl    $0x40, 4(%esp)
+        movl    %ecx, (%esp)
+        call    GNAME(os_invalidate)
+
+        /* call call_into_lisp */
+        leal    -48(%ebp), %esp
+        call    GNAME(call_into_lisp)
+
+        /* Clean up our mess */
+        leal    -36(%ebp), %esp
+        popal
+        popfl
+        leave
+        ret
+        
+        SIZE(call_into_lisp_tramp)
 #endif
+        
+       .align  align_4byte,0x90
+       .globl  GNAME(post_signal_tramp)
+       TYPE(GNAME(post_signal_tramp))
+GNAME(post_signal_tramp):
+       /* this is notionally the second half of a function whose first half
+        * doesn't exist.  This is where call_into_lisp returns when called 
+        * using return_to_lisp_function */
+       addl $12,%esp   /* clear call_into_lisp args from stack */
+       popal           /* restore registers */
+        popfl
+#ifdef LISP_FEATURE_DARWIN
+        /* skip two padding words */
+        addl $8,%esp
+#endif
+       leave
+       ret
+       SIZE(GNAME(post_signal_tramp))
 
-       .end
+
+        /* fast_bzero implementations and code to detect which implementation
+         * to use.
+         */
+\f
+       .globl GNAME(fast_bzero_pointer)
+       .data
+        .align  align_4byte
+GNAME(fast_bzero_pointer):
+        /* Variable containing a pointer to the bzero function to use.
+         * Initially points to a basic function.  Change this variable
+         * to fast_bzero_detect if OS supports SSE.  */
+        .long GNAME(fast_bzero_base)
+\f
+       .text
+       .align  align_8byte,0x90
+       .globl GNAME(fast_bzero)
+       TYPE(GNAME(fast_bzero))
+GNAME(fast_bzero):        
+        /* Indirect function call */
+        jmp *GNAME(fast_bzero_pointer)
+       SIZE(GNAME(fast_bzero))
+        
+\f      
+       .text
+       .align  align_8byte,0x90
+       .globl GNAME(fast_bzero_detect)
+       TYPE(GNAME(fast_bzero_detect))
+GNAME(fast_bzero_detect):
+        /* Decide whether to use SSE, MMX or REP version */
+        push %eax /* CPUID uses EAX-EDX */
+        push %ebx
+        push %ecx
+        push %edx
+        mov $1, %eax
+        cpuid
+        test $0x04000000, %edx    /* SSE2 needed for MOVNTDQ */
+        jnz Lsse2
+        /* Originally there was another case here for using the
+         * MOVNTQ instruction for processors that supported MMX but
+         * not SSE2. This turned out to be a loss especially on
+         * Athlons (where this instruction is apparently microcoded
+         * somewhat slowly). So for simplicity revert to REP STOSL
+         * for all non-SSE2 processors.
+         */
+Lbase:
+        movl $(GNAME(fast_bzero_base)), GNAME(fast_bzero_pointer)
+        jmp Lrestore
+Lsse2:
+        movl $(GNAME(fast_bzero_sse)), GNAME(fast_bzero_pointer)
+        jmp Lrestore
+        
+Lrestore:
+        pop %edx
+        pop %ecx
+        pop %ebx
+        pop %eax
+        jmp *GNAME(fast_bzero_pointer)
+        
+       SIZE(GNAME(fast_bzero_detect))
+        
+\f
+       .text
+       .align  align_8byte,0x90
+       .globl GNAME(fast_bzero_sse)
+       TYPE(GNAME(fast_bzero_sse))
+        
+GNAME(fast_bzero_sse):
+        /* A fast routine for zero-filling blocks of memory that are
+         * guaranteed to start and end at a 4096-byte aligned address.
+         */        
+        push %esi                 /* Save temporary registers */
+        push %edi
+        mov 16(%esp), %esi        /* Parameter: amount of bytes to fill */
+        mov 12(%esp), %edi        /* Parameter: start address */
+        shr $6, %esi              /* Amount of 64-byte blocks to copy */
+        jz Lend_sse               /* If none, stop */
+        movups %xmm7, -16(%esp)   /* Save XMM register */
+        xorps  %xmm7, %xmm7       /* Zero the XMM register */
+        jmp Lloop_sse
+        .align align_16byte
+Lloop_sse:
+
+        /* Copy the 16 zeroes from xmm7 to memory, 4 times. MOVNTDQ is the
+         * non-caching double-quadword moving variant, i.e. the memory areas
+         * we're touching are not fetched into the L1 cache, since we're just
+         * going to overwrite the memory soon anyway.
+         */
+        movntdq %xmm7, 0(%edi)
+        movntdq %xmm7, 16(%edi)
+        movntdq %xmm7, 32(%edi)
+        movntdq %xmm7, 48(%edi)
+        add $64, %edi /* Advance pointer */
+        dec %esi      /* Decrement 64-byte block count */
+        jnz Lloop_sse
+        movups -16(%esp), %xmm7 /* Restore the XMM register */
+        sfence        /* Ensure that weakly ordered writes are flushed. */
+Lend_sse:
+        mov 12(%esp), %esi      /* Parameter: start address */
+        prefetcht0 0(%esi)      /* Prefetch the start of the block into cache,
+                                 * since it's likely to be used immediately. */
+        pop %edi      /* Restore temp registers */
+        pop %esi
+       ret
+       SIZE(GNAME(fast_bzero_sse))
+                
+\f
+       .text
+       .align  align_8byte,0x90
+       .globl GNAME(fast_bzero_base)
+       TYPE(GNAME(fast_bzero_base))
+        
+GNAME(fast_bzero_base):
+        /* A fast routine for zero-filling blocks of memory that are
+         * guaranteed to start and end at a 4096-byte aligned address.
+         */        
+        push %eax                 /* Save temporary registers */
+        push %ecx
+        push %edi
+        mov 20(%esp), %ecx        /* Parameter: amount of bytes to fill */
+        mov 16(%esp), %edi        /* Parameter: start address */
+        xor %eax, %eax            /* Zero EAX */
+        shr $2, %ecx              /* Amount of 4-byte blocks to copy */
+        jz  Lend_base
+
+        rep
+        stosl                     /* Store EAX to *EDI, ECX times, incrementing
+                                   * EDI by 4 after each store */
+        
+Lend_base:        
+        pop %edi                  /* Restore temp registers */
+        pop %ecx
+        pop %eax
+       ret
+       SIZE(GNAME(fast_bzero_base))
+        
+\f      
+        END()