|
| class | AtMostOneChildOf |
| | Characterize operations that have at most a single operation of certain types in their region. More...
|
| |
| class | ResultsBroadcastableShape |
| | Trait for ops that are known to have broadcast compatible operands and result types. More...
|
| |
| struct | ReturnLike |
| | This trait indicates that a terminator operation is "return-like". More...
|
| |
| class | InferTensorType |
| | Tensor type inference trait that constructs a tensor from the inferred shape and elemental types. More...
|
| |
| class | InferTypeOpAdaptor |
| |
| class | InferShapedTypeOpAdaptor |
| |
| class | HasRecursiveMemoryEffects |
| | This trait indicates that the memory effects of an operation includes the effects of operations nested within its regions. More...
|
| |
| struct | RecursivelySpeculatableImplTrait |
| | This trait marks an op (which must be tagged as implementing the ConditionallySpeculatable interface) as being recursively speculatable. More...
|
| |
| struct | AlwaysSpeculatableImplTrait |
| | This trait marks an op (which must be tagged as implementing the ConditionallySpeculatable interface) as being always speculatable. More...
|
| |
| class | TraitBase |
| | Helper class for implementing traits. More...
|
| |
| class | OpInvariants |
| | verifyInvariantsImpl verifies the invariants like the types, attrs, .etc. More...
|
| |
| class | ZeroOperands |
| | This class provides the API for ops that are known to have no SSA operand. More...
|
| |
| class | OneOperand |
| | This class provides the API for ops that are known to have exactly one SSA operand. More...
|
| |
| class | NOperands |
| | This class provides the API for ops that are known to have a specified number of operands. More...
|
| |
| class | AtLeastNOperands |
| | This class provides the API for ops that are known to have a at least a specified number of operands. More...
|
| |
| class | VariadicOperands |
| | This class provides the API for ops which have an unknown number of SSA operands. More...
|
| |
| class | ZeroRegions |
| | This class provides verification for ops that are known to have zero regions. More...
|
| |
| class | OneRegion |
| | This class provides APIs for ops that are known to have a single region. More...
|
| |
| class | NRegions |
| | This class provides the API for ops that are known to have a specified number of regions. More...
|
| |
| class | AtLeastNRegions |
| | This class provides APIs for ops that are known to have at least a specified number of regions. More...
|
| |
| class | VariadicRegions |
| | This class provides the API for ops which have an unknown number of regions. More...
|
| |
| class | ZeroResults |
| | This class provides return value APIs for ops that are known to have zero results. More...
|
| |
| class | OneResult |
| | This class provides return value APIs for ops that are known to have a single result. More...
|
| |
| class | OneTypedResult |
| | This trait is used for return value APIs for ops that are known to have a specific type other than Type. More...
|
| |
| class | NResults |
| | This class provides the API for ops that are known to have a specified number of results. More...
|
| |
| class | AtLeastNResults |
| | This class provides the API for ops that are known to have at least a specified number of results. More...
|
| |
| class | VariadicResults |
| | This class provides the API for ops which have an unknown number of results. More...
|
| |
| class | NoTerminator |
| | This class indicates that the regions associated with this op don't have terminators. More...
|
| |
| class | IsTerminator |
| | This class provides the API for ops that are known to be terminators. More...
|
| |
| class | ZeroSuccessors |
| | This class provides verification for ops that are known to have zero successors. More...
|
| |
| class | OneSuccessor |
| | This class provides APIs for ops that are known to have a single successor. More...
|
| |
| class | NSuccessors |
| | This class provides the API for ops that are known to have a specified number of successors. More...
|
| |
| class | AtLeastNSuccessors |
| | This class provides APIs for ops that are known to have at least a specified number of successors. More...
|
| |
| class | VariadicSuccessors |
| | This class provides the API for ops which have an unknown number of successors. More...
|
| |
| struct | SingleBlock |
| | This class provides APIs and verifiers for ops with regions having a single block. More...
|
| |
| struct | SingleBlockImplicitTerminator |
| | This class provides APIs and verifiers for ops with regions having a single block that must terminate with TerminatorOpType. More...
|
| |
| struct | hasSingleBlockImplicitTerminator |
| | Support to check if an operation has the SingleBlockImplicitTerminator trait. More...
|
| |
| struct | hasSingleBlockImplicitTerminator< Op, false > |
| |
| class | SameOperandsShape |
| | This class provides verification for ops that are known to have the same operand shape: all operands are scalars, vectors/tensors of the same shape. More...
|
| |
| class | SameOperandsAndResultShape |
| | This class provides verification for ops that are known to have the same operand and result shape: both are scalars, vectors/tensors of the same shape. More...
|
| |
| class | SameOperandsElementType |
| | This class provides verification for ops that are known to have the same operand element type (or the type itself if it is scalar). More...
|
| |
| class | SameOperandsAndResultElementType |
| | This class provides verification for ops that are known to have the same operand and result element type (or the type itself if it is scalar). More...
|
| |
| class | SameOperandsAndResultType |
| | This class provides verification for ops that are known to have the same operand and result type. More...
|
| |
| class | SameOperandsAndResultRank |
| | This class verifies that op has same ranks for all operands and results types, if known. More...
|
| |
| class | ResultsAreBoolLike |
| | This class verifies that any results of the specified op have a boolean type, a vector thereof, or a tensor thereof. More...
|
| |
| class | ResultsAreFloatLike |
| | This class verifies that any results of the specified op have a floating point type, a vector thereof, or a tensor thereof. More...
|
| |
| class | ResultsAreSignlessIntegerLike |
| | This class verifies that any results of the specified op have a signless integer or index type, a vector thereof, or a tensor thereof. More...
|
| |
| class | IsCommutative |
| | This class adds property that the operation is commutative. More...
|
| |
| class | IsInvolution |
| | This class adds property that the operation is an involution. More...
|
| |
| class | IsIdempotent |
| | This class adds property that the operation is idempotent. More...
|
| |
| class | OperandsAreFloatLike |
| | This class verifies that all operands of the specified op have a float type, a vector thereof, or a tensor thereof. More...
|
| |
| class | OperandsAreSignlessIntegerLike |
| | This class verifies that all operands of the specified op have a signless integer or index type, a vector thereof, or a tensor thereof. More...
|
| |
| class | SameTypeOperands |
| | This class verifies that all operands of the specified op have the same type. More...
|
| |
| class | ConstantLike |
| | This class provides the API for a sub-set of ops that are known to be constant-like. More...
|
| |
| class | IsIsolatedFromAbove |
| | This class provides the API for ops that are known to be isolated from above. More...
|
| |
| class | AffineScope |
| | A trait of region holding operations that defines a new scope for polyhedral optimization purposes. More...
|
| |
| class | AutomaticAllocationScope |
| | A trait of region holding operations that define a new scope for automatic allocations, i.e., allocations that are freed when control is transferred back from the operation's region. More...
|
| |
| struct | HasParent |
| | This class provides a verifier for ops that are expecting their parent to be one of the given parent ops. More...
|
| |
| class | AttrSizedOperandSegments |
| | A trait for operations that have an attribute specifying operand segments. More...
|
| |
| class | AttrSizedResultSegments |
| | Similar to AttrSizedOperandSegments but used for results. More...
|
| |
| struct | NoRegionArguments |
| | This trait provides a verifier for ops that are expecting their regions to not have any arguments. More...
|
| |
| struct | MemRefsNormalizable |
| |
| struct | Elementwise |
| | This trait tags element-wise ops on vectors or tensors. More...
|
| |
| struct | Scalarizable |
| | This trait tags Elementwise operatons that can be systematically scalarized. More...
|
| |
| struct | Vectorizable |
| | This trait tags Elementwise operatons that can be systematically vectorized. More...
|
| |
| struct | Tensorizable |
| | This trait tags Elementwise operatons that can be systematically tensorized. More...
|
| |
| class | HasOnlyGraphRegion |
| | A trait that specifies that an operation only defines graph regions. More...
|
| |
| class | SymbolTable |
| | A trait used to provide symbol table functionalities to a region operation. More...
|
| |
