HCoop
/
bpt
/
guile.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Limit impact of O(n^2) type analysis by imposing limit
[bpt/guile.git]
/
module
/
language
/
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-27
Andy Wingo
Fix foreign slot initialization and access
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-14
Andy Wingo
Optimize make-global-cont-folder
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
Disable Tree-IL CSE
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
2014-04-04
Andy Wingo
Fix verify-cps to work
tree
|
commitdiff
2014-04-04
Andy Wingo
constant-needs-allocation? fix
tree
|
commitdiff
2014-04-04
Andy Wingo
Remove variable-set! clause from compile-fun
tree
|
commitdiff
2014-04-03
Andy Wingo
Effects analysis: define causes-all-effects?
tree
|
commitdiff
2014-04-03
Andy Wingo
build-cps niceties
tree
|
commitdiff
2014-04-03
Andy Wingo
Minor CSE optimization
tree
|
commitdiff
2014-04-03
Andy Wingo
Add with-fresh-name-state-from-dfg
tree
|
commitdiff
2014-04-02
Andy Wingo
Refactor toplevel scope name generation in compile-cps
tree
|
commitdiff
2014-04-02
Andy Wingo
compute-max-label-and-var takes letrec vars into account.
tree
|
commitdiff
2014-04-02
Andy Wingo
Fix DCE for refactor-introduced borkage
tree
|
commitdiff
2014-04-02
Andy Wingo
Fix prune-top-level-scopes to allow collisions between...
tree
|
commitdiff
2014-04-02
Andy Wingo
Remove CFA data type
tree
|
commitdiff
2014-04-02
Andy Wingo
$dfa includes CFA fields
tree
|
commitdiff
2014-04-02
Andy Wingo
More CFA removals
tree
|
commitdiff
2014-04-02
Andy Wingo
Simplify analyze-reverse-control-flow
tree
|
commitdiff
2014-04-02
Andy Wingo
analyze-control-flow only used in reverse direction...
tree
|
commitdiff
2014-04-01
Andy Wingo
Fix DFG compute-reachable bug
tree
|
commitdiff
2014-04-01
Andy Wingo
Speed up compute-label-and-var-ranges
tree
|
commitdiff
2014-04-01
Andy Wingo
Fix compute-label-and-var-ranges for global DFG computation
tree
|
commitdiff
2014-04-01
Andy Wingo
Renumber doesn't visit unreachable continuations
tree
|
commitdiff
2014-04-01
Andy Wingo
Renumber returns label/var counters for use in let...
tree
|
commitdiff
2014-04-01
Andy Wingo
Refactor DCE to not build a CFA
tree
|
commitdiff
2014-04-01
Andy Wingo
Simplification renumbers instead of local prune-continu...
tree
|
commitdiff
2014-04-01
Andy Wingo
DFA uses DFG var numbering
tree
|
commitdiff
2014-04-01
Andy Wingo
Allocate-slots avoids building CFA
tree
|
commitdiff
2014-04-01
Andy Wingo
Compile-fun takes advantage of sorted output of "renumb...
tree
|
commitdiff
2014-04-01
Andy Wingo
CPS renumbering pass sorts conts in topological order
tree
|
commitdiff
2014-04-01
Andy Wingo
Add visit-cont-successors helper
tree
|
commitdiff
2014-03-31
Andy Wingo
Fix analyze-control-flow to preserve order among unorde...
tree
|
commitdiff
2014-03-31
Andy Wingo
Use Tree-IL-like case-lambda clause chaining in CPS
tree
|
commitdiff
2014-03-31
Andy Wingo
Rewrite control-point? to avoid consing
tree
|
commitdiff
2014-03-31
Andy Wingo
Remove succs from DFG
tree
|
commitdiff
2014-03-31
Andy Wingo
Avoid consing in compute-label-and-var-ranges.
tree
|
commitdiff
2014-03-31
Andy Wingo
Scope and scope-level in DFG vector
tree
|
commitdiff
2014-03-31
Andy Wingo
Predecessors and successors in DFG vectors
tree
|
commitdiff
2014-03-31
Andy Wingo
DFG refactor
tree
|
commitdiff
2014-03-31
Andy Wingo
Renumber functions before emitting code
tree
|
commitdiff
2014-03-31
Andy Wingo
Add renumber module
tree
|
commitdiff
2014-03-31
Andy Wingo
Replace use-map in DFG with separate def / use vectors
tree
|
commitdiff
2014-03-31
Andy Wingo
Remove "sym" from $use-map
tree
|
commitdiff
2014-03-31
Andy Wingo
$use-map no longer has name member
tree
|
commitdiff
2014-03-31
Andy Wingo
$dfa no longer includes name vector (can get that from...
tree
|
commitdiff
2014-03-31
Andy Wingo
DFG stores conts, blocks, and use-maps in vectors
tree
|
commitdiff
next