[APInt] Remove unnecessary checks of rhsWords==1 with lhsWords==1 from udiv and udivr...
authorCraig Topper <craig.topper@gmail.com>
Fri, 12 May 2017 18:18:57 +0000 (18:18 +0000)
committerCraig Topper <craig.topper@gmail.com>
Fri, 12 May 2017 18:18:57 +0000 (18:18 +0000)
At this point in the code rhsWords is guaranteed to be non-zero and less than or equal to lhsWords. So if lhsWords is 1, rhsWords must also be 1. urem alread had the check removed so this makes all 3 consistent.

llvm-svn: 302930

llvm/lib/Support/APInt.cpp

index 361fc97..a5ffcb2 100644 (file)
@@ -1579,7 +1579,7 @@ APInt APInt::udiv(const APInt& RHS) const {
   if (*this == RHS)
     // X / X ===> 1
     return APInt(BitWidth, 1);
-  if (lhsWords == 1 && rhsWords == 1)
+  if (lhsWords == 1) // rhsWords is 1 if lhsWords is 1.
     // All high words are zero, just use native divide
     return APInt(BitWidth, this->U.pVal[0] / RHS.U.pVal[0]);
 
@@ -1682,7 +1682,7 @@ void APInt::udivrem(const APInt &LHS, const APInt &RHS,
     return;
   }
 
-  if (lhsWords == 1 && rhsWords == 1) {
+  if (lhsWords == 1) { // rhsWords is 1 if lhsWords is 1.
     // There is only one word to consider so use the native versions.
     uint64_t lhsValue = LHS.U.pVal[0];
     uint64_t rhsValue = RHS.U.pVal[0];