diff options
| author | dias@eecs.harvard.edu <unknown> | 2008-05-29 09:48:27 +0000 |
|---|---|---|
| committer | dias@eecs.harvard.edu <unknown> | 2008-05-29 09:48:27 +0000 |
| commit | 25628e2771424cae1b3366322e8ce6f8a85440f9 (patch) | |
| tree | 98c7d5c5f397263cb218f565b24521d6006235f6 /compiler/rename | |
| parent | f0ffb7da8edb184558ab6fb5e0a9899f89572333 (diff) | |
| download | haskell-25628e2771424cae1b3366322e8ce6f8a85440f9.tar.gz | |
Cmm back end upgrades
Several changes in this patch, partially bug fixes, partially new code:
o bug fixes in ZipDataflow
- added some checks to verify that facts converge
- removed some erroneous checks of convergence on entry nodes
- added some missing applications of transfer functions
o changed dataflow clients to use ZipDataflow, making ZipDataflow0 obsolete
o eliminated DFA monad (no need for separate analysis and rewriting monads with ZipDataflow)
o started stack layout changes
- no longer generating CopyIn and CopyOut nodes (not yet fully expunged though)
- still not using proper calling conventions
o simple new optimizations:
- common block elimination
-- have not yet tried to move the Adams opt out of CmmProcPointZ
- block concatenation
o piped optimization fuel up to the HscEnv
- can be limited by a command-line flag
- not tested, and probably not yet properly used by clients
o added unique supply to FuelMonad, also lifted unique supply to DFMonad
Diffstat (limited to 'compiler/rename')
0 files changed, 0 insertions, 0 deletions