Lines Matching defs:OpB

1110   // If both OpA and OpB are adds with NSW/NUW and with one of the operands
1199   Instruction *OpB = dyn_cast<Instruction>(GTIB.getOperand());
1200   if (!OpA || !OpB || OpA->getOpcode() != OpB->getOpcode() ||
1201       OpA->getType() != OpB->getType())
1214   OpB = dyn_cast<Instruction>(OpB->getOperand(0));
1215   if (!OpB || ValA->getType() != OpB->getType())
1219   const SCEV *OffsetSCEVB = SE.getSCEV(OpB);
1235   // First attempt: if OpB is an add with NSW/NUW, and OpB is IdxDiff added to
1237   if (OpB->getOpcode() == Instruction::Add &&
1238       isa<ConstantInt>(OpB->getOperand(1)) &&
1239       IdxDiff.sle(cast<ConstantInt>(OpB->getOperand(1))->getSExtValue()) &&
1240       checkNoWrapFlags(OpB, Signed))
1247       OpB->getOpcode() == Instruction::Add && checkNoWrapFlags(OpA, Signed) &&
1248       checkNoWrapFlags(OpB, Signed)) {
1249     // In the checks below a matching operand in OpA and OpB is an operand which
1255           Safe = checkIfSafeAddSequence(IdxDiff, OpA, MatchingOpIdxA, OpB,
1272     computeKnownBits((IdxDiff.sge(0) ? ValA : OpB), Known, DL, 0, &AC,