1.0.10.50: short-circuit LVAR type derivation when type becomes T

* Even if there are uses we have not considered yet,
  %LVAR-DERIVED-TYPE can stop if the type turns into the universal
  type.

diff --git a/src/compiler/ir1opt.lisp b/src/compiler/ir1opt.lisp
index 98a5a93..c93f4b0 100644 (file)
--- a/src/compiler/ir1opt.lisp
+++ b/src/compiler/ir1opt.lisp
@@ -57,7 +57,8 @@
                      (values-type-union (node-derived-type (first current))
                                         res))
                 (current (rest uses) (rest current)))
-               ((null current) res)))
+               ((or (null current) (eq res *wild-type*))
+                res)))
           (t
            (node-derived-type (lvar-uses lvar))))))
 

diff --git a/version.lisp-expr b/version.lisp-expr
index dffce32..02d1ab1 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".)
-"1.0.10.49"
+"1.0.10.50"