Lines Matching full:functions

22 ## Shape functions
39 NOTE: The C++ shape functions are an intermediate step until the shape dialect
40 is more full-fledged, at which point the C++ functions should become the
59 focus will be on shape functions that describe shape functions could be used in
64 This will focus on the shape functions (e.g., determine the rank and dimensions
71 *   Not all shape functions need to provide all the information (e.g., one could
78 functions, with some considering shape and elemental types different and some considering them both…
84 The requirements for the shape inference functions are determined by the
89 #### Shape inference functions
91 *   **Expressiveness** shape functions need to support programs where tensors
100     *   Shape error functions should be easy to understand, at least what
113 *   Shape functions usable by compiler and runtime.
133 *   Shape inference functions are expressible at runtime
144     *   Shape functions should be cheap to invoke on each kernel launch.
153 *   Shape functions should be pure functions.
155 *   Should support functions whose type is only known dynamically (e.g.,
183     *   E.g., the shape functions may contain more information that is only
186 *   Shape functions are allowed to fail and report an error. The error reporting
198     *   While the functions should be readable, it doesn't carry the
202 1.  Describe the shape inference approach that will use the shape functions;
203     *   The goal is that the shape functions and the constraints one could
211     *   While the shape functions will be able to emit errors optionally, it
215         quality of the error message produced, and the shape functions do not
217 1.  Flow sensitive shape functions;
218     *   To enable scalable/cheap shape inference, the shape functions do not
221         the shape functions/constraints due to the shape functions.
222 1.  All static functions are usable for dynamic/unknown shapes;
230 Shape functions should be lowerable to runtime checks for validity. E.g. verify
259 #### How/in what language will the shape functions be authored?
274 1.  Should shape functions that produce dynamic outputs given all statically
281 Shape functions are determined by attributes and could be arbitrarily