diff options
author | Andy Wingo <wingo@pobox.com> | 2020-05-11 15:38:36 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2020-05-11 15:42:20 +0200 |
commit | b5108ccb2a1e02ba7182be81b746ad86d31cb419 (patch) | |
tree | 2eb502a801306bdbba2f8f3396ebf704d834bb9b /module/system/base/optimize.scm | |
parent | a68c80c747a2a8ec92fa84684ebd60b4ecb7ffa0 (diff) | |
download | guile-b5108ccb2a1e02ba7182be81b746ad86d31cb419.tar.gz |
Avoid having "guild compile" load optimizers
* module/language/cps/optimize.scm (cps-optimizations):
* module/language/tree-il/optimize.scm (tree-il-optimizations):
* module/system/base/optimize.scm (available-optimizations): Invert the
dependency tree to hold the names and default optimization levels in a
central place instead of in the optimizers. It moves definitions
farther from uses, but it avoids us having to load the CPS optimizer
if we don't need it, which improves bootstrap times.
Diffstat (limited to 'module/system/base/optimize.scm')
-rw-r--r-- | module/system/base/optimize.scm | 44 |
1 files changed, 39 insertions, 5 deletions
diff --git a/module/system/base/optimize.scm b/module/system/base/optimize.scm index 562f94ae7..3b056a540 100644 --- a/module/system/base/optimize.scm +++ b/module/system/base/optimize.scm @@ -1,6 +1,6 @@ ;;; Optimization flags -;; Copyright (C) 2018 Free Software Foundation, Inc. +;; Copyright (C) 2018, 2020 Free Software Foundation, Inc. ;;;; This library is free software; you can redistribute it and/or ;;;; modify it under the terms of the GNU Lesser General Public @@ -19,15 +19,49 @@ ;;; Code: (define-module (system base optimize) - #:use-module (language tree-il optimize) - #:use-module (language cps optimize) #:use-module (ice-9 match) #:export (available-optimizations pass-optimization-level optimizations-for-level)) -(define (available-optimizations) - (append (tree-il-optimizations) (cps-optimizations))) +(define* (available-optimizations #:optional lang-name) + (match lang-name + ('tree-il + ;; Avoid resolve-primitives until -O2, when CPS optimizations kick in. + ;; Otherwise, inlining the primcalls during Tree-IL->CPS compilation + ;; will result in a lot of code that will never get optimized nicely. + ;; Similarly letrectification is great for generated code quality, but + ;; as it gives the compiler more to work with, it increases compile + ;; time enough that we reserve it for -O2. Also, this makes -O1 avoid + ;; assumptions about top-level values, in the same way that avoiding + ;; resolve-primitives does. + '((#:cps? 1) + (#:resolve-primitives? 2) + (#:expand-primitives? 1) + (#:letrectify? 2) + (#:seal-private-bindings? 3) + (#:partial-eval? 1) + (#:eta-expand? 2))) + ('cps + '( ;; (#:split-rec? #t) + (#:simplify? 2) + (#:eliminate-dead-code? 2) + (#:prune-top-level-scopes? 2) + (#:contify? 2) + (#:specialize-primcalls? 2) + (#:peel-loops? 2) + (#:cse? 2) + (#:type-fold? 2) + (#:resolve-self-references? 2) + (#:devirtualize-integers? 2) + (#:specialize-numbers? 2) + (#:licm? 2) + (#:rotate-loops? 2) + ;; This one is used by the slot allocator. + (#:precolor-calls? 2))) + (#f + (append (available-optimizations 'tree-il) + (available-optimizations 'cps))))) (define (pass-optimization-level kw) (match (assq kw (available-optimizations)) |