Lines Matching refs:KnownOne2
423 APInt KnownZero2, KnownOne2, KnownZeroOut, KnownOneOut;
453 KnownZero2, KnownOne2, TLO, Depth+1))
455 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
461 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask))
474 KnownOne &= KnownOne2;
484 KnownZero2, KnownOne2, TLO, Depth+1))
486 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
490 if ((NewMask & ~KnownOne2 & KnownZero) == (~KnownOne2 & NewMask))
496 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask))
510 KnownOne |= KnownOne2;
518 KnownOne2, TLO, Depth+1))
520 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
541 KnownZeroOut = (KnownZero & KnownZero2) | (KnownOne & KnownOne2);
543 KnownOneOut = (KnownZero & KnownOne2) | (KnownOne & KnownZero2);
551 if (KnownOne == KnownOne2) { // set bits are the same on both sides
587 KnownOne2, TLO, Depth+1))
590 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
597 KnownOne &= KnownOne2;
605 KnownOne2, TLO, Depth+1))
608 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
615 KnownOne &= KnownOne2;
1101 KnownOne2, TLO, Depth+1))
1104 KnownOne2, TLO, Depth+1))
