[Guile-commits] branch master updated (fa4cb21 -> e2a0624)

[Andy Wingo]

wingo pushed a change to branch master
in repository guile.

      from  fa4cb21   Add resolve-primitives pass back to bootstrap
       new  d4502db   Fix verify.scm for call-thunk/no-inline
       new  7162c75   Fix specialization of the allocate-words family of 
instructions
       new  d4addf3   Bug-fix to devirtualize-integers pass
       new  ef23e51   Make integer devirtualization less eager
       new  1bb44a1   Minor optimization in loop peeling
       new  7ef48c4   Fix primitive reification for scm-set! / word-set!.
       new  c766a88   Instruction explosion for make-vector
       new  f488bc5   Instruction explosion for /immediate variants of vector 
prims
       new  06cf66d   Mark word-ref and word-ref/immediate as producing U64 
values
       new  6e100c9   CPS pass now expects exploded vector primitives
       new  5dde0e4   Remove "ash" instruction.
       new  94f8f70   Remove now-unused make-vector et al instructions
       new  3cedc10   Add CPS compilation support for mutable-vector?
       new  8009359   Fix bug in struct-ref effects analysis
       new  9b3c461   CPS type analysis support for mutable vs immutable vectors
       new  8ed5d9f   Re-add compiler backend support for immutable vectors
       new  ee84af1   Compiler frontend support for vector mutability checks
       new  9a1d2d8   Minor compile-cps refactor for cons
       new  49fa498   Expand pair-related primcalls
       new  abfe048   Remove special optimizer and backend support for pairs
       new  798f633   Remove pair-related instructions
       new  5e1109a   Better compilation of vector constructors and initializers
       new  55a8483   Improve make-vector compilation for known big sizes
       new  b294a1e   Sync IP before allocating closures
       new  e2a0624   Save VM compare result before calling out to hooks

The 25 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:
 libguile/vm-engine.c                          | 267 ++------------------
 libguile/vm.c                                 |  34 +--
 module/language/cps/closure-conversion.scm    |  25 +-
 module/language/cps/compile-bytecode.scm      |  24 +-
 module/language/cps/contification.scm         |  17 +-
 module/language/cps/cse.scm                   |   9 +-
 module/language/cps/dce.scm                   |   4 +-
 module/language/cps/devirtualize-integers.scm |  42 ++--
 module/language/cps/effects-analysis.scm      |  28 +--
 module/language/cps/peel-loops.scm            |   6 +-
 module/language/cps/reify-primitives.scm      |   5 +-
 module/language/cps/slot-allocation.scm       |   5 +-
 module/language/cps/specialize-primcalls.scm  |  19 +-
 module/language/cps/type-fold.scm             |   9 +-
 module/language/cps/types.scm                 |  84 ++-----
 module/language/cps/verify.scm                |   6 +-
 module/language/tree-il/compile-cps.scm       | 341 ++++++++++++++++++++++++--
 module/language/tree-il/cps-primitives.scm    |   4 +-
 module/system/base/types/internal.scm         |   6 +-
 module/system/vm/assembler.scm                |  17 +-
 module/system/vm/disassembler.scm             |   3 +-
 21 files changed, 465 insertions(+), 490 deletions(-)