#5928: INLINABLE fails to specialize in presence of simple wrapper
-------------------------------+--------------------------------------------
Reporter: tibbe | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.6.2
Component: Compiler | Version: 7.4.1
Resolution: | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Changes (by tibbe):
* owner: tibbe =>
Comment:
I did some work here a while ago. From what I remember, these were the
results:
I tried to move the specialise pass later, after the main simplifier
phases. That had a negative effect on the benchmarks I ran and also
resulted in fewer specialisations, as measured by some instrumentation I
added. I also tried to add a new specialise pass, again after the main
simplifier phases, while leaving the original one (which runs after
simpl_gently) untouched. This fixed my some specific case I had, but from
what I remember it didn't get some other cases. I remember thinking that
that particular approach worked well enough.
I think this needs more investigation, like trying to specialise as part
of the simplifier, but I'm not working on it at the moment. I will
unassign this ticket for now to reflect that. I will assign the ticket to
me again if I ever pick this up again.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5928#comment:18>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
