Clean up some codes in InstCombiner::SimplifyDemandedBits().

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@35446 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp
index a8a537353d08cdfd3ab319adf0fc8da0f74700b8..038779da9e5c98e8475e77bc07f5e975db25f3ad 100644 (file)
--- a/lib/Transforms/Scalar/InstructionCombining.cpp
+++ b/lib/Transforms/Scalar/InstructionCombining.cpp
@@ -1135,10 +1135,9 @@ bool InstCombiner::SimplifyDemandedBits(Value *V, APInt DemandedMask,
     uint32_t SrcBitWidth = SrcTy->getBitWidth();
     
     DemandedMask &= SrcTy->getMask().zext(BitWidth);
-    uint32_t zextBf = SrcTy->getBitWidth();
-    DemandedMask.trunc(zextBf);
-    RHSKnownZero.trunc(zextBf);
-    RHSKnownOne.trunc(zextBf);
+    DemandedMask.trunc(SrcBitWidth);
+    RHSKnownZero.trunc(SrcBitWidth);
+    RHSKnownOne.trunc(SrcBitWidth);
     if (SimplifyDemandedBits(I->getOperand(0), DemandedMask,
                              RHSKnownZero, RHSKnownOne, Depth+1))
       return true;
@@ -1168,10 +1167,9 @@ bool InstCombiner::SimplifyDemandedBits(Value *V, APInt DemandedMask,
     if ((NewBits & DemandedMask) != 0)
       InputDemandedBits |= InSignBit;
       
-    uint32_t sextBf = SrcTy->getBitWidth();
-    InputDemandedBits.trunc(sextBf);
-    RHSKnownZero.trunc(sextBf);
-    RHSKnownOne.trunc(sextBf);
+    InputDemandedBits.trunc(SrcBitWidth);
+    RHSKnownZero.trunc(SrcBitWidth);
+    RHSKnownOne.trunc(SrcBitWidth);
     if (SimplifyDemandedBits(I->getOperand(0), InputDemandedBits,
                              RHSKnownZero, RHSKnownOne, Depth+1))
       return true;
@@ -1193,10 +1191,6 @@ bool InstCombiner::SimplifyDemandedBits(Value *V, APInt DemandedMask,
       return UpdateValueUsesWith(I, NewCast);
     } else if (RHSKnownOne[SrcBitWidth-1]) {    // Input sign bit known set
       RHSKnownOne |= NewBits;
-      RHSKnownZero &= ~NewBits;
-    } else {                              // Input sign bit unknown
-      RHSKnownZero &= ~NewBits;
-      RHSKnownOne &= ~NewBits;
     }
     break;
   }