Lines Matching defs:WO
427 solveBlockValueOverflowIntrinsic(WithOverflowInst *WO, BasicBlock *BB);
1016 LazyValueInfoImpl::solveBlockValueOverflowIntrinsic(WithOverflowInst *WO,
1019 WO, BB, [WO](const ConstantRange &CR1, const ConstantRange &CR2) {
1020 return CR1.binaryOp(WO->getBinaryOp(), CR2);
1067 if (auto *WO = dyn_cast<WithOverflowInst>(EVI->getAggregateOperand()))
1069 return solveBlockValueOverflowIntrinsic(WO, BB);
1249 Value *Val, WithOverflowInst *WO, bool IsTrueDest) {
1254 if (WO->getLHS() != Val || !match(WO->getRHS(), m_APInt(C)))
1259 WO->getBinaryOp(), *C, WO->getNoWrapKind());
1276 if (auto *WO = dyn_cast<WithOverflowInst>(EVI->getAggregateOperand()))
1278 return getValueFromOverflowCondition(Val, WO, IsTrueDest);