[Guile-commits] branch master updated (981802c -> 90aabcc)

[Andy Wingo]

wingo pushed a change to branch master
in repository guile.

      from  981802c   Wire up new closure conversion pass
       new  e9e6da1   closure-conversion docstring tweak
       new  6cfb7af   CPS2 closure conversion bugfixes
       new  030e9b7   Enable CPS2 closure conversion
       new  263b409   Prepare DCE pass for first-order CPS2
       new  1b95487   compute-reachable-functions refactor
       new  e419e9e   DCE works on first-order CPS
       new  099784c   Beta reduction over first-order CPS
       new  6f6a6ae   Optimize first-order CPS
       new  420423f   Remove CPS optimization passes and closure conversion
       new  90aabcc   Fix type/range inference for mul

The 10 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 module/Makefile.am                             |   14 -
 module/language/cps/closure-conversion.scm     |  565 ----------
 module/language/cps/compile-bytecode.scm       |   83 +--
 module/language/cps/constructors.scm           |  104 --
 module/language/cps/contification.scm          |  414 -------
 module/language/cps/cse.scm                    |  545 ---------
 module/language/cps/dce.scm                    |  363 ------
 module/language/cps/effects-analysis.scm       |  499 ---------
 module/language/cps/elide-values.scm           |  109 --
 module/language/cps/prune-bailouts.scm         |  101 --
 module/language/cps/prune-top-level-scopes.scm |  114 --
 module/language/cps/self-references.scm        |   79 --
 module/language/cps/simplify.scm               |  328 ------
 module/language/cps/specialize-primcalls.scm   |  107 --
 module/language/cps/type-fold.scm              |  443 --------
 module/language/cps/types.scm                  | 1424 ------------------------
 module/language/cps2/closure-conversion.scm    |   34 +-
 module/language/cps2/compile-cps.scm           |   12 +-
 module/language/cps2/dce.scm                   |  121 ++-
 module/language/cps2/effects-analysis.scm      |    2 +-
 module/language/cps2/optimize.scm              |   10 +
 module/language/cps2/simplify.scm              |   76 +-
 module/language/cps2/types.scm                 |   15 +-
 module/language/cps2/utils.scm                 |   39 +
 module/language/cps2/verify.scm                |   46 +-
 25 files changed, 198 insertions(+), 5449 deletions(-)
 delete mode 100644 module/language/cps/closure-conversion.scm
 delete mode 100644 module/language/cps/constructors.scm
 delete mode 100644 module/language/cps/contification.scm
 delete mode 100644 module/language/cps/cse.scm
 delete mode 100644 module/language/cps/dce.scm
 delete mode 100644 module/language/cps/effects-analysis.scm
 delete mode 100644 module/language/cps/elide-values.scm
 delete mode 100644 module/language/cps/prune-bailouts.scm
 delete mode 100644 module/language/cps/prune-top-level-scopes.scm
 delete mode 100644 module/language/cps/self-references.scm
 delete mode 100644 module/language/cps/simplify.scm
 delete mode 100644 module/language/cps/specialize-primcalls.scm
 delete mode 100644 module/language/cps/type-fold.scm
 delete mode 100644 module/language/cps/types.scm