13 #ifndef MLIR_IR_TYPEUTILITIES_H 14 #define MLIR_IR_TYPEUTILITIES_H 17 #include "llvm/ADT/STLExtras.h" 49 ArrayRef<int64_t> shape2);
76 :
public llvm::mapped_iterator_base<OperandElementTypeIterator,
77 Operation::operand_iterator, Type> {
89 :
public llvm::mapped_iterator_base<ResultElementTypeIterator,
90 Operation::result_iterator, Type> {
102 #endif // MLIR_IR_TYPEUTILITIES_H Include the generated interface declarations.
LogicalResult verifyCompatibleShape(ArrayRef< int64_t > shape1, ArrayRef< int64_t > shape2)
Returns success if the given two shapes are compatible.
SmallVector< Type, 10 > getFlattenedTypes(TupleType t)
Get the types within a nested Tuple.
static constexpr const bool value
bool isOpaqueTypeWithName(Type type, StringRef dialect, StringRef typeData)
Return true if the specified type is an opaque type with the specified dialect and typeData...
Type getElementTypeOrSelf(Type type)
Return the element type or return the type itself.
Instances of the Type class are uniqued, have an immutable identifier and an optional mutable compone...
This class represents an instance of an SSA value in the MLIR system, representing a computable value...
Type mapElement(Value value) const
Map the element to the iterator result type.
LogicalResult verifyCompatibleShapes(TypeRange types1, TypeRange types2)
Returns success if the given two arrays have the same number of elements and each pair wise entries h...
LogicalResult verifyCompatibleDims(ArrayRef< int64_t > dims)
Dimensions are compatible if all non-dynamic dims are equal.