Lines Matching defs:ValA
1213 Value *ValA = OpA->getOperand(0);
1215 if (!OpB || ValA->getType() != OpB->getType())
1218 const SCEV *OffsetSCEVA = SE.getSCEV(ValA);
1232 // Now we need to prove that adding IdxDiff to ValA won't overflow.
1236 // ValA, we're okay.
1245 OpA = dyn_cast<Instruction>(ValA);
1259 unsigned BitWidth = ValA->getType()->getScalarSizeInBits();
1264 // order bit other than the sign bit are known to be zero in ValA, we can add
1267 // If IdxDiff is negative, do the same, but swap ValA and ValB.
1272 computeKnownBits((IdxDiff.sge(0) ? ValA : OpB), Known, DL, 0, &AC,