Simplify minusInteger in integer-gmp slightly
authorReid Barton <rwbarton@gmail.com>
Mon, 30 Jan 2017 16:59:28 +0000 (11:59 -0500)
committerBen Gamari <ben@smart-cactus.org>
Mon, 30 Jan 2017 19:02:34 +0000 (14:02 -0500)
These two special cases were created in D2278 by mechanically
inlining negateInteger into plusInteger. They aren't needed
(the `minusInteger (S# x#) (S# y#)` case already handles all values
correctly), and they can never help by avoiding an allocation,
unlike the original special case in plusInteger, since we still
have to allocate the result.

Removing these special cases will save a couple comparisons and
conditional branches in the common case of subtracting two small
Integers.

Test Plan:
Existing test `plusMinusInteger` already tests
the values in question.

Reviewers: bgamari, goldfire, austin, hvr

Reviewed By: bgamari, hvr

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D3034

libraries/integer-gmp/src/GHC/Integer/Type.hs

index 0d279ef..d5f92b3 100644 (file)
@@ -421,8 +421,6 @@ plusInteger (Jp# x) (Jn# y)
 -- | Subtract one 'Integer' from another.
 minusInteger :: Integer -> Integer -> Integer
 minusInteger x       (S# 0#)            = x
-minusInteger (S# 0#) (S# INT_MINBOUND#) = Jp# (wordToBigNat ABS_INT_MINBOUND##)
-minusInteger (S# 0#) (S# y#)            = S# (negateInt# y#)
 minusInteger (S# x#) (S# y#)
   = case subIntC# x# y# of
     (# z#, 0# #) -> S# z#