*/
\f
#define LANGUAGE_ASSEMBLY
-#include "validate.h"
#include "sbcl.h"
+#include "validate.h"
#include "genesis/closure.h"
#include "genesis/fdefn.h"
#include "genesis/static-symbols.h"
* 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__
+#if defined __linux__ || defined __FreeBSD__ || defined __NetBSD__ || defined __OpenBSD__ || defined __sun
#define GNAME(var) var
#else
#define GNAME(var) _##var
* 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__)
+#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)
- .global GNAME(all_threads)
+ .globl GNAME(foreign_function_call_active)
+ .globl GNAME(all_threads)
\f
/*
* A call to call_into_c preserves esi, edi, and ebp.
*/
.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)
fstp %st(0)
fstp %st(0)
+#ifdef LISP_FEATURE_WIN32
+ cld
+#endif
+
+#ifdef LISP_FEATURE_DARWIN
+ andl $0xfffffff0,%esp # align stack to 16-byte boundary before calling C
+#endif
call *%eax # normal callout using Lisp stack
movl %eax,%ecx # remember integer return value
/* Return. */
jmp *%ebx
- .size GNAME(call_into_c), . - GNAME(call_into_c)
+ SIZE(GNAME(call_into_c))
\f
.text
- .global GNAME(call_into_lisp_first_time)
- .type GNAME(call_into_lisp_first_time),@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
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
movl THREAD_CONTROL_STACK_START_OFFSET(%eax) ,%esp
/* don't think too hard about what happens if we get interrupted
* here */
- addl $THREAD_CONTROL_STACK_SIZE-4,%esp
+ addl $(THREAD_CONTROL_STACK_SIZE),%esp
+#else
+/* Win32 -really- doesn't like you switching stacks out from under it. */
+ movl GNAME(all_threads),%eax
+#endif
jmp Lstack
\f
.text
- .global GNAME(call_into_lisp)
- .type GNAME(call_into_lisp),@function
+ .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. */
/* If the function returned multiple values, it will return to
this point. Lose them */
+ jnc LsingleValue
mov %ebx, %esp
+LsingleValue:
/* A singled value function returns here */
/* Restore the stack, in case there was a stack change. */
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
.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_FUN_OFFSET(%eax),%eax
* right. It would be good to find a way to force the flow of
* control through here to test it. */
jmp *CLOSURE_FUN_OFFSET(%eax)
- .size GNAME(closure_tramp), .-GNAME(closure_tramp)
+ SIZE(GNAME(closure_tramp))
/*
* fun-end breakpoint magic
*/
.text
- .global GNAME(fun_end_breakpoint_guts)
+ .globl GNAME(fun_end_breakpoint_guts)
.align align_4byte
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(fun_end_breakpoint_trap)
+ .globl GNAME(fun_end_breakpoint_trap)
GNAME(fun_end_breakpoint_trap):
- int3
+ TRAP
.byte trap_FunEndBreakpoint
hlt # We should never return here.
- .global GNAME(fun_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
/*
*/
.globl GNAME(alloc_to_eax)
- .type GNAME(alloc_to_eax),@function
+ TYPE(GNAME(alloc_to_eax))
.align align_4byte,0x90
GNAME(alloc_to_eax):
pushl %ecx # Save ecx and edx as C could destroy them.
popl %edx # Restore ecx and edx.
popl %ecx
ret
- .size GNAME(alloc_to_eax),.-GNAME(alloc_to_eax)
+ SIZE(GNAME(alloc_to_eax))
.globl GNAME(alloc_8_to_eax)
- .type GNAME(alloc_8_to_eax),@function
+ TYPE(GNAME(alloc_8_to_eax))
.align align_4byte,0x90
GNAME(alloc_8_to_eax):
pushl %ecx # Save ecx and edx as C could destroy them.
popl %edx # Restore ecx and edx.
popl %ecx
ret
- .size GNAME(alloc_8_to_eax),.-GNAME(alloc_8_to_eax)
+ SIZE(GNAME(alloc_8_to_eax))
.globl GNAME(alloc_8_to_eax)
- .type GNAME(alloc_8_to_eax),@function
+ TYPE(GNAME(alloc_8_to_eax))
.align align_4byte,0x90
.globl GNAME(alloc_16_to_eax)
- .type GNAME(alloc_16_to_eax),@function
+ TYPE(GNAME(alloc_16_to_eax))
.align align_4byte,0x90
GNAME(alloc_16_to_eax):
pushl %ecx # Save ecx and edx as C could destroy them.
popl %edx # Restore ecx and edx.
popl %ecx
ret
- .size GNAME(alloc_16_to_eax),.-GNAME(alloc_16_to_eax)
+ SIZE(GNAME(alloc_16_to_eax))
.globl GNAME(alloc_to_ecx)
- .type GNAME(alloc_to_ecx),@function
+ TYPE(GNAME(alloc_to_ecx))
.align align_4byte,0x90
GNAME(alloc_to_ecx):
pushl %eax # Save eax and edx as C could destroy them.
popl %edx # Restore eax and edx.
popl %eax
ret
- .size GNAME(alloc_to_ecx),.-GNAME(alloc_to_ecx)
+ SIZE(GNAME(alloc_to_ecx))
.globl GNAME(alloc_8_to_ecx)
- .type GNAME(alloc_8_to_ecx),@function
+ TYPE(GNAME(alloc_8_to_ecx))
.align align_4byte,0x90
GNAME(alloc_8_to_ecx):
pushl %eax # Save eax and edx as C could destroy them.
popl %edx # Restore eax and edx.
popl %eax
ret
- .size GNAME(alloc_8_to_ecx),.-GNAME(alloc_8_to_ecx)
+ SIZE(GNAME(alloc_8_to_ecx))
.globl GNAME(alloc_16_to_ecx)
- .type GNAME(alloc_16_to_ecx),@function
+ TYPE(GNAME(alloc_16_to_ecx))
.align align_4byte,0x90
GNAME(alloc_16_to_ecx):
pushl %eax # Save eax and edx as C could destroy them.
popl %edx # Restore eax and edx.
popl %eax
ret
- .size GNAME(alloc_16_to_ecx),.-GNAME(alloc_16_to_ecx)
+ SIZE(GNAME(alloc_16_to_ecx))
.globl GNAME(alloc_to_edx)
- .type GNAME(alloc_to_edx),@function
+ TYPE(GNAME(alloc_to_edx))
.align align_4byte,0x90
GNAME(alloc_to_edx):
pushl %eax # Save eax and ecx as C could destroy them.
popl %ecx # Restore eax and ecx.
popl %eax
ret
- .size GNAME(alloc_to_edx),.-GNAME(alloc_to_edx)
+ SIZE(GNAME(alloc_to_edx))
.globl GNAME(alloc_8_to_edx)
- .type GNAME(alloc_8_to_edx),@function
+ TYPE(GNAME(alloc_8_to_edx))
.align align_4byte,0x90
GNAME(alloc_8_to_edx):
pushl %eax # Save eax and ecx as C could destroy them.
popl %ecx # Restore eax and ecx.
popl %eax
ret
- .size GNAME(alloc_8_to_edx),.-GNAME(alloc_8_to_edx)
+ SIZE(GNAME(alloc_8_to_edx))
.globl GNAME(alloc_16_to_edx)
- .type GNAME(alloc_16_to_edx),@function
+ TYPE(GNAME(alloc_16_to_edx))
.align align_4byte,0x90
GNAME(alloc_16_to_edx):
pushl %eax # Save eax and ecx as C could destroy them.
popl %ecx # Restore eax and ecx.
popl %eax
ret
- .size GNAME(alloc_16_to_edx),.-GNAME(alloc_16_to_edx)
+ SIZE(GNAME(alloc_16_to_edx))
.globl GNAME(alloc_to_ebx)
- .type GNAME(alloc_to_ebx),@function
+ TYPE(GNAME(alloc_to_ebx))
.align align_4byte,0x90
GNAME(alloc_to_ebx):
pushl %eax # Save eax, ecx, and edx as C could destroy them.
popl %ecx
popl %eax
ret
- .size GNAME(alloc_to_ebx),.-GNAME(alloc_to_ebx)
+ SIZE(GNAME(alloc_to_ebx))
.globl GNAME(alloc_8_to_ebx)
- .type GNAME(alloc_8_to_ebx),@function
+ TYPE(GNAME(alloc_8_to_ebx))
.align align_4byte,0x90
GNAME(alloc_8_to_ebx):
pushl %eax # Save eax, ecx, and edx as C could destroy them.
popl %ecx
popl %eax
ret
- .size GNAME(alloc_8_to_ebx),.-GNAME(alloc_8_to_ebx)
+ SIZE(GNAME(alloc_8_to_ebx))
.globl GNAME(alloc_16_to_ebx)
- .type GNAME(alloc_16_to_ebx),@function
+ TYPE(GNAME(alloc_16_to_ebx))
.align align_4byte,0x90
GNAME(alloc_16_to_ebx):
pushl %eax # Save eax, ecx, and edx as C could destroy them.
popl %ecx
popl %eax
ret
- .size GNAME(alloc_16_to_ebx),.-GNAME(alloc_16_to_ebx)
+ SIZE(GNAME(alloc_16_to_ebx))
.globl GNAME(alloc_to_esi)
- .type GNAME(alloc_to_esi),@function
+ TYPE(GNAME(alloc_to_esi))
.align align_4byte,0x90
GNAME(alloc_to_esi):
pushl %eax # Save eax, ecx, and edx as C could destroy them.
popl %ecx
popl %eax
ret
- .size GNAME(alloc_to_esi),.-GNAME(alloc_to_esi)
+ SIZE(GNAME(alloc_to_esi))
.globl GNAME(alloc_8_to_esi)
- .type GNAME(alloc_8_to_esi),@function
+ TYPE(GNAME(alloc_8_to_esi))
.align align_4byte,0x90
GNAME(alloc_8_to_esi):
pushl %eax # Save eax, ecx, and edx as C could destroy them.
popl %ecx
popl %eax
ret
- .size GNAME(alloc_8_to_esi),.-GNAME(alloc_8_to_esi)
+ SIZE(GNAME(alloc_8_to_esi))
.globl GNAME(alloc_16_to_esi)
- .type GNAME(alloc_16_to_esi),@function
+ TYPE(GNAME(alloc_16_to_esi))
.align align_4byte,0x90
GNAME(alloc_16_to_esi):
pushl %eax # Save eax, ecx, and edx as C could destroy them.
popl %ecx
popl %eax
ret
- .size GNAME(alloc_16_to_esi),.-GNAME(alloc_16_to_esi)
+ SIZE(GNAME(alloc_16_to_esi))
.globl GNAME(alloc_to_edi)
- .type GNAME(alloc_to_edi),@function
+ TYPE(GNAME(alloc_to_edi))
.align align_4byte,0x90
GNAME(alloc_to_edi):
pushl %eax # Save eax, ecx, and edx as C could destroy them.
popl %ecx
popl %eax
ret
- .size GNAME(alloc_to_edi),.-GNAME(alloc_to_edi)
+ SIZE(GNAME(alloc_to_edi))
.globl GNAME(alloc_8_to_edi)
- .type GNAME(alloc_8_to_edi),@function
+ TYPE(GNAME(alloc_8_to_edi))
.align align_4byte,0x90
GNAME(alloc_8_to_edi):
pushl %eax # Save eax, ecx, and edx as C could destroy them.
popl %ecx
popl %eax
ret
- .size GNAME(alloc_8_to_edi),.-GNAME(alloc_8_to_edi)
+ SIZE(GNAME(alloc_8_to_edi))
.globl GNAME(alloc_16_to_edi)
- .type GNAME(alloc_16_to_edi),@function
+ TYPE(GNAME(alloc_16_to_edi))
.align align_4byte,0x90
GNAME(alloc_16_to_edi):
pushl %eax # Save eax, ecx, and edx as C could destroy them.
popl %ecx
popl %eax
ret
- .size GNAME(alloc_16_to_edi),.-GNAME(alloc_16_to_edi)
+ SIZE(GNAME(alloc_16_to_edi))
/* Called from lisp when an inline allocation overflows.
#ifdef LISP_FEATURE_SB_THREAD
#define START_REGION %fs:THREAD_ALLOC_REGION_OFFSET
-#define DISPLACEMENT $7
#else
-#define START_REGION boxed_region
-#define DISPLACEMENT $6
+#define START_REGION GNAME(boxed_region)
#endif
/* 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
+ TYPE(GNAME(alloc_overflow_eax))
GNAME(alloc_overflow_eax):
pushl %ecx # Save ecx
pushl %edx # Save edx
addl $4,%esp # pop the size arg.
popl %edx # Restore edx.
popl %ecx # Restore ecx.
- addl DISPLACEMENT,(%esp) # Adjust the return address to skip the next inst.
ret
- .size GNAME(alloc_overflow_eax),.-GNAME(alloc_overflow_eax)
+ SIZE(GNAME(alloc_overflow_eax))
.align align_4byte
.globl GNAME(alloc_overflow_ecx)
- .type GNAME(alloc_overflow_ecx),@function
+ TYPE(GNAME(alloc_overflow_ecx))
GNAME(alloc_overflow_ecx):
pushl %eax # Save eax
pushl %edx # Save edx
movl %eax,%ecx # setup the destination.
popl %edx # Restore edx.
popl %eax # Restore eax.
- addl DISPLACEMENT,(%esp) # Adjust the return address to skip the next inst.
ret
- .size GNAME(alloc_overflow_ecx),.-GNAME(alloc_overflow_ecx)
+ SIZE(GNAME(alloc_overflow_ecx))
.align align_4byte
.globl GNAME(alloc_overflow_edx)
- .type GNAME(alloc_overflow_edx),@function
+ TYPE(GNAME(alloc_overflow_edx))
GNAME(alloc_overflow_edx):
pushl %eax # Save eax
pushl %ecx # Save ecx
movl %eax,%edx # setup the destination.
popl %ecx # Restore ecx.
popl %eax # Restore eax.
- addl DISPLACEMENT,(%esp) # Adjust the return address to skip the next inst.
ret
- .size GNAME(alloc_overflow_edx),.-GNAME(alloc_overflow_edx)
+ 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
+ TYPE(GNAME(alloc_overflow_ebx))
GNAME(alloc_overflow_ebx):
pushl %eax # Save eax
pushl %ecx # Save ecx
popl %edx # Restore edx.
popl %ecx # Restore ecx.
popl %eax # Restore eax.
- addl DISPLACEMENT,(%esp) # Adjust the return address to skip the next inst.
ret
- .size GNAME(alloc_overflow_ebx),.-GNAME(alloc_overflow_ebx)
+ 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
+ TYPE(GNAME(alloc_overflow_esi))
GNAME(alloc_overflow_esi):
pushl %eax # Save eax
pushl %ecx # Save ecx
popl %edx # Restore edx.
popl %ecx # Restore ecx.
popl %eax # Restore eax.
- addl DISPLACEMENT,(%esp) # Adjust the return address to skip the next inst.
ret
- .size GNAME(alloc_overflow_esi),.-GNAME(alloc_overflow_esi)
+ SIZE(GNAME(alloc_overflow_esi))
.align align_4byte
.globl GNAME(alloc_overflow_edi)
- .type GNAME(alloc_overflow_edi),@function
+ TYPE(GNAME(alloc_overflow_edi))
GNAME(alloc_overflow_edi):
pushl %eax # Save eax
pushl %ecx # Save ecx
popl %edx # Restore edx.
popl %ecx # Restore ecx.
popl %eax # Restore eax.
- addl DISPLACEMENT,(%esp) # Adjust the return address to skip the next inst.
ret
- .size GNAME(alloc_overflow_edi),.-GNAME(alloc_overflow_edi)
-
+ SIZE(GNAME(alloc_overflow_edi))
+
+
+#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),@function
+ 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 */
- popa /* restore registers */
+ popal /* restore registers */
+ popfl
+#ifdef LISP_FEATURE_DARWIN
+ /* skip two padding words */
+ addl $8,%esp
+#endif
leave
ret
- .size GNAME(post_signal_tramp),.-GNAME(post_signal_tramp)
+ SIZE(GNAME(post_signal_tramp))
+
+#ifdef LISP_FEATURE_WIN32
+ /*
+ * This is part of the funky magic for exception handling on win32.
+ * see sigtrap_emulator() in win32-os.c for details.
+ */
+ .globl GNAME(sigtrap_trampoline)
+GNAME(sigtrap_trampoline):
+ pushl %eax
+ pushl %ebp
+ movl %esp, %ebp
+ call GNAME(sigtrap_wrapper)
+ pop %eax
+ pop %eax
+ TRAP
+ .byte trap_ContextRestore
+ hlt # We should never return here.
+
+ /*
+ * This is part of the funky magic for exception handling on win32.
+ * see handle_exception() in win32-os.c for details.
+ */
+ .globl GNAME(exception_trampoline)
+GNAME(exception_trampoline):
+ pushl %eax
+ pushl %ebp
+ movl %esp, %ebp
+ call GNAME(handle_win32_exception_wrapper)
+ pop %eax
+ pop %eax
+ TRAP
+ .byte trap_ContextRestore
+ hlt # We should never return here.
+#endif
-
- .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
+ cld /* Set direction of STOSL to increment */
+
+ 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()
+
\ No newline at end of file