Searched refs:OpStep (Results 1 – 1 of 1) sorted by relevance
15000 const SCEV *OpStep = Op->AR->getStepRecurrence(SE); in implies() local15001 if (!SE.isKnownPositive(Step) || !SE.isKnownPositive(OpStep)) in implies()15006 Type *WiderTy = SE.getWiderType(Step->getType(), OpStep->getType()); in implies()15008 OpStep = SE.getNoopOrZeroExtend(OpStep, WiderTy); in implies()15016 return SE.isKnownPredicate(Pred, OpStep, Step) && in implies()