X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fppc-assem.S;h=51b6b32434bf271c9abf15ae8eec735ff90260ce;hb=c8617f57d0413beb2890e94dabe227cef9c5ddad;hp=5ecd38450b3dbc29765d0ef2da8d331032297e1e;hpb=0af4499330edd8085a500113d791bdcc9cff46ad;p=sbcl.git

diff --git a/src/runtime/ppc-assem.S b/src/runtime/ppc-assem.S
index 5ecd384..51b6b32 100644
--- a/src/runtime/ppc-assem.S
+++ b/src/runtime/ppc-assem.S
@@ -279,7 +279,26 @@ x:
 	mtlr 0 ; \
 	
 #endif
-	
+
+/* gas can't parse nnnnLU; redefine */
+#if BACKEND_PAGE_BYTES == 65536
+# undef BACKEND_PAGE_BYTES
+# define BACKEND_PAGE_BYTES 65536
+#elif BACKEND_PAGE_BYTES == 4096
+# undef BACKEND_PAGE_BYTES
+# define BACKEND_PAGE_BYTES 4096
+#else
+# error BACKEND_PAGE_BYTES mismatch
+#endif
+
+#ifdef LISP_FEATURE_SB_SAFEPOINT
+/* OAOOM because we don't have the C headers here. */
+# define THREAD_CSP_PAGE_SIZE 4096
+
+/* the CSP page sits right before the thread */
+# define THREAD_SAVED_CSP_OFFSET (-THREAD_CSP_PAGE_SIZE)
+#endif
+
 	.text
 
 /*
@@ -344,7 +363,7 @@ x:
 #endif
 	/* Turn on pseudo-atomic */
 
-	li reg_ALLOC,4
+	li reg_ALLOC,flag_PseudoAtomic
 #if defined(LISP_FEATURE_SB_THREAD)
 	stw reg_ZERO,THREAD_FOREIGN_FUNCTION_CALL_ACTIVE_OFFSET(reg_THREAD)
 	lwz reg_BSP,THREAD_BINDING_STACK_POINTER_OFFSET(reg_THREAD)
@@ -364,8 +383,8 @@ x:
 	add reg_ALLOC,reg_ALLOC,reg_NL4
 
 	/* No longer atomic, and check for interrupt */
-	subi reg_ALLOC,reg_ALLOC,4
-	andi. reg_NL3, reg_ALLOC, 1
+	subi reg_ALLOC,reg_ALLOC,flag_PseudoAtomic
+	andi. reg_NL3, reg_ALLOC, flag_PseudoAtomicInterrupted
 	twnei reg_NL3, 0
 
 	/* Pass in the arguments */
@@ -407,7 +426,7 @@ lra:
 	mr REG(3),reg_A0
 
 	/* Turn on  pseudo-atomic */
-	la reg_ALLOC,4(reg_ALLOC)
+	la reg_ALLOC,flag_PseudoAtomic(reg_ALLOC)
 
 #if defined(LISP_FEATURE_SB_THREAD)
 	/* Store lisp state */
@@ -433,8 +452,8 @@ lra:
 #endif
 
 	/* Check for interrupt */
-	subi reg_ALLOC, reg_ALLOC, 4
-	andi. reg_NL3, reg_ALLOC, 1
+	subi reg_ALLOC, reg_ALLOC, flag_PseudoAtomic
+	andi. reg_NL3, reg_ALLOC, flag_PseudoAtomicInterrupted
 	twnei reg_NL3,0
 	
 	/* Back to C */
@@ -465,7 +484,7 @@ lra:
 	mr reg_NARGS,reg_NL3
 
 	/* Turn on pseudo-atomic */
-	la reg_ALLOC,4(reg_ALLOC)
+	la reg_ALLOC,flag_PseudoAtomic(reg_ALLOC)
 
 	/* Convert the return address to an offset and save it on the stack. */
 	sub reg_NFP,reg_LIP,reg_CODE
@@ -495,10 +514,15 @@ lra:
 #endif
 	/* load(reg_POLL,saver2) */
 	/* Disable pseudo-atomic; check pending interrupt */
