[GHC] #14003: Allow more worker arguments in SpecConstr

GHC ghc-devs at haskell.org
Fri Jul 21 19:04:33 UTC 2017


#14003: Allow more worker arguments in SpecConstr
-------------------------------------+-------------------------------------
        Reporter:  choenerzs         |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.2.2
       Component:  Compiler          |              Version:  8.2.1-rc3
      Resolution:                    |             Keywords:  JoinPoints,
                                     |  Fusion
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 choenerzs):

 SpecConstr checks via ```isWorkerSmallEnough``` in ```callsToNewPats``` if
 the pattern to be specialised is small enough. This is controlled by
 ```-fmax-worker-args```. Line 1913 in SpecConstr.hs.

 And no, 8.0.2 fully specialises irrespective of the number of worker
 arguments. Specialisation in 8.2 depends on the number of arguments the
 pattern to be specialised has.

 I'll try to construct a test case.

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


More information about the ghc-tickets mailing list