Lines Matching defs:KnownZero2
386 APInt KnownZero2, KnownOne2, KnownZeroOut, KnownOneOut;
416 KnownZero2, KnownOne2, TLO, Depth+1))
418 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
422 if ((NewMask & ~KnownZero2 & KnownOne) == (~KnownZero2 & NewMask))
427 if ((NewMask & (KnownZero|KnownZero2)) == NewMask)
430 if (TLO.ShrinkDemandedConstant(Op, ~KnownZero2 & NewMask))
439 KnownZero |= KnownZero2;
447 KnownZero2, KnownOne2, TLO, Depth+1))
449 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
455 if ((NewMask & ~KnownOne & KnownZero2) == (~KnownOne & NewMask))
461 if ((NewMask & ~KnownZero2 & KnownOne) == (~KnownZero2 & NewMask))
471 KnownZero &= KnownZero2;
480 if (SimplifyDemandedBits(Op.getOperand(0), NewMask, KnownZero2,
483 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
489 if ((KnownZero2 & NewMask) == NewMask)
498 if ((NewMask & ~KnownZero & ~KnownZero2) == 0)
504 KnownZeroOut = (KnownZero & KnownZero2) | (KnownOne & KnownOne2);
506 KnownOneOut = (KnownZero & KnownOne2) | (KnownOne & KnownZero2);
549 if (SimplifyDemandedBits(Op.getOperand(1), NewMask, KnownZero2,
553 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
561 KnownZero &= KnownZero2;
567 if (SimplifyDemandedBits(Op.getOperand(2), NewMask, KnownZero2,
571 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
579 KnownZero &= KnownZero2;
977 if (SimplifyDemandedBits(Op.getOperand(0), LoMask, KnownZero2,
980 if (SimplifyDemandedBits(Op.getOperand(1), LoMask, KnownZero2,
