[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] branch master updated (f541ee1 -> 6f4487f)
From: |
Andy Wingo |
Subject: |
[Guile-commits] branch master updated (f541ee1 -> 6f4487f) |
Date: |
Thu, 04 Jun 2015 22:57:47 +0000 |
wingo pushed a change to branch master
in repository guile.
from f541ee1 Port type-fold to CPS2
new bb051f2 Fix write beyond stack boundary in vm-engine.c
new 8eea1fb Fix slot allocation hinting for intervening terms that
define dead values
new 1850497 Fix intmap-ref bug
new b0148e1 Fix eta reduction on CPS2
new ff1a02b Port self-references pass to CPS2
new b012248 Refactor renumber.scm
new 1071e77 Add CPS2 verification pass
new c028a0a Tweaks to bootstrap build order
new b926d85 Enable all CPS2 optimization passes
new 6f4487f Disable CPS optimization passes
The 10 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 | 3 +-
module/Makefile.am | 8 +-
module/language/cps/compile-bytecode.scm | 8 +-
module/language/cps/intmap.scm | 9 +-
module/language/cps/slot-allocation.scm | 17 ++-
module/language/cps2/optimize.scm | 21 ++-
module/language/cps2/renumber.scm | 105 +++++------
module/language/cps2/self-references.scm | 79 ++++++++
module/language/cps2/simplify.scm | 92 +++++++---
module/language/cps2/verify.scm | 303 ++++++++++++++++++++++++++++++
10 files changed, 543 insertions(+), 102 deletions(-)
create mode 100644 module/language/cps2/self-references.scm
create mode 100644 module/language/cps2/verify.scm
- [Guile-commits] branch master updated (f541ee1 -> 6f4487f),
Andy Wingo <=
- [Guile-commits] 01/10: Fix write beyond stack boundary in vm-engine.c, Andy Wingo, 2015/06/04
- [Guile-commits] 02/10: Fix slot allocation hinting for intervening terms that define dead values, Andy Wingo, 2015/06/04
- [Guile-commits] 03/10: Fix intmap-ref bug, Andy Wingo, 2015/06/04
- [Guile-commits] 04/10: Fix eta reduction on CPS2, Andy Wingo, 2015/06/04
- [Guile-commits] 05/10: Port self-references pass to CPS2, Andy Wingo, 2015/06/04
- [Guile-commits] 09/10: Enable all CPS2 optimization passes, Andy Wingo, 2015/06/04
- [Guile-commits] 06/10: Refactor renumber.scm, Andy Wingo, 2015/06/04
- [Guile-commits] 08/10: Tweaks to bootstrap build order, Andy Wingo, 2015/06/04
- [Guile-commits] 10/10: Disable CPS optimization passes, Andy Wingo, 2015/06/04
- [Guile-commits] 07/10: Add CPS2 verification pass, Andy Wingo, 2015/06/04