Lines Matching full:operations
9 This dialect provides operations that can be used to control transformation
15 on individual IR objects (operations or values) or sets thereof. For example, it
16 may involve finding loop-like operations with specific properties (e.g., large
18 operations, and then applying loop unrolling to the inner loops produced by the
25 The following IR gives a rough idea of what the operations in this dialect
26 may look like without using actually existing operations:
41 * sets of operations in the payload IR;
54 each of the operations that `%0` corresponds to.
57 operations. This is conceptually a set of operations and no assumptions should
60 IR values. Transform dialect operations may take as operands and produce an
96 operations implement the "TileableOp" interface or have a specific "loop" kind.
102 operation. The conditions are verified when payload objects operations are first
103 associated with a transform handle. By convention, Transform dialect operations
106 contrary, operations are expected to have few constraints on their results.
119 by the operations they contain, e.g., `transform.sequence` executes
145 are allowed to inject additional operations into this dialect using the
149 the operations may have been injected by a notional `loop` dialect rather
152 It is recommended to prefix injected operations with one or several
164 Operations injected into the dialect must:
171 between transform IR values and payload IR operations. See below for
178 Similarly to operations, additional types can be injected into the dialect using
188 side effect resource objects and expects operations to describe their
192 mapping between transform IR values and payload IR operations.
201 operations associated with one of the transform IR operation's
213 operations produce new transform IR values and immediately associate them
214 with a list of payload IR operations. This corresponds to `Allocate` and
216 least a `Read` effect on the `PayloadIRResource`. Transform operations that
218 these effects on their operands. Transform operations that mutate the
222 transform IR, this value is likely associated with payload IR operations
225 transform operations can return _new_ handles that can be read or consumed
226 by subsequent operations.
235 transform IR operation may contain further transform operations and execute
244 Transformation container operations may intercept recoverable failures and
248 postponed for recoverable failures. Transformation container operations may
254 Transformation container operations are allowed to "step over" some nested
255 operations if the application of some previous operation produced a failure.
266 would fail a postcondition. Some "navigation" operations that identify
275 associated with _multiple_ handles as well as nested payload IR operations to be
290 - operation handles associated with one of the payload operations that the
293 - operation handles associated with one of the operations _nested_ in the
294 payload operations described above;
303 - operation handles associated with payload operations that produce as
307 - operation handles associated with payload operations _nested_ in the
308 payload operations described above;
310 - operation handles associated with payload operations (recursively)
344 transformation would apply to a small subset of operations selected, e.g.,
381 pass serves as the entry point, handles the flow of transform operations and
386 and operations in the payload IR, or the function that applies the
392 modules, optional regions to certain operations, etc.), register additional
393 transform operations and perform client-specific bookkeeping.
403 external observers about changes made to certain operations. These are not
414 ## Core Operations
418 ## Affine Transform Operations
422 ## Bufferization Transform Operations
426 ## Debug Transform Operations
430 ## DLTI Transform Operations
434 ## IRDL (extension) Transform Operations
438 ## Func Transform Operations
442 ## GPU Transform Operations
446 ## Loop (extension) Transform Operations
450 ## Loop (SCF) Transform Operations
454 ## MemRef Transform Operations
458 ## PDL (extension) Transform Operations
462 ## Structured (Linalg) Match Operations
466 ## Structured (Linalg) Transform Operations
470 ## Tensor Transform Operations
474 ## Vector Transform Operations