From: Christophe R. <cr...@us...> - 2003-06-10 11:08:17
|
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 |