Lines Matching full:cstr

23                                    ValueBoundsConstraintSet &cstr) const {
33     AffineExpr lhs = cstr.getExpr(addIOp.getLhs());
34     AffineExpr rhs = cstr.getExpr(addIOp.getRhs());
35     cstr.bound(value) == lhs + rhs;
43                                    ValueBoundsConstraintSet &cstr) const {
48       cstr.bound(value) == attr.getInt();
55                                    ValueBoundsConstraintSet &cstr) const {
59     AffineExpr lhs = cstr.getExpr(subIOp.getLhs());
60     AffineExpr rhs = cstr.getExpr(subIOp.getRhs());
61     cstr.bound(value) == lhs - rhs;
68                                    ValueBoundsConstraintSet &cstr) const {
72     AffineExpr lhs = cstr.getExpr(mulIOp.getLhs());
73     AffineExpr rhs = cstr.getExpr(mulIOp.getRhs());
74     cstr.bound(value) == lhs *rhs;
83                              ValueBoundsConstraintSet &cstr) {
92       cstr.bound(value)[*dim] == cstr.getExpr(trueValue, dim);
93       cstr.bound(value)[*dim] == cstr.getExpr(falseValue, dim);
94       cstr.bound(value)[*dim] == cstr.getExpr(condition, dim);
100     cstr.populateConstraints(trueValue, dim);
101     cstr.populateConstraints(falseValue, dim);
102     auto boundsBuilder = cstr.bound(value);
110     if (cstr.populateAndCompare(
115         cstr.bound(value)[*dim] >= cstr.getExpr(trueValue, dim);
116         cstr.bound(value)[*dim] <= cstr.getExpr(falseValue, dim);
118         cstr.bound(value) >= trueValue;
119         cstr.bound(value) <= falseValue;
125     if (cstr.populateAndCompare(
130         cstr.bound(value)[*dim] >= cstr.getExpr(falseValue, dim);
131         cstr.bound(value)[*dim] <= cstr.getExpr(trueValue, dim);
133         cstr.bound(value) >= falseValue;
134         cstr.bound(value) <= trueValue;
140                                    ValueBoundsConstraintSet &cstr) const {
141     populateBounds(cast<SelectOp>(op), /*dim=*/std::nullopt, cstr);
145                                        ValueBoundsConstraintSet &cstr) const {
146     populateBounds(cast<SelectOp>(op), dim, cstr);