Home
last modified time | relevance | path

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

/external/llvm/include/llvm/Analysis/
DScalarEvolution.h1626 const SCEVPredicate *getEqualPredicate(const SCEVUnknown *LHS,
/external/swiftshader/third_party/llvm-10.0/llvm/include/llvm/Analysis/
DScalarEvolution.h1075 const SCEVPredicate *getEqualPredicate(const SCEV *LHS, const SCEV *RHS);
/external/llvm-project/llvm/include/llvm/Analysis/
DScalarEvolution.h1151 const SCEVPredicate *getEqualPredicate(const SCEV *LHS, const SCEV *RHS);
/external/llvm-project/llvm/lib/Analysis/
DLoopAccessAnalysis.cpp163 PSE.addPredicate(*SE->getEqualPredicate(U, CT)); in replaceSymbolicStrideSCEV()
DScalarEvolution.cpp4950 const SCEVPredicate *Pred = getEqualPredicate(Expr, ExtendedExpr); in createAddRecFromPHIWithCastsImpl()
5019 if (Expr1 != Expr2 && !Preds.implies(SE.getEqualPredicate(Expr1, Expr2)) && in areAddRecsEqualWithPreds()
5020 !Preds.implies(SE.getEqualPredicate(Expr2, Expr1))) in areAddRecsEqualWithPreds()
12677 const SCEVPredicate *ScalarEvolution::getEqualPredicate(const SCEV *LHS, in getEqualPredicate() function in ScalarEvolution
/external/llvm/lib/Analysis/
DLoopAccessAnalysis.cpp139 PSE.addPredicate(*SE->getEqualPredicate(U, CT)); in replaceSymbolicStrideSCEV()
DScalarEvolution.cpp10068 ScalarEvolution::getEqualPredicate(const SCEVUnknown *LHS, in getEqualPredicate() function in ScalarEvolution
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/
DLoopAccessAnalysis.cpp165 PSE.addPredicate(*SE->getEqualPredicate(U, CT)); in replaceSymbolicStrideSCEV()
DScalarEvolution.cpp4885 const SCEVPredicate *Pred = getEqualPredicate(Expr, ExtendedExpr); in createAddRecFromPHIWithCastsImpl()
4954 if (Expr1 != Expr2 && !Preds.implies(SE.getEqualPredicate(Expr1, Expr2)) && in areAddRecsEqualWithPreds()
4955 !Preds.implies(SE.getEqualPredicate(Expr2, Expr1))) in areAddRecsEqualWithPreds()
12134 const SCEVPredicate *ScalarEvolution::getEqualPredicate(const SCEV *LHS, in getEqualPredicate() function in ScalarEvolution