1.0.28.18: better TRULY-DYNAMIC-EXTENT handling
authorNikodemus Siivola <nikodemus@random-state.net>
Wed, 6 May 2009 15:50:19 +0000 (15:50 +0000)
committerNikodemus Siivola <nikodemus@random-state.net>
Wed, 6 May 2009 15:50:19 +0000 (15:50 +0000)
commit757091b10a73a7f6e2bd673bcf990ac93f23f77c
treee2cd759995e65051c7d7f4d88ee8a90312ba4cb6
parent1785d1e18c4fe5ede6c4b2a0b6893733c9139725
1.0.28.18: better TRULY-DYNAMIC-EXTENT handling

   Since RECHECK-DYNAMIC-EXTENT-LVARS passes T as the DX type,
   TRULY-DYNAMIC-EXTENT did not unconditionally allow DX allocation
   regardless of policy, as was the intention.

   Save the LVARs initially along with the DX type (T or :TRULY),
   so that R-D-E-L can use the correct DX type when rechecking.

   Test case.
src/compiler/debug.lisp
src/compiler/ir1util.lisp
src/compiler/locall.lisp
src/compiler/node.lisp
src/compiler/physenvanal.lisp
tests/dynamic-extent.impure.lisp
version.lisp-expr