Lines Matching refs:KnownOne2
407 APInt KnownZero2, KnownOne2, KnownZeroOut, KnownOneOut;
437 KnownZero2, KnownOne2, TLO, Depth+1))
439 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
445 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask))
458 KnownOne &= KnownOne2;
468 KnownZero2, KnownOne2, TLO, Depth+1))
470 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
474 if ((NewMask & ~KnownOne2 & KnownZero) == (~KnownOne2 & NewMask))
480 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask))
494 KnownOne |= KnownOne2;
502 KnownOne2, TLO, Depth+1))
504 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
525 KnownZeroOut = (KnownZero & KnownZero2) | (KnownOne & KnownOne2);
527 KnownOneOut = (KnownZero & KnownOne2) | (KnownOne & KnownZero2);
535 if (KnownOne == KnownOne2) { // set bits are the same on both sides
571 KnownOne2, TLO, Depth+1))
574 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
581 KnownOne &= KnownOne2;
589 KnownOne2, TLO, Depth+1))
592 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
599 KnownOne &= KnownOne2;
1060 KnownOne2, TLO, Depth+1))
1063 KnownOne2, TLO, Depth+1))
