Steel Bank Common Lisp

The branch "master" has been updated in SBCL:
       via  7d986ea35d26bbde3d8df8cc2580905b918aefef (commit)
      from  b607463d9035bab2f5f8ad3d40950da93d782176 (commit)

- Log -----------------------------------------------------------------
commit 7d986ea35d26bbde3d8df8cc2580905b918aefef
Author: Alastair Bridgewater <nyef@...>
Date:   Sat Jun 9 11:50:49 2012 -0400

    mips: Revert remaining badness from 0.9.1.45.
    
      * There were two pieces of badness in 0.9.1.45, both to do with
    the call_into_lisp LRA handling, and each compensated for the other
    to a limited extent.  One change (since reverted) was to decrease
    the alignment requirement on positioning the LRA header, allowing
    it to be placed on a non-doubleword boundary.  The second change
    (being reverted here) was to change the LRA address calculation to
    subtract the entry point offset from the address of the header
    instead of adding OTHER_POINTER_LOWTAG.  If the header wound up on
    a doubleword boundary (the correct alignment) then the LRA computed
    would have LIST_POINTER_LOWTAG, leading to badness when doing a
    backtrace.  In any event, typechecking the resulting LRA would
    fail, and actually attempting to return to it would also fail.
    
      * Revert to computing the LRA by adding OTHER_POINTER_LOWTAG to
    the address of the header, bringing MIPS inline with all of the
    other RETURN-PC-HEADER (LRA) using backends.
---
 src/runtime/mips-assem.S |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/src/runtime/mips-assem.S b/src/runtime/mips-assem.S
index 4eabf21..1982ee8 100644
--- a/src/runtime/mips-assem.S
+++ b/src/runtime/mips-assem.S
@@ -19,7 +19,6 @@
 #include "genesis/fdefn.h"
 #include "genesis/closure.h"
 #include "genesis/funcallable-instance.h"
-#include "genesis/return-pc.h"
 #include "genesis/simple-fun.h"
 #include "genesis/static-symbols.h"
 		
@@ -166,7 +165,7 @@ symbol:
 	lw	reg_A5, 20(reg_CFP)
 
 	/* Calculate LRA */
-	la	reg_LRA, lra - RETURN_PC_RETURN_POINT_OFFSET
+	la	reg_LRA, lra + OTHER_POINTER_LOWTAG
 
 	/* Indirect closure */
 	lw	reg_CODE, CLOSURE_FUN_OFFSET(reg_LEXENV)

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL

The branch "master" has been updated in SBCL:
       via  b607463d9035bab2f5f8ad3d40950da93d782176 (commit)
      from  dcf17f7d855d66c17b23c03a6fdc5cb0bc671175 (commit)

- Log -----------------------------------------------------------------
commit b607463d9035bab2f5f8ad3d40950da93d782176
Author: Alastair Bridgewater <nyef@...>
Date:   Thu Nov 8 18:32:36 2012 -0500

    runtime/thread.h: Fix non-thread binding and control stack pointer access.
    
      * In the non-threaded case, these macros used to break up into two
    groups, one for x86oids and one for everything else.  This is wrong
    just as soon as a non-x86oid port uses a static symbol for the binding
    stack pointer.
    
      * Reorganize the non-threaded cases to parallel the structure of the
    threaded case, dispatching on the presense of the static symbol for
    binding stack access and specifically detecting non-x86oids for the
    control frame pointer access.
---
 src/runtime/thread.h |   12 +++++++-----
 1 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/src/runtime/thread.h b/src/runtime/thread.h
index 3c2d5bc..c828176 100644
--- a/src/runtime/thread.h
+++ b/src/runtime/thread.h
@@ -229,22 +229,24 @@ StaticSymbolFunction(lispobj sym)
 #define access_control_frame_pointer(thread) \
     ((thread)->control_frame_pointer)
 #  endif
-#elif defined(LISP_FEATURE_X86) || defined(LISP_FEATURE_X86_64)
+#else
+#  if defined(BINDING_STACK_POINTER)
 #define get_binding_stack_pointer(thread)       \
     SymbolValue(BINDING_STACK_POINTER, thread)
 #define set_binding_stack_pointer(thread,value) \
     SetSymbolValue(BINDING_STACK_POINTER, (lispobj)(value), thread)
