Commit 0728233f authored by Alexey Dejneka's avatar Alexey Dejneka
Browse files

0.8.15.14:

        * Fix bug MISC.427: rebuild DFO before loop analysis.
parent bffa99d3
Loading
Loading
Loading
Loading
+2 −1
Original line number Diff line number Diff line
@@ -527,6 +527,7 @@
    (ir1-phases component)

    (when *loop-analyze*
      (dfo-as-needed component)
      (find-dominators component)
      (loop-analyze component))

+14 −0
Original line number Diff line number Diff line
@@ -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)))
+1 −1
Original line number Diff line number Diff line
@@ -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"