MLIR  20.0.0git
Macros | Functions
LinalgMatchOps.cpp File Reference
#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"

Go to the source code of this file.

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.