Lines Matching defs:ConstraintTy
222 struct ConstraintTy {
230 ConstraintTy() = default;
232 ConstraintTy(SmallVector<int64_t, 8> Coefficients, bool IsSigned, bool IsEq,
280 ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),
315 ConstraintTy getConstraint(CmpInst::Predicate Pred, Value *Op0, Value *Op1,
326 ConstraintTy getConstraintForSolving(CmpInst::Predicate Pred, Value *Op0,
646 ConstraintTy
727 ConstraintTy Res(
782 ConstraintTy ConstraintInfo::getConstraintForSolving(CmpInst::Predicate Pred,
792 return ConstraintTy(SmallVector<int64_t, 8>(Value2Index.size(), 0), false,
805 ConstraintTy R = getConstraint(Pred, Op0, Op1, NewVariables);
811 bool ConstraintTy::isValid(const ConstraintInfo &Info) const {
819 ConstraintTy::isImpliedBy(const ConstraintSystem &CS) const {
1645 ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),