Lines Matching full:coefficients

224   SmallVector<int64_t, 8> Coefficients;
233   ConstraintTy(SmallVector<int64_t, 8> Coefficients, bool IsSigned, bool IsEq,
235       : Coefficients(std::move(Coefficients)), IsSigned(IsSigned), IsEq(IsEq),
238   unsigned size() const { return Coefficients.size(); }
240   unsigned empty() const { return Coefficients.empty(); }
283       VarPos.Coefficients[Value2Index[Arg]] = -1;
284       UnsignedCS.addVariableRow(VarPos.Coefficients);
446   // as the coefficients used to encode constraints are 64 bit integers.
497   // Don't handle integers > 64 bit. Our coefficients are 64-bit large, so
692   // Build result constraint, by first adding all coefficients from A and then
693   // subtracting all coefficients from B.
700   auto &R = Res.Coefficients;
779   return Coefficients.size() > 0 &&
787   bool IsConditionImplied = CS.isConditionImplied(Coefficients);
790     auto NegatedOrEqual = ConstraintSystem::negateOrEqual(Coefficients);
800     auto Negated = ConstraintSystem::negate(Coefficients);
803     auto StrictLessThan = ConstraintSystem::toStrictLessThan(Coefficients);
820   auto Negated = ConstraintSystem::negate(Coefficients);
833          getCS(R.IsSigned).isConditionImplied(R.Coefficients);
1570   if (R.Coefficients.empty())
1573   Added |= CSToUse.addVariableRowFill(R.Coefficients);
1587       dumpConstraint(R.Coefficients, getValue2Index(R.IsSigned));
1598         VarPos.Coefficients[Value2Index[V]] = -1;
1599         CSToUse.addVariableRow(VarPos.Coefficients);
1607       for (auto &Coeff : R.Coefficients)
1609       CSToUse.addVariableRowFill(R.Coefficients);
1659     return CSToUse.isConditionImplied(R.Coefficients);