[GHC] #3065: Reorder tests in quot to improve code
GHC
trac at galois.com
Fri Dec 11 05:28:39 EST 2009
#3065: Reorder tests in quot to improve code
--------------------------------------+-------------------------------------
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.12 branch
Component: libraries/base | Version: 6.10.1
Resolution: | Keywords:
Difficulty: Unknown | Os: Unknown/Multiple
Testcase: | Architecture: Unknown/Multiple
Failure: Runtime performance bug |
--------------------------------------+-------------------------------------
Comment (by simonmar):
All things being equal, we should expose the test to GHC because that
enables more intelligent decisions to be made in the simplifier and the
code generator. If it results in bad loop code, we should fix that,
rather than work around it by making the test part of the primitive.
The narrower Int types have their own implementations of `quot`, which
currently include an overflow test. It might be possible in those cases
to just omit the test, although that would make the behaviour of `Int32`
on a 64-bit platform different from on a 32-bit platform in this
particular case.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3065#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list