This represents an operation in an abstracted form, suitable for use with the builder APIs. More...

#include "mlir/IR/OperationSupport.h"

Public Member Functions
	OperationState (Location location, StringRef name)
	OperationState (Location location, OperationName name)
	OperationState (Location location, OperationName name, ValueRange operands, TypeRange types, ArrayRef< NamedAttribute > attributes={}, BlockRange successors={}, MutableArrayRef< std::unique_ptr< Region > > regions={})
	OperationState (Location location, StringRef name, ValueRange operands, TypeRange types, ArrayRef< NamedAttribute > attributes={}, BlockRange successors={}, MutableArrayRef< std::unique_ptr< Region > > regions={})
	OperationState (OperationState &&other)=default
OperationState &	operator= (OperationState &&other)=default
	OperationState (const OperationState &other)=delete
OperationState &	operator= (const OperationState &other)=delete
	~OperationState ()
template<typename T>
T &	getOrAddProperties ()
	Get (or create) the properties of the provided type to be set on the operation on creation.
PropertyRef	getRawProperties ()
LogicalResult	setProperties (Operation *op, function_ref< InFlightDiagnostic()> emitError) const
template<typename T>
void	useProperties (T &newProperties)
void	addOperands (ValueRange newOperands)
void	addTypes (ArrayRef< Type > newTypes)
template<typename RangeT>
std::enable_if_t<!std::is_convertible< RangeT, ArrayRef< Type > >::value >	addTypes (RangeT &&newTypes)
void	addAttribute (StringRef name, Attribute attr)
	Add an attribute with the specified name.
void	addAttribute (StringAttr name, Attribute attr)
	Add an attribute with the specified name.
void	addAttributes (ArrayRef< NamedAttribute > newAttributes)
	Add an array of named attributes.
void	addSuccessors (Block *successor)
	Adds a successor to the operation sate. successor must not be null.
void	addSuccessors (BlockRange newSuccessors)
Region *	addRegion ()
	Create a region that should be attached to the operation.
void	addRegion (std::unique_ptr< Region > &&region)
	Take a region that should be attached to the Operation.
void	addRegions (MutableArrayRef< std::unique_ptr< Region > > regions)
	Take ownership of a set of regions that should be attached to the Operation.
MLIRContext *	getContext () const
	Get the context held by this operation state.

Public Attributes
Location	location
OperationName	name
SmallVector< Value, 4 >	operands
SmallVector< Type, 4 >	types
	Types of the results of this operation.
NamedAttrList	attributes
SmallVector< Block *, 1 >	successors
	Successors of this operation and their respective operands.
SmallVector< std::unique_ptr< Region >, 1 >	regions
	Regions that the op will hold.
Attribute	propertiesAttr
	This Attribute is used to opaquely construct the properties of the operation.

Friends
class	Operation

Detailed Description

This represents an operation in an abstracted form, suitable for use with the builder APIs.

This object is a large and heavy weight object meant to be used as a temporary object on the stack. It is generally unwise to put this in a collection.

Definition at line 1020 of file OperationSupport.h.

Constructor & Destructor Documentation

◆ OperationState() [1/6]

OperationState::OperationState	(	Location	location,
		StringRef	name )

Definition at line 216 of file OperationSupport.cpp.

References getContext(), location, and name.

Referenced by Operation, OperationState(), OperationState(), OperationState(), operator=(), and operator=().

◆ OperationState() [2/6]

OperationState::OperationState	(	Location	location,
		OperationName	name )

Definition at line 219 of file OperationSupport.cpp.

References location, and name.

◆ OperationState() [3/6]

OperationState::OperationState	(	Location	location,
		OperationName	name,
		ValueRange	operands,
		TypeRange	types,
		ArrayRef< NamedAttribute >	attributes = {},
		BlockRange	successors = {},
		MutableArrayRef< std::unique_ptr< Region > >	regions = {} )

