X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fx86-assem.S;h=72b14b855bfad56932e2e4fc830476def1c8945d;hb=402958f92506b9d3de852601b8c1ccb99b5ee558;hp=4af6507ec416803225d92ad2b1b785276c2b5a34;hpb=7cca1cabd213d38218a40e973b06ca11c8546396;p=sbcl.git diff --git a/src/runtime/x86-assem.S b/src/runtime/x86-assem.S index 4af6507..72b14b8 100644 --- a/src/runtime/x86-assem.S +++ b/src/runtime/x86-assem.S @@ -14,8 +14,8 @@ */ #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" @@ -28,8 +28,10 @@ * 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 @@ -44,7 +46,7 @@ * 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 @@ -54,9 +56,39 @@ #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) /* * A call to call_into_c preserves esi, edi, and ebp. @@ -71,8 +103,8 @@ */ .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) @@ -89,6 +121,13 @@ GNAME(call_into_c): 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 @@ -136,12 +175,12 @@ Lfp_rtn_value: /* Return. */ jmp *%ebx - .size GNAME(call_into_c), . - GNAME(call_into_c) + SIZE(GNAME(call_into_c)) .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 @@ -152,17 +191,22 @@ Lfp_rtn_value: 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 .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. */ @@ -239,7 +283,9 @@ Ldone: /* 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. */ @@ -257,52 +303,52 @@ 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)) /* 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)) /* * 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 @@ -313,46 +359,46 @@ GNAME(closure_tramp): * 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): - .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)) /* @@ -367,7 +413,7 @@ GNAME(do_pending_interrupt): */ .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. @@ -378,10 +424,10 @@ GNAME(alloc_to_eax): 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. @@ -392,14 +438,14 @@ GNAME(alloc_8_to_eax): 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. @@ -410,10 +456,10 @@ GNAME(alloc_16_to_eax): 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. @@ -425,10 +471,10 @@ GNAME(alloc_to_ecx): 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. @@ -440,10 +486,10 @@ GNAME(alloc_8_to_ecx): 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. @@ -455,11 +501,11 @@ GNAME(alloc_16_to_ecx): 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. @@ -471,10 +517,10 @@ GNAME(alloc_to_edx): 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. @@ -486,10 +532,10 @@ GNAME(alloc_8_to_edx): 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. @@ -501,12 +547,12 @@ GNAME(alloc_16_to_edx): 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. @@ -520,10 +566,10 @@ GNAME(alloc_to_ebx): 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. @@ -537,10 +583,10 @@ GNAME(alloc_8_to_ebx): 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. @@ -554,12 +600,12 @@ GNAME(alloc_16_to_ebx): 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. @@ -573,10 +619,10 @@ GNAME(alloc_to_esi): 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. @@ -590,10 +636,10 @@ GNAME(alloc_8_to_esi): 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. @@ -607,11 +653,11 @@ GNAME(alloc_16_to_esi): 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. @@ -625,10 +671,10 @@ GNAME(alloc_to_edi): 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. @@ -642,10 +688,10 @@ GNAME(alloc_8_to_edi): 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. @@ -659,7 +705,7 @@ GNAME(alloc_16_to_edi): 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. @@ -669,17 +715,15 @@ GNAME(alloc_16_to_edi): #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 @@ -690,13 +734,12 @@ GNAME(alloc_overflow_eax): 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 @@ -708,13 +751,12 @@ GNAME(alloc_overflow_ecx): 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 @@ -726,15 +768,14 @@ GNAME(alloc_overflow_edx): 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 @@ -748,15 +789,14 @@ GNAME(alloc_overflow_ebx): 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 @@ -770,13 +810,12 @@ GNAME(alloc_overflow_esi): 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 @@ -790,13 +829,63 @@ GNAME(alloc_overflow_edi): 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 @@ -804,9 +893,185 @@ GNAME(post_signal_tramp): 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),.-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. + */ + + .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) + + .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)) + + + .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)) + + + .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)) + + + .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)) + + + END() + \ No newline at end of file