[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