[Guile-commits] 02/02: Allow integer devirtualization to be disabled

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit 67901cde76fe2ca38fb37debc680610a72cc0b5a
Author: Andy Wingo <address@hidden>
Date:   Thu Nov 30 17:00:37 2017 +0100

    Allow integer devirtualization to be disabled
    
    * module/language/cps/optimize.scm (optimize-higher-order-cps)
      (cps-default-optimization-options): Add #:devirtualize-integers?.
---
 module/language/cps/optimize.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/module/language/cps/optimize.scm b/module/language/cps/optimize.scm
index 6621919..56bc7c1 100644
--- a/module/language/cps/optimize.scm
+++ b/module/language/cps/optimize.scm
@@ -98,7 +98,7 @@
   (elide-values #:elide-values? #t)
   (prune-bailouts #:prune-bailouts? #t)
   (simplify #:simplify? #t)
-  (devirtualize-integers #:eliminate-dead-code? #t)
+  (devirtualize-integers #:devirtualize-integers? #t)
   (peel-loops #:peel-loops? #t)
   (eliminate-common-subexpressions #:cse? #t)
   (type-fold #:type-fold? #t)
@@ -131,6 +131,7 @@
    #:cse? #t
    #:type-fold? #t
    #:resolve-self-references? #t
+   #:devirtualize-integers? #t
    #:specialize-numbers? #t
    #:licm? #t
    #:rotate-loops? #t