Lines Matching refs:SrcConst
1167 bool DependenceInfo::strongSIVtest(const SCEV *Coeff, const SCEV *SrcConst, in strongSIVtest() argument
1174 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst); in strongSIVtest()
1175 LLVM_DEBUG(dbgs() << ", " << *SrcConst->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
1309 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n"); in weakCrossingSIVtest()
1315 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakCrossingSIVtest()
1504 const SCEV *SrcConst, const SCEV *DstConst, in exactSIVtest() argument
1511 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n"); in exactSIVtest()
1517 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactSIVtest()
1697 const SCEV *SrcConst, in weakZeroSrcSIVtest() argument
1707 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n"); in weakZeroSrcSIVtest()
1713 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in weakZeroSrcSIVtest()
1717 if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) { in weakZeroSrcSIVtest()
1807 const SCEV *SrcConst, in weakZeroDstSIVtest() argument
1816 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\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
1898 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n"); in exactRDIVtest()
1902 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactRDIVtest()
2171 const SCEV *SrcConst = SrcAddRec->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()
2194 const SCEV *SrcConst = SrcAddRec->getStart(); in testSIV() local
2199 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2206 const SCEV *SrcConst = Src; in testSIV() local
2209 return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst, in testSIV()
2239 const SCEV *SrcConst, *DstConst; in testRDIV() local
2248 SrcConst = SrcAddRec->getStart(); in testRDIV()
2258 SrcConst = tmpAddRec->getStart(); in testRDIV()
2274 SrcConst = Src; in testRDIV()
2284 SrcConst, DstConst, in testRDIV()
2289 SrcConst, DstConst, in testRDIV()
2363 const SCEV *SrcConst = Coefficients; in gcdMIVtest() local
2385 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in gcdMIVtest()