#3736: GHC specialising instead of inlining
-------------------------+--------------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.14.1
Component: Compiler | Version: 6.10.4
Keywords: | Difficulty:
Os: Linux | Testcase:
Architecture: x86 | Failure: Runtime performance bug
-------------------------+--------------------------------------------------
Comment(by simonpj):
Great stuff. Thank you for cutting down the test case Ian. That made it
easy to find the bug. And it was easy to fix too:
{{{
Fri Mar 5 17:27:59 GMT 2010 [email protected]
* Fix Trac #3736: do not preInlineUnconditionally with INLINE
preInlineUnconditionally was, in effect, nuking an INLINE pragma, with
very bad effect on runtime in this program. Fortunately the fix is
very simple.
See Note [InlineRule and preInlineUnconditionally] in SimplUtils.
M ./compiler/simplCore/SimplUtils.lhs +24
}}}
* Can you see if it is indeed fixed, and if so close this ticket?
* I believe this may in fact fix #3737 as well. Can one of you try?
* I'm not sure it's worth making a test case, but Ian's `Main.hs` is
small enough to try. Ian, I'm not sure how to make a regression test that
says "does ./main 1 run faster than ./main 2" or whatever. If you think
it's worth it, pls add one.
Do not merge to 6.12; it's all 6.14 code.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3736#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
