From 26c0c7587e6f522e32a48b6604a4d96c7002af85 Mon Sep 17 00:00:00 2001 From: dtc <dtc> Date: Tue, 24 Feb 1998 19:14:04 +0000 Subject: [PATCH] Have the aref derive-type optimizer check for exactly one node continuation use before asserting the type. --- compiler/array-tran.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/array-tran.lisp b/compiler/array-tran.lisp index ba8987e1c..10f360cc8 100644 --- a/compiler/array-tran.lisp +++ b/compiler/array-tran.lisp @@ -5,7 +5,7 @@ ;;; Carnegie Mellon University, and has been placed in the public domain. ;;; (ext:file-comment - "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/array-tran.lisp,v 1.24 1998/02/13 16:09:48 dtc Exp $") + "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/array-tran.lisp,v 1.25 1998/02/24 19:14:04 dtc Exp $") ;;; ;;; ********************************************************************** ;;; @@ -85,7 +85,7 @@ (assert-array-rank array (length indices)) ;; If the node continuation has a single use then assert its type. (let ((cont (node-cont node))) - (unless (rest (find-uses cont)) + (when (= (length (find-uses cont)) 1) (assert-continuation-type cont (extract-element-type array)))) (extract-upgraded-element-type array)) -- GitLab