1145 bool DependenceInfo::strongSIVtest(const SCEV *Coeff, const SCEV *SrcConst,  in strongSIVtest()  argument
1152   LLVM_DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst);  in strongSIVtest()
1153   LLVM_DEBUG(dbgs() << ", " << *SrcConst->getType() << "\n");  in strongSIVtest()
1160   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in strongSIVtest()
1282     const SCEV *Coeff, const SCEV *SrcConst, const SCEV *DstConst,  in weakCrossingSIVtest()  argument
1287   LLVM_DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst << "\n");  in weakCrossingSIVtest()
1293   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakCrossingSIVtest()
1482                                   const SCEV *SrcConst, const SCEV *DstConst,  in exactSIVtest()  argument
1489   LLVM_DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst << "\n");  in exactSIVtest()
1495   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactSIVtest()
1675                                         const SCEV *SrcConst,  in weakZeroSrcSIVtest()  argument
1685   LLVM_DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst << "\n");  in weakZeroSrcSIVtest()
1691   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in weakZeroSrcSIVtest()
1695   if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {  in weakZeroSrcSIVtest()
1785                                         const SCEV *SrcConst,  in weakZeroDstSIVtest()  argument
1794   LLVM_DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst << "\n");  in weakZeroDstSIVtest()
1800   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakZeroDstSIVtest()
1804   if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {  in weakZeroDstSIVtest()
1870                                    const SCEV *SrcConst, const SCEV *DstConst,  in exactRDIVtest()  argument
1876   LLVM_DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst << "\n");  in exactRDIVtest()
1880   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactRDIVtest()
2149     const SCEV *SrcConst = SrcAddRec->getStart();  in testSIV()  local
2159       disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2162       disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2165       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2169       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);  in testSIV()
2172     const SCEV *SrcConst = SrcAddRec->getStart();  in testSIV()  local
2177     return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2184     const SCEV *SrcConst = Src;  in testSIV()  local
2187     return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,  in testSIV()
2217   const SCEV *SrcConst, *DstConst;  in testRDIV()  local
2226     SrcConst = SrcAddRec->getStart();  in testRDIV()
2236       SrcConst = tmpAddRec->getStart();  in testRDIV()
2252       SrcConst = Src;  in testRDIV()
2262                        SrcConst, DstConst,  in testRDIV()
2267                      SrcConst, DstConst,  in testRDIV()
2341   const SCEV *SrcConst = Coefficients;  in gcdMIVtest()  local
2363   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in gcdMIVtest()