Lines Matching refs:DstConst
1010 const SCEV *DstConst,
1020 DEBUG(dbgs() << "\t DstConst = " << *DstConst);
1021 DEBUG(dbgs() << ", " << *DstConst->getType() << "\n");
1026 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);
1149 const SCEV *DstConst,
1158 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1163 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
1372 const SCEV *DstConst,
1381 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1386 DstConst, SrcConst);
1583 const SCEV *DstConst,
1594 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1599 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);
1603 if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {
1694 const SCEV *DstConst,
1704 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1709 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
1713 if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {
1781 const SCEV *DstConst,
1789 DEBUG(dbgs() << "\t DstConst = " << *DstConst << "\n");
1792 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
2051 const SCEV *DstConst = DstAddRec->getStart();
2060 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2063 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2066 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2070 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2075 const SCEV *DstConst = Dst;
2078 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2083 const SCEV *DstConst = DstAddRec->getStart();
2088 return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,
2119 const SCEV *SrcConst, *DstConst;
2131 DstConst = DstAddRec->getStart();
2141 DstConst = Dst;
2151 DstConst = tmpAddRec->getStart();
2164 SrcConst, DstConst,
2169 SrcConst, DstConst,
2267 const SCEV *DstConst = Coefficients;
2270 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
