factor/basis/compiler/tree/propagation
Slava Pestov e4f8448eb1 Fix some problems with arithmetic type inference, exposed by recent changes to log2 word
- declared input type for bignum-shift was stricter than the runtime behavior, leading to bad propagation of type info if shift count was a bignum
- types inferred for type functions which used number-valued/integer-valued/real-valued were not always precise, eg bignum bignum bitxor => integer
- add interval-log2, type function for (log2)
- remove math-class-min, it was useless
2008-12-07 19:44:49 -06:00
..
branches More optimization intended to reduce compile time. Another 10% speedup on compiling empty PEG parser 2008-12-06 11:17:19 -06:00
constraints Propagation pass now uses a stack of hashtables for predicated constraints instead of cloning a hashtable. New strategy for recursive propagation; now converges with fewer iterations. ~15 sec bootstrap time improvement 2008-11-11 08:49:00 -06:00
copy More optimization intended to reduce compile time. Another 10% speedup on compiling empty PEG parser 2008-12-06 11:17:19 -06:00
info Don't use combinators.short-circuit in compiler 2008-11-21 04:00:37 -06:00
inlining More optimization intended to reduce compile time. Another 10% speedup on compiling empty PEG parser 2008-12-06 11:17:19 -06:00
known-words Fix some problems with arithmetic type inference, exposed by recent changes to log2 word 2008-12-07 19:44:49 -06:00
nodes New inlining heuristic: number of usages within this word. Speeds up bootstrap by 10% 2008-12-04 07:05:59 -06:00
recursive New inlining heuristic: number of usages within this word. Speeds up bootstrap by 10% 2008-12-04 07:05:59 -06:00
simple Add toutput ype propagation for #alien-invoke and #alien-indirect nodes 2008-11-29 03:47:38 -06:00
slots Tuple layouts are now arrays, instead of built-in types. The superclass 2008-11-05 22:20:29 -06:00
authors.txt New front-end and high-level optimizer lands 2008-08-12 03:22:45 -05:00
propagation-tests.factor Fix some problems with arithmetic type inference, exposed by recent changes to log2 word 2008-12-07 19:44:49 -06:00
propagation.factor New inlining heuristic: number of usages within this word. Speeds up bootstrap by 10% 2008-12-04 07:05:59 -06:00
summary.txt New front-end and high-level optimizer lands 2008-08-12 03:22:45 -05:00