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