-#define access_control_stack_pointer(thread)    \
-    (current_control_stack_pointer)
-#else
+#  else
 #define get_binding_stack_pointer(thread)       \
     (current_binding_stack_pointer)
 #define set_binding_stack_pointer(thread,value) \
     (current_binding_stack_pointer = (lispobj *)(value))
-#define access_control_stack_pointer(thread) \
+#  endif
+#define access_control_stack_pointer(thread)    \
     (current_control_stack_pointer)
+#  if !defined(LISP_FEATURE_X86) && !defined(LISP_FEATURE_X86_64)
 #define access_control_frame_pointer(thread) \
     (current_control_frame_pointer)
+#  endif
 #endif
 
 #if defined(LISP_FEATURE_SB_THREAD) && defined(LISP_FEATURE_GCC_TLS)

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL

The branch "master" has been updated in SBCL:
       via  dcf17f7d855d66c17b23c03a6fdc5cb0bc671175 (commit)
      from  fb35df18abde8fc88c521cf7a811f41914a82890 (commit)

- Log -----------------------------------------------------------------
commit dcf17f7d855d66c17b23c03a6fdc5cb0bc671175
Author: Alastair Bridgewater <nyef@...>
Date:   Thu Nov 8 18:32:29 2012 -0500

    runtime/cheneygc.c: Use binding-stack-pointer access macro.
    
      * Rather than access current_binding_stack_pointer (a global
    variable) directly, use access_binding_stack_pointer() (a macro
    defined in thread.h).
---
 src/runtime/cheneygc.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/runtime/cheneygc.c b/src/runtime/cheneygc.c
index a4c72a4..7573c82 100644
--- a/src/runtime/cheneygc.c
+++ b/src/runtime/cheneygc.c
@@ -156,11 +156,11 @@ collect_garbage(generation_index_t ignore)
 
 
     binding_stack_size =
-        current_binding_stack_pointer -
+        (lispobj *)get_binding_stack_pointer(th) -
         (lispobj *)th->binding_stack_start;
 #ifdef PRINTNOISE
     printf("Scavenging the binding stack %x - %x (%d words) ...\n",
-           th->binding_stack_start,current_binding_stack_pointer,
+           th->binding_stack_start,get_binding_stack_pointer(th),
            (int)(binding_stack_size));
 #endif
     scavenge(((lispobj *)th->binding_stack_start), binding_stack_size);

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL

The branch "master" has been updated in SBCL:
       via  fb35df18abde8fc88c521cf7a811f41914a82890 (commit)
      from  f932dd50116c948d1b19358e9b2821df7a4e7380 (commit)

- Log -----------------------------------------------------------------
commit fb35df18abde8fc88c521cf7a811f41914a82890
Author: Alastair Bridgewater <nyef@...>
Date:   Tue Oct 23 13:47:27 2012 -0400

    Thou shalt not MAKE-OTHER-IMMEDIATE-TYPE.
    
      * Really, it's only ever used to make unbound-markers, for which
    we have MAKE-UNBOUND-MARKER, which produces more optimal code in
    the first place, has a shorter invocation, and reveals intention
    far better than using MAKE-OTHER-IMMEDIATE-TYPE.
    
      * Rewrite all uses of MAKE-OTHER-IMMEDIATE-TYPE, excise the VOPs
    from all of the backends, and remove the symbol name from package-
    data.
    
      * And add DESCRIPTOR-REG to the permitted SCs for
    MAKE-UNBOUND-MARKER, since it now must be legal to use a TN of
    primitive-type T.
---
 package-data-list.lisp-expr     |    2 +-
 src/code/fop.lisp               |    2 +-
 src/code/symbol.lisp            |    3 +--
 src/compiler/alpha/alloc.lisp   |    2 +-
 src/compiler/alpha/system.lisp  |   16 ----------------
 src/compiler/hppa/alloc.lisp    |    2 +-
 src/compiler/hppa/system.lisp   |   17 -----------------
 src/compiler/ir2tran.lisp       |    3 +--
 src/compiler/mips/alloc.lisp    |    2 +-
 src/compiler/mips/system.lisp   |   16 ----------------
 src/compiler/ppc/alloc.lisp     |    2 +-
 src/compiler/ppc/system.lisp    |   16 ----------------
 src/compiler/sparc/alloc.lisp   |    2 +-
 src/compiler/sparc/system.lisp  |   16 ----------------
 src/compiler/x86-64/alloc.lisp  |    2 +-
 src/compiler/x86-64/system.lisp |   11 -----------
 src/compiler/x86/alloc.lisp     |    2 +-
 src/compiler/x86/system.lisp    |   11 -----------
 tests/defglobal.impure.lisp     |    2 +-
 19 files changed, 12 insertions(+), 117 deletions(-)