Definition at line 222 of file OperationSupport.cpp.

References attributes, location, name, operands, regions, successors, and types.

◆ OperationState() [4/6]

OperationState::OperationState	(	Location	location,
		StringRef	name,
		ValueRange	operands,
		TypeRange	types,
		ArrayRef< NamedAttribute >	attributes = {},
		BlockRange	successors = {},
		MutableArrayRef< std::unique_ptr< Region > >	regions = {} )

Definition at line 235 of file OperationSupport.cpp.

References attributes, getContext(), location, name, operands, OperationState(), regions, successors, and types.

◆ OperationState() [5/6]

mlir::OperationState::OperationState ( OperationState && other )

default

References OperationState().

◆ OperationState() [6/6]

mlir::OperationState::OperationState ( const OperationState & other )

delete

References OperationState().

◆ ~OperationState()

OperationState::~OperationState ( )

Definition at line 243 of file OperationSupport.cpp.

Member Function Documentation

◆ addAttribute() [1/2]

void mlir::OperationState::addAttribute	(	StringAttr	name,
		Attribute	attr )

inline

Add an attribute with the specified name.

name and attr must not be null.

Definition at line 1148 of file OperationSupport.h.

References attributes, and name.

◆ addAttribute() [2/2]

void mlir::OperationState::addAttribute	(	StringRef	name,
		Attribute	attr )

inline

Add an attribute with the specified name.

Definition at line 1142 of file OperationSupport.h.

References addAttribute(), getContext(), and name.

Referenced by addAttribute(), buildBatchMatmulOp(), buildBatchReduceMatmulOp(), buildMatmulOp(), buildStructuredOp(), mlirOperationCreate(), mlir::spirv::parseControlAttribute(), mlir::spirv::parseEnumKeywordAttr(), mlir::spirv::parseEnumStrAttr(), parseUsedCoordList(), resolveOpBundleOperands(), and mlir::detail::splitPropertiesAndDiscardableAttributes().

◆ addAttributes()

void mlir::OperationState::addAttributes ( ArrayRef< NamedAttribute > newAttributes )

inline

Add an array of named attributes.

Definition at line 1155 of file OperationSupport.h.

References attributes.

Referenced by buildStructuredOp(), and mlir::spirv::Deserializer::processOpWithoutGrammarAttr().

◆ addOperands()

void OperationState::addOperands ( ValueRange newOperands )

Definition at line 259 of file OperationSupport.cpp.

References operands.

Referenced by buildStructuredOp(), mlirOperationCreate(), and mlir::spirv::Deserializer::processOpWithoutGrammarAttr().

◆ addRegion() [1/2]

Region * OperationState::addRegion ( )

Create a region that should be attached to the operation.

These regions can be filled in immediately without waiting for Operation to be created. When it is, the region bodies will be transferred.

Definition at line 267 of file OperationSupport.cpp.

References regions.

Referenced by addRegions(), buildQuantifier(), buildStructuredOp(), mlir::clone(), mlir::cloneWithoutRegions(), mlir::RewriterBase::eraseOpResults(), mlirOperationCreate(), and mlir::memoryslot::replaceWithNewResults().

◆ addRegion() [2/2]

void OperationState::addRegion ( std::unique_ptr< Region > && region )

Take a region that should be attached to the Operation.

The body of the region will be transferred when the Operation is constructed. If the region is null, a new empty region will be attached to the Operation.

Definition at line 272 of file OperationSupport.cpp.

References regions.

◆ addRegions()

void OperationState::addRegions ( MutableArrayRef< std::unique_ptr< Region > > regions )

Take ownership of a set of regions that should be attached to the Operation.

Definition at line 276 of file OperationSupport.cpp.

References addRegion(), and regions.

◆ addSuccessors() [1/2]

void mlir::OperationState::addSuccessors ( Block * successor )

inline

Adds a successor to the operation sate. successor must not be null.

