Lines Matching defs:OpA

1110   // If both OpA and OpB are adds with NSW/NUW and with one of the operands
1112   // prove that OpA won't overflow when Ret added to the other operand of OpA.
1198   Instruction *OpA = dyn_cast<Instruction>(GTIA.getOperand());
1200   if (!OpA || !OpB || OpA->getOpcode() != OpB->getOpcode() ||
1201       OpA->getType() != OpB->getType())
1207   if (!isa<SExtInst>(OpA) && !isa<ZExtInst>(OpA))
1210   bool Signed = isa<SExtInst>(OpA);
1213   Value *ValA = OpA->getOperand(0);
1245   OpA = dyn_cast<Instruction>(ValA);
1246   if (!Safe && OpA && OpA->getOpcode() == Instruction::Add &&
1247       OpB->getOpcode() == Instruction::Add && checkNoWrapFlags(OpA, Signed) &&
1249     // In the checks below a matching operand in OpA and OpB is an operand which
1255           Safe = checkIfSafeAddSequence(IdxDiff, OpA, MatchingOpIdxA, OpB,