Lines Matching defs:KnownOne2
1241 APInt KnownZero2, KnownOne2, KnownZeroOut, KnownOneOut;
1272 KnownZero2, KnownOne2, TLO, Depth+1))
1274 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
1280 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask))
1293 KnownOne &= KnownOne2;
1303 KnownZero2, KnownOne2, TLO, Depth+1))
1305 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
1309 if ((NewMask & ~KnownOne2 & KnownZero) == (~KnownOne2 & NewMask))
1315 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask))
1329 KnownOne |= KnownOne2;
1337 KnownOne2, TLO, Depth+1))
1339 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
1360 KnownZeroOut = (KnownZero & KnownZero2) | (KnownOne & KnownOne2);
1362 KnownOneOut = (KnownZero & KnownOne2) | (KnownOne & KnownZero2);
1369 if ((KnownOne & KnownOne2) == KnownOne) {
1405 KnownOne2, TLO, Depth+1))
1408 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
1415 KnownOne &= KnownOne2;
1423 KnownOne2, TLO, Depth+1))
1426 assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
1433 KnownOne &= KnownOne2;
1815 KnownOne2, TLO, Depth+1))
1818 KnownOne2, TLO, Depth+1))
