MLIR  15.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/InferTypeOpInterface.h.inc"
+ 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.

Classes

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...
 
class  mlir::OpTrait::InferTensorType< ConcreteType >
 Tensor type inference trait that constructs a tensor from the inferred shape and elemental types. More...
 

Namespaces

 mlir
 Include the generated interface declarations.
 
 mlir::detail
 
 mlir::OpTrait
 

Typedefs

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

Functions

LogicalResult mlir::detail::inferReturnTensorTypes (function_ref< LogicalResult(MLIRContext *, Optional< Location > location, ValueShapeRange operands, DictionaryAttr attributes, RegionRange regions, SmallVectorImpl< ShapedTypeComponents > &retComponents)> componentTypeFn, MLIRContext *context, 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...