Lines Matching refs:DstConst

1079                                        const SCEV *DstConst,  in strongSIVtest()  argument
1089 DEBUG(dbgs() << "\t DstConst = " << *DstConst); in strongSIVtest()
1090 DEBUG(dbgs() << ", " << *DstConst->getType() << "\n"); in strongSIVtest()
1095 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in strongSIVtest()
1218 const SCEV *DstConst, in weakCrossingSIVtest() argument
1227 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n"); in weakCrossingSIVtest()
1232 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakCrossingSIVtest()
1439 const SCEV *DstConst, in exactSIVtest() argument
1448 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n"); in exactSIVtest()
1453 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactSIVtest()
1650 const SCEV *DstConst, in weakZeroSrcSIVtest() argument
1661 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n"); in weakZeroSrcSIVtest()
1666 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst); in weakZeroSrcSIVtest()
1670 if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) { in weakZeroSrcSIVtest()
1761 const SCEV *DstConst, in weakZeroDstSIVtest() argument
1771 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n"); in weakZeroDstSIVtest()
1776 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in weakZeroDstSIVtest()
1780 if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) { in weakZeroDstSIVtest()
1848 const SCEV *DstConst, in exactRDIVtest() argument
1856 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n"); in exactRDIVtest()
1859 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in exactRDIVtest()
2118 const SCEV *DstConst = DstAddRec->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()
2142 const SCEV *DstConst = Dst; in testSIV() local
2145 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2150 const SCEV *DstConst = DstAddRec->getStart(); in testSIV() local
2155 return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst, in testSIV()
2186 const SCEV *SrcConst, *DstConst; in testRDIV() local
2198 DstConst = DstAddRec->getStart(); in testRDIV()
2208 DstConst = Dst; in testRDIV()
2218 DstConst = tmpAddRec->getStart(); in testRDIV()
2231 SrcConst, DstConst, in testRDIV()
2236 SrcConst, DstConst, in testRDIV()
2334 const SCEV *DstConst = Coefficients; in gcdMIVtest() local
2337 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst); in gcdMIVtest()