Lines Matching refs:DstCoeff
1413 bool DependenceInfo::exactSIVtest(const SCEV *SrcCoeff, const SCEV *DstCoeff,
1420 DEBUG(dbgs() << "\t DstCoeff = " << *DstCoeff << " = BM\n");
1429 NewConstraint.setLine(SrcCoeff, SE->getNegativeSCEV(DstCoeff),
1433 const SCEVConstant *ConstDstCoeff = dyn_cast<SCEVConstant>(DstCoeff);
1622 bool DependenceInfo::weakZeroSrcSIVtest(const SCEV *DstCoeff,
1632 DEBUG(dbgs() << "\t DstCoeff = " << *DstCoeff << "\n");
1640 NewConstraint.setLine(SE->getZero(Delta->getType()), DstCoeff, Delta,
1651 const SCEVConstant *ConstCoeff = dyn_cast<SCEVConstant>(DstCoeff);
1817 bool DependenceInfo::exactRDIVtest(const SCEV *SrcCoeff, const SCEV *DstCoeff,
1823 DEBUG(dbgs() << "\t DstCoeff = " << *DstCoeff << " = BM\n");
1832 const SCEVConstant *ConstDstCoeff = dyn_cast<SCEVConstant>(DstCoeff);
2084 const SCEV *DstCoeff = DstAddRec->getStepRecurrence(*SE);
2090 if (SrcCoeff == DstCoeff)
2093 else if (SrcCoeff == SE->getNegativeSCEV(DstCoeff))
2097 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2101 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);
2115 const SCEV *DstCoeff = DstAddRec->getStepRecurrence(*SE);
2119 return weakZeroSrcSIVtest(DstCoeff, SrcConst, DstConst,
2150 const SCEV *SrcCoeff, *DstCoeff;
2162 DstCoeff = DstAddRec->getStepRecurrence(*SE);
2172 DstCoeff = SE->getNegativeSCEV(SrcAddRec->getStepRecurrence(*SE));
2182 DstCoeff = tmpAddRec->getStepRecurrence(*SE);
2193 return exactRDIVtest(SrcCoeff, DstCoeff,
2198 symbolicRDIVtest(SrcCoeff, DstCoeff,
2356 const SCEV *DstCoeff = SE->getMinusSCEV(SrcCoeff, SrcCoeff);
2379 DstCoeff = Coeff;
2391 Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff);
