[Sbcl-commits] CVS: sbcl BUGS,1.339,1.340 NEWS,1.393,1.394 version.lisp-expr,1.1205,1.1206

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

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

Modified Files:
	BUGS NEWS version.lisp-expr 
Log Message:
0.8.3.21:
	Fix PPC floating point backend bugs
	... STFD moves a doubleword to the effective address.  Better not
		have that effective address be a 32-bit area 
		(e.g. SINGLE-STACK) then


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.339
retrieving revision 1.340
diff -u -d -r1.339 -r1.340
--- BUGS	30 Aug 2003 19:57:57 -0000	1.339
+++ BUGS	1 Sep 2003 15:29:34 -0000	1.340
@@ -1205,3 +1205,28 @@
   There are lots of special variables in SBCL, and I feel sure that at
   least some of them are indicative of potentially thread-unsafe 
   parts of the system.  See doc/internals/notes/threading-specials
+
+285: PPC randomness
+  In SBCL 0.8.3.1x on a powerpc running Linux (dunno if Darwin is
+    similarly affected):
+  * (dotimes (i 100) (random 1663553320000000))
+
+  NIL
+  * (dotimes (i 100) (random 1663553340000000))
+
+  NIL
+  * (dotimes (i 100) (random 1663553350000000))
+
+  debugger invoked on condition of type TYPE-ERROR:
+    The value -30653269094906
+      is not of type
+      (OR (SINGLE-FLOAT 0.0) (DOUBLE-FLOAT 0.0d0) (RATIONAL 0)).
+
+    and, weirdly, the frame is:
+  ("hairy arg processor for top level local call RANDOM"
+   1663553347392000
+   #S(RANDOM-STATE
+      :STATE #(0 2567483615 188 1503590015 2333049409 322761517 ...)))
+
+  (the type error doesn't seem to be terribly deterministic in when it
+  occurs.  Bigger numbers seem better able to trigger the error)

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.393
retrieving revision 1.394
diff -u -d -r1.393 -r1.394
--- NEWS	1 Sep 2003 14:44:44 -0000	1.393
+++ NEWS	1 Sep 2003 15:29:34 -0000	1.394
@@ -2013,6 +2013,9 @@
     combination.  (reported by Andreas Fuchs)
   * bug fix: RUN-PROGRAM now does not fail if some element in $PATH
     names a non-existent directory.  (thanks to Andreas Fuchs)
+  * bug fix: ROUND and TRUNCATE could, under certain circumstances on
+    the PPC platform, lead to stack corruption; this has been fixed.
+    (reported by Rainer Joswig)
   * 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.

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1205
retrieving revision 1.1206
diff -u -d -r1.1205 -r1.1206
--- version.lisp-expr	1 Sep 2003 14:44:44 -0000	1.1205
+++ version.lisp-expr	1 Sep 2003 15:29:34 -0000	1.1206
@@ -17,4 +17,4 @@
 ;;; 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.20"
+"0.8.3.21"