Lines Matching defs:LHSKnown

171   KnownBits LHSKnown(BitWidth), RHSKnown(BitWidth);
195         SimplifyDemandedBits(I, 0, DemandedFromOps, LHSKnown, Depth + 1, Q) ||
211         SimplifyDemandedBits(I, 0, DemandedMask & ~RHSKnown.Zero, LHSKnown,
215     Known = analyzeKnownBitsFromAndXorOr(cast<Operator>(I), LHSKnown, RHSKnown,
225     if (DemandedMask.isSubsetOf(LHSKnown.Zero | RHSKnown.One))
227     if (DemandedMask.isSubsetOf(RHSKnown.Zero | LHSKnown.One))
231     if (ShrinkDemandedConstant(I, 1, DemandedMask & ~LHSKnown.Zero))
239         SimplifyDemandedBits(I, 0, DemandedMask & ~RHSKnown.One, LHSKnown,
246     Known = analyzeKnownBitsFromAndXorOr(cast<Operator>(I), LHSKnown, RHSKnown,
256     if (DemandedMask.isSubsetOf(LHSKnown.One | RHSKnown.Zero))
258     if (DemandedMask.isSubsetOf(RHSKnown.One | LHSKnown.Zero))
267       WithCache<const Value *> LHSCache(I->getOperand(0), LHSKnown),
279         SimplifyDemandedBits(I, 0, DemandedMask, LHSKnown, Depth + 1, Q))
292     Known = analyzeKnownBitsFromAndXorOr(cast<Operator>(I), LHSKnown, RHSKnown,
304     if (DemandedMask.isSubsetOf(LHSKnown.Zero))
310     if (DemandedMask.isSubsetOf(RHSKnown.Zero | LHSKnown.Zero)) {
324         RHSKnown.One.isSubsetOf(LHSKnown.One)) {
355           (LHSKnown.One & RHSKnown.One & DemandedMask) != 0) {
356         APInt NewMask = ~(LHSKnown.One & RHSKnown.One & DemandedMask);
371         SimplifyDemandedBits(I, 1, DemandedMask, LHSKnown, Depth + 1, Q))
412     adjustKnownBitsForSelectArm(LHSKnown, I->getOperand(0), I->getOperand(1),
416     Known = LHSKnown.intersectWith(RHSKnown);
541         SimplifyDemandedBits(I, 0, DemandedFromLHS, LHSKnown, Depth + 1, Q))
548     if (DemandedFromOps.isSubsetOf(LHSKnown.Zero))
565     Known = KnownBits::computeForAddSub(true, NSW, NUW, LHSKnown, RHSKnown);
584         SimplifyDemandedBits(I, 0, DemandedFromLHS, LHSKnown, Depth + 1, Q))
593     if (DemandedFromOps.isOne() && DemandedFromOps.isSubsetOf(LHSKnown.Zero))
599     Known = KnownBits::computeForAddSub(false, NSW, NUW, LHSKnown, RHSKnown);
846       if (SimplifyDemandedBits(I, 0, DemandedMaskIn, LHSKnown, Depth + 1, Q)) {
853       Known = KnownBits::udiv(LHSKnown, KnownBits::makeConstant(*SA),
874         if (SimplifyDemandedBits(I, 0, Mask2, LHSKnown, Depth + 1, Q))
878         Known.Zero = LHSKnown.Zero & LowBits;
879         Known.One = LHSKnown.One & LowBits;
883         if (LHSKnown.isNonNegative() || LowBits.isSubsetOf(LHSKnown.Zero))
888         if (LHSKnown.isNegative() && LowBits.intersects(LHSKnown.One))
951         if (SimplifyDemandedBits(I, 0, DemandedMask, LHSKnown, Depth + 1, Q) ||
953                 I, 1, (DemandedMask & ~LHSKnown.Zero).zextOrTrunc(MaskWidth),
960         Known = LHSKnown & RHSKnown;
976         if (DemandedMask.isSubsetOf(RHSKnown.One | LHSKnown.Zero))
981                 I, 1, (DemandedMask & ~LHSKnown.Zero).zextOrTrunc(MaskWidth)))
995           LHSKnown = computeKnownBits(InnerPtr, Depth + 1, I);
996           if (!LHSKnown.isZero()) {
997             const unsigned trailingZeros = LHSKnown.countMinTrailingZeros();
1040           if (SimplifyDemandedBits(I, 0, DemandedMaskLHS, LHSKnown,
1048           LHSKnown = computeKnownBits(I->getOperand(0), Depth + 1, I);
1049           if (DemandedMaskLHS.isSubsetOf(LHSKnown.Zero | LHSKnown.One) &&
1050               !match(I->getOperand(0), m_SpecificInt(LHSKnown.One))) {
1051             replaceOperand(*I, 0, Constant::getIntegerValue(VTy, LHSKnown.One));
1063         Known.Zero = LHSKnown.Zero.shl(ShiftAmt) |
1065         Known.One = LHSKnown.One.shl(ShiftAmt) |
1146   KnownBits LHSKnown(BitWidth);
1156     llvm::computeKnownBits(I->getOperand(0), LHSKnown, Depth + 1, Q);
1157     Known = analyzeKnownBitsFromAndXorOr(cast<Operator>(I), LHSKnown, RHSKnown,
1168     if (DemandedMask.isSubsetOf(LHSKnown.Zero | RHSKnown.One))
1170     if (DemandedMask.isSubsetOf(RHSKnown.Zero | LHSKnown.One))
1177     llvm::computeKnownBits(I->getOperand(0), LHSKnown, Depth + 1, Q);
1178     Known = analyzeKnownBitsFromAndXorOr(cast<Operator>(I), LHSKnown, RHSKnown,
1191     if (DemandedMask.isSubsetOf(LHSKnown.One | RHSKnown.Zero))
1193     if (DemandedMask.isSubsetOf(RHSKnown.One | LHSKnown.Zero))
1200     llvm::computeKnownBits(I->getOperand(0), LHSKnown, Depth + 1, Q);
1201     Known = analyzeKnownBitsFromAndXorOr(cast<Operator>(I), LHSKnown, RHSKnown,
1215     if (DemandedMask.isSubsetOf(LHSKnown.Zero))
1230     llvm::computeKnownBits(I->getOperand(0), LHSKnown, Depth + 1, Q);
1231     if (DemandedFromOps.isSubsetOf(LHSKnown.Zero))
1237         KnownBits::computeForAddSub(/*Add=*/true, NSW, NUW, LHSKnown, RHSKnown);
1253     llvm::computeKnownBits(I->getOperand(0), LHSKnown, Depth + 1, Q);
1254     Known = KnownBits::computeForAddSub(/*Add=*/false, NSW, NUW, LHSKnown,