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
23 executed, but not the intended way to specify shape constraints in general.
33     - For example, specifying equality constraints on type/constituents of a
72 *   It allows reusing the constraints between, say, Tensor and Memref
92 *   **Shape error detection** Many operations will have constraints on their
93     operands. If the constraints are not satisfied or cannot be determined if
167         constraints (e.g., checking equality of two dimensions resulting in
178     upper bound constraints (say) could be represented and may be propagated by
201     *   The goal is that the shape functions and the constraints one could
219         the shape functions/constraints due to the shape functions.
244 In ODS we have been recording the constraints for the operands & attributes of