[Guile-commits] branch wip-tailify updated (b7b5ce0a7 -> 5348ad921)

[Andy Wingo]

wingo pushed a change to branch wip-tailify
in repository guile.

 discard b7b5ce0a7 Add tailify pass
 discard adee37ef0 Add new $calli expression type.
 discard 9a449f91b Add indirect-tail-call VM instruction
     add 19c3bdc5c Fix target-max-size-t/scm to not be a fraction (oops)
     add b974405bc New CPS pass: lower-primcalls
     add a5b245d2d Wire in lower-primitives pass
     add eb6d5abcb Move f64->scm lowering to lower-primcalls
     add a35cae569 Add support for higher-level object representations in type 
analysis
     add 98178ac30 Add effects analysis for new high-level object accessors
     add e7e625b77 Fix effects analysis bug for synthesized definitions at 
allocations
     add 2534326e5 Add CSE auxiliary definitions for cons, set-car! etc
     add 125cb9fa6 Remove useless code in CSE
     add 26b43f35c DCE ignores setters to dead objects
     add a80a5ade7 Contification uses 'cons primcall
     add e4f9b203f Closure conversion produces high-level object representations
     add 2b8833342 Tree-IL-to-CPS lowers to high-level object representations: 
boxes
     add 5c5af6bc7 Tree-IL-to-CPS lowers to high-level object reprs: atomic 
boxes
     add 4fb4bebe4 Tree-IL-to-CPS lowers to high-level object reprs: pairs
     add e6bd13ea1 Tree-IL-to-CPS lowers to high-level object reprs: structs
     add d0677a362 Tree-IL-to-CPS lowers to high-level object reprs: bytevectors
     add 069ed42f5 Tree-IL-to-CPS lowers to high-level object reprs: strings
     add 85f85a0fc Tree-IL-to-CPS lowers to high-level object reprs: vectors
     new 171e9d6a6 Add indirect-tail-call VM instruction
     new ae3c93b2c Add new $calli expression type.
     new 5348ad921 Add tailify pass

This update added new revisions after undoing existing revisions.
That is to say, some revisions that were in the old version of the
branch are not in the new version.  This situation occurs
when a user --force pushes a change and generates a repository
containing something like this:

 * -- * -- B -- O -- O -- O   (b7b5ce0a7)
            \
             N -- N -- N   refs/heads/wip-tailify (5348ad921)

You should already have received notification emails for all of the O
revisions, and so the following emails describe only the N revisions
from the common base, B.

Any revisions marked "omit" are not gone; other references still
refer to them.  Any revisions marked "discard" are gone forever.

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


Summary of changes:
 am/bootstrap.am                            |   1 +
 module/language/cps/closure-conversion.scm | 115 +++---
 module/language/cps/contification.scm      |  17 +-
 module/language/cps/cse.scm                |  21 +-
 module/language/cps/dce.scm                |  11 +-
 module/language/cps/effects-analysis.scm   |  49 ++-
 module/language/cps/lower-primcalls.scm    | 623 +++++++++++++++++++++++++++++
 module/language/cps/optimize.scm           |  44 +-
 module/language/cps/reify-primitives.scm   |  31 --
 module/language/cps/types.scm              |  75 +++-
 module/language/tree-il/compile-cps.scm    | 614 ++++++++--------------------
 module/system/base/target.scm              |   6 +-
 12 files changed, 1025 insertions(+), 582 deletions(-)
 create mode 100644 module/language/cps/lower-primcalls.scm