Definition at line 1160 of file OperationSupport.h.

References successors.

Referenced by mlirOperationCreate().

◆ addSuccessors() [2/2]

void OperationState::addSuccessors ( BlockRange newSuccessors )

Definition at line 263 of file OperationSupport.cpp.

References successors.

◆ addTypes() [1/2]

void mlir::OperationState::addTypes ( ArrayRef< Type > newTypes )

inline

Definition at line 1132 of file OperationSupport.h.

References types.

Referenced by buildQuantifier(), buildStructuredOp(), mlirOperationCreate(), and mlir::spirv::Deserializer::processOpWithoutGrammarAttr().

◆ addTypes() [2/2]

template<typename RangeT>

std::enable_if_t<!std::is_convertible< RangeT, ArrayRef< Type > >::value > mlir::OperationState::addTypes ( RangeT && newTypes )

inline

Definition at line 1137 of file OperationSupport.h.

References types.

◆ getContext()

MLIRContext * mlir::OperationState::getContext ( ) const

inline

Get the context held by this operation state.

Definition at line 1181 of file OperationSupport.h.

References location.

Referenced by mlir::Operation::create(), inferOperationTypes(), OperationState(), OperationState(), and mlir::detail::splitPropertiesAndDiscardableAttributes().

◆ getOrAddProperties()

template<typename T>

T & mlir::OperationState::getOrAddProperties ( )

inline

Get (or create) the properties of the provided type to be set on the operation on creation.

Definition at line 1069 of file OperationSupport.h.

References mlir::PropertyRef::as(), and mlir::TypeID::get().

Referenced by buildQuantifier().

◆ getRawProperties()

PropertyRef mlir::OperationState::getRawProperties ( )

inline

Definition at line 1094 of file OperationSupport.h.

Referenced by inferOperationTypes().

◆ operator=() [1/2]

OperationState & mlir::OperationState::operator= ( const OperationState & other )

delete

References OperationState().

◆ operator=() [2/2]

OperationState & mlir::OperationState::operator= ( OperationState && other )

default

References OperationState().

◆ setProperties()

LogicalResult OperationState::setProperties	(	Operation *	op,
		function_ref< InFlightDiagnostic()>	emitError ) const

Definition at line 248 of file OperationSupport.cpp.

References mlir::emitError(), mlir::Operation::getPropertiesStorage(), Operation, propertiesAttr, mlir::Operation::setPropertiesFromAttribute(), and success().

◆ useProperties()

template<typename T>

void mlir::OperationState::useProperties ( T & newProperties )

inline

Definition at line 1108 of file OperationSupport.h.

References mlir::PropertyRef::as(), and mlir::TypeID::get().

◆ Operation

friend class Operation

friend

Definition at line 1046 of file OperationSupport.h.

References attributes, location, name, operands, Operation, OperationState(), and types.

Referenced by Operation, and setProperties().

Member Data Documentation

◆ attributes

NamedAttrList mlir::OperationState::attributes

Definition at line 1026 of file OperationSupport.h.

Referenced by addAttribute(), addAttributes(), buildStructuredOp(), mlir::Operation::create(), inferOperationTypes(), mlirOperationCreate(), Operation, OperationState(), OperationState(), mlir::spirv::parseMemoryAccessAttributes(), mlir::spirv::parseSourceMemoryAccessAttributes(), mlir::spirv::parseVariableDecorations(), and mlir::detail::reportFatalInferReturnTypesError().

◆ location

Location mlir::OperationState::location

Definition at line 1021 of file OperationSupport.h.

Referenced by buildQuantifier(), buildSequenceBody(), mlir::Operation::create(), getContext(), inferOperationTypes(), Operation, OperationState(), OperationState(), OperationState(), OperationState(), and mlir::detail::reportFatalInferReturnTypesError().

◆ name

OperationName mlir::OperationState::name

Definition at line 1022 of file OperationSupport.h.

