Home | History | Annotate | Download | only in InstCombine

Lines Matching refs:RHSKnownOne

142   APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0);
160 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
168 if ((DemandedMask & ~LHSKnownZero & RHSKnownOne) ==
184 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
195 if ((DemandedMask & ~RHSKnownOne & LHSKnownZero) ==
196 (DemandedMask & ~RHSKnownOne))
204 if ((DemandedMask & (~LHSKnownZero) & RHSKnownOne) ==
211 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
243 RHSKnownOne, Depth + 1) ||
247 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
253 (RHSKnownOne & LHSKnownOne))) == DemandedMask)
254 return Constant::getIntegerValue(VTy, RHSKnownOne & LHSKnownOne);
258 if ((DemandedMask & ~LHSKnownZero & RHSKnownOne) ==
274 KnownOne = RHSKnownOne & LHSKnownOne;
281 RHSKnownOne, Depth + 1) ||
282 SimplifyDemandedBits(I->getOperandUse(0), DemandedMask & ~RHSKnownOne,
285 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
291 (RHSKnownOne | LHSKnownOne))) == DemandedMask)
292 return Constant::getIntegerValue(VTy, RHSKnownOne | LHSKnownOne);
299 if ((DemandedMask & ~RHSKnownOne & LHSKnownZero) ==
300 (DemandedMask & ~RHSKnownOne))
308 if ((DemandedMask & (~LHSKnownZero) & RHSKnownOne) ==
319 KnownOne = RHSKnownOne | LHSKnownOne;
323 RHSKnownOne, Depth + 1) ||
327 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
332 (RHSKnownOne & LHSKnownOne);
335 (RHSKnownOne & LHSKnownZero);
363 if ((DemandedMask & (RHSKnownZero|RHSKnownOne)) == DemandedMask) {
365 if ((RHSKnownOne & LHSKnownOne) == RHSKnownOne) {
367 ~RHSKnownOne & DemandedMask);
386 (LHSKnownOne & RHSKnownOne & DemandedMask) != 0) {
389 APInt NewMask = ~(LHSKnownOne & RHSKnownOne & DemandedMask);
403 KnownZero= (RHSKnownZero & LHSKnownZero) | (RHSKnownOne & LHSKnownOne);
405 KnownOne = (RHSKnownZero & LHSKnownOne) | (RHSKnownOne & LHSKnownZero);
416 RHSKnownOne, Depth + 1) ||
420 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
429 KnownOne = RHSKnownOne & LHSKnownOne;