diff --git a/package-data-list.lisp-expr b/package-data-list.lisp-expr
index ac8e63a..1a6ebf6 100644
--- a/package-data-list.lisp-expr
+++ b/package-data-list.lisp-expr
@@ -300,7 +300,7 @@ of SBCL which maintained the CMU-CL-style split into two packages.)"
                "MAKE-CLOSURE" "MAKE-CONSTANT-TN"
                "MAKE-FIXUP-NOTE"
                "MAKE-LOAD-TIME-CONSTANT-TN" "MAKE-N-TNS" "MAKE-NORMAL-TN"
-               "MAKE-OTHER-IMMEDIATE-TYPE" "MAKE-RANDOM-TN"
+               "MAKE-RANDOM-TN"
                "MAKE-REPRESENTATION-TN" "MAKE-RESTRICTED-TN" "MAKE-SC-OFFSET"
                "MAKE-STACK-POINTER-TN" "MAKE-TN-REF" "MAKE-UNWIND-BLOCK"
                "MAKE-WIRED-TN" "MAYBE-COMPILER-NOTIFY"
diff --git a/src/code/fop.lisp b/src/code/fop.lisp
index ddf5ba7..b3863eb 100644
--- a/src/code/fop.lisp
+++ b/src/code/fop.lisp
@@ -145,7 +145,7 @@
   #+sb-xc-host ; since xc host doesn't know how to compile %PRIMITIVE
   (error "FOP-MISC-TRAP can't be defined without %PRIMITIVE.")
   #-sb-xc-host
-  (%primitive sb!c:make-other-immediate-type 0 sb!vm:unbound-marker-widetag))
+  (%primitive sb!c:make-unbound-marker))
 
 (define-cloned-fops (fop-character 68) (fop-short-character 69)
   (code-char (clone-arg)))
