#endif
.text
- .globl GNAME(foreign_function_call_active)
.globl GNAME(all_threads)
\f
/*
* 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
.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
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
+ 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
/* Restore the return value. */
movl %ecx,%eax # maybe return value
- movl $0,GNAME(foreign_function_call_active)
/* Return. */
jmp *%ebx
/* 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))
#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),%esp
+ /* 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
xorl %esi,%esi # third arg
/* no longer in function call */
- movl %eax, GNAME(foreign_function_call_active)
-
movl %esp,%ebx # remember current stack
pushl %ebx # Save entry stack on (maybe) new stack.
ret
SIZE(GNAME(do_pending_interrupt))
\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.
* 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))
- .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))
-
- .globl GNAME(alloc_8_to_eax)
- 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.
- 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))
-
- .globl GNAME(alloc_8_to_eax)
- TYPE(GNAME(alloc_8_to_eax))
- .align align_4byte,0x90
-
- .globl GNAME(alloc_16_to_eax)
- 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.
- 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))
-
- .globl GNAME(alloc_to_ecx)
- TYPE(GNAME(alloc_to_ecx))
- .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))
-
- .globl GNAME(alloc_8_to_ecx)
- 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.
- 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))
-
- .globl GNAME(alloc_16_to_ecx)
- 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.
- 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))
-
-
- .globl GNAME(alloc_to_edx)
- TYPE(GNAME(alloc_to_edx))
- .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))
-
- .globl GNAME(alloc_8_to_edx)
- 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.
- 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))
-
- .globl GNAME(alloc_16_to_edx)
- 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.
- 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))
-
-
-
- .globl GNAME(alloc_to_ebx)
- 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.
- 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))
-
- .globl GNAME(alloc_8_to_ebx)
- 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.
- 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))
-
- .globl GNAME(alloc_16_to_ebx)
- 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.
- 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))
-
-
-
- .globl GNAME(alloc_to_esi)
- 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.
- 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))
-
- .globl GNAME(alloc_8_to_esi)
- 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.
- 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))
-
- .globl GNAME(alloc_16_to_esi)
- 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.
- 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))
-
- .globl GNAME(alloc_to_edi)
- 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.
- 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))
-
- .globl GNAME(alloc_8_to_edi)
- 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.
- 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))
+#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
- .globl GNAME(alloc_16_to_edi)
- 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.
- 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))
+#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. */
+ * 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
GNAME(alloc_overflow_eax):
pushl %ecx # Save ecx
pushl %edx # Save edx
- /* Calculate the size for the allocation. */
- subl START_REGION,%eax
- pushl %eax # Push the size
- call GNAME(alloc)
- addl $4,%esp # pop the size arg.
+ ALLOC_OVERFLOW(%eax)
popl %edx # Restore edx.
popl %ecx # Restore ecx.
ret
GNAME(alloc_overflow_ecx):
pushl %eax # Save eax
pushl %edx # Save edx
- /* Calculate the size for the allocation. */
- subl START_REGION,%ecx
- pushl %ecx # Push the size
- call GNAME(alloc)
- addl $4,%esp # pop the size arg.
+ ALLOC_OVERFLOW(%ecx)
movl %eax,%ecx # setup the destination.
popl %edx # Restore edx.
popl %eax # Restore eax.
GNAME(alloc_overflow_edx):
pushl %eax # Save eax
pushl %ecx # Save ecx
- /* Calculate the size for the allocation. */
- subl START_REGION,%edx
- pushl %edx # Push the size
- call GNAME(alloc)
- addl $4,%esp # pop the size arg.
+ ALLOC_OVERFLOW(%edx)
movl %eax,%edx # setup the destination.
popl %ecx # Restore ecx.
popl %eax # Restore eax.
pushl %eax # Save eax
pushl %ecx # Save ecx
pushl %edx # Save edx
- /* Calculate the size for the allocation. */
- subl START_REGION,%ebx
- pushl %ebx # Push the size
- call GNAME(alloc)
- addl $4,%esp # pop the size arg.
+ ALLOC_OVERFLOW(%ebx)
movl %eax,%ebx # setup the destination.
popl %edx # Restore edx.
popl %ecx # Restore ecx.
pushl %eax # Save eax
pushl %ecx # Save ecx
pushl %edx # Save edx
- /* Calculate the size for the allocation. */
- subl START_REGION,%esi
- pushl %esi # Push the size
- call GNAME(alloc)
- addl $4,%esp # pop the size arg.
+ ALLOC_OVERFLOW(%esi)
movl %eax,%esi # setup the destination.
popl %edx # Restore edx.
popl %ecx # Restore ecx.
pushl %eax # Save eax
pushl %ecx # Save ecx
pushl %edx # Save edx
- /* Calculate the size for the allocation. */
- subl START_REGION,%edi
- pushl %edi # Push the size
- call GNAME(alloc)
- addl $4,%esp # pop the size arg.
+ ALLOC_OVERFLOW(%edi)
movl %eax,%edi # setup the destination.
popl %edx # Restore edx.
popl %ecx # Restore ecx.
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
\f
END()
-
\ No newline at end of file