Lines Matching refs:RHSKnownZero
143 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0);
161 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
172 if ((DemandedMask & ~RHSKnownZero & LHSKnownOne) ==
173 (DemandedMask & ~RHSKnownZero))
177 if ((DemandedMask & (RHSKnownZero|LHSKnownZero)) == DemandedMask)
185 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
193 if ((DemandedMask & ~LHSKnownOne & RHSKnownZero) ==
202 if ((DemandedMask & (~RHSKnownZero) & LHSKnownOne) ==
203 (DemandedMask & (~RHSKnownZero)))
212 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
219 if ((DemandedMask & RHSKnownZero) == DemandedMask)
243 if (SimplifyDemandedBits(I->getOperandUse(1), DemandedMask, RHSKnownZero,
245 SimplifyDemandedBits(I->getOperandUse(0), DemandedMask & ~RHSKnownZero,
248 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
253 if ((DemandedMask & ((RHSKnownZero | LHSKnownZero)|
262 if ((DemandedMask & ~RHSKnownZero & LHSKnownOne) ==
263 (DemandedMask & ~RHSKnownZero))
267 if ((DemandedMask & (RHSKnownZero|LHSKnownZero)) == DemandedMask)
277 KnownZero = RHSKnownZero | LHSKnownZero;
281 if (SimplifyDemandedBits(I->getOperandUse(1), DemandedMask, RHSKnownZero,
286 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
291 if ((DemandedMask & ((RHSKnownZero & LHSKnownZero)|
297 if ((DemandedMask & ~LHSKnownOne & RHSKnownZero) ==
306 if ((DemandedMask & (~RHSKnownZero) & LHSKnownOne) ==
307 (DemandedMask & (~RHSKnownZero)))
318 KnownZero = RHSKnownZero & LHSKnownZero;
323 if (SimplifyDemandedBits(I->getOperandUse(1), DemandedMask, RHSKnownZero,
328 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
332 APInt IKnownZero = (RHSKnownZero & LHSKnownZero) |
335 APInt IKnownOne = (RHSKnownZero & LHSKnownOne) |
345 if ((DemandedMask & RHSKnownZero) == DemandedMask)
353 if ((DemandedMask & ~RHSKnownZero & ~LHSKnownZero) == 0) {
364 if ((DemandedMask & (RHSKnownZero|RHSKnownOne)) == DemandedMask) {
404 KnownZero= (RHSKnownZero & LHSKnownZero) | (RHSKnownOne & LHSKnownOne);
406 KnownOne = (RHSKnownZero & LHSKnownOne) | (RHSKnownOne & LHSKnownZero);
416 if (SimplifyDemandedBits(I->getOperandUse(2), DemandedMask, RHSKnownZero,
421 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
431 KnownZero = RHSKnownZero & LHSKnownZero;
