#include "mlir/Dialect/Linalg/TransformOps/LinalgMatchOps.h"
#include "mlir/Analysis/SliceAnalysis.h"
#include "mlir/Dialect/Linalg/IR/Linalg.h"
#include "mlir/Dialect/Linalg/IR/LinalgInterfaces.h"
#include "mlir/Dialect/Linalg/TransformOps/Syntax.h"
#include "mlir/Dialect/Linalg/Utils/Utils.h"
#include "mlir/Dialect/Transform/IR/TransformTypes.h"
#include "mlir/Dialect/Transform/Interfaces/MatchInterfaces.h"
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/Interfaces/FunctionImplementation.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/FormatVariadic.h"
#include "mlir/Dialect/Linalg/TransformOps/LinalgMatchOps.cpp.inc"

Macros
#define	DEBUG_TYPE "linalg-transforms"

#define	DBGS() (llvm::dbgs() << "[" DEBUG_TYPE "]: ")

#define	GET_OP_CLASSES

Functions
static DiagnosedSilenceableFailure	containsAll (ArrayRef< unsigned > reference, ArrayRef< int64_t > list, Location loc, const char *message)
	Checks if all values from `list` are also contained in `reference`. More...

template<typename OpTy >
LogicalResult	verifyStructuredOperandOp (OpTy op)
	Verifies a matcher op for structured input or output, specifically the attributes specifying the operand positions. More...

Macro Definition Documentation

◆ DBGS

#define DBGS ( ) (llvm::dbgs() << "[" DEBUG_TYPE "]: ")

Definition at line 25 of file LinalgMatchOps.cpp.

◆ DEBUG_TYPE

#define DEBUG_TYPE "linalg-transforms"

Definition at line 24 of file LinalgMatchOps.cpp.

◆ GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 719 of file LinalgMatchOps.cpp.

Function Documentation

◆ containsAll()

static DiagnosedSilenceableFailure containsAll	(	ArrayRef< unsigned >	reference,
		ArrayRef< int64_t >	list,
		Location	loc,
		const char *	message
	)

static

Checks if all values from list are also contained in reference.

Returns a silenceable error with the given message at the given location when it is not the case. The error message must contain the "{0}" placeholder that will be substituted with the value from list that is not contained in reference.

Definition at line 326 of file LinalgMatchOps.cpp.

References mlir::emitSilenceableFailure(), and mlir::DiagnosedSilenceableFailure::success().

◆ verifyStructuredOperandOp()

template<typename OpTy >

LogicalResult verifyStructuredOperandOp ( OpTy op )

Verifies a matcher op for structured input or output, specifically the attributes specifying the operand positions.

Definition at line 501 of file LinalgMatchOps.cpp.

Macros