[Guile-commits] 01/01: Add another simplification pass to make rotate-loops work better

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit a1471e024468e4c8a39d9fcf2508ea73e1f4a9d8
Author: Andy Wingo <wi...@pobox.com>
Date:   Thu Dec 3 09:10:41 2015 +0000

    Add another simplification pass to make rotate-loops work better
    
    * module/language/cps/optimize.scm (optimize-first-order-cps): Toss in
      another simplification pass.
---
 module/language/cps/optimize.scm |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/module/language/cps/optimize.scm b/module/language/cps/optimize.scm
index 707b68d..cc1d951 100644
--- a/module/language/cps/optimize.scm
+++ b/module/language/cps/optimize.scm
@@ -108,6 +108,8 @@
   (hoist-loop-invariant-code #:licm? #t)
   (eliminate-common-subexpressions #:cse? #t)
   (eliminate-dead-code #:eliminate-dead-code? #t)
+  ;; Running simplify here enables rotate-loops to do a better job.
+  (simplify #:simplify? #t)
   (rotate-loops #:rotate-loops? #t)
   (simplify #:simplify? #t)
   (specialize-primcalls #:specialize-primcalls? #t))