1028                                        const SCEV *DstConst,  in strongSIVtest()  argument
1038   DEBUG(dbgs() << "\t    DstConst = " << *DstConst);  in strongSIVtest()
1039   DEBUG(dbgs() << ", " << *DstConst->getType() << "\n");  in strongSIVtest()
1044   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in strongSIVtest()
1167                                              const SCEV *DstConst,  in weakCrossingSIVtest()  argument
1176   DEBUG(dbgs() << "\t    DstConst = " << *DstConst << "\n");  in weakCrossingSIVtest()
1181   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakCrossingSIVtest()
1390                                       const SCEV *DstConst,  in exactSIVtest()  argument
1399   DEBUG(dbgs() << "\t    DstConst = " << *DstConst << "\n");  in exactSIVtest()
1404   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactSIVtest()
1601                                             const SCEV *DstConst,  in weakZeroSrcSIVtest()  argument
1612   DEBUG(dbgs() << "\t    DstConst = " << *DstConst << "\n");  in weakZeroSrcSIVtest()
1617   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in weakZeroSrcSIVtest()
1621   if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {  in weakZeroSrcSIVtest()
1712                                             const SCEV *DstConst,  in weakZeroDstSIVtest()  argument
1722   DEBUG(dbgs() << "\t    DstConst = " << *DstConst << "\n");  in weakZeroDstSIVtest()
1727   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakZeroDstSIVtest()
1731   if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {  in weakZeroDstSIVtest()
1799                                        const SCEV *DstConst,  in exactRDIVtest()  argument
1807   DEBUG(dbgs() << "\t    DstConst = " << *DstConst << "\n");  in exactRDIVtest()
1810   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactRDIVtest()
2069     const SCEV *DstConst = DstAddRec->getStart();  in testSIV()  local
2078       disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2081       disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2084       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2088       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);  in testSIV()
2093     const SCEV *DstConst = Dst;  in testSIV()  local
2096     return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2101     const SCEV *DstConst = DstAddRec->getStart();  in testSIV()  local
2106     return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,  in testSIV()
2137   const SCEV *SrcConst, *DstConst;  in testRDIV()  local
2149     DstConst = DstAddRec->getStart();  in testRDIV()
2159       DstConst = Dst;  in testRDIV()
2169       DstConst = tmpAddRec->getStart();  in testRDIV()
2182                        SrcConst, DstConst,  in testRDIV()
2187                      SrcConst, DstConst,  in testRDIV()
2285   const SCEV *DstConst = Coefficients;  in gcdMIVtest()  local
2288   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in gcdMIVtest()