Searched refs:Coefficients (Results 1 – 2 of 2) sorted by relevance
97 SmallVector<int64_t, 8> Coefficients; member107 ConstraintTy(SmallVector<int64_t, 8> Coefficients, bool IsSigned) in ConstraintTy()108 : Coefficients(Coefficients), IsSigned(IsSigned) {} in ConstraintTy()110 unsigned size() const { return Coefficients.size(); } in size()112 unsigned empty() const { return Coefficients.empty(); } in empty()467 auto &R = Res.Coefficients; in getConstraint()533 return Coefficients.size() > 0 && in isValid()543 getCS(R.IsSigned).isConditionImplied(R.Coefficients); in doesHold()777 if (CSToUse.isConditionImplied(R.Coefficients)) { in checkAndReplaceCondition()796 if (CSToUse.isConditionImplied(ConstraintSystem::negate(R.Coefficients))) { in checkAndReplaceCondition()[all …]
2413 const SCEV *Coefficients = Src; in gcdMIVtest() local2415 dyn_cast<SCEVAddRecExpr>(Coefficients)) { in gcdMIVtest()2424 Coefficients = AddRec->getStart(); in gcdMIVtest()2426 const SCEV *SrcConst = Coefficients; in gcdMIVtest()2432 Coefficients = Dst; in gcdMIVtest()2434 dyn_cast<SCEVAddRecExpr>(Coefficients)) { in gcdMIVtest()2443 Coefficients = AddRec->getStart(); in gcdMIVtest()2445 const SCEV *DstConst = Coefficients; in gcdMIVtest()2502 Coefficients = Src; in gcdMIVtest()2504 dyn_cast<SCEVAddRecExpr>(Coefficients)) { in gcdMIVtest()[all …]