0.8.0.85:

        * New optimization to do.
        * Fix problem description for the bug 188 (thanks to cliini on
          #lisp).

diff --git a/BUGS b/BUGS
index 3e3726a..677a4fc 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -688,11 +688,9 @@ WORKAROUND:
   propagation or with SSA, but consider
 
     (let ((x 0))
-      (loop (if (random-boolean)
-                (incf x 2)
-                (incf x 5))))
+      (loop (incf x 2)))
 
-  The careful type of X is {2k+5n} :-(. Is it really important to be
+  The careful type of X is {2k} :-(. Is it really important to be
   able to work with unions of many intervals?
 
 190: "PPC/Linux pipe? buffer? bug"

diff --git a/OPTIMIZATIONS b/OPTIMIZATIONS
index 99d40ea..df2c49b 100644 (file)
--- a/OPTIMIZATIONS
+++ b/OPTIMIZATIONS
@@ -80,7 +80,6 @@ uses generic arithmetic
   memory location for iteration variable
 
 ;;; -*- mode: lisp -*-
-;;; $Id$
 ;;; http://www.bagley.org/~doug/shootout/
 ;;; from Friedrich Dominicus
 
@@ -158,3 +157,8 @@ It could be optimized to
 
 (if Y were used only once, the current compiler would optimize it)
 --------------------------------------------------------------------------------
+#12
+(typep (truly-the (simple-array * (*)) x) 'simple-vector)
+
+tests lowtag.
+--------------------------------------------------------------------------------

diff --git a/version.lisp-expr b/version.lisp-expr
index 4139bf1..0443032 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -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.0.84"
+"0.8.0.85"