Steel Bank Common Lisp

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1:/tmp/cvs-serv2903

Modified Files:
	version.lisp-expr 
Log Message:
0.8.3.1

	Merge stop_the_world branch: a new scheme for stopping threads
	during GC, that avoids the use of ptrace and lets any of the
	threads stop any of the others.  This is a summary log entry:
	see branch commits for details

	New C functions maybe_defer_handler and run_deferred_handler,
	which encapsulate a lot of the "is it safe to run this handler
	now?  no, ok, copy its siginfo somewhere safe and do it later"
	cruft that's presently done ad hoc.

	Stack scavenging now looks for esp in the most recent
	interrupt context for each thread.  Requires that threads
	save said interrupt contexts in sig_stop_for_gc_handler

	Clean up some compiler warnings in gencgc.c

	Lisp-level changes: approximately a reversion to old-style (or
	single-threaded) GC.  Haven't actually added the gc hooks back
	in yet, but now there's at least a place for them to go.

	Lock around SUB-GC to remove window that may allow two threads 
	to attempt to collect at once.  

	WITHOUT-INTERRUPTS around SUB-GC to protect c-level spinlocks
	used in gc_{stop,start}_the_world

	(C-level spinlocks are just integers manipulated by get_spinlock(),
	release_spinlock().  There's no unwind-protect or anything 
	involved in their use, so a thread interrupted when it's 
	holding one of these will continue to hold it)

	Remove #if 0 from around the copying of sigmask in
        undo_fake_foreign_function_call.  Replace sizeof(sigmask_t)
        with an expression involving the value of NSIG and the rash
        assumption that sigset_t is a bitmask.

	Moved get_spinlock into foo-arch.h and made it static inline.
	Added release_spinlock for parity

	Delete irritating message from sigcont_handler

	New test cases



Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1185
retrieving revision 1.1186
diff -u -d -r1.1185 -r1.1186
--- version.lisp-expr	25 Aug 2003 12:32:58 -0000	1.1185
+++ version.lisp-expr	25 Aug 2003 21:00:00 -0000	1.1186
@@ -16,5 +16,4 @@
 ;;; with something arbitrary in the fourth field, is used for CVS
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
-;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.3"
+"0.8.3.1"

Update of /cvsroot/sbcl/sbcl/tests
In directory sc8-pr-cvs1:/tmp/cvs-serv9399/tests

Modified Files:
	compiler.pure.lisp 
Log Message:
0.8.3.6:
        * Fix bug 278b: remove second return value of
          VALUES-TYPE-INTERSECTION (it is not any worse than
          TYPE-INTERSECTION).


Index: compiler.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/compiler.pure.lisp,v
retrieving revision 1.53
retrieving revision 1.54
diff -u -d -r1.53 -r1.54
--- compiler.pure.lisp	26 Aug 2003 08:58:31 -0000	1.53
+++ compiler.pure.lisp	27 Aug 2003 06:49:16 -0000	1.54
@@ -506,3 +506,16 @@
                          (loop for i from 1 to (the (integer -17 10) n) by 2
                                collect (when (> (random 10) 5)
                                          (the ,type (- i 11)))))))))
+
+;;; bug 278b
+;;;
+;;; We suppose that INTEGER arithmetic cannot be efficient, and the
+;;; compiler has an optimized VOP for +; so this code should cause an
+;;; efficiency note.
+(assert (eq (handler-case
+                (compile nil '(lambda (i)
+                               (declare (optimize speed))
+                               (declare (type integer i))
+                               (+ i 2)))
+              (sb-ext:compiler-note (c) (return :good)))
+            :good))

Update of /cvsroot/sbcl/sbcl/src/code
In directory sc8-pr-cvs1:/tmp/cvs-serv9399/src/code

Modified Files:
	late-type.lisp 
Log Message:
0.8.3.6:
        * Fix bug 278b: remove second return value of
          VALUES-TYPE-INTERSECTION (it is not any worse than
          TYPE-INTERSECTION).


