1566 bool DependenceInfo::exactSIVtest(const SCEV *SrcCoeff, const SCEV *DstCoeff,  in exactSIVtest()  argument
1573   LLVM_DEBUG(dbgs() << "\t    DstCoeff = " << *DstCoeff << " = BM\n");  in exactSIVtest()
1582   NewConstraint.setLine(SrcCoeff, SE->getNegativeSCEV(DstCoeff), Delta,  in exactSIVtest()
1586   const SCEVConstant *ConstDstCoeff = dyn_cast<SCEVConstant>(DstCoeff);  in exactSIVtest()
1759 bool DependenceInfo::weakZeroSrcSIVtest(const SCEV *DstCoeff,  in weakZeroSrcSIVtest()  argument
1769   LLVM_DEBUG(dbgs() << "\t    DstCoeff = " << *DstCoeff << "\n");  in weakZeroSrcSIVtest()
1777   NewConstraint.setLine(SE->getZero(Delta->getType()), DstCoeff, Delta,  in weakZeroSrcSIVtest()
1788   const SCEVConstant *ConstCoeff = dyn_cast<SCEVConstant>(DstCoeff);  in weakZeroSrcSIVtest()
1954 bool DependenceInfo::exactRDIVtest(const SCEV *SrcCoeff, const SCEV *DstCoeff,  in exactRDIVtest()  argument
1960   LLVM_DEBUG(dbgs() << "\t    DstCoeff = " << *DstCoeff << " = BM\n");  in exactRDIVtest()
1969   const SCEVConstant *ConstDstCoeff = dyn_cast<SCEVConstant>(DstCoeff);  in exactRDIVtest()
2237     const SCEV *DstCoeff = DstAddRec->getStepRecurrence(*SE);  in testSIV()  local
2243     if (SrcCoeff == DstCoeff)  in testSIV()
2246     else if (SrcCoeff == SE->getNegativeSCEV(DstCoeff))  in testSIV()
2250       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2254       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);  in testSIV()
2268     const SCEV *DstCoeff = DstAddRec->getStepRecurrence(*SE);  in testSIV()  local
2272     return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,  in testSIV()
2303   const SCEV *SrcCoeff, *DstCoeff;  in testRDIV()  local
2315     DstCoeff = DstAddRec->getStepRecurrence(*SE);  in testRDIV()
2325       DstCoeff = SE->getNegativeSCEV(SrcAddRec->getStepRecurrence(*SE));  in testRDIV()
2335       DstCoeff = tmpAddRec->getStepRecurrence(*SE);  in testRDIV()
2346   return exactRDIVtest(SrcCoeff, DstCoeff,  in testRDIV()
2351     symbolicRDIVtest(SrcCoeff, DstCoeff,  in testRDIV()
2509     const SCEV *DstCoeff = SE->getMinusSCEV(SrcCoeff, SrcCoeff);  in gcdMIVtest()  local
2532         DstCoeff = Coeff;  in gcdMIVtest()
2544     Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff);  in gcdMIVtest()