summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndy Wingo <wingo@pobox.com>2017-11-30 17:00:37 +0100
committerAndy Wingo <wingo@pobox.com>2017-11-30 17:00:37 +0100
commit67901cde76fe2ca38fb37debc680610a72cc0b5a (patch)
tree1c5d3d0cdbc1fd55d9bd28130d8de7fefefb80dc
parent5675e46410c9a24b05ddf58cbe3b998a4c9cad7c (diff)
downloadguile-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.scm3
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