1168                                    const SCEV *DstConst, const Loop *CurLoop,  in strongSIVtest()  argument
1176   LLVM_DEBUG(dbgs() << "\t    DstConst = " << *DstConst);  in strongSIVtest()
1177   LLVM_DEBUG(dbgs() << ", " << *DstConst->getType() << "\n");  in strongSIVtest()
1182   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in strongSIVtest()
1304     const SCEV *Coeff, const SCEV *SrcConst, const SCEV *DstConst,  in weakCrossingSIVtest()  argument
1310   LLVM_DEBUG(dbgs() << "\t    DstConst = " << *DstConst << "\n");  in weakCrossingSIVtest()
1315   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakCrossingSIVtest()
1504                                   const SCEV *SrcConst, const SCEV *DstConst,  in exactSIVtest()  argument
1512   LLVM_DEBUG(dbgs() << "\t    DstConst = " << *DstConst << "\n");  in exactSIVtest()
1517   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactSIVtest()
1698                                         const SCEV *DstConst,  in weakZeroSrcSIVtest()  argument
1708   LLVM_DEBUG(dbgs() << "\t    DstConst = " << *DstConst << "\n");  in weakZeroSrcSIVtest()
1713   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in weakZeroSrcSIVtest()
1717   if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {  in weakZeroSrcSIVtest()
1808                                         const SCEV *DstConst,  in weakZeroDstSIVtest()  argument
1817   LLVM_DEBUG(dbgs() << "\t    DstConst = " << *DstConst << "\n");  in weakZeroDstSIVtest()
1822   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakZeroDstSIVtest()
1826   if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {  in weakZeroDstSIVtest()
1892                                    const SCEV *SrcConst, const SCEV *DstConst,  in exactRDIVtest()  argument
1899   LLVM_DEBUG(dbgs() << "\t    DstConst = " << *DstConst << "\n");  in exactRDIVtest()
1902   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactRDIVtest()
2172     const SCEV *DstConst = DstAddRec->getStart();  in testSIV()  local
2181       disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2184       disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2187       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2191       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);  in testSIV()
2196     const SCEV *DstConst = Dst;  in testSIV()  local
2199     return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2204     const SCEV *DstConst = DstAddRec->getStart();  in testSIV()  local
2209     return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,  in testSIV()
2239   const SCEV *SrcConst, *DstConst;  in testRDIV()  local
2251     DstConst = DstAddRec->getStart();  in testRDIV()
2261       DstConst = Dst;  in testRDIV()
2271       DstConst = tmpAddRec->getStart();  in testRDIV()
2284                        SrcConst, DstConst,  in testRDIV()
2289                      SrcConst, DstConst,  in testRDIV()
2382   const SCEV *DstConst = Coefficients;  in gcdMIVtest()  local
2385   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in gcdMIVtest()