Lines Matching refs:DstConst
1005 const SCEV *DstConst,
1015 DEBUG(dbgs() << "\t DstConst = " << *DstConst);
1016 DEBUG(dbgs() << ", " << *DstConst->getType() << "\n");
1021 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);
1144 const SCEV *DstConst,
1153 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1158 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
1367 const SCEV *DstConst,
1376 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1381 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
1578 const SCEV *DstConst,
1589 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1594 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);
1598 if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {
1689 const SCEV *DstConst,
1699 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1704 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
1708 if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {
1776 const SCEV *DstConst,
1784 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1787 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
2046 const SCEV *DstConst = DstAddRec->getStart();
2055 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2058 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2061 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2065 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2070 const SCEV *DstConst = Dst;
2073 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2078 const SCEV *DstConst = DstAddRec->getStart();
2083 return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,
2114 const SCEV *SrcConst, *DstConst;
2126 DstConst = DstAddRec->getStart();
2136 DstConst = Dst;
2146 DstConst = tmpAddRec->getStart();
2159 SrcConst, DstConst,
2164 SrcConst, DstConst,
2262 DstConst = Coefficients;
2265 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
