Lines Matching defs:KnownOne2
410 APInt KnownZero2, KnownOne2, KnownZeroOut, KnownOneOut;
440 KnownZero2, KnownOne2, TLO, Depth+1))
442 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
448 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask))
461 KnownOne &= KnownOne2;
471 KnownZero2, KnownOne2, TLO, Depth+1))
473 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
477 if ((NewMask & ~KnownOne2 & KnownZero) == (~KnownOne2 & NewMask))
483 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask))
497 KnownOne |= KnownOne2;
505 KnownOne2, TLO, Depth+1))
507 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
528 KnownZeroOut = (KnownZero & KnownZero2) | (KnownOne & KnownOne2);
530 KnownOneOut = (KnownZero & KnownOne2) | (KnownOne & KnownZero2);
538 if (KnownOne == KnownOne2) { // set bits are the same on both sides
574 KnownOne2, TLO, Depth+1))
577 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
584 KnownOne &= KnownOne2;
592 KnownOne2, TLO, Depth+1))
595 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
602 KnownOne &= KnownOne2;
1070 KnownOne2, TLO, Depth+1))
1073 KnownOne2, TLO, Depth+1))