Lines Matching full:operations

6 operations, and types that suit a specific level of abstraction. `Traits` are a
8 across many different attributes/operations/types/etc.. `Traits` may be used to
20 `AttributeTrait::TraitBase`. For operations, this is `OpTrait::TraitBase`. For
42 operations in the regions will be verified before the verification of this
43 trait. The [verification order](../DefiningDialects/Operations.md/#verification-ordering)
158 To use an operation trait in the [ODS](../DefiningDialects/Operations.md) framework, we need to
180 See the documentation on [operation definitions](../DefiningDialects/Operations.md) for more
204 common across many different operations. Below is a list of some key traits that
215 This trait is carried by region holding operations that define a new scope for
217 Any SSA values of 'index' type that either dominate such operations, or are
218 defined at the top-level of such operations, or appear as region arguments for
219 such operations automatically become valid symbols for the polyhedral scope
221 operands or index operands of various affine dialect operations like affine.for,
223 this trait includes all operations in its region excluding operations that are
224 nested inside of other operations that themselves have this trait.
230 This trait is carried by region holding operations that define a new scope for
232 transferred back from the regions of such operations. As an example, allocations
273 This trait provides APIs and verifiers for operations that can only be nested
274 within regions that are attached to operations of `ParentOpType`.
280 This trait signals that the regions of an operations are known to be isolated
293 This trait is an important structural property of the IR, and enables operations
300 This trait is used to flag operations that consume or produce values of `MemRef`
303 operations can be modified so that the `MemRef` has an identity layout
312 This trait provides APIs and verifiers for operations with regions that have a
327 This trait is used for operations that define a
334 This trait provides verification and functionality for operations that are known
340 [terminator operations](../LangRef.md/#control-flow-and-ssacfg-regions) at the end of a block.