Lines Matching refs:Shape

1 # Shape Inference
3 Shape inference as discussed here is considered a specific instance of type
20 ## Shape functions
43 Shape inference is currently tested alongside type inference by
54 ## Shape dialect
87 #### Shape inference functions
92 *   **Shape error detection** Many operations will have constraints on their
98     *   Shape error functions should be easy to understand, at least what
111 *   Shape functions usable by compiler and runtime.
115     *   Shape function description should not be constrained by either runtime
131 *   Shape inference functions are expressible at runtime
142     *   Shape functions should be cheap to invoke on each kernel launch.
143     *   Shape function can be dictated by arguments (operands, attributes and regions)
146     *   Shape information that needs higher-level/graph information should use
151 *   Shape functions should be pure functions.
184 *   Shape functions are allowed to fail and report an error. The error reporting
228 Shape functions should be lowerable to runtime checks for validity. E.g. verify
279 Shape functions are determined by attributes and could be arbitrarily