Lines Matching full:cstr

23                                        ValueBoundsConstraintSet &cstr) const {
29       cstr.bound(value)[dim] == cstr.getExpr(castOp.getSource(), dim);
37                                    ValueBoundsConstraintSet &cstr) const {
41     cstr.bound(value) >= 0;
45     cstr.bound(value) == cstr.getExpr(dimOp.getSource(), *constIndex);
52                                        ValueBoundsConstraintSet &cstr) const {
56     cstr.bound(value)[dim] == emptyOp.getMixedSizes()[dim];
64                                        ValueBoundsConstraintSet &cstr) const {
75         cstr.bound(value)[dim] == extractSliceOp.getMixedSizes()[i];
86                                        ValueBoundsConstraintSet &cstr) const {
90     AffineExpr srcSize = cstr.getExpr(padOp.getSource(), dim);
91     AffineExpr lowPad = cstr.getExpr(padOp.getMixedLowPad()[dim]);
92     AffineExpr highPad = cstr.getExpr(padOp.getMixedHighPad()[dim]);
93     cstr.bound(value)[dim] == srcSize + lowPad + highPad;
100                                    ValueBoundsConstraintSet &cstr) const {
108     cstr.bound(value) == tensorType.getRank();