Lines Matching refs:DstConst
1067 const SCEV *DstConst, const Loop *CurLoop,
1075 DEBUG(dbgs() << "\t DstConst = " << *DstConst);
1076 DEBUG(dbgs() << ", " << *DstConst->getType() << "\n");
1081 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);
1203 const SCEV *Coeff, const SCEV *SrcConst, const SCEV *DstConst,
1209 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1214 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
1414 const SCEV *SrcConst, const SCEV *DstConst,
1422 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1427 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
1624 const SCEV *DstConst,
1634 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1639 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);
1643 if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {
1734 const SCEV *DstConst,
1743 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1748 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
1752 if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {
1818 const SCEV *SrcConst, const SCEV *DstConst,
1825 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1828 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
2082 const SCEV *DstConst = DstAddRec->getStart();
2091 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2094 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2097 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2101 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2106 const SCEV *DstConst = Dst;
2109 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2114 const SCEV *DstConst = DstAddRec->getStart();
2119 return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,
2149 const SCEV *SrcConst, *DstConst;
2161 DstConst = DstAddRec->getStart();
2171 DstConst = Dst;
2181 DstConst = tmpAddRec->getStart();
2194 SrcConst, DstConst,
2199 SrcConst, DstConst,
2292 const SCEV *DstConst = Coefficients;
2295 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
