projects / sbcl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb24d88) | patch
More constraint propagation in the presence of assignment
authorPaul Khuong <pvk@pvk.ca>
Mon, 20 Jun 2011 01:04:20 +0000 (21:04 -0400)
committerPaul Khuong <pvk@pvk.ca>
Mon, 20 Jun 2011 01:04:20 +0000 (21:04 -0400)
commit74a2974b2fd2fd94bd0b58d828f846a24cbdf3d7
treee1042d2c17aa420f6103ac20a7f6c6532edb121ftree | snapshot
parentfb24d88c8f97f1b344addab398fc54f62d8aa4cecommit | diff
More constraint propagation in the presence of assignment

 When SPEED = 3 > COMPILATION-SPEED, propagate type in code
 like (cond ((eql (the fixnum x) y) (setf x 42) y) ...).
src/compiler/constraint.lisp diff | blob | history
Mirror of Steel Bank Common Lisp SBCL's official repository