Lines Matching defs:bound

46     AffineExpr bound =
48     cstr.bound(value) == bound;
66       AffineExpr bound =
68       cstr.bound(value) <= bound;
87       AffineExpr bound =
89       cstr.bound(value) >= bound;
113       cstr.bound(value) == linearIdx.floorDiv(divisor);
115         cstr.bound(value) < cstr.getExpr(basis.front());
119     cstr.bound(value) == (linearIdx % (thisBasis * divisor)).floorDiv(divisor);
132     AffineExpr bound = cstr.getExpr(0);
142       bound = bound + cstr.getExpr(indexAsFoldRes) * stride;
145     bound = bound + cstr.getExpr(op.getMultiIndex().front()) * stride;
146     cstr.bound(value) == bound;
148       cstr.bound(value) < stride *cstr.getExpr(basis.front());