1413 bool DependenceInfo::exactSIVtest(const SCEV *SrcCoeff, const SCEV *DstCoeff,  in exactSIVtest()  argument
1419   DEBUG(dbgs() << "\t    SrcCoeff = " << *SrcCoeff << " = AM\n");  in exactSIVtest()
1429   NewConstraint.setLine(SrcCoeff, SE->getNegativeSCEV(DstCoeff),  in exactSIVtest()
1432   const SCEVConstant *ConstSrcCoeff = dyn_cast<SCEVConstant>(SrcCoeff);  in exactSIVtest()
1732 bool DependenceInfo::weakZeroDstSIVtest(const SCEV *SrcCoeff,  in weakZeroDstSIVtest()  argument
1741   DEBUG(dbgs() << "\t    SrcCoeff = " << *SrcCoeff << "\n");  in weakZeroDstSIVtest()
1749   NewConstraint.setLine(SrcCoeff, SE->getZero(Delta->getType()), Delta,  in weakZeroDstSIVtest()
1760   const SCEVConstant *ConstCoeff = dyn_cast<SCEVConstant>(SrcCoeff);  in weakZeroDstSIVtest()
1817 bool DependenceInfo::exactRDIVtest(const SCEV *SrcCoeff, const SCEV *DstCoeff,  in exactRDIVtest()  argument
1822   DEBUG(dbgs() << "\t    SrcCoeff = " << *SrcCoeff << " = AM\n");  in exactRDIVtest()
1831   const SCEVConstant *ConstSrcCoeff = dyn_cast<SCEVConstant>(SrcCoeff);  in exactRDIVtest()
2083     const SCEV *SrcCoeff = SrcAddRec->getStepRecurrence(*SE);  in testSIV()  local
2090     if (SrcCoeff == DstCoeff)  in testSIV()
2091       disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2093     else if (SrcCoeff == SE->getNegativeSCEV(DstCoeff))  in testSIV()
2094       disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2097       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2101       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);  in testSIV()
2105     const SCEV *SrcCoeff = SrcAddRec->getStepRecurrence(*SE);  in testSIV()  local
2109     return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2150   const SCEV *SrcCoeff, *DstCoeff;  in testRDIV()  local
2159     SrcCoeff = SrcAddRec->getStepRecurrence(*SE);  in testRDIV()
2169       SrcCoeff = tmpAddRec->getStepRecurrence(*SE);  in testRDIV()
2185       SrcCoeff = SE->getNegativeSCEV(DstAddRec->getStepRecurrence(*SE));  in testRDIV()
2193   return exactRDIVtest(SrcCoeff, DstCoeff,  in testRDIV()
2198     symbolicRDIVtest(SrcCoeff, DstCoeff,  in testRDIV()
2355     const SCEV *SrcCoeff = AddRec->getStepRecurrence(*SE);  in gcdMIVtest()  local
2356     const SCEV *DstCoeff = SE->getMinusSCEV(SrcCoeff, SrcCoeff);  in gcdMIVtest()
2391     Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff);  in gcdMIVtest()