mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 11:40:18 +02:00
Code Activity

Add -Ooptimize-known-return-types at -O2

Browse source 
* module/language/cps/optimize.scm (optimize-first-order-cps):
* module/system/base/optimize.scm (available-optimizations): Add
optimize-known-return-types at -O2.
This commit is contained in:
Andy Wingo 2021-11-12 09:43:24 +01:00
parent dad113d80f
commit 6f1b620b82
2 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
module/language/cps/optimize.scm
View file

@ -36,6 +36,7 @@
#:use-module (language cps reify-primitives)
#:use-module (language cps renumber)
#:use-module (language cps rotate-loops)
#:use-module (language cps return-types)
#:use-module (language cps self-references)
#:use-module (language cps simplify)
#:use-module (language cps specialize-numbers)
@ -110,6 +111,7 @@
(specialize-primcalls #:specialize-primcalls?)
(optimize-branch-chains #:optimize-branch-chains?)
(eliminate-common-subexpressions #:cse?)
(optimize-known-return-types #:optimize-known-return-types?)
(eliminate-dead-code #:eliminate-dead-code?)
;; Running simplify here enables rotate-loops to do a better job.
(simplify #:simplify?)

1
module/system/base/optimize.scm
View file

@ -48,6 +48,7 @@
(#:cse? 2)
(#:type-fold? 2)
(#:elide-arity-checks? 2)
(#:optimize-known-return-types? 2)
(#:resolve-self-references? 2)
(#:devirtualize-integers? 2)
(#:specialize-numbers? 2)