Lines Matching defs:SrcCoeff

1566 bool DependenceInfo::exactSIVtest(const SCEV *SrcCoeff, const SCEV *DstCoeff,
1572   LLVM_DEBUG(dbgs() << "\t    SrcCoeff = " << *SrcCoeff << " = AM\n");
1582   NewConstraint.setLine(SrcCoeff, SE->getNegativeSCEV(DstCoeff), Delta,
1585   const SCEVConstant *ConstSrcCoeff = dyn_cast<SCEVConstant>(SrcCoeff);
1797   // check that Delta/SrcCoeff < iteration count
1818   // check that Delta/SrcCoeff >= 0
1827   // if SrcCoeff doesn't divide Delta, then no dependence
1869 bool DependenceInfo::weakZeroDstSIVtest(const SCEV *SrcCoeff,
1878   LLVM_DEBUG(dbgs() << "\t    SrcCoeff = " << *SrcCoeff << "\n");
1886   NewConstraint.setLine(SrcCoeff, SE->getZero(Delta->getType()), Delta,
1897   const SCEVConstant *ConstCoeff = dyn_cast<SCEVConstant>(SrcCoeff);
1906   // check that Delta/SrcCoeff < iteration count
1927   // check that Delta/SrcCoeff >= 0
1936   // if SrcCoeff doesn't divide Delta, then no dependence
1954 bool DependenceInfo::exactRDIVtest(const SCEV *SrcCoeff, const SCEV *DstCoeff,
1959   LLVM_DEBUG(dbgs() << "\t    SrcCoeff = " << *SrcCoeff << " = AM\n");
1968   const SCEVConstant *ConstSrcCoeff = dyn_cast<SCEVConstant>(SrcCoeff);
2236     const SCEV *SrcCoeff = SrcAddRec->getStepRecurrence(*SE);
2243     if (SrcCoeff == DstCoeff)
2244       disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2246     else if (SrcCoeff == SE->getNegativeSCEV(DstCoeff))
2247       disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2250       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2254       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2258     const SCEV *SrcCoeff = SrcAddRec->getStepRecurrence(*SE);
2262     return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2303   const SCEV *SrcCoeff, *DstCoeff;
2312     SrcCoeff = SrcAddRec->getStepRecurrence(*SE);
2322       SrcCoeff = tmpAddRec->getStepRecurrence(*SE);
2338       SrcCoeff = SE->getNegativeSCEV(DstAddRec->getStepRecurrence(*SE));
2346   return exactRDIVtest(SrcCoeff, DstCoeff,
2351     symbolicRDIVtest(SrcCoeff, DstCoeff,
2508     const SCEV *SrcCoeff = AddRec->getStepRecurrence(*SE);
2509     const SCEV *DstCoeff = SE->getMinusSCEV(SrcCoeff, SrcCoeff);
2515         ; // SrcCoeff == Coeff
2544     Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff);