[commit: ghc] master: Simplify minusInteger in integer-gmp slightly (f984bf2)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/f984bf2e1deedb4931c0c2d5b6b5128b8b154cb5/ghc

>---------------------------------------------------------------

commit f984bf2e1deedb4931c0c2d5b6b5128b8b154cb5
Author: Reid Barton <rwbarton at gmail.com>
Date:   Mon Jan 30 11:59:28 2017 -0500

    Simplify minusInteger in integer-gmp slightly
    
    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


>---------------------------------------------------------------

f984bf2e1deedb4931c0c2d5b6b5128b8b154cb5
 libraries/integer-gmp/src/GHC/Integer/Type.hs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/libraries/integer-gmp/src/GHC/Integer/Type.hs b/libraries/integer-gmp/src/GHC/Integer/Type.hs
index 0d279ef..d5f92b3 100644
--- a/libraries/integer-gmp/src/GHC/Integer/Type.hs
+++ b/libraries/integer-gmp/src/GHC/Integer/Type.hs
@@ -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#