-	subi reg_ALLOC, reg_ALLOC, 4
-	andi. reg_NL3, reg_ALLOC, 1
+	subi reg_ALLOC, reg_ALLOC, flag_PseudoAtomic
+	andi. reg_NL3, reg_ALLOC, flag_PseudoAtomicInterrupted
 	twnei reg_NL3, 0
 
+#ifdef LISP_FEATURE_SB_SAFEPOINT
+	/* OK to run GC without stopping this thread from this point on. */
+	stw reg_CSP,THREAD_SAVED_CSP_OFFSET(reg_THREAD)
+#endif
+
 	mr reg_NL3,reg_NARGS
 
 #ifdef LISP_FEATURE_DARWIN
@@ -541,9 +565,13 @@ lra:
 #endif
 	li reg_LIP,0
 
+# ifdef LISP_FEATURE_SB_SAFEPOINT
+	/* No longer OK to run GC except at safepoints. */
+	stw reg_ZERO,THREAD_SAVED_CSP_OFFSET(reg_THREAD)
+# endif
+
 	/* Atomic ... */
-        li reg_NL3,-4        
-	li reg_ALLOC,4
+	li reg_ALLOC,flag_PseudoAtomic
 
 #if defined(LISP_FEATURE_SB_THREAD)
 	/* No longer in foreign function call. */
@@ -578,8 +606,8 @@ lra:
 	la reg_LIP,-OTHER_POINTER_LOWTAG(reg_LIP)
 
 	/* No longer atomic */
-	subi reg_ALLOC, reg_ALLOC, 4
-	andi. reg_NL3, reg_ALLOC, 1
+	subi reg_ALLOC, reg_ALLOC, flag_PseudoAtomic
+	andi. reg_NL3, reg_ALLOC, flag_PseudoAtomicInterrupted
 	twnei reg_NL3, 0
 
 	mtlr reg_LIP
@@ -606,10 +634,23 @@ CSYMBOL(undefined_tramp):
 	/* Point reg_CODE to the header and tag it as function, since
 	   the debugger regards a function pointer in reg_CODE which
 	   doesn't point to a code object as undefined function.  */
-	bcl 20,31,.+4                  /* get address of the next instruction */
-	mflr reg_CODE                  /* header 1 extra word back from here */
-	addi reg_CODE,reg_CODE,-(SIMPLE_FUN_CODE_OFFSET+4)
-	
+	/* We are given that reg_LIP points to undefined_tramp by
+	   virtue of the calling convention.  */
+	addi reg_CODE,reg_LIP,-SIMPLE_FUN_CODE_OFFSET
+
+	/* If we are called with stack arguments (or in a tail-call
+	   scenario), we end up with an allocated stack frame, but the
+	   frame link information is uninitialized.  Fix things by
+	   allocating and initializing our stack frame "properly". */
+	cmpwi cr0,reg_NARGS,16
+	bt gt,1f
+	addi reg_CSP,reg_CFP,16
+	b 2f
+1:	add reg_CSP,reg_CFP,reg_NARGS
+2:	stw reg_OCFP,0(reg_CFP)
+	stw reg_LRA,4(reg_CFP)
+
+	/* Now that the preliminaries are dealt with, actually trap. */
 	twllei reg_ZERO,trap_Cerror
 	.byte 4
 	.byte UNDEFINED_FUN_ERROR
@@ -664,13 +705,13 @@ CSYMBOL(funcallable_instance_tramp) = . + 1
 	.globl CSYMBOL(fun_end_breakpoint_trap)
 	.globl CSYMBOL(fun_end_breakpoint_end)
 
-	/* Due to pointer verification in MAKE-LISP-OBJ on GENCGC
-	targets, which includes PPC, this must include its header data
-	(the offset from the start of the code-object to the LRA).
-	The code-object header is five words, there are two words of
-	constants, and the instruction space is doubleword-aligned,
-	making an offset of eight.  This is header data for a widetag,
-	so shift left eight bits and add. */
+	/* Due to pointer verification in MAKE-LISP-OBJ, this must
+	include its header data (the offset from the start of the
+	code-object to the LRA).  The code-object header is five
+	words, there are two words of constants, and the instruction
+	space is doubleword-aligned, making an offset of eight.
+	This is header data for a widetag, so shift left eight bits
+	and add. */
 	.long RETURN_PC_HEADER_WIDETAG + 0x800
 
 	/* We are receiving unknown multiple values, thus must deal