[GHC] #13379: Space leak / quadratic behavior when inlining

GHC ghc-devs at haskell.org
Wed May 17 21:00:14 UTC 2017


#13379: Space leak / quadratic behavior when inlining
-------------------------------------+-------------------------------------
        Reporter:  jberryman         |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.2.1
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:  Inlining
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Compile-time      |            Test Case:
  performance bug                    |  perf/compile/T13379
      Blocked By:                    |             Blocking:
 Related Tickets:  #13586            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 As far as I can see it's not the same issue as this ticket.

 In the blog post, as I read it, there is a function that

 * Is fairly small in source code terms
 * Calls several moderately large combinators
 * But finally optimises to something small again

 This function is called quite a bit, so the cost of optimising it is paid
 many times, rather than once for all at the defintion site.  Nothing
 exponential happens.

 Thus motivated the author asks for a pragma to say "please inline the
 optimised code for this function".   Maybe.  The gain would be in
 compliation time, not in the quality of the resulting code.  Is that worth
 another pragma.  Maybe, but it does not seem compelling to me.

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


More information about the ghc-tickets mailing list