Lines Matching refs:RightSCEV
193 const SCEV *RightSCEV = SE.getSCEV(RightVal);
197 if (SE.isKnownPredicate(Pred, LeftSCEV, RightSCEV) ||
199 RightSCEV))
205 if (isa<SCEVAddRecExpr>(RightSCEV)) {
206 std::swap(LeftSCEV, RightSCEV);
234 if (!SE.isKnownPredicate(Pred, IterVal, RightSCEV))
251 SE.isKnownPredicate(Pred, IterVal, RightSCEV))
257 RightSCEV))
265 RightSCEV) &&
266 !SE.isKnownPredicate(Pred, IterVal, RightSCEV) &&
267 SE.isKnownPredicate(Pred, NextIterVal, RightSCEV)) {