From f7e1341ea5056cca7ab196552feec7039ba86854 Mon Sep 17 00:00:00 2001 From: Nikodemus Siivola Date: Fri, 19 Oct 2007 13:57:11 +0000 Subject: [PATCH] 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. --- src/compiler/ir1opt.lisp | 3 ++- version.lisp-expr | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/compiler/ir1opt.lisp b/src/compiler/ir1opt.lisp index 98a5a9367..c93f4b07e 100644 --- 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 dffce3226..02d1ab13f 100644 --- 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" -- 2.11.4.GIT