[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