[GHC] #8903: Add dead store elimination

[GHC]

#8903: Add dead store elimination
-------------------------------------+-------------------------------------
        Reporter:  tibbe             |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.9
      Resolution:                    |             Keywords:  CodeGen
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Runtime           |  Unknown/Multiple
  performance bug                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by srb):

 Im willing to take this on, although I still haven't fully wrapped my head
 around Hoopl. If it's OK for me to have a go, I would appreciate it if I
 could have some advice on a few issues:

 1) This proposed analysis seems quite similar to what's being done in
 CmmLive/CmmSink. Would it be a good idea to attempt to incorporate it into
 those passes?

 2) The liveness analysis is also used for inlining assignments which are
 used once, propagating constants, and pushing down assigments. Is it a
 good idea to do the same thing with stores?

 Thanks, Sean

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8903#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler