[gambit-list] Guile's new compiler
Bradley Lucier
lucier at purdue.edu
Wed Nov 4 21:55:26 EST 2015
Guile’s 2.1.1 announcement includes the following paragraph:
======================================================================
** Better optimizations via compiler rewrite
Guile's compiler now uses a Continuation-Passing Style (CPS)
intermediate language, allowing it to reason easily about temporary
values and control flow. Examples of optimizations that this permits
are optimal contification, optimal common subexpression elimination,
dead code elimination, loop-invariant code motion, loop peeling, loop
inversion, parallel moves with at most one temporary, allocation of
stack slots using precise liveness information, and closure
optimization. For more, see "Continuation-Passing Style" in the manual.
======================================================================
Are some of these missing from Gambit’s compiler? Could they be “easily” added (for some value of “easily”)?
Brad
More information about the Gambit-list
mailing list