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