| commit | e7e408b744e321f69093b73a419cace79a076628 | |
| author | Alastair Bridgewater <alastair.bridgewater@gmail.com> | |
| Sun, 1 Mar 2015 15:37:08 +0000 (1 10:37 -0500) | ||
| committer | Alastair Bridgewater <alastair.bridgewater@gmail.com> | |
| Sun, 1 Mar 2015 21:20:11 +0000 (1 16:20 -0500) | ||
| tree | d4853c791a0eeccea036642522f0dcf286b24860 | treesnapshot (tar.gz zip) |
| parent | 2d8f5ea1d00e7c6b23aad2b44b1485cd8d5983e0 | commitdiff |
src/compiler/dce: Add a dead-code-elimination phase to the compiler.
* This is, effectively, a reachability analysis over blocks
starting from a set of root CLAMBDAs, eliminating anything that
isn't derivable from either block successor relations, REFs to
CLAMBDAs, or REFs to NLX-INFOs (rather a KLUDGE, but one which
works tolerably well).
* Fixes lp#1255782, lp#308914, and possibly others.
* This is, effectively, a reachability analysis over blocks
starting from a set of root CLAMBDAs, eliminating anything that
isn't derivable from either block successor relations, REFs to
CLAMBDAs, or REFs to NLX-INFOs (rather a KLUDGE, but one which
works tolerably well).
* Fixes lp#1255782, lp#308914, and possibly others.
| NEWS | diffblobblamehistory | |
| build-order.lisp-expr | diffblobblamehistory | |
| src/compiler/dce.lisp | [new file with mode: 0644] | blob |
| src/compiler/main.lisp | diffblobblamehistory |