Home
last modified time | relevance | path

Searched refs:willNotOverflow (Results 1 – 7 of 7) sorted by relevance

/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DCorrelatedValuePropagation.cpp437 static bool willNotOverflow(BinaryOpIntrinsic *BO, LazyValueInfo *LVI) { in willNotOverflow() function
669 if (willNotOverflow(WO, LVI)) in processCallSite()
674 if (willNotOverflow(SI, LVI)) in processCallSite()
H A DInductiveRangeCheckElimination.cpp354 if (SE.willNotOverflow(Instruction::BinaryOps::Add, Signed, RHSS, One)) { in parseIvAgaisntLimit()
446 if (SE.willNotOverflow(BinOp, ICmpInst::isSigned(Pred), LHS, RHS, in reassociateSubLHS()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineInternal.h369 bool willNotOverflow(BinaryOperator::BinaryOps Opcode, const Value *LHS, in willNotOverflow() function
H A DInstructionCombining.cpp1580 !willNotOverflow(IntOpc, IntOps[0], IntOps[1], BO, OutputSigned)) in foldFBinOpOfIntCastsFromSign()
2297 if (!willNotOverflow(BO.getOpcode(), X, Y, BO, IsSext)) in narrowMathIfNoOverflow()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSimplifyIndVar.cpp418 if (!SE->willNotOverflow(WO->getBinaryOp(), WO->isSigned(), LHS, RHS)) in eliminateOverflowIntrinsic()
460 if (!SE->willNotOverflow(SI->getBinaryOp(), SI->isSigned(), LHS, RHS)) in eliminateSaturatingIntrinsic()
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DScalarEvolution.h537 bool willNotOverflow(Instruction::BinaryOps BinOp, bool Signed,
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DScalarEvolution.cpp2300 bool ScalarEvolution::willNotOverflow(Instruction::BinaryOps BinOp, bool Signed, in willNotOverflow() function in ScalarEvolution
2403 willNotOverflow((Instruction::BinaryOps)OBO->getOpcode(), in getStrengthenedNoWrapFlagsFromBinOp()
2410 willNotOverflow((Instruction::BinaryOps)OBO->getOpcode(), in getStrengthenedNoWrapFlagsFromBinOp()
13034 willNotOverflow(Instruction::Sub, /*Signed=*/true, Stride, in howManyLessThans()