Adapt visit-prompt-control-flow to use intsets.
[bpt/guile.git] / module / language /
2014-07-03 Andy WingoAdapt visit-prompt-control-flow to use intsets.
2014-07-03 Andy WingoCSE comments
2014-07-03 Andy WingoAdd intset-subtract.
2014-07-01 Andy WingoFix intset on 32-bit machines
2014-06-30 Andy WingoRemove size limit in elide-type-checks
2014-06-29 Andy WingoFix intmap-intersect corner case
2014-06-29 Andy WingoCSE truth inference pass uses intsets
2014-06-29 Andy WingoResult of intsect-intersect will share structure with...
2014-06-29 Andy WingoFix an intset-intersect corner case
2014-06-29 Andy WingoFix intset pruning for empty intsets
2014-06-29 Andy WingoRemove namesets.
2014-06-29 Andy WingoRewrite type inference to use intmaps
2014-06-29 Andy WingoNew module (language cps intmap)
2014-06-29 Andy WingoRewrite CSE to use intsets.
2014-06-29 Andy WingoNew module: (language cps intset)
2014-06-22 Andy WingoRewrite type inference pass to use namesets
2014-06-22 Andy WingoNew module: (language cps nameset)
2014-06-19 Andy WingoRefactor dominator computation
2014-06-19 Andy WingoConstant folding for (list) and (vector) in peval
2014-06-01 Andy WingoRemove $kif
2014-06-01 Andy WingoCPS conversion produces $branch nodes, not $kif
2014-06-01 Andy WingoAdd $branch expression type
2014-06-01 Andy WingoFix off-by-one in dump-dfg
2014-05-16 Andy WingoUpdate effects-analysis docstring.
2014-05-16 Andy WingoRedefine memory kind part of effects to be enumeration...
2014-05-15 Andy WingoDCE uses type analysis to elide type checks
2014-05-15 Andy WingoLimit impact of O(n^2) type analysis by imposing limit
2014-05-15 Andy WingoEnable type folding
2014-05-15 Andy WingoType and range inference for CPS
2014-05-08 Andy WingoRewrite effects analysis to be precise for fields.
2014-05-07 Andy WingoCSE effects analysis cleanup
2014-05-07 Andy WingoAdd dump-dfg pretty-printer
2014-05-07 Andy WingoSynthetic definitions take advantage of CSE'd vars
2014-05-07 Andy WingoFix thinko in synthesize-definition-effects!
2014-05-03 Andy WingoSet-car! on a dead pair does not force the pair to...
2014-05-03 Andy WingoAdd auxiliary definitions for boxes
2014-05-02 Andy WingoCSE does scalar replacement of aggregates
2014-05-02 Andy WingoMore inlinable effects-analysis procedures
2014-04-28 Andy WingoMerge remote-tracking branch 'origin/stable-2.0'
2014-04-27 Andy WingoFix foreign slot initialization and access
2014-04-25 Mark H WeaverMerge branch 'stable-2.0'
2014-04-21 Andy WingoAdd make-vector opcode
2014-04-21 Andy WingoOperations on 8-bit and 12-bit operands shuffle args...
2014-04-16 Andy WingoSlot allocation can re-use closure and argument slots
2014-04-15 Andy WingoBeginnings of local variable information
2014-04-15 Andy WingoRemove needless label remapping in slot-allocation
2014-04-15 Andy WingoDFA datums don't rename their labels
2014-04-14 Andy WingoOptimize make-global-cont-folder
2014-04-13 Andy WingoRemove debugging code in closure-conversion
2014-04-13 Andy WingoClosure conversion eliminates self-references introduce...
2014-04-13 Andy WingoRefactor to closure-conversion
2014-04-13 Andy WingoOptimize closures with one free variable
2014-04-12 Andy WingoWell-known closures represented using pairs or vectors
2014-04-12 Andy WingoUpdate verify-cps
2014-04-12 Andy WingoAvoid creating closures with no free variables
2014-04-12 Andy WingoHard-wire calls to known procedures
2014-04-12 Andy Wingoclosure conversion computes well-known functions
2014-04-12 Andy WingoFirst-order CPS has $program and $closure forms
2014-04-11 Andy WingoSeparate make-cont-folder into global and local variants
2014-04-11 Andy WingoRoot higher-order CPS term is always $kfun $cont
2014-04-11 Andy WingoClosure conversion, reify-primitives use $kfun $cont
2014-04-11 Andy WingoPreparation for compile-bytecode to work on $kfun ...
2014-04-11 Andy Wingocompute-dfg takes a $kfun $cont, not a $fun
2014-04-11 Andy Wingowith-fresh-name-state takes a cont, not a $fun
2014-04-11 Andy WingoFunction defined by make-cont-folder takes a cont,...
2014-04-10 Andy WingoRename $kentry to $kfun
2014-04-10 Andy Wingosrc and meta are fields of $kentry, not $fun
2014-04-09 Andy WingoRemove obsolete comment in compile-bytecode.scm
2014-04-08 Andy WingoNew pass to avoid free variable creation for self-recursion
2014-04-06 Andy WingoRemove old Tree-IL CSE pass
2014-04-06 Andy WingoFlow-sensitive analysis of truth values
2014-04-05 Andy WingoAdd effects for specialized primitives
2014-04-05 Andy WingoMinor cleanup/optimization in CSE
2014-04-05 Andy WingoPrune bailouts after contification
2014-04-05 Andy WingoRemove &bailout; replace uses of &unknown-effects with...
2014-04-05 Andy WingoRemove parts of CSE that deal with bailout
2014-04-05 Andy WingoAdd prune-bailouts pass
2014-04-05 Andy WingoDisable Tree-IL CSE
2014-04-05 Andy WingoFix effects analysis for cached-module-box
2014-04-04 Andy WingoMore bailout preparation work
2014-04-04 Andy WingoPrepare for CSE bailout propagation
2014-04-04 Andy WingoAdd common subexpression elimination pass on CPS
2014-04-04 Andy WingoEffects analysis tweaks
2014-04-04 Andy WingoFix verify-cps to work
2014-04-04 Andy Wingoconstant-needs-allocation? fix
2014-04-04 Andy WingoRemove variable-set! clause from compile-fun
2014-04-03 Andy WingoEffects analysis: define causes-all-effects?
2014-04-03 Andy Wingobuild-cps niceties
2014-04-03 Andy WingoMinor CSE optimization
2014-04-03 Andy WingoAdd with-fresh-name-state-from-dfg
2014-04-02 Andy WingoRefactor toplevel scope name generation in compile-cps
2014-04-02 Andy Wingocompute-max-label-and-var takes letrec vars into account.
2014-04-02 Andy WingoFix DCE for refactor-introduced borkage
2014-04-02 Andy WingoFix prune-top-level-scopes to allow collisions between...
2014-04-02 Andy WingoRemove CFA data type
2014-04-02 Andy Wingo$dfa includes CFA fields
2014-04-02 Andy WingoMore CFA removals
2014-04-02 Andy WingoSimplify analyze-reverse-control-flow
2014-04-02 Andy Wingoanalyze-control-flow only used in reverse direction...
2014-04-01 Andy WingoFix DFG compute-reachable bug
next