Lines Matching refs:KnownOne2
1244 APInt KnownZero2, KnownOne2, KnownZeroOut, KnownOneOut;
1274 KnownZero2, KnownOne2, TLO, Depth+1))
1276 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
1282 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask))
1295 KnownOne &= KnownOne2;
1305 KnownZero2, KnownOne2, TLO, Depth+1))
1307 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
1311 if ((NewMask & ~KnownOne2 & KnownZero) == (~KnownOne2 & NewMask))
1317 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask))
1331 KnownOne |= KnownOne2;
1339 KnownOne2, TLO, Depth+1))
1341 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
1362 KnownZeroOut = (KnownZero & KnownZero2) | (KnownOne & KnownOne2);
1364 KnownOneOut = (KnownZero & KnownOne2) | (KnownOne & KnownZero2);
1372 if (KnownOne == KnownOne2) { // set bits are the same on both sides
1408 KnownOne2, TLO, Depth+1))
1411 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
1418 KnownOne &= KnownOne2;
1426 KnownOne2, TLO, Depth+1))
1429 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
1436 KnownOne &= KnownOne2;
1836 KnownOne2, TLO, Depth+1))
1839 KnownOne2, TLO, Depth+1))
