MLIR  17.0.0git
Classes | Namespaces | Typedefs | Functions
InferTypeOpInterface.h File Reference
#include "mlir/IR/Attributes.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/Location.h"
#include "mlir/IR/OpDefinition.h"
#include "mlir/Support/LLVM.h"
#include "llvm/ADT/PointerUnion.h"
#include "llvm/ADT/SmallVector.h"
#include "mlir/Interfaces/"
+ Include dependency graph for InferTypeOpInterface.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


class  mlir::ShapeAdaptor
 Adaptor class to abstract the differences between whether value is from a ShapedType or ShapedTypeComponents or DenseIntElementsAttribute. More...
class  mlir::ShapedTypeComponents
 ShapedTypeComponents that represents the components of a ShapedType. More...
class  mlir::ValueShapeRange
 Range of values and shapes (corresponding effectively to Shapes dialect's ValueShape type concept). More...
class  mlir::OpTrait::InferTensorType< ConcreteType >
 Tensor type inference trait that constructs a tensor from the inferred shape and elemental types. More...


 Include the generated interface declarations.
 Detect if any of the given parameter types has a sub-element handler.


using mlir::ReifiedRankedShapedTypeDims = SmallVector< SmallVector< Value > >


LogicalResult mlir::detail::inferReturnTensorTypes (function_ref< LogicalResult(MLIRContext *, std::optional< Location > location, ValueShapeRange operands, DictionaryAttr attributes, RegionRange regions, SmallVectorImpl< ShapedTypeComponents > &retComponents)> componentTypeFn, MLIRContext *context, std::optional< Location > location, ValueRange operands, DictionaryAttr attributes, RegionRange regions, SmallVectorImpl< Type > &inferredReturnTypes)
LogicalResult mlir::detail::verifyInferredResultTypes (Operation *op)
 Verifies that the inferred result types match the actual result types for the op. More...