[GHC] #14790: eqTypeRep does not inline

GHC ghc-devs at haskell.org
Tue Feb 13 13:05:27 UTC 2018


#14790: eqTypeRep does not inline
-------------------------------------+-------------------------------------
        Reporter:  dfeuer            |                Owner:  (none)
            Type:  bug               |               Status:  patch
        Priority:  normal            |            Milestone:  8.6.1
       Component:  Compiler          |              Version:  8.4.1-alpha2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Runtime           |  Unknown/Multiple
  performance bug                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D4405
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 When a definition is marked `INLINABLE` the unfolding created is the same
 as the source definition and so it will be smaller.

 In the worker wrapper transformation (which only applies to recursive
 functions) the point of inlining the wrapper is to eliminate the mutual
 recursion in the worker which creates a nice loop working just with
 unboxed values. None of that is going on here.

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


More information about the ghc-tickets mailing list