patch applied (ghc): Refactor OccAnal;
and improve dead-code elimination
Simon Peyton Jones
simonpj at microsoft.com
Thu Mar 6 07:01:44 EST 2008
Wed Mar 5 07:57:08 PST 2008 simonpj at microsoft.com
* Refactor OccAnal; and improve dead-code elimination
The occurrence analyer is now really rather subtle when dealing
with recursive groups; see Note [Loop breaking and RULES] especially.
This patch refactors this code a bit, notably
* Introduces a new data type Details instead of a tuple
* More clearly breaks up a recursive group into its SCCs
before processing it in a separate function occAnalRec
* As a result, does better dead-code elimination, becuause it's
done per SCC rather than for the whole Rec
M ./compiler/simplCore/OccurAnal.lhs -59 +86
More information about the Cvs-ghc
mailing list