Lines Matching refs:SrcConst

1230 bool DependenceInfo::strongSIVtest(const SCEV *Coeff, const SCEV *SrcConst,  in strongSIVtest()  argument
1237 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst); in strongSIVtest()
1238 LLVM_DEBUG(dbgs() << ", " << *SrcConst->getType() << "\n"); in strongSIVtest()
1245 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in strongSIVtest()
1367 const SCEV *Coeff, const SCEV *SrcConst, const SCEV *DstConst, in weakCrossingSIVtest() argument
1372 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n"); in weakCrossingSIVtest()
1378 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakCrossingSIVtest()
1567 const SCEV *SrcConst, const SCEV *DstConst, in exactSIVtest() argument
1574 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n"); in exactSIVtest()
1580 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactSIVtest()
1760 const SCEV *SrcConst, in weakZeroSrcSIVtest() argument
1770 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n"); in weakZeroSrcSIVtest()
1776 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in weakZeroSrcSIVtest()
1780 if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) { in weakZeroSrcSIVtest()
1870 const SCEV *SrcConst, in weakZeroDstSIVtest() argument
1879 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n"); in weakZeroDstSIVtest()
1885 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakZeroDstSIVtest()
1889 if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) { in weakZeroDstSIVtest()
1955 const SCEV *SrcConst, const SCEV *DstConst, in exactRDIVtest() argument
1961 LLVM_DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n"); in exactRDIVtest()
1965 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactRDIVtest()
2234 const SCEV *SrcConst = SrcAddRec->getStart(); in testSIV() local
2244 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2247 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2250 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2254 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop); in testSIV()
2257 const SCEV *SrcConst = SrcAddRec->getStart(); in testSIV() local
2262 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2269 const SCEV *SrcConst = Src; in testSIV() local
2272 return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst, in testSIV()
2302 const SCEV *SrcConst, *DstConst; in testRDIV() local
2311 SrcConst = SrcAddRec->getStart(); in testRDIV()
2321 SrcConst = tmpAddRec->getStart(); in testRDIV()
2337 SrcConst = Src; in testRDIV()
2347 SrcConst, DstConst, in testRDIV()
2352 SrcConst, DstConst, in testRDIV()
2426 const SCEV *SrcConst = Coefficients; in gcdMIVtest() local
2448 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in gcdMIVtest()