]> granicus.if.org Git - llvm/commitdiff
[KnownBits] Use isNegative/isNonNegative to shorten some code. NFC
authorCraig Topper <craig.topper@gmail.com>
Mon, 22 May 2017 00:49:33 +0000 (00:49 +0000)
committerCraig Topper <craig.topper@gmail.com>
Mon, 22 May 2017 00:49:33 +0000 (00:49 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@303522 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Transforms/InstCombine/InstCombineAddSub.cpp

index 0ca62b7ae40c18e2c24266d73ab0510ce4a4cd7c..f32ee9653972e8490917dd2c89e16a919a9b25bd 100644 (file)
@@ -869,8 +869,8 @@ bool InstCombiner::WillNotOverflowSignedSub(Value *LHS, Value *RHS,
 
   // Subtraction of two 2's complement numbers having identical signs will
   // never overflow.
-  if ((LHSKnown.One[BitWidth - 1] && RHSKnown.One[BitWidth - 1]) ||
-      (LHSKnown.Zero[BitWidth - 1] && RHSKnown.Zero[BitWidth - 1]))
+  if ((LHSKnown.isNegative() && RHSKnown.isNegative()) ||
+      (LHSKnown.isNonNegative() && RHSKnown.isNonNegative()))
     return true;
 
   // TODO: implement logic similar to checkRippleForAdd