Permalink
Browse files

0.8.15.14:

        * Fix bug MISC.427: rebuild DFO before loop analysis.
  • Loading branch information...
1 parent bffa99d commit 0728233f354ae16a302af5fcdd2a1d8dcbb54540 Alexey Dejneka committed Oct 13, 2004
Showing with 17 additions and 2 deletions.
  1. +2 −1 src/compiler/main.lisp
  2. +14 −0 tests/compiler.pure.lisp
  3. +1 −1 version.lisp-expr
@@ -526,7 +526,8 @@
(ir1-phases component)
- (when *loop-analyze*
+ (when *loop-analyze*
+ (dfo-as-needed component)
(find-dominators component)
(loop-analyze component))
@@ -1481,3 +1481,17 @@
(compile nil '(lambda (s x)
(pprint-logical-block (s x :suffix ">")
(print x s)))))
+
+;;; MISC.427: loop analysis requires complete DFO structure
+(assert (eql 17 (funcall
+ (compile
+ nil
+ '(lambda (a)
+ (declare (notinline list reduce logior))
+ (declare (optimize (safety 2) (compilation-speed 1)
+ (speed 3) (space 2) (debug 2)))
+ (logior
+ (let* ((v5 (reduce #'+ (list 0 a))))
+ (declare (dynamic-extent v5))
+ v5))))
+ 17)))
View
@@ -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.15.13"
+"0.8.15.14"

0 comments on commit 0728233

Please sign in to comment.