IRDL.cpp File Reference

#include "mlir/Dialect/IRDL/IR/IRDL.h"
#include "mlir/Dialect/IRDL/IRDLSymbols.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/IR/Diagnostics.h"
#include "mlir/IR/DialectImplementation.h"
#include "mlir/IR/ExtensibleDialect.h"
#include "mlir/IR/OpDefinition.h"
#include "mlir/IR/OpImplementation.h"
#include "mlir/IR/Operation.h"
#include "mlir/Support/LLVM.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/IR/Metadata.h"
#include "llvm/Support/Casting.h"
#include "mlir/Dialect/IRDL/IR/IRDL.cpp.inc"
#include "mlir/Dialect/IRDL/IR/IRDLDialect.cpp.inc"
#include "mlir/Dialect/IRDL/IR/IRDLOps.cpp.inc"
#include "mlir/Dialect/IRDL/IR/IRDLTypesGen.cpp.inc"
#include "mlir/Dialect/IRDL/IR/IRDLAttributes.cpp.inc"
#include "mlir/Dialect/IRDL/IR/IRDLInterfaces.cpp.inc"
#include "mlir/Dialect/IRDL/IR/IRDLEnums.cpp.inc"

Go to the source code of this file.

Macros
#define	GET_OP_LIST
#define	GET_TYPEDEF_LIST
#define	GET_ATTRDEF_LIST
#define	GET_TYPEDEF_CLASSES
#define	GET_ATTRDEF_CLASSES
#define	GET_OP_CLASSES

Functions
static ParseResult	parseSingleBlockRegion (OpAsmParser &p, Region &region)
	Parse a region, and add a single block if the region is empty. More...
static void	printSingleBlockRegion (OpAsmPrinter &p, Operation *op, Region &region)
static LogicalResult	checkSymbolIsTypeOrAttribute (SymbolTableCollection &symbolTable, Operation *source, SymbolRefAttr symbol)
	Finds whether the provided symbol is an IRDL type or attribute definition. More...
static ParseResult	parseValueWithVariadicity (OpAsmParser &p, OpAsmParser::UnresolvedOperand &operand, VariadicityAttr &variadicityAttr)
	Parse a value with its variadicity first. More...
static ParseResult	parseValuesWithVariadicity (OpAsmParser &p, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &operands, VariadicityArrayAttr &variadicityAttr)
	Parse a list of values with their variadicities first. More...
static void	printValuesWithVariadicity (OpAsmPrinter &p, Operation *op, OperandRange operands, VariadicityArrayAttr variadicityAttr)
	Print a list of values with their variadicities first. More...
static ParseResult	parseAttributesOp (OpAsmParser &p, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &attrOperands, ArrayAttr &attrNamesAttr)
static void	printAttributesOp (OpAsmPrinter &p, AttributesOp op, OperandRange attrArgs, ArrayAttr attrNames)

Macro Definition Documentation

GET_ATTRDEF_CLASSES

#define GET_ATTRDEF_CLASSES

Definition at line 295 of file IRDL.cpp.

GET_ATTRDEF_LIST

#define GET_ATTRDEF_LIST

GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 298 of file IRDL.cpp.

GET_OP_LIST

#define GET_OP_LIST

GET_TYPEDEF_CLASSES

#define GET_TYPEDEF_CLASSES

Definition at line 290 of file IRDL.cpp.

GET_TYPEDEF_LIST

#define GET_TYPEDEF_LIST

Function Documentation

checkSymbolIsTypeOrAttribute()

static LogicalResult checkSymbolIsTypeOrAttribute ( SymbolTableCollection &  symbolTable, Operation *  source, SymbolRefAttr  symbol  )

static

Finds whether the provided symbol is an IRDL type or attribute definition.

The source operation must be within a DialectOp.

Definition at line 138 of file IRDL.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getName(), and mlir::irdl::lookupSymbolNearDialect().

parseAttributesOp()

static ParseResult parseAttributesOp ( OpAsmParser &  p, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &  attrOperands, ArrayAttr &  attrNamesAttr  )

static

Definition at line 250 of file IRDL.cpp.

References mlir::Builder::getArrayAttr(), mlir::AsmParser::getBuilder(), mlir::AsmParser::parseAttribute(), mlir::AsmParser::parseCommaSeparatedList(), mlir::AsmParser::parseEqual(), mlir::OpAsmParser::parseOperand(), mlir::AsmParser::parseOptionalLBrace(), and mlir::AsmParser::parseRBrace().

parseSingleBlockRegion()

static ParseResult parseSingleBlockRegion ( OpAsmParser &  p, Region &  region  )

static

Parse a region, and add a single block if the region is empty.

If no region is parsed, create a new region with a single empty block.

Definition at line 57 of file IRDL.cpp.

References mlir::Region::empty(), mlir::OpAsmParser::parseOptionalRegion(), and mlir::Region::push_back().

parseValuesWithVariadicity()

static ParseResult parseValuesWithVariadicity ( OpAsmParser &  p, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &  operands, VariadicityArrayAttr &  variadicityAttr  )

static

Parse a list of values with their variadicities first.

By default, the variadicity is single.

values-with-variadicity ::= ( (value-with-variadicity (, value-with-variadicity)*)? ) value-with-variadicity ::= ("single" | "optional" | "variadic")? ssa-value

Definition at line 205 of file IRDL.cpp.

References mlir::get(), mlir::AsmParser::getBuilder(), mlir::Builder::getContext(), mlir::AsmParser::Paren, mlir::AsmParser::parseCommaSeparatedList(), and parseValueWithVariadicity().

parseValueWithVariadicity()

static ParseResult parseValueWithVariadicity ( OpAsmParser &  p, OpAsmParser::UnresolvedOperand &  operand, VariadicityAttr &  variadicityAttr  )

static

Parse a value with its variadicity first.

By default, the variadicity is single.

value-with-variadicity ::= ("single" | "optional" | "variadic")? ssa-value

Definition at line 177 of file IRDL.cpp.

References mlir::get(), mlir::AsmParser::getBuilder(), mlir::Builder::getContext(), mlir::OpAsmParser::parseOperand(), and mlir::AsmParser::parseOptionalKeyword().

Referenced by parseValuesWithVariadicity().

printAttributesOp()

static void printAttributesOp ( OpAsmPrinter &  p, AttributesOp  op, OperandRange  attrArgs, ArrayAttr  attrNames  )

static

Definition at line 269 of file IRDL.cpp.

printSingleBlockRegion()

static void printSingleBlockRegion ( OpAsmPrinter &  p, Operation *  op, Region &  region  )

static

Definition at line 69 of file IRDL.cpp.

References mlir::Region::getBlocks(), and mlir::OpAsmPrinter::printRegion().

printValuesWithVariadicity()

static void printValuesWithVariadicity ( OpAsmPrinter &  p, Operation *  op, OperandRange  operands, VariadicityArrayAttr  variadicityAttr  )

static

Print a list of values with their variadicities first.

By default, the variadicity is single.

values-with-variadicity ::= ( (value-with-variadicity (, value-with-variadicity)*)? ) value-with-variadicity ::= ("single" | "optional" | "variadic")? ssa-value

Definition at line 235 of file IRDL.cpp.