Lines Matching refs:constraints

4 inference for [ShapedType][ShapedType]. Type constraints are along (at least)
8 constraints/bounds in the system for that operation (e.g., the output of a
10 valuable constraints that could be captured even without full knowledge of the
25 executed, but not the intended way to specify shape constraints in general.
35     - For example, specifying equality constraints on type/constituents of a
74 *   It allows reusing the constraints between, say, Tensor and Memref
94 *   **Shape error detection** Many operations will have constraints on their
95     operands. If the constraints are not satisfied or cannot be determined if
169         constraints (e.g., checking equality of two dimensions resulting in
180     upper bound constraints (say) could be represented and may be propagated by
203     *   The goal is that the shape functions and the constraints one could
221         the shape functions/constraints due to the shape functions.
246 In ODS we have been recording the constraints for the operands & attributes of