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