ViewLikeInterface.h File Reference

#include "mlir/Dialect/Utils/StaticValueUtils.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/OpImplementation.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/Interfaces/ViewLikeInterface.h.inc"

Go to the source code of this file.

Classes
struct	mlir::SliceBoundsVerificationResult
	Result for slice bounds verification;. More...
class	mlir::OpWithOffsetSizesAndStridesConstantArgumentFolder< OpType, ResultTypeFn, CastOpFunc >
	Pattern to rewrite dynamic offsets/sizes/strides of view/slice-like ops as constant arguments. More...
class	mlir::OpTrait::DistinctObjectsTrait< ConcreteType >
	This trai indicates that pointer-like objects (such as memrefs) returned from this operation will never alias with each other. More...

Namespaces
namespace	mlir
	Include the generated interface declarations.
namespace	mlir::detail
	AttrTypeReplacer.
namespace	mlir::OpTrait

Functions
LogicalResult	mlir::detail::verifyOffsetSizeAndStrideOp (OffsetSizeAndStrideOpInterface op)
bool	mlir::detail::sameOffsetsSizesAndStrides (OffsetSizeAndStrideOpInterface a, OffsetSizeAndStrideOpInterface b, llvm::function_ref< bool(OpFoldResult, OpFoldResult)> cmp)
unsigned	mlir::detail::getNumDynamicEntriesUpToIdx (ArrayRef< int64_t > staticVals, unsigned idx)
	Helper method to compute the number of dynamic entries of staticVals, up to idx.
SliceBoundsVerificationResult	mlir::verifyInBoundsSlice (ArrayRef< int64_t > shape, ArrayRef< int64_t > staticOffsets, ArrayRef< int64_t > staticSizes, ArrayRef< int64_t > staticStrides, bool generateErrorMessage=false)
	Verify that the offsets/sizes/strides-style access into the given shape is in-bounds.
SliceBoundsVerificationResult	mlir::verifyInBoundsSlice (ArrayRef< int64_t > shape, ArrayRef< OpFoldResult > mixedOffsets, ArrayRef< OpFoldResult > mixedSizes, ArrayRef< OpFoldResult > mixedStrides, bool generateErrorMessage=false)
void	mlir::printDynamicIndexList (OpAsmPrinter &printer, Operation *op, OperandRange values, ArrayRef< int64_t > integers, ArrayRef< bool > scalableFlags, TypeRange valueTypes=TypeRange(), AsmParser::Delimiter delimiter=AsmParser::Delimiter::Square)
	Printer hooks for custom directive in assemblyFormat.
void	mlir::printDynamicIndexList (OpAsmPrinter &printer, Operation *op, OperandRange values, ArrayRef< int64_t > integers, TypeRange valueTypes=TypeRange(), AsmParser::Delimiter delimiter=AsmParser::Delimiter::Square)
ParseResult	mlir::parseDynamicIndexList (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &values, DenseI64ArrayAttr &integers, DenseBoolArrayAttr &scalableFlags, SmallVectorImpl< Type > *valueTypes=nullptr, AsmParser::Delimiter delimiter=AsmParser::Delimiter::Square)
	Parser hooks for custom directive in assemblyFormat.
ParseResult	mlir::parseDynamicIndexList (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &values, DenseI64ArrayAttr &integers, SmallVectorImpl< Type > *valueTypes=nullptr, AsmParser::Delimiter delimiter=AsmParser::Delimiter::Square)
LogicalResult	mlir::verifyListOfOperandsOrIntegers (Operation *op, StringRef name, unsigned expectedNumElements, ArrayRef< int64_t > attr, ValueRange values)
	Verify that a the values has as many elements as the number of entries in attr for which isDynamic evaluates to true.