Searched refs:getEqualPredicate (Results 1 – 3 of 3) sorted by relevance
1306 LLVM_ABI const SCEVPredicate *getEqualPredicate(const SCEV *LHS,
173 PSE.addPredicate(*SE->getEqualPredicate(StrideSCEV, CT)); in replaceSymbolicStrideSCEV()
5628 const SCEVPredicate *Pred = getEqualPredicate(Expr, ExtendedExpr); in createAddRecFromPHIWithCastsImpl()5698 !Preds->implies(SE.getEqualPredicate(Expr1, Expr2), SE) && in areAddRecsEqualWithPreds()5699 !Preds->implies(SE.getEqualPredicate(Expr2, Expr1), SE)) in areAddRecsEqualWithPreds()10207 Predicates->push_back(SE.getEqualPredicate(URem, Zero)); in SolveLinEquationWithOverflow()14744 const SCEVPredicate *ScalarEvolution::getEqualPredicate(const SCEV *LHS, in getEqualPredicate() function in ScalarEvolution