HCoop
/
bpt
/
guile.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
eval-when
[bpt/guile.git]
/
module
/
language
/
cps
/
2014-08-14
Robin Templeton
fix `nil?' type inference
tree
|
commitdiff
2014-08-10
Robin Templeton
allow arbitrary constants in cps
tree
|
commitdiff
2014-08-10
Robin Templeton
intern arbitrary constants
tree
|
commitdiff
2014-07-22
Andy Wingo
Better simplification of literal constants that continu...
tree
|
commitdiff
2014-07-22
Andy Wingo
CPS will not see "not" primcalls
tree
|
commitdiff
2014-07-22
Andy Wingo
Simplify pass rewrite scope tree to reflect dominator...
tree
|
commitdiff
2014-07-22
Andy Wingo
Remove dead case in CSE
tree
|
commitdiff
2014-07-21
Andy Wingo
CSE allocate-struct fix
tree
|
commitdiff
2014-07-21
Andy Wingo
Fix typo in arities.scm
tree
|
commitdiff
2014-07-21
Andy Wingo
Stabilize renumber.scm:sort-conts.
tree
|
commitdiff
2014-07-21
Andy Wingo
Fix allocate-slots for $kreceive with multiple predecessors
tree
|
commitdiff
2014-07-05
Andy Wingo
Block sorting to keep loop bodies together
tree
|
commitdiff
2014-07-04
Andy Wingo
logbit? strength reduction
tree
|
commitdiff
2014-07-04
Andy Wingo
Fix logand range analysis.
tree
|
commitdiff
2014-07-04
Andy Wingo
Fix range analysis for mul and div
tree
|
commitdiff
2014-07-04
Andy Wingo
Type-driven strength reduction
tree
|
commitdiff
2014-07-04
Andy Wingo
Small type-fold cleanup
tree
|
commitdiff
2014-07-03
Andy Wingo
Compiler emits br-if-logtest
tree
|
commitdiff
2014-07-03
Andy Wingo
Optimizer support for logtest and logbit?
tree
|
commitdiff
2014-07-03
Andy Wingo
Convert slot allocation to use intsets
tree
|
commitdiff
2014-07-03
Andy Wingo
Add bitvector->intset.
tree
|
commitdiff
2014-07-03
Andy Wingo
Restrict intsets and maps to non-negative integers
tree
|
commitdiff
2014-07-03
Andy Wingo
Adapt visit-prompt-control-flow to use intsets.
tree
|
commitdiff
2014-07-03
Andy Wingo
CSE comments
tree
|
commitdiff
2014-07-03
Andy Wingo
Add intset-subtract.
tree
|
commitdiff
2014-07-01
Andy Wingo
Fix intset on 32-bit machines
tree
|
commitdiff
2014-06-30
Andy Wingo
Remove size limit in elide-type-checks
tree
|
commitdiff
2014-06-29
Andy Wingo
Fix intmap-intersect corner case
tree
|
commitdiff
2014-06-29
Andy Wingo
CSE truth inference pass uses intsets
tree
|
commitdiff
2014-06-29
Andy Wingo
Result of intsect-intersect will share structure with...
tree
|
commitdiff
2014-06-29
Andy Wingo
Fix an intset-intersect corner case
tree
|
commitdiff
2014-06-29
Andy Wingo
Fix intset pruning for empty intsets
tree
|
commitdiff
2014-06-29
Andy Wingo
Remove namesets.
tree
|
commitdiff
2014-06-29
Andy Wingo
Rewrite type inference to use intmaps
tree
|
commitdiff
2014-06-29
Andy Wingo
New module (language cps intmap)
tree
|
commitdiff
2014-06-29
Andy Wingo
Rewrite CSE to use intsets.
tree
|
commitdiff
2014-06-29
Andy Wingo
New module: (language cps intset)
tree
|
commitdiff
2014-06-22
Andy Wingo
Rewrite type inference pass to use namesets
tree
|
commitdiff
2014-06-22
Andy Wingo
New module: (language cps nameset)
tree
|
commitdiff
2014-06-19
Andy Wingo
Refactor dominator computation
tree
|
commitdiff
2014-06-01
Andy Wingo
Remove $kif
tree
|
commitdiff
2014-06-01
Andy Wingo
Add $branch expression type
tree
|
commitdiff
2014-06-01
Andy Wingo
Fix off-by-one in dump-dfg
tree
|
commitdiff
2014-05-16
Andy Wingo
Update effects-analysis docstring.
tree
|
commitdiff
2014-05-16
Andy Wingo
Redefine memory kind part of effects to be enumeration...
tree
|
commitdiff
2014-05-15
Andy Wingo
DCE uses type analysis to elide type checks
tree
|
commitdiff
2014-05-15
Andy Wingo
Limit impact of O(n^2) type analysis by imposing limit
tree
|
commitdiff
2014-05-15
Andy Wingo
Enable type folding
tree
|
commitdiff
2014-05-15
Andy Wingo
Type and range inference for CPS
tree
|
commitdiff
2014-05-08
Andy Wingo
Rewrite effects analysis to be precise for fields.
tree
|
commitdiff
2014-05-07
Andy Wingo
CSE effects analysis cleanup
tree
|
commitdiff
2014-05-07
Andy Wingo
Add dump-dfg pretty-printer
tree
|
commitdiff
2014-05-07
Andy Wingo
Synthetic definitions take advantage of CSE'd vars
tree
|
commitdiff
2014-05-07
Andy Wingo
Fix thinko in synthesize-definition-effects!
tree
|
commitdiff
2014-05-03
Andy Wingo
Set-car! on a dead pair does not force the pair to...
tree
|
commitdiff
2014-05-03
Andy Wingo
Add auxiliary definitions for boxes
tree
|
commitdiff
2014-05-02
Andy Wingo
CSE does scalar replacement of aggregates
tree
|
commitdiff
2014-05-02
Andy Wingo
More inlinable effects-analysis procedures
tree
|
commitdiff
2014-04-28
Andy Wingo
Merge remote-tracking branch 'origin/stable-2.0'
tree
|
commitdiff
2014-04-25
Mark H Weaver
Merge branch 'stable-2.0'
tree
|
commitdiff
2014-04-21
Andy Wingo
Add make-vector opcode
tree
|
commitdiff
2014-04-21
Andy Wingo
Operations on 8-bit and 12-bit operands shuffle args...
tree
|
commitdiff
2014-04-16
Andy Wingo
Slot allocation can re-use closure and argument slots
tree
|
commitdiff
2014-04-15
Andy Wingo
Beginnings of local variable information
tree
|
commitdiff
2014-04-15
Andy Wingo
Remove needless label remapping in slot-allocation
tree
|
commitdiff
2014-04-15
Andy Wingo
DFA datums don't rename their labels
tree
|
commitdiff
2014-04-13
Andy Wingo
Remove debugging code in closure-conversion
tree
|
commitdiff
2014-04-13
Andy Wingo
Closure conversion eliminates self-references introduce...
tree
|
commitdiff
2014-04-13
Andy Wingo
Refactor to closure-conversion
tree
|
commitdiff
2014-04-13
Andy Wingo
Optimize closures with one free variable
tree
|
commitdiff
2014-04-12
Andy Wingo
Well-known closures represented using pairs or vectors
tree
|
commitdiff
2014-04-12
Andy Wingo
Update verify-cps
tree
|
commitdiff
2014-04-12
Andy Wingo
Avoid creating closures with no free variables
tree
|
commitdiff
2014-04-12
Andy Wingo
Hard-wire calls to known procedures
tree
|
commitdiff
2014-04-12
Andy Wingo
closure conversion computes well-known functions
tree
|
commitdiff
2014-04-12
Andy Wingo
First-order CPS has $program and $closure forms
tree
|
commitdiff
2014-04-11
Andy Wingo
Separate make-cont-folder into global and local variants
tree
|
commitdiff
2014-04-11
Andy Wingo
Root higher-order CPS term is always $kfun $cont
tree
|
commitdiff
2014-04-11
Andy Wingo
Closure conversion, reify-primitives use $kfun $cont
tree
|
commitdiff
2014-04-11
Andy Wingo
Preparation for compile-bytecode to work on $kfun ...
tree
|
commitdiff
2014-04-11
Andy Wingo
compute-dfg takes a $kfun $cont, not a $fun
tree
|
commitdiff
2014-04-11
Andy Wingo
with-fresh-name-state takes a cont, not a $fun
tree
|
commitdiff
2014-04-11
Andy Wingo
Function defined by make-cont-folder takes a cont,...
tree
|
commitdiff
2014-04-10
Andy Wingo
Rename $kentry to $kfun
tree
|
commitdiff
2014-04-10
Andy Wingo
src and meta are fields of $kentry, not $fun
tree
|
commitdiff
2014-04-09
Andy Wingo
Remove obsolete comment in compile-bytecode.scm
tree
|
commitdiff
2014-04-08
Andy Wingo
New pass to avoid free variable creation for self-recursion
tree
|
commitdiff
2014-04-06
Andy Wingo
Remove old Tree-IL CSE pass
tree
|
commitdiff
2014-04-06
Andy Wingo
Flow-sensitive analysis of truth values
tree
|
commitdiff
2014-04-05
Andy Wingo
Add effects for specialized primitives
tree
|
commitdiff
2014-04-05
Andy Wingo
Minor cleanup/optimization in CSE
tree
|
commitdiff
2014-04-05
Andy Wingo
Prune bailouts after contification
tree
|
commitdiff
2014-04-05
Andy Wingo
Remove &bailout; replace uses of &unknown-effects with...
tree
|
commitdiff
2014-04-05
Andy Wingo
Remove parts of CSE that deal with bailout
tree
|
commitdiff
2014-04-05
Andy Wingo
Add prune-bailouts pass
tree
|
commitdiff
2014-04-05
Andy Wingo
Fix effects analysis for cached-module-box
tree
|
commitdiff
2014-04-04
Andy Wingo
More bailout preparation work
tree
|
commitdiff
2014-04-04
Andy Wingo
Prepare for CSE bailout propagation
tree
|
commitdiff
2014-04-04
Andy Wingo
Add common subexpression elimination pass on CPS
tree
|
commitdiff
2014-04-04
Andy Wingo
Effects analysis tweaks
tree
|
commitdiff
next