Lines Matching refs:SrcConst
1009 const SCEV *SrcConst,
1018 DEBUG(dbgs() << "\t SrcConst = " << *SrcConst);
1019 DEBUG(dbgs() << ", " << *SrcConst->getType() << "\n");
1026 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);
1148 const SCEV *SrcConst,
1157 DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n");
1163 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
1371 const SCEV *SrcConst,
1380 DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n");
1386 SrcConst);
1582 const SCEV *SrcConst,
1593 DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n");
1599 const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);
1603 if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {
1693 const SCEV *SrcConst,
1703 DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n");
1709 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
1713 if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {
1780 const SCEV *SrcConst,
1788 DEBUG(dbgs() << "\t SrcConst = " << *SrcConst << "\n");
1792 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);
2050 const SCEV *SrcConst = SrcAddRec->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);
2073 const SCEV *SrcConst = SrcAddRec->getStart();
2078 return weakZeroDstSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2085 const SCEV *SrcConst = Src;
2088 return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,
2119 const SCEV *SrcConst, *DstConst;
2128 SrcConst = SrcAddRec->getStart();
2138 SrcConst = tmpAddRec->getStart();
2154 SrcConst = Src;
2164 SrcConst, DstConst,
2169 SrcConst, DstConst,
2246 const SCEV *SrcConst = Coefficients;
2270 const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);