[gambit-list] Guile's new compiler

lucier at math.purdue.edu lucier at math.purdue.edu
Wed Nov 4 22:08:11 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

(Sorry for the third try sending this to the mail list.  El capitan (Mac OS X 10.11) mail is “different”.)


More information about the Gambit-list mailing list