[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] branch lloda-array-support updated (412fcee -> 8f6137c)
From: |
Daniel Llorens |
Subject: |
[Guile-commits] branch lloda-array-support updated (412fcee -> 8f6137c) |
Date: |
Mon, 27 Jul 2015 10:55:07 +0000 |
lloda pushed a change to branch lloda-array-support
in repository guile.
discards 412fcee Do not use array handles in scm_vector
discards b8c20d3 Remove deprecated and unused generalized-vector functions
discards 4f687f2 Speed up for multi-arg cases of scm_ramap functions
discards b91bbe7 Remove deprecated array functions
discards de7b489 Fix compilation of rank 0 typed array literals
discards bdc5b13 Don't use array handles in scm_c_array_rank
discards 9155bc9 Rename array-set-from!, scm_array_set_from_x to
array-amend!, scm_array_amend_x
discards b3c7571 Tests & doc for array-from, array-from*, array-set-from!
discards b187ac5 New functions array-from, array-from*, array-set-from!
discards 388b8a5 Compile in C99 mode
discards 3b46c01 Reuse SCM_BYTEVECTOR_TYPED_LENGTH in scm_array_get_handle
discards 852a71a Unuse array 'contiguous' flag
discards d54becc Remove scm_from_contiguous_array
discards f3816cb Avoid unneeded internal use of array handles
adds 6ffb6e6 Add printers for <intmap> and <transient-intmap>
adds 6485e89 Beginnings of CPS2 language.
adds 773595f Add compiler from tree-il to cps2
adds 7cd61e2 cps2: Fix parse-cps for `prompt'
adds 09869e7 Register up cps2 compiler with language tower
adds 0f082bd Fix intmap-add! transient bug
adds d99fedc Fix convert-cps2 for "not" primcalls
adds f95a794 Fix intset-add! transient bug
adds 7fedd7b Fix another intset transient bug
adds 219b6f8 compute-dom-edges returns a persistent intmap
adds 5928d16 Tree-IL -> CPS2 -> CPS
adds 3ab3cde Build CPS2 with transient intmaps
adds 9833c54 Adapt return arities in Tree-IL -> CPS2 conversion
adds b31af02 Consolidate CPS2 above CPS in the compiler
adds ef5f2fc Add optimization pass over CPS2
adds fa7df5e Fix sub/- primcall bug
adds e0e47cb Fix fixpoint
adds 4632f3d Fix bug compiling fixpoint combinator
adds cb7aa0b Add two-argument fixpoint arity
adds 2b06e90 Intmaps do not treat #f specially as a value
adds 5f7c8e5 Variadic intset-fold, intmap-fold
adds 1403df4 Add arity to worklist-fold
adds 102e677 intmaps and intsets print with abbreviated key ranges
adds 7d4ede0 Fix bug in CPS2 simplify's "transform-conts"
adds 80c162b Port effects analysis to CPS2
adds 48b2f19 Port dead code elimination (DCE) pass to CPS2
adds 75ab52e Fix regression in compute-idoms
adds 10d11e6 Fix type-fold on multiplying exact numbers
adds 8f578af Add intmap-replace.
adds 6a42ac7 intset-next starting point is optional
adds 8481bdb Port type inference module to CPS2
adds ad29059 DCE uses type analysis to find dead code
adds 2337946 Add intmap-replace!.
adds 2838c6e Fix compute-defining-expressions (and thereby
compute-constant-values)
adds dd2e0f5 Port prune-top-level-scopes pass to CPS2
adds 8b4a523 Add intmap-fold-right
adds d78e5a2 Add "intset" syntax to construct intsets.
adds 6e725df Port contification pass to CPS2.
adds bac96c1 Factor with-cps out to separate module
adds 42f9bda Port inline-constructors pass to CPS2
adds 0e33ee9 Port specialize-primcalls pass to CPS2
adds 467736c prune-top-level-scopes elides with $values
adds 726558f Port elide-values pass to CPS2
adds ba44619 Port prune-bailouts pass to CPS2
adds fef50ea Move some graph utilities from contification.scm to
utils.scm
adds ea5187a Fix some cps2 utils bugs
adds c3bc1f8 Port CSE to CPS2
adds e8fa85f Add setk clause to with-cps
adds f541ee1 Port type-fold to CPS2
adds bb051f2 Fix write beyond stack boundary in vm-engine.c
adds 8eea1fb Fix slot allocation hinting for intervening terms that
define dead values
adds 1850497 Fix intmap-ref bug
adds b0148e1 Fix eta reduction on CPS2
adds ff1a02b Port self-references pass to CPS2
adds b012248 Refactor renumber.scm
adds 1071e77 Add CPS2 verification pass
adds c028a0a Tweaks to bootstrap build order
adds b926d85 Enable all CPS2 optimization passes
adds 6f4487f Disable CPS optimization passes
adds f418235 Renumber before contifying to eliminate stale conts
adds dbe6247 Add split-rec pass
adds 1bb7a7f Reorganizing of intset/intmap helper functions
adds 47a4727 intset-union fast paths
adds dc27708 Fix intset-subtract to reliably produce empty-intset
adds a15a142 CPS2 renumber works with first-order CPS
adds 363d649 Tweak intset printing
adds e0ef087 Beginnings of first-order CPS optimization
adds bf5c795 Verify pass works on first-order CPS
adds 285f62a Add CPS2 closure conversion module
adds 981802c Wire up new closure conversion pass
adds e9e6da1 closure-conversion docstring tweak
adds 6cfb7af CPS2 closure conversion bugfixes
adds 030e9b7 Enable CPS2 closure conversion
adds 263b409 Prepare DCE pass for first-order CPS2
adds 1b95487 compute-reachable-functions refactor
adds e419e9e DCE works on first-order CPS
adds 099784c Beta reduction over first-order CPS
adds 6f6a6ae Optimize first-order CPS
adds 420423f Remove CPS optimization passes and closure conversion
adds 90aabcc Fix type/range inference for mul
adds 1a819ea Reify primitives in CPS2
adds 3b1d316 Add intset-prev and intset-fold-right
adds 19024bd Utils refactors
adds 365296a CPS1 slot-allocation simplification
adds f63b2e4 More slot-allocation simplification
adds 08cf30f Fix error printing some wrong-num-args backtraces
adds ff2beb1 Fix bad return shuffles for multiply-used $kreceive conts
adds 2df454b intset-intersect bugfix
adds 16d92c5 Fix CPS2 compute-successors
adds 910054b Slot allocation and bytecode compilation from CPS2.
adds 39777b1 Compile CPS2 directly to bytecode
adds 0d4c937 Remove CPS1 language
adds aa7f0e2 Rename CPS2 to CPS
adds 4aabc20 Add missing files
adds b40fac1 Factor out compute-effects/elide-type-checks from dce.scm
adds bebc70c Move solve-flow-equations to utils
adds ec9554d Loop-invariant code motion
adds bcfa9fe Small expression-effects tweak
adds bf6930b Eliminate trampoline gotos when possible in
compile-bytecode
adds ee85e29 Rotate comparisons down to loop back-edges
new d4144a2 Avoid unneeded internal use of array handles
new ef3ea71 Remove scm_from_contiguous_array
new ed17c15 Unuse array 'contiguous' flag
new 1f43624 Reuse SCM_BYTEVECTOR_TYPED_LENGTH in scm_array_get_handle
new 3c4bea3 Compile in C99 mode
new da65ac2 New functions array-from, array-from*, array-set-from!
new 83227b3 Tests & doc for array-from, array-from*, array-set-from!
new c41adf4 Rename array-set-from!, scm_array_set_from_x to
array-amend!, scm_array_amend_x
new d18fdb8 Don't use array handles in scm_c_array_rank
new 6a9a88b Fix compilation of rank 0 typed array literals
new c3222e9 Remove deprecated array functions
new 357c7ec Speed up for multi-arg cases of scm_ramap functions
new 7b810cc Remove deprecated and unused generalized-vector functions
new 8f6137c Do not use array handles in scm_vector
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 (412fcee)
\
N -- N -- N refs/heads/lloda-array-support (8f6137c)
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 "omits" are not gone; other references still
refer to them. Any revisions marked "discards" are gone forever.
The 14 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:
.dir-locals.el | 8 +
libguile/vm-engine.c | 3 +-
module/Makefile.am | 20 +-
module/language/cps.scm | 554 +++--------
module/language/cps/arities.scm | 201 ----
module/language/cps/closure-conversion.scm | 1223 +++++++++++++---------
module/language/cps/compile-bytecode.scm | 439 ++++-----
module/language/cps/constructors.scm | 138 ++--
module/language/cps/contification.scm | 777 ++++++++-------
module/language/cps/cse.scm | 908 ++++++++---------
module/language/cps/dce.scm | 650 ++++++------
module/language/cps/dfg.scm | 904 ----------------
module/language/cps/effects-analysis.scm | 141 ++--
module/language/cps/elide-values.scm | 125 +--
module/language/cps/intmap.scm | 451 ++++++---
module/language/cps/intset.scm | 214 +++--
module/language/cps/licm.scm | 308 ++++++
module/language/cps/optimize.scm | 110 ++
module/language/cps/prune-bailouts.scm | 125 +--
module/language/cps/prune-top-level-scopes.scm | 115 +--
module/language/cps/reify-primitives.scm | 215 ++--
module/language/cps/renumber.scm | 494 ++++------
module/language/cps/rotate-loops.scm | 217 ++++
module/language/cps/self-references.scm | 96 +-
module/language/cps/simplify.scm | 505 ++++-----
module/language/cps/simplify2.scm | 747 -------------
module/language/cps/slot-allocation.scm | 1330 ++++++++++++++----------
module/language/cps/spec.scm | 6 +-
module/language/cps/specialize-primcalls.scm | 104 +--
module/language/cps/split-rec.scm | 174 +++
module/language/cps/type-checks.scm | 72 ++
module/language/cps/type-fold.scm | 466 ++++-----
module/language/cps/types.scm | 588 +++++------
module/language/cps/utils.scm | 521 +++++++++
module/language/cps/verify.scm | 479 ++++++----
module/language/cps/with-cps.scm | 145 +++
module/language/tree-il/compile-cps.scm | 850 +++++++++------
module/language/tree-il/peval.scm | 22 +-
module/language/tree-il/spec.scm | 5 +-
module/system/repl/debug.scm | 5 +-
module/system/vm/frame.scm | 5 +-
test-suite/tests/peval.test | 30 +-
42 files changed, 7265 insertions(+), 7225 deletions(-)
delete mode 100644 module/language/cps/arities.scm
delete mode 100644 module/language/cps/dfg.scm
create mode 100644 module/language/cps/licm.scm
create mode 100644 module/language/cps/optimize.scm
create mode 100644 module/language/cps/rotate-loops.scm
delete mode 100644 module/language/cps/simplify2.scm
create mode 100644 module/language/cps/split-rec.scm
create mode 100644 module/language/cps/type-checks.scm
create mode 100644 module/language/cps/utils.scm
create mode 100644 module/language/cps/with-cps.scm
- [Guile-commits] branch lloda-array-support updated (412fcee -> 8f6137c),
Daniel Llorens <=
- [Guile-commits] 02/14: Remove scm_from_contiguous_array, Daniel Llorens, 2015/07/27
- [Guile-commits] 01/14: Avoid unneeded internal use of array handles, Daniel Llorens, 2015/07/27
- [Guile-commits] 03/14: Unuse array 'contiguous' flag, Daniel Llorens, 2015/07/27
- [Guile-commits] 04/14: Reuse SCM_BYTEVECTOR_TYPED_LENGTH in scm_array_get_handle, Daniel Llorens, 2015/07/27
- [Guile-commits] 06/14: New functions array-from, array-from*, array-set-from!, Daniel Llorens, 2015/07/27
- [Guile-commits] 08/14: Rename array-set-from!, scm_array_set_from_x to array-amend!, scm_array_amend_x, Daniel Llorens, 2015/07/27
- [Guile-commits] 10/14: Fix compilation of rank 0 typed array literals, Daniel Llorens, 2015/07/27
- [Guile-commits] 09/14: Don't use array handles in scm_c_array_rank, Daniel Llorens, 2015/07/27
- [Guile-commits] 07/14: Tests & doc for array-from, array-from*, array-set-from!, Daniel Llorens, 2015/07/27
- [Guile-commits] 05/14: Compile in C99 mode, Daniel Llorens, 2015/07/27