Lines Matching refs:KnownZero2
423 APInt KnownZero2, KnownOne2, KnownZeroOut, KnownOneOut;
453 KnownZero2, KnownOne2, TLO, Depth+1))
455 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
459 if ((NewMask & ~KnownZero2 & KnownOne) == (~KnownZero2 & NewMask))
464 if ((NewMask & (KnownZero|KnownZero2)) == NewMask)
467 if (TLO.ShrinkDemandedConstant(Op, ~KnownZero2 & NewMask))
476 KnownZero |= KnownZero2;
484 KnownZero2, KnownOne2, TLO, Depth+1))
486 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
492 if ((NewMask & ~KnownOne & KnownZero2) == (~KnownOne & NewMask))
498 if ((NewMask & ~KnownZero2 & KnownOne) == (~KnownZero2 & NewMask))
508 KnownZero &= KnownZero2;
517 if (SimplifyDemandedBits(Op.getOperand(0), NewMask, KnownZero2,
520 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
526 if ((KnownZero2 & NewMask) == NewMask)
535 if ((NewMask & ~KnownZero & ~KnownZero2) == 0)
541 KnownZeroOut = (KnownZero & KnownZero2) | (KnownOne & KnownOne2);
543 KnownOneOut = (KnownZero & KnownOne2) | (KnownOne & KnownZero2);
586 if (SimplifyDemandedBits(Op.getOperand(1), NewMask, KnownZero2,
590 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
598 KnownZero &= KnownZero2;
604 if (SimplifyDemandedBits(Op.getOperand(2), NewMask, KnownZero2,
608 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
616 KnownZero &= KnownZero2;
1100 if (SimplifyDemandedBits(Op.getOperand(0), LoMask, KnownZero2,
1103 if (SimplifyDemandedBits(Op.getOperand(1), LoMask, KnownZero2,
