Steel Bank Common Lisp

Update of /cvsroot/sbcl/sbcl/src/assembly/x86-64
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv10092/src/assembly/x86-64

Modified Files:
	alloc.lisp arith.lisp assem-rtns.lisp 
Log Message:
0.9.0.6:
	MORE CASE CONSISTENCY

	Make the system (with the x86-64 backend) buildable under
	(readtable-case *readtable*) => :invert.

	This may seem like a bit of an eccentric thing to do.  The plan,
	however, is to in future define this as the build mode for SBCL,
	enforcing it in the build scripts, so that userinits are 
	prevented from interfering in this respect, and also so that
	case-consistency throughout the system is enforced (to reduce
	potential reader confusion further down the line).  However,
	since there are 100000 MIPS-related patches waiting to be 
	merged, it would be a bad time to enforce this (and break
	all non-x86-64 backends).


Index: alloc.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/assembly/x86-64/alloc.lisp,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- alloc.lisp	6 Jan 2005 12:47:58 -0000	1.2
+++ alloc.lisp	29 Apr 2005 14:37:36 -0000	1.3
@@ -22,11 +22,11 @@
      (:temp ebx unsigned-reg ebx-offset))
   (inst mov ebx eax)
   (inst shl ebx 1)
-  (inst jmp :o bignum)
+  (inst jmp :o BIGNUM)
   (inst shl ebx 1)
-  (inst jmp :o bignum)
+  (inst jmp :o BIGNUM)
   (inst shl ebx 1)
-  (inst jmp :o bignum)
+  (inst jmp :o BIGNUM)
   (inst ret)
   BIGNUM
 

Index: arith.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/assembly/x86-64/arith.lisp,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- arith.lisp	6 Jan 2005 12:47:58 -0000	1.2
+++ arith.lisp	29 Apr 2005 14:37:36 -0000	1.3
@@ -93,7 +93,7 @@
     (move rax x)	           ; must use eax for 64-bit result
     (inst sar rax 3)		   ; remove *4 fixnum bias
     (inst imul y)		   ; result in edx:eax
-    (inst jmp :no okay)		   ; still fixnum
+    (inst jmp :no OKAY)		   ; still fixnum
 
     ;; zzz jrd changed edx to ebx in here, as edx isn't listed as a temp, above
     ;;     pfw says that loses big -- edx is target for arg x and result res

Index: assem-rtns.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/assembly/x86-64/assem-rtns.lisp,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- assem-rtns.lisp	6 Jan 2005 12:47:58 -0000	1.2
+++ assem-rtns.lisp	29 Apr 2005 14:37:36 -0000	1.3
@@ -31,13 +31,13 @@
      (:temp edi unsigned-reg rdi-offset))
 
   ;; Pick off the cases where everything fits in register args.
-  (inst jecxz zero-values)
+  (inst jecxz ZERO-VALUES)
   (inst cmp ecx (fixnumize 1))
-  (inst jmp :e one-value)
+  (inst jmp :e ONE-VALUE)
   (inst cmp ecx (fixnumize 2))
-  (inst jmp :e two-values)
+  (inst jmp :e TWO-VALUES)
   (inst cmp ecx (fixnumize 3))
-  (inst jmp :e three-values)
+  (inst jmp :e THREE-VALUES)
 
   ;; Save the count, because the loop is going to destroy it.
   (inst mov edx ecx)
@@ -206,10 +206,10 @@
     (inst jmp :z error))
 
   (inst cmp target (make-ea-for-object-slot catch catch-block-tag-slot 0))
-  (inst jmp :e exit)
+  (inst jmp :e EXIT)
 
   (loadw catch catch catch-block-previous-catch-slot)
-  (inst jmp loop)
+  (inst jmp LOOP)
 
   EXIT
 
@@ -239,7 +239,7 @@
   (inst cmp uwp
 	(make-ea-for-object-slot block unwind-block-current-uwp-slot 0))
   ;; If a match, return to context in arg block.
-  (inst jmp :e do-exit)
+  (inst jmp :e DO-EXIT)
 
   ;; Not a match - return to *CURRENT-UNWIND-PROTECT-BLOCK* context.
   ;; Important! Must save (and return) the arg 'block' for later use!!