[Sbcl-commits] CVS: sbcl/src/compiler/generic vm-fndb.lisp,1.15,1.16 vm-tran.lisp,1.26,1.27

[Christophe R. <cr...@us...>]

Update of /cvsroot/sbcl/sbcl/src/compiler/generic
In directory sc8-pr-cvs1:/tmp/cvs-serv17275/src/compiler/generic

Modified Files:
	vm-fndb.lisp vm-tran.lisp 
Log Message:
0.8.0.59:
	Make VALUES derive type optimizer accurate:
	... since we have this nice interpretation of VALUES types, use
		it in the VALUES derive-type optimizer -- we will return 
		exactly	as many values as VALUES has arguments;
	... fix the bugs that this reveals in sbcl; :-)
	... enables us to detect more bogosity: test for some more type
		mismatches being caught.
	... (relatedly) fix one more duplicate definition in
		sb-bsd-sockets
	Array initializer type warning fix:
	... don't do (csubtypep (ctype-of x) eltype), because that's wrong
		for e.g. X = #\a and eltype being STANDARD-CHAR; use
		CTYPEP instead.


Index: vm-fndb.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/generic/vm-fndb.lisp,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -d -r1.15 -r1.16
--- vm-fndb.lisp	10 Mar 2003 14:54:29 -0000	1.15
+++ vm-fndb.lisp	10 Jun 2003 11:08:13 -0000	1.16
@@ -240,23 +240,23 @@
 
 (defknown copy-to-system-area
 	  ((simple-unboxed-array (*)) index system-area-pointer index index)
-  null
+  (values)
   ())
 
 (defknown copy-from-system-area
 	  (system-area-pointer index (simple-unboxed-array (*)) index index)
-  null
+  (values)
   ())
 
 (defknown system-area-copy
 	  (system-area-pointer index system-area-pointer index index)
-  null
+  (values)
   ())
 
 (defknown bit-bash-copy
 	  ((simple-unboxed-array (*)) index
 	   (simple-unboxed-array (*)) index index)
-  null
+  (values)
   ())
 
 ;;; (not really a bit-bashing routine, but starting to take over from
@@ -264,7 +264,7 @@
 (defknown %byte-blt
   ((or (simple-unboxed-array (*)) system-area-pointer) index
    (or (simple-unboxed-array (*)) system-area-pointer) index index)
-  null
+  (values)
   ())
 
 ;;;; code/function/fdefn object manipulation routines

Index: vm-tran.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/generic/vm-tran.lisp,v
retrieving revision 1.26
retrieving revision 1.27
diff -u -d -r1.26 -r1.27
--- vm-tran.lisp	1 Apr 2003 14:14:11 -0000	1.26
+++ vm-tran.lisp	10 Jun 2003 11:08:13 -0000	1.27
@@ -348,7 +348,7 @@
       (memmove (sap+ (sapify dst) dst-start)
 	       (sap+ (sapify src) src-start)
 	       (- dst-end dst-start)))
-     nil))
+     (values)))
 
 ;;;; transforms for EQL of floating point values