1078                                        const SCEV *SrcConst,  in strongSIVtest()  argument
1087   DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst);  in strongSIVtest()
1088   DEBUG(dbgs() << ", " << *SrcConst->getType() << "\n");  in strongSIVtest()
1095   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in strongSIVtest()
1217                                              const SCEV *SrcConst,  in weakCrossingSIVtest()  argument
1226   DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst << "\n");  in weakCrossingSIVtest()
1232   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakCrossingSIVtest()
1438                                       const SCEV *SrcConst,  in exactSIVtest()  argument
1447   DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst << "\n");  in exactSIVtest()
1453   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactSIVtest()
1649                                             const SCEV *SrcConst,  in weakZeroSrcSIVtest()  argument
1660   DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst << "\n");  in weakZeroSrcSIVtest()
1666   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in weakZeroSrcSIVtest()
1670   if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {  in weakZeroSrcSIVtest()
1760                                             const SCEV *SrcConst,  in weakZeroDstSIVtest()  argument
1770   DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst << "\n");  in weakZeroDstSIVtest()
1776   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakZeroDstSIVtest()
1780   if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {  in weakZeroDstSIVtest()
1847                                        const SCEV *SrcConst,  in exactRDIVtest()  argument
1855   DEBUG(dbgs() << "\t    SrcConst = " << *SrcConst << "\n");  in exactRDIVtest()
1859   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactRDIVtest()
2117     const SCEV *SrcConst = SrcAddRec->getStart();  in testSIV()  local
2127       disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2130       disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2133       disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2137       symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);  in testSIV()
2140     const SCEV *SrcConst = SrcAddRec->getStart();  in testSIV()  local
2145     return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,  in testSIV()
2152     const SCEV *SrcConst = Src;  in testSIV()  local
2155     return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,  in testSIV()
2186   const SCEV *SrcConst, *DstConst;  in testRDIV()  local
2195     SrcConst = SrcAddRec->getStart();  in testRDIV()
2205       SrcConst = tmpAddRec->getStart();  in testRDIV()
2221       SrcConst = Src;  in testRDIV()
2231                        SrcConst, DstConst,  in testRDIV()
2236                      SrcConst, DstConst,  in testRDIV()
2313   const SCEV *SrcConst = Coefficients;  in gcdMIVtest()  local
2337   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in gcdMIVtest()