Lines Matching refs:RHSKnownZero
142 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0);
160 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
171 if ((DemandedMask & ~RHSKnownZero & LHSKnownOne) ==
172 (DemandedMask & ~RHSKnownZero))
176 if ((DemandedMask & (RHSKnownZero|LHSKnownZero)) == DemandedMask)
184 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
192 if ((DemandedMask & ~LHSKnownOne & RHSKnownZero) ==
201 if ((DemandedMask & (~RHSKnownZero) & LHSKnownOne) ==
202 (DemandedMask & (~RHSKnownZero)))
211 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
218 if ((DemandedMask & RHSKnownZero) == DemandedMask)
242 if (SimplifyDemandedBits(I->getOperandUse(1), DemandedMask, RHSKnownZero,
244 SimplifyDemandedBits(I->getOperandUse(0), DemandedMask & ~RHSKnownZero,
247 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
252 if ((DemandedMask & ((RHSKnownZero | LHSKnownZero)|
261 if ((DemandedMask & ~RHSKnownZero & LHSKnownOne) ==
262 (DemandedMask & ~RHSKnownZero))
266 if ((DemandedMask & (RHSKnownZero|LHSKnownZero)) == DemandedMask)
276 KnownZero = RHSKnownZero | LHSKnownZero;
280 if (SimplifyDemandedBits(I->getOperandUse(1), DemandedMask, RHSKnownZero,
285 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
290 if ((DemandedMask & ((RHSKnownZero & LHSKnownZero)|
296 if ((DemandedMask & ~LHSKnownOne & RHSKnownZero) ==
305 if ((DemandedMask & (~RHSKnownZero) & LHSKnownOne) ==
306 (DemandedMask & (~RHSKnownZero)))
317 KnownZero = RHSKnownZero & LHSKnownZero;
322 if (SimplifyDemandedBits(I->getOperandUse(1), DemandedMask, RHSKnownZero,
327 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
331 APInt IKnownZero = (RHSKnownZero & LHSKnownZero) |
334 APInt IKnownOne = (RHSKnownZero & LHSKnownOne) |
344 if ((DemandedMask & RHSKnownZero) == DemandedMask)
352 if ((DemandedMask & ~RHSKnownZero & ~LHSKnownZero) == 0) {
363 if ((DemandedMask & (RHSKnownZero|RHSKnownOne)) == DemandedMask) {
403 KnownZero= (RHSKnownZero & LHSKnownZero) | (RHSKnownOne & LHSKnownOne);
405 KnownOne = (RHSKnownZero & LHSKnownOne) | (RHSKnownOne & LHSKnownZero);
415 if (SimplifyDemandedBits(I->getOperandUse(2), DemandedMask, RHSKnownZero,
420 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
430 KnownZero = RHSKnownZero & LHSKnownZero;