Index: late-type.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/late-type.lisp,v
retrieving revision 1.96
retrieving revision 1.97
diff -u -d -r1.96 -r1.97
--- late-type.lisp	26 Aug 2003 08:58:31 -0000	1.96
+++ late-type.lisp	27 Aug 2003 06:49:16 -0000	1.97
@@ -627,28 +627,28 @@
 
 (defun-cached (values-type-intersection :hash-function type-cache-hash
 					:hash-bits 8
-					:values 2
-					:default (values nil :empty)
+					:default (values nil)
 					:init-wrapper !cold-init-forms)
     ((type1 eq) (type2 eq))
   (declare (type ctype type1 type2))
-  (cond ((eq type1 *wild-type*) (values (coerce-to-values type2) t))
+  (cond ((eq type1 *wild-type*)
+         (coerce-to-values type2))
         ((or (eq type2 *wild-type*) (eq type2 *universal-type*))
-         (values type1 t))
+         type1)
         ((or (eq type1 *empty-type*) (eq type2 *empty-type*))
          *empty-type*)
         ((and (not (values-type-p type2))
               (values-type-required type1))
          (let ((req1 (values-type-required type1)))
-         (make-values-type :required (cons (type-intersection (first req1) type2)
-                                           (rest req1))
-                           :optional (values-type-optional type1)
-                           :rest (values-type-rest type1)
-                           :allowp (values-type-allowp type1))))
+           (make-values-type :required (cons (type-intersection (first req1) type2)
+                                             (rest req1))
+                             :optional (values-type-optional type1)
+                             :rest (values-type-rest type1)
+                             :allowp (values-type-allowp type1))))
         (t
-         (values-type-op type1 (coerce-to-values type2)
-                         #'type-intersection
-                         #'max))))
+         (values (values-type-op type1 (coerce-to-values type2)
+                                 #'type-intersection
+                                 #'max)))))
 
 ;;; This is like TYPES-EQUAL-OR-INTERSECT, except that it sort of
 ;;; works on VALUES types. Note that due to the semantics of
@@ -660,9 +660,9 @@
         ((or (eq type1 *wild-type*) (eq type2 *wild-type*))
          (values t t))
 	(t
-	 (multiple-value-bind (res win) (values-type-intersection type1 type2)
+	 (let ((res (values-type-intersection type1 type2)))
 	   (values (not (eq res *empty-type*))
-		   win)))))
+		   t)))))
 
 ;;; a SUBTYPEP-like operation that can be used on any types, including
 ;;; VALUES types

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1:/tmp/cvs-serv9399

Modified Files:
	BUGS NEWS version.lisp-expr 
Log Message:
0.8.3.6:
        * Fix bug 278b: remove second return value of
          VALUES-TYPE-INTERSECTION (it is not any worse than
          TYPE-INTERSECTION).


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.336
retrieving revision 1.337
diff -u -d -r1.336 -r1.337
--- BUGS	26 Aug 2003 16:15:57 -0000	1.336
+++ BUGS	27 Aug 2003 06:49:16 -0000	1.337
@@ -360,6 +360,8 @@
   your pre-0.7.0 state of grace with
     #+sbcl (declaim (notinline find position find-if position-if)) ; bug 117..
 
+  (see also bug 279)
+
 118:
    as reported by Eric Marsden on cmucl-imp@... 2001-08-14:
      (= (FLOAT 1 DOUBLE-FLOAT-EPSILON)
@@ -1116,6 +1118,7 @@
   uses generic arithmetic.
 
   b. For the example above, the compiler does not issue a note.
+     (fixed in 0.8.3.6, but a test case would be good)
 
 279: type propagation error -- correctly inferred type goes astray?
   In sbcl-0.8.3 and sbcl-0.8.1.47, the warning
@@ -1139,6 +1142,8 @@
              (abs-foo (abs (foo x))))
         (declare (type (integer 1 100) abs-foo))
         (print abs-foo)))
+
+ (see also bug 117)
 
 280: bogus WARNING about duplicate function definition 
   In sbcl-0.8.3 and sbcl-0.8.1.47, if BS.MIN is defined inline,

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.386
retrieving revision 1.387
diff -u -d -r1.386 -r1.387
--- NEWS	26 Aug 2003 17:46:57 -0000	1.386
+++ NEWS	27 Aug 2003 06:49:16 -0000	1.387
@@ -2011,6 +2011,8 @@
   * optimization: restored some effective method precomputation in
     CLOS (turned off by an ANSI fix in sbcl-0.8.3); the amount of
     precomputation is now tunable.
+  * bug fix: in some situations compiler did not report usage of
+    generic arithmetic in (SPEED 3) policy.
 
 planned incompatible changes in 0.8.x:
   * (not done yet, but planned:) When the profiling interface settles

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1190
retrieving revision 1.1191
diff -u -d -r1.1190 -r1.1191
--- version.lisp-expr	26 Aug 2003 17:46:57 -0000	1.1190
+++ version.lisp-expr	27 Aug 2003 06:49:16 -0000	1.1191
@@ -16,4 +16,4 @@
 ;;; with something arbitrary in the fourth field, is used for CVS
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
-"0.8.3.5"
+"0.8.3.6"