Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DCorrelatedValuePropagation.cpp459 static bool willNotOverflow(BinaryOpIntrinsic *BO, LazyValueInfo *LVI) { in willNotOverflow() function
691 if (willNotOverflow(WO, LVI)) in processCallSite()
696 if (willNotOverflow(SI, LVI)) in processCallSite()
H A DInductiveRangeCheckElimination.cpp348 if (SE.willNotOverflow(Instruction::BinaryOps::Add, Signed, RHSS, One)) { in parseIvAgaisntLimit()
440 if (SE.willNotOverflow(BinOp, ICmpInst::isSigned(Pred), LHS, RHS, in reassociateSubLHS()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSimplifyIndVar.cpp420 if (!SE->willNotOverflow(WO->getBinaryOp(), WO->isSigned(), LHS, RHS)) in eliminateOverflowIntrinsic()
462 if (!SE->willNotOverflow(SI->getBinaryOp(), SI->isSigned(), LHS, RHS)) in eliminateSaturatingIntrinsic()
H A DScalarEvolutionExpander.cpp2143 SE.willNotOverflow(Instruction::Mul, Signed, Step, in generateOverflowCheck()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineInternal.h370 bool willNotOverflow(BinaryOperator::BinaryOps Opcode, const Value *LHS, in willNotOverflow() function
H A DInstCombineSelect.cpp1963 willNotOverflow(BinOpc, RHS, C2, *BinOpInst, /*IsSigned=*/true)) in foldSelectWithConstOpToBinOp()
1966 willNotOverflow(BinOpc, RHS, C2, *BinOpInst, /*IsSigned=*/false)) in foldSelectWithConstOpToBinOp()
H A DInstructionCombining.cpp1628 !willNotOverflow(IntOpc, IntOps[0], IntOps[1], BO, OutputSigned)) in foldFBinOpOfIntCastsFromSign()
2539 if (!willNotOverflow(BO.getOpcode(), X, Y, BO, IsSext)) in narrowMathIfNoOverflow()
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DLoopAccessAnalysis.cpp195 if (!SE.willNotOverflow(Instruction::Add, /*IsSigned=*/false, A, B)) in addSCEVNoOverflow()
204 if (!SE.willNotOverflow(Instruction::Mul, /*IsSigned=*/false, A, B)) in mulSCEVOverflow()
H A DScalarEvolution.cpp2303 bool ScalarEvolution::willNotOverflow(Instruction::BinaryOps BinOp, bool Signed, in willNotOverflow() function in ScalarEvolution
2406 willNotOverflow((Instruction::BinaryOps)OBO->getOpcode(), in getStrengthenedNoWrapFlagsFromBinOp()
2413 willNotOverflow((Instruction::BinaryOps)OBO->getOpcode(), in getStrengthenedNoWrapFlagsFromBinOp()
13177 willNotOverflow(Instruction::Sub, /*Signed=*/true, Stride, in howManyLessThans()
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DScalarEvolution.h534 LLVM_ABI bool willNotOverflow(Instruction::BinaryOps BinOp, bool Signed,