Lines Matching refs:WO
5334 auto *WO = dyn_cast<WithOverflowInst>(EVI->getAggregateOperand()); in MatchBinaryOp() local
5335 if (!WO) in MatchBinaryOp()
5338 Instruction::BinaryOps BinOp = WO->getBinaryOp(); in MatchBinaryOp()
5339 bool Signed = WO->isSigned(); in MatchBinaryOp()
5341 if (BinOp == Instruction::Mul || !isOverflowIntrinsicNoWrap(WO, DT)) in MatchBinaryOp()
5342 return BinaryOp(BinOp, WO->getLHS(), WO->getRHS()); in MatchBinaryOp()
5347 return BinaryOp(BinOp, WO->getLHS(), WO->getRHS(), in MatchBinaryOp()
9004 const WithOverflowInst *WO; in computeExitLimitFromCondImpl() local
9006 if (match(ExitCond, m_ExtractValue<1>(m_WithOverflowInst(WO))) && in computeExitLimitFromCondImpl()
9007 match(WO->getRHS(), m_APInt(C))) { in computeExitLimitFromCondImpl()
9009 ConstantRange::makeExactNoWrapRegion(WO->getBinaryOp(), *C, in computeExitLimitFromCondImpl()
9010 WO->getNoWrapKind()); in computeExitLimitFromCondImpl()
9016 auto *LHS = getSCEV(WO->getLHS()); in computeExitLimitFromCondImpl()