[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] branch master updated (da7144d -> 108ade6)
From: |
Andy Wingo |
Subject: |
[Guile-commits] branch master updated (da7144d -> 108ade6) |
Date: |
Wed, 27 Dec 2017 10:02:45 -0500 (EST) |
wingo pushed a change to branch master
in repository guile.
from da7144d Use unchecked scm-ref/set in closure conversion
new a5dfbf5 Fix stack effect/clobber parsing for calls
new f75d0ad Fix mismatch between CPS and Scheme "complex?" predicate
new 8e7170a Refactor boxing/unboxing primcall args/results
new 1f460cb Reify-primitives removes "/unlikely" ephemeral
instructions
new b918784 Remove compile-bytecode cases for ephemeral primitives
new 7dbc571 Refactor reify-primitives pass
new 140b69d Refactor list->seq to make return arity apparent
new 549ad3c Flesh out compile-bytecode for all heap objects
new 36e6a3d Refactor lowering of Tree-IL primcalls to CPS
new 9111f8c CPS conversion expands "list"
new 7f7cbe8 Inline "elide-values" optimization into CPS conversion
new c9efff3 CPS conversion avoids residualizing unknown primcalls
new cf1611e Contification also inlines "elide-values" pass
new 0b4c1e2 Remove inline-constructors pass
new bc5a599 Unknown primcalls convert as calls
new 108ade6 Re-add support for logbit?
The 16 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:
am/bootstrap.am | 4 +-
module/Makefile.am | 4 +-
module/language/cps/compile-bytecode.scm | 52 ++-
module/language/cps/constructors.scm | 98 ----
module/language/cps/contification.scm | 116 +++--
module/language/cps/effects-analysis.scm | 5 +-
module/language/cps/elide-values.scm | 88 ----
module/language/cps/licm.scm | 1 -
module/language/cps/optimize.scm | 6 -
module/language/cps/primitives.scm | 199 ---------
module/language/cps/reify-primitives.scm | 128 ++++--
module/language/cps/type-fold.scm | 82 ++--
module/language/cps/types.scm | 13 +-
module/language/cps/verify.scm | 14 +-
module/language/tree-il.scm | 9 +-
module/language/tree-il/compile-cps.scm | 690 +++++++++++++++--------------
module/language/tree-il/cps-primitives.scm | 170 +++++++
module/system/base/types/internal.scm | 4 +-
module/system/vm/assembler.scm | 4 +-
module/system/vm/disassembler.scm | 12 +-
module/system/vm/frame.scm | 6 +-
21 files changed, 787 insertions(+), 918 deletions(-)
delete mode 100644 module/language/cps/constructors.scm
delete mode 100644 module/language/cps/elide-values.scm
delete mode 100644 module/language/cps/primitives.scm
create mode 100644 module/language/tree-il/cps-primitives.scm
- [Guile-commits] branch master updated (da7144d -> 108ade6),
Andy Wingo <=
- [Guile-commits] 01/16: Fix stack effect/clobber parsing for calls, Andy Wingo, 2017/12/27
- [Guile-commits] 04/16: Reify-primitives removes "/unlikely" ephemeral instructions, Andy Wingo, 2017/12/27
- [Guile-commits] 07/16: Refactor list->seq to make return arity apparent, Andy Wingo, 2017/12/27
- [Guile-commits] 05/16: Remove compile-bytecode cases for ephemeral primitives, Andy Wingo, 2017/12/27
- [Guile-commits] 12/16: CPS conversion avoids residualizing unknown primcalls, Andy Wingo, 2017/12/27
- [Guile-commits] 06/16: Refactor reify-primitives pass, Andy Wingo, 2017/12/27
- [Guile-commits] 08/16: Flesh out compile-bytecode for all heap objects, Andy Wingo, 2017/12/27
- [Guile-commits] 15/16: Unknown primcalls convert as calls, Andy Wingo, 2017/12/27
- [Guile-commits] 13/16: Contification also inlines "elide-values" pass, Andy Wingo, 2017/12/27
- [Guile-commits] 10/16: CPS conversion expands "list", Andy Wingo, 2017/12/27