Lines Matching refs:KnownZero2
410 APInt KnownZero2, KnownOne2, KnownZeroOut, KnownOneOut;
440 KnownZero2, KnownOne2, TLO, Depth+1))
442 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
446 if ((NewMask & ~KnownZero2 & KnownOne) == (~KnownZero2 & NewMask))
451 if ((NewMask & (KnownZero|KnownZero2)) == NewMask)
454 if (TLO.ShrinkDemandedConstant(Op, ~KnownZero2 & NewMask))
463 KnownZero |= KnownZero2;
471 KnownZero2, KnownOne2, TLO, Depth+1))
473 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
479 if ((NewMask & ~KnownOne & KnownZero2) == (~KnownOne & NewMask))
485 if ((NewMask & ~KnownZero2 & KnownOne) == (~KnownZero2 & NewMask))
495 KnownZero &= KnownZero2;
504 if (SimplifyDemandedBits(Op.getOperand(0), NewMask, KnownZero2,
507 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
513 if ((KnownZero2 & NewMask) == NewMask)
522 if ((NewMask & ~KnownZero & ~KnownZero2) == 0)
528 KnownZeroOut = (KnownZero & KnownZero2) | (KnownOne & KnownOne2);
530 KnownOneOut = (KnownZero & KnownOne2) | (KnownOne & KnownZero2);
573 if (SimplifyDemandedBits(Op.getOperand(1), NewMask, KnownZero2,
577 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
585 KnownZero &= KnownZero2;
591 if (SimplifyDemandedBits(Op.getOperand(2), NewMask, KnownZero2,
595 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
603 KnownZero &= KnownZero2;
1069 if (SimplifyDemandedBits(Op.getOperand(0), LoMask, KnownZero2,
1072 if (SimplifyDemandedBits(Op.getOperand(1), LoMask, KnownZero2,
