reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
788 const SCEV *LatchCount = SE.getExitCount(&L, Latch); 796 const SCEV *LeftSCEV = SE.getSCEV(LeftValue); 800 const SCEV *RightSCEV = SE.getSCEV(RightValue); 823 dyn_cast<SCEVAddRecExpr>(SE.getSignExtendExpr(AR, WideTy)); 825 const SCEV *ExtendedStart = SE.getSignExtendExpr(AR->getStart(), WideTy); 827 SE.getSignExtendExpr(AR->getStepRecurrence(SE), WideTy); 827 SE.getSignExtendExpr(AR->getStepRecurrence(SE), WideTy); 830 ExtendAfterOp->getStepRecurrence(SE) == ExtendedStep; 848 const SCEV* StepRec = IndVarBase->getStepRecurrence(SE); 864 const SCEV *Addend = SE.getNegativeSCEV(IndVarBase->getStepRecurrence(SE)); 864 const SCEV *Addend = SE.getNegativeSCEV(IndVarBase->getStepRecurrence(SE)); 865 const SCEV *IndVarStart = SE.getAddExpr(StartNext, Addend); 866 const SCEV *Step = SE.getSCEV(StepCI); 880 if (isKnownNonNegativeInLoop(IndVarStart, &L, SE) && 881 isKnownNonNegativeInLoop(RightSCEV, &L, SE)) 892 cannotBeMinInLoop(RightSCEV, &L, SE, /*Signed*/false)) { 894 RightSCEV = SE.getMinusSCEV(RightSCEV, 895 SE.getOne(RightSCEV->getType())); 897 } else if (cannotBeMinInLoop(RightSCEV, &L, SE, /*Signed*/true)) { 899 RightSCEV = SE.getMinusSCEV(RightSCEV, 900 SE.getOne(RightSCEV->getType())); 923 LatchBrExitIdx, &L, SE)) { 957 cannotBeMaxInLoop(RightSCEV, &L, SE, /* Signed */ false)) { 959 RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType())); 959 RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType())); 961 } else if (cannotBeMaxInLoop(RightSCEV, &L, SE, /* Signed */ true)) { 963 RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType())); 963 RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType())); 989 LatchBrExitIdx, &L, SE)) { 1008 assert(SE.getLoopDisposition(LatchCount, &L) == 1015 SCEVExpander(SE, DL, "irce")