Lines Matching refs:ConstraintTy
223 struct ConstraintTy { struct
231 ConstraintTy() = default;
233 ConstraintTy(SmallVector<int64_t, 8> Coefficients, bool IsSigned, bool IsEq, in ConstraintTy() function
281 ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0), in ConstraintInfo()
316 ConstraintTy getConstraint(CmpInst::Predicate Pred, Value *Op0, Value *Op1,
326 ConstraintTy getConstraintForSolving(CmpInst::Predicate Pred, Value *Op0,
617 ConstraintTy
694 ConstraintTy Res( in getConstraint()
749 ConstraintTy ConstraintInfo::getConstraintForSolving(CmpInst::Predicate Pred, in getConstraintForSolving()
759 return ConstraintTy(SmallVector<int64_t, 8>(Value2Index.size(), 0), false, in getConstraintForSolving()
772 ConstraintTy R = getConstraint(Pred, Op0, Op1, NewVariables); in getConstraintForSolving()
778 bool ConstraintTy::isValid(const ConstraintInfo &Info) const { in isValid()
786 ConstraintTy::isImpliedBy(const ConstraintSystem &CS) const { in isImpliedBy()
1596 ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0), in addFact()