Home | History | Annotate | Download | only in InstCombine

Lines Matching refs:RHSKnownOne

143   APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0);
161 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
169 if ((DemandedMask & ~LHSKnownZero & RHSKnownOne) ==
185 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
196 if ((DemandedMask & ~RHSKnownOne & LHSKnownZero) ==
197 (DemandedMask & ~RHSKnownOne))
205 if ((DemandedMask & (~LHSKnownZero) & RHSKnownOne) ==
212 computeKnownBits(I->getOperand(1), RHSKnownZero, RHSKnownOne, Depth + 1,
244 RHSKnownOne, Depth + 1) ||
248 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
254 (RHSKnownOne & LHSKnownOne))) == DemandedMask)
255 return Constant::getIntegerValue(VTy, RHSKnownOne & LHSKnownOne);
259 if ((DemandedMask & ~LHSKnownZero & RHSKnownOne) ==
275 KnownOne = RHSKnownOne & LHSKnownOne;
282 RHSKnownOne, Depth + 1) ||
283 SimplifyDemandedBits(I->getOperandUse(0), DemandedMask & ~RHSKnownOne,
286 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
292 (RHSKnownOne | LHSKnownOne))) == DemandedMask)
293 return Constant::getIntegerValue(VTy, RHSKnownOne | LHSKnownOne);
300 if ((DemandedMask & ~RHSKnownOne & LHSKnownZero) ==
301 (DemandedMask & ~RHSKnownOne))
309 if ((DemandedMask & (~LHSKnownZero) & RHSKnownOne) ==
320 KnownOne = RHSKnownOne | LHSKnownOne;
324 RHSKnownOne, Depth + 1) ||
328 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
333 (RHSKnownOne & LHSKnownOne);
336 (RHSKnownOne & LHSKnownZero);
364 if ((DemandedMask & (RHSKnownZero|RHSKnownOne)) == DemandedMask) {
366 if ((RHSKnownOne & LHSKnownOne) == RHSKnownOne) {
368 ~RHSKnownOne & DemandedMask);
387 (LHSKnownOne & RHSKnownOne & DemandedMask) != 0) {
390 APInt NewMask = ~(LHSKnownOne & RHSKnownOne & DemandedMask);
404 KnownZero= (RHSKnownZero & LHSKnownZero) | (RHSKnownOne & LHSKnownOne);
406 KnownOne = (RHSKnownZero & LHSKnownOne) | (RHSKnownOne & LHSKnownZero);
417 RHSKnownOne, Depth + 1) ||
421 assert(!(RHSKnownZero & RHSKnownOne) && "Bits known to be one AND zero?");
430 KnownOne = RHSKnownOne & LHSKnownOne;