Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DConstraintElimination.cpp140 ConditionTy Precond = ConditionTy()) in FactOrCheck()
141 : Cond(Pred, Op0, Op1), DoesHold(Precond), NumIn(DTN->getDFSNumIn()), in FactOrCheck()
146 ConditionTy Precond = ConditionTy()) { in getConditionFact()
147 return FactOrCheck(DTN, Pred, Op0, Op1, Precond); in getConditionFact()
1042 ConditionTy Precond = {CmpInst::ICMP_ULE, StartValue, B}; in addInfoForInductions() local
1049 DT.getNode(EB), CmpInst::ICMP_ULE, A, B, Precond)); in addInfoForInductions()