Home | History | Annotate | Download | only in Analysis

Lines Matching refs:DstCoeff

1370                                       const SCEV *DstCoeff,
1379 DEBUG(dbgs() << "\t DstCoeff = " << *DstCoeff << " = BM\n");
1388 NewConstraint.setLine(SrcCoeff, SE->getNegativeSCEV(DstCoeff),
1392 const SCEVConstant *ConstDstCoeff = dyn_cast<SCEVConstant>(DstCoeff);
1581 bool DependenceAnalysis::weakZeroSrcSIVtest(const SCEV *DstCoeff,
1592 DEBUG(dbgs() << "\t DstCoeff = " << *DstCoeff << "\n");
1601 DstCoeff, Delta, CurLoop);
1611 const SCEVConstant *ConstCoeff = dyn_cast<SCEVConstant>(DstCoeff);
1779 const SCEV *DstCoeff,
1787 DEBUG(dbgs() << "\t DstCoeff = " << *DstCoeff << " = BM\n");
1796 const SCEVConstant *ConstDstCoeff = dyn_cast<SCEVConstant>(DstCoeff);
2053 const SCEV *DstCoeff = DstAddRec->getStepRecurrence(*SE);
2059 if (SrcCoeff == DstCoeff)
2062 else if (SrcCoeff == SE->getNegativeSCEV(DstCoeff))
2066 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2070 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2084 const SCEV *DstCoeff = DstAddRec->getStepRecurrence(*SE);
2088 return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,
2120 const SCEV *SrcCoeff, *DstCoeff;
2132 DstCoeff = DstAddRec->getStepRecurrence(*SE);
2142 DstCoeff = SE->getNegativeSCEV(SrcAddRec->getStepRecurrence(*SE));
2152 DstCoeff = tmpAddRec->getStepRecurrence(*SE);
2163 return exactRDIVtest(SrcCoeff, DstCoeff,
2168 symbolicRDIVtest(SrcCoeff, DstCoeff,
2331 const SCEV *DstCoeff = SE->getMinusSCEV(SrcCoeff, SrcCoeff);
2355 DstCoeff = Coeff;
2368 Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff);