0.pre7.86.flaky7.16:
authorWilliam Harold Newman <william.newman@airmail.net>
Sun, 2 Dec 2001 20:06:58 +0000 (20:06 +0000)
committerWilliam Harold Newman <william.newman@airmail.net>
Sun, 2 Dec 2001 20:06:58 +0000 (20:06 +0000)
commit177cea359afa4b73abf43ce687aa34e47be9538a
tree0ad11532d450d07767403af287eaf30af2f10b30
parentdc038a23a34c53e44b6de20b3e391cc05470e4af
0.pre7.86.flaky7.16:
(still works as well as before, still fails in
pathnames.impure.lisp the same way as before, since all
the changes are still only preparation for a real fix)
making FIND-INITIAL-DFO recognize closure dependencies,
continued...
...In order to make the information conveniently available
for DFO-SCAVENGE-DEPENDENCY-GRAPH, add a new slot
LAMBDA-REFERS-TO-VARS, analogous to LAMBDA-CALLS.
...made IR1-CONVERT-VARIABLE and DEF-IR1-TRANSLATOR SETQ
set LAMBDA-REFERS-TO-VARS as appropriate
...wrote untidy CONTINUATION-HOME-LAMBDA to support this
...tweaked CONTINUATION-STARTS-BLOCK and LINK-BLOCKS so that
when IR1-CONVERT-IF uses them it sets up links early
enough to let CONTINUATION-HOME-LAMBDA work
...made merge-LETs logic merge LAMBDA-REFERS-TO-VARS as it
already merged LAMBDA-CALLS
src/compiler/ir1-translators.lisp
src/compiler/ir1tran.lisp
src/compiler/ir1util.lisp
src/compiler/locall.lisp
src/compiler/node.lisp
version.lisp-expr