Referenced by addAttribute(), addAttribute(), mlir::Operation::create(), inferOperationTypes(), Operation, OperationState(), OperationState(), OperationState(), OperationState(), mlir::spirv::parseMemoryAccessAttributes(), mlir::spirv::parseSourceMemoryAccessAttributes(), and mlir::detail::reportFatalInferReturnTypesError().

◆ operands

SmallVector<Value, 4> mlir::OperationState::operands

Definition at line 1023 of file OperationSupport.h.

Referenced by addOperands(), mlir::Operation::create(), inferOperationTypes(), Operation, OperationState(), OperationState(), parseSparseCoIterateLoop(), parseSparseIterateLoop(), mlir::detail::reportFatalInferReturnTypesError(), and resolveOpBundleOperands().

◆ propertiesAttr

Attribute mlir::OperationState::propertiesAttr

This Attribute is used to opaquely construct the properties of the operation.

If we're creating an unregistered operation, the Attribute is used as-is as the Properties storage of the operation. Otherwise, the operation properties are constructed opaquely using its setPropertiesFromAttr hook. Note that getOrAddProperties is the preferred method to construct properties from C++.

Definition at line 1038 of file OperationSupport.h.

Referenced by mlir::clone(), cloneOpWithOperandsAndTypes(), mlir::cloneWithoutRegions(), mlir::Operation::create(), createWithProperties(), createWithProperties(), mlir::RewriterBase::eraseOpResults(), mlir::LLVM::detail::oneToOneRewrite(), mlir::memoryslot::replaceWithNewResults(), scalarizeVectorOpHelper(), setProperties(), mlir::LLVM::detail::vectorOneToOneRewrite(), and widenOp().

◆ regions

SmallVector<std::unique_ptr<Region>, 1> mlir::OperationState::regions

Regions that the op will hold.

Definition at line 1030 of file OperationSupport.h.

Referenced by addRegion(), addRegion(), addRegions(), buildSequenceBody(), mlir::Operation::create(), inferOperationTypes(), OperationState(), and OperationState().

◆ successors

SmallVector<Block *, 1> mlir::OperationState::successors

Successors of this operation and their respective operands.

Definition at line 1028 of file OperationSupport.h.

Referenced by addSuccessors(), addSuccessors(), mlir::Operation::create(), OperationState(), and OperationState().

◆ types

SmallVector<Type, 4> mlir::OperationState::types

Types of the results of this operation.

Definition at line 1025 of file OperationSupport.h.

Referenced by addTypes(), addTypes(), mlir::Operation::create(), inferOperationTypes(), mlirOperationCreate(), Operation, OperationState(), OperationState(), parseSparseCoIterateLoop(), and parseSparseIterateLoop().

The documentation for this struct was generated from the following files:

include/mlir/IR/OperationSupport.h
lib/IR/OperationSupport.cpp

Public Member Functions

Public Attributes

Friends

Detailed Description

Constructor & Destructor Documentation

◆ OperationState() [1/6]

◆ OperationState() [2/6]

◆ OperationState() [3/6]

◆ OperationState() [4/6]

◆ OperationState() [5/6]

◆ OperationState() [6/6]

◆ ~OperationState()

Member Function Documentation

◆ addAttribute() [1/2]

◆ addAttribute() [2/2]

◆ addAttributes()

◆ addOperands()

◆ addRegion() [1/2]

◆ addRegion() [2/2]

◆ addRegions()

◆ addSuccessors() [1/2]

◆ addSuccessors() [2/2]

◆ addTypes() [1/2]

◆ addTypes() [2/2]

◆ getContext()

◆ getOrAddProperties()

◆ getRawProperties()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ setProperties()

◆ useProperties()

Friends And Related Symbol Documentation

◆ Operation

Member Data Documentation

◆ attributes

◆ location

◆ name

◆ operands

◆ propertiesAttr

◆ regions

◆ successors

◆ types