[GHC] #9374: Investigate Static Argument Transformation

[GHC]

#9374: Investigate Static Argument Transformation
-------------------------------------+-------------------------------------
        Reporter:  jstolarek         |                Owner:  (none)
            Type:  task              |               Status:  new
        Priority:  lowest            |            Milestone:
       Component:  Compiler          |              Version:  7.9
      Resolution:                    |             Keywords:
                                     |  StaticArgumentTransformation
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 mpickering):

 The main benefit (in nofib) was when SAT was acting to eliminate
 dictionary arguments which the specialiser has failed to deal with for
 whatever reason.

 The other big benefit is like in #14211 where a lot more simplification
 could happen by a function being inlined into a loop. There were not any
 of these cases that I saw in nofib but might be more common in real code.

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