diff options
author | Andy Wingo <wingo@pobox.com> | 2017-11-30 17:00:37 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2017-11-30 17:00:37 +0100 |
commit | 67901cde76fe2ca38fb37debc680610a72cc0b5a (patch) | |
tree | 1c5d3d0cdbc1fd55d9bd28130d8de7fefefb80dc | |
parent | 5675e46410c9a24b05ddf58cbe3b998a4c9cad7c (diff) | |
download | guile-67901cde76fe2ca38fb37debc680610a72cc0b5a.tar.gz |
Allow integer devirtualization to be disabled
* module/language/cps/optimize.scm (optimize-higher-order-cps)
(cps-default-optimization-options): Add #:devirtualize-integers?.
-rw-r--r-- | module/language/cps/optimize.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/module/language/cps/optimize.scm b/module/language/cps/optimize.scm index 662191903..56bc7c186 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 |