Lines Matching refs:SrcCoeff
1369 bool DependenceAnalysis::exactSIVtest(const SCEV *SrcCoeff,
1378 DEBUG(dbgs() << "\t SrcCoeff = " << *SrcCoeff << " = AM\n");
1388 NewConstraint.setLine(SrcCoeff, SE->getNegativeSCEV(DstCoeff),
1391 const SCEVConstant *ConstSrcCoeff = dyn_cast<SCEVConstant>(SrcCoeff);
1620 // check that Delta/SrcCoeff < iteration count
1641 // check that Delta/SrcCoeff >= 0
1650 // if SrcCoeff doesn't divide Delta, then no dependence
1692 bool DependenceAnalysis::weakZeroDstSIVtest(const SCEV *SrcCoeff,
1702 DEBUG(dbgs() << "\t SrcCoeff = " << *SrcCoeff << "\n");
1710 NewConstraint.setLine(SrcCoeff, SE->getConstant(Delta->getType(), 0),
1721 const SCEVConstant *ConstCoeff = dyn_cast<SCEVConstant>(SrcCoeff);
1730 // check that Delta/SrcCoeff < iteration count
1751 // check that Delta/SrcCoeff >= 0
1760 // if SrcCoeff doesn't divide Delta, then no dependence
1778 bool DependenceAnalysis::exactRDIVtest(const SCEV *SrcCoeff,
1786 DEBUG(dbgs() << "\t SrcCoeff = " << *SrcCoeff << " = AM\n");
1795 const SCEVConstant *ConstSrcCoeff = dyn_cast<SCEVConstant>(SrcCoeff);
2052 const SCEV *SrcCoeff = SrcAddRec->getStepRecurrence(*SE);
2059 if (SrcCoeff == DstCoeff)
2060 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2062 else if (SrcCoeff == SE->getNegativeSCEV(DstCoeff))
2063 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2066 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2070 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2074 const SCEV *SrcCoeff = SrcAddRec->getStepRecurrence(*SE);
2078 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2120 const SCEV *SrcCoeff, *DstCoeff;
2129 SrcCoeff = SrcAddRec->getStepRecurrence(*SE);
2139 SrcCoeff = tmpAddRec->getStepRecurrence(*SE);
2155 SrcCoeff = SE->getNegativeSCEV(DstAddRec->getStepRecurrence(*SE));
2163 return exactRDIVtest(SrcCoeff, DstCoeff,
2168 symbolicRDIVtest(SrcCoeff, DstCoeff,
2330 const SCEV *SrcCoeff = AddRec->getStepRecurrence(*SE);
2331 const SCEV *DstCoeff = SE->getMinusSCEV(SrcCoeff, SrcCoeff);
2337 ; // SrcCoeff == Coeff
2368 Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff);