diff --git a/src/code/symbol.lisp b/src/code/symbol.lisp
index 7031776..7dcfe23 100644
--- a/src/code/symbol.lisp
+++ b/src/code/symbol.lisp
@@ -52,8 +52,7 @@ distinct from the global value. Can also be SETF."
 
 (declaim (inline %makunbound))
 (defun %makunbound (symbol)
-  (%set-symbol-value symbol (%primitive sb!c:make-other-immediate-type
-                                        0 sb!vm:unbound-marker-widetag)))
+  (%set-symbol-value symbol (%primitive sb!c:make-unbound-marker)))
 
 (defun makunbound (symbol)
   #!+sb-doc
diff --git a/src/compiler/alpha/alloc.lisp b/src/compiler/alpha/alloc.lisp
index 96621a3..c88ecce 100644
--- a/src/compiler/alpha/alloc.lisp
+++ b/src/compiler/alpha/alloc.lisp
@@ -154,7 +154,7 @@
 
 (define-vop (make-unbound-marker)
   (:args)
-  (:results (result :scs (any-reg)))
+  (:results (result :scs (descriptor-reg any-reg)))
   (:generator 1
     (inst li unbound-marker-widetag result)))
 
diff --git a/src/compiler/alpha/system.lisp b/src/compiler/alpha/system.lisp
index c051514..23e74b1 100644
--- a/src/compiler/alpha/system.lisp
+++ b/src/compiler/alpha/system.lisp
@@ -140,22 +14

The branch "master" has been updated in SBCL:
       via  f932dd50116c948d1b19358e9b2821df7a4e7380 (commit)
      from  06cc46735ebc73618995281f26fcce096c1110f6 (commit)

- Log -----------------------------------------------------------------
commit f932dd50116c948d1b19358e9b2821df7a4e7380
Author: Alastair Bridgewater <nyef@...>
Date:   Sun Nov 4 12:43:27 2012 -0500

    compiler/generic/genesis: Report FDEFN addresses for undefined functions.
    
      * In order to make debugging bootstrapping problems easier,
    include the address of FDEFNs which have not been defined in the
    cold-sbcl.map file.  This address is what shows up in ldb when
    such an FDEFN is invoked.
---
 src/compiler/generic/genesis.lisp |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/src/compiler/generic/genesis.lisp b/src/compiler/generic/genesis.lisp
index a019dab..9cc373f 100644
--- a/src/compiler/generic/genesis.lisp
+++ b/src/compiler/generic/genesis.lisp
@@ -3086,7 +3086,9 @@ initially undefined function references:~2%")
 
       (setf undefs (sort undefs #'string< :key #'fun-name-block-name))
       (dolist (name undefs)
-        (format t "~S~%" name)))
+        (format t "~8,'0X: ~S~%"
+                (descriptor-bits (gethash name *cold-fdefn-objects*))
+                name)))
 
     (format t "~%~|~%layout names:~2%")
     (collect ((stuff))

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL

The branch "master" has been updated in SBCL:
       via  06cc46735ebc73618995281f26fcce096c1110f6 (commit)
      from  c78d726af276ff97f8ec85eb42aa72cb31766284 (commit)

- Log -----------------------------------------------------------------
commit 06cc46735ebc73618995281f26fcce096c1110f6
Author: Alastair Bridgewater <nyef@...>
Date:   Thu Nov 8 18:18:28 2012 -0500

    compiler/sparc/arith: Fix SCs for FAST-EQL{,-C}/FIXNUM.
    
      * There's a KLUDGE in build-order.lisp-expr wherein failures
    when building this file are ignored.
    
      * The failures are specifically an SC vs. arg-type mismatch for
    the FAST-EQL/FIXNUM and FAST-EQL-C/FIXNUM VOPs.
    
      * Fix the mismatch by altering the VOP definitions to match what
    the MIPS backend uses (since it doesn't have the failure).
    
      * And remove SPARC from the reader conditional on the KLUDGE.
---
 build-order.lisp-expr         |    2 +-
 src/compiler/sparc/arith.lisp |    7 +++++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/build-order.lisp-expr b/build-order.lisp-expr
index af5c472..8b58ee1 100644
--- a/build-order.lisp-expr
+++ b/build-order.lisp-expr
@@ -573,7 +573,7 @@
   ;; x compilation, for now we blithely ignore them and press on to more
   ;; x pressing problems. Someday, though, it would be nice to figure out
   ;; x what the problem is and fix it.
-  #!+(or ppc sparc) :ignore-failure-p)
+  #!+(or ppc) :ignore-failure-p)
  ("src/code/cross-modular"  :not-target)
  ("src/compiler/target/subprim")
 
diff --git a/src/compiler/sparc/arith.lisp b/src/compiler/sparc/arith.lisp
index cc3d6b0..b190cba 100644
--- a/src/compiler/sparc/arith.lisp
+++ b/src/compiler/sparc/arith.lisp
@@ -780,7 +780,7 @@
 ;;;
 
 (define-vop (fast-eql/fixnum fast-conditional)
-  (:args (x :scs (any-reg descriptor-reg zero))
+  (:args (x :scs (any-reg zero))
          (y :scs (any-reg zero)))
   (:arg-types tagged-num tagged-num)
   (:note "inline fixnum comparison")
@@ -791,11 +791,13 @@
     (inst nop)))
 ;;;
 (define-vop (generic-eql/fixnum fast-eql/fixnum)
+  (:args (x :scs (any-reg descriptor-reg))
+         (y :scs (any-reg)))
   (:arg-types * tagged-num)
   (:variant-cost 7))
 
 (define-vop (fast-eql-c/fixnum fast-conditional/fixnum)
-  (:args (x :scs (any-reg descriptor-reg zero)))
+  (:args (x :scs (any-reg zero)))
   (:arg-types tagged-num (:constant (signed-byte 11)))
   (:info target not-p y)
   (:translate eql)
@@ -805,6 +807,7 @@
     (inst nop)))
 ;;;
 (define-vop (generic-eql-c/fixnum fast-eql-c/fixnum)
+  (:args (x :scs (any-reg descriptor-reg)))
   (:arg-types * (:constant (signed-byte 11)))
   (:variant-cost 6))
 

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL