llzk::verif::IncludeOp Class Reference

Inheritance diagram for llzk::verif::IncludeOp:

Collaboration diagram for llzk::verif::IncludeOp:

Public Types
using	Adaptor = IncludeOpAdaptor
template<typename RangeT>
using	GenericAdaptor = IncludeOpGenericAdaptor<RangeT>
using	FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>
using	Properties = FoldAdaptor::Properties

Public Member Functions
static ::llvm::ArrayRef<::llvm::StringRef >	getAttributeNames ()
::mlir::StringAttr	getArgAttrsAttrName ()
::mlir::StringAttr	getCalleeAttrName ()
::mlir::StringAttr	getMapOpGroupSizesAttrName ()
::mlir::StringAttr	getNumDimsPerMapAttrName ()
::mlir::StringAttr	getResAttrsAttrName ()
::mlir::StringAttr	getTemplateParamsAttrName ()
::mlir::StringAttr	getOperandSegmentSizesAttrName ()
std::pair< unsigned, unsigned >	getODSOperandIndexAndLength (unsigned index)
::mlir::Operation::operand_range	getODSOperands (unsigned index)
::mlir::Operation::operand_range	getArgOperands ()
::mlir::OperandRangeRange	getMapOperands ()
::mlir::MutableOperandRange	getArgOperandsMutable ()
::mlir::MutableOperandRangeRange	getMapOperandsMutable ()
std::pair< unsigned, unsigned >	getODSResultIndexAndLength (unsigned index)
::mlir::Operation::result_range	getODSResults (unsigned index)
void	writeProperties (::mlir::DialectBytecodeWriter &writer)
::mlir::SymbolRefAttr	getCalleeAttr ()
::mlir::SymbolRefAttr	getCallee ()
::mlir::ArrayAttr	getTemplateParamsAttr ()
::std::optional< ::mlir::ArrayAttr >	getTemplateParams ()
::mlir::DenseI32ArrayAttr	getNumDimsPerMapAttr ()
::llvm::ArrayRef< int32_t >	getNumDimsPerMap ()
::mlir::DenseI32ArrayAttr	getMapOpGroupSizesAttr ()
::llvm::ArrayRef< int32_t >	getMapOpGroupSizes ()
::mlir::ArrayAttr	getArgAttrsAttr ()
::std::optional< ::mlir::ArrayAttr >	getArgAttrs ()
::mlir::ArrayAttr	getResAttrsAttr ()
::std::optional< ::mlir::ArrayAttr >	getResAttrs ()
void	setCalleeAttr (::mlir::SymbolRefAttr attr)
void	setTemplateParamsAttr (::mlir::ArrayAttr attr)
void	setNumDimsPerMapAttr (::mlir::DenseI32ArrayAttr attr)
void	setNumDimsPerMap (::llvm::ArrayRef< int32_t > attrValue)
void	setMapOpGroupSizesAttr (::mlir::DenseI32ArrayAttr attr)
void	setMapOpGroupSizes (::llvm::ArrayRef< int32_t > attrValue)
void	setArgAttrsAttr (::mlir::ArrayAttr attr)
void	setResAttrsAttr (::mlir::ArrayAttr attr)
::mlir::Attribute	removeTemplateParamsAttr ()
::mlir::Attribute	removeArgAttrsAttr ()
::mlir::Attribute	removeResAttrsAttr ()
::llvm::LogicalResult	verifyInvariantsImpl ()
::llvm::LogicalResult	verifyInvariants ()
::mlir::CallInterfaceCallable	getCallableForCallee ()
	Return the callee of this operation.
void	setCalleeFromCallable (::mlir::CallInterfaceCallable callee)
	Set the callee for this operation.
::mlir::Operation *	resolveCallableInTable (::mlir::SymbolTableCollection *symbolTable)
::mlir::Operation *	resolveCallable ()
::llvm::LogicalResult	verifySymbolUses (::mlir::SymbolTableCollection &symbolTable)
::mlir::Value	getSelfValue ()
void	print (::mlir::OpAsmPrinter &_odsPrinter)
bool	contractTargetsStruct ()
	Return true iff the contract targets a struct type.
::mlir::FailureOr<::llzk::SymbolLookupResult<::llzk::verif::ContractOp > >	getCalleeTarget (::mlir::SymbolTableCollection &tables)
	Resolve and return the target Contract for this CallOp.

Static Public Member Functions
::mlir::StringAttr	getArgAttrsAttrName (::mlir::OperationName name)
::mlir::StringAttr	getCalleeAttrName (::mlir::OperationName name)
::mlir::StringAttr	getMapOpGroupSizesAttrName (::mlir::OperationName name)
::mlir::StringAttr	getNumDimsPerMapAttrName (::mlir::OperationName name)
::mlir::StringAttr	getResAttrsAttrName (::mlir::OperationName name)
::mlir::StringAttr	getTemplateParamsAttrName (::mlir::OperationName name)
::mlir::StringAttr	getOperandSegmentSizesAttrName (::mlir::OperationName name)
static constexpr ::llvm::StringLiteral	getOperationName ()
::llvm::LogicalResult	setPropertiesFromAttr (Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)
::mlir::Attribute	getPropertiesAsAttr (::mlir::MLIRContext *ctx, const Properties &prop)
static llvm::hash_code	computePropertiesHash (const Properties &prop)
static std::optional< mlir::Attribute >	getInherentAttr (::mlir::MLIRContext *ctx, const Properties &prop, llvm::StringRef name)
static void	setInherentAttr (Properties &prop, llvm::StringRef name, mlir::Attribute value)
static void	populateInherentAttrs (::mlir::MLIRContext *ctx, const Properties &prop, ::mlir::NamedAttrList &attrs)
::llvm::LogicalResult	verifyInherentAttrs (::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)
::llvm::LogicalResult	readProperties (::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::ImplicitLocOpBuilder &builder, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::ImplicitLocOpBuilder &builder, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::ImplicitLocOpBuilder &builder, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::verif::ContractOp callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::llzk::verif::ContractOp callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::ImplicitLocOpBuilder &builder, ::llzk::verif::ContractOp callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::ImplicitLocOpBuilder &builder, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static IncludeOp	create (::mlir::ImplicitLocOpBuilder &builder, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static void	populateDefaultProperties (::mlir::OperationName opName, Properties &properties)
::mlir::ParseResult	parse (::mlir::OpAsmParser &parser, ::mlir::OperationState &result)
::llvm::LogicalResult	setPropertiesFromParsedAttr (Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)

Static Public Attributes
static constexpr int	odsIndex_argOperands = 0
static constexpr int	odsIndex_mapOperands = 1

Detailed Description

Definition at line 1731 of file Ops.h.inc.

Member Typedef Documentation

Adaptor

using llzk::verif::IncludeOp::Adaptor = IncludeOpAdaptor

Definition at line 1735 of file Ops.h.inc.

FoldAdaptor

using llzk::verif::IncludeOp::FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>

Definition at line 1738 of file Ops.h.inc.

GenericAdaptor

template<typename RangeT>

using llzk::verif::IncludeOp::GenericAdaptor = IncludeOpGenericAdaptor<RangeT>

Definition at line 1737 of file Ops.h.inc.

Properties

using llzk::verif::IncludeOp::Properties = FoldAdaptor::Properties

Definition at line 1741 of file Ops.h.inc.

Member Function Documentation

build() [1/6]

void llzk::verif::IncludeOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2408 of file Ops.cpp.inc.

build() [2/6]

void llzk::verif::IncludeOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2389 of file Ops.cpp.inc.

build() [3/6]

void llzk::verif::IncludeOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::llzk::verif::ContractOp callee, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2370 of file Ops.cpp.inc.

build() [4/6]

void llzk::verif::IncludeOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2351 of file Ops.cpp.inc.

build() [5/6]

void llzk::verif::IncludeOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

build() [6/6]

void llzk::verif::IncludeOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

computePropertiesHash()

llvm::hash_code llzk::verif::IncludeOp::computePropertiesHash ( const Properties & prop )

static

Definition at line 2084 of file Ops.cpp.inc.

contractTargetsStruct()

bool llzk::verif::IncludeOp::contractTargetsStruct

(

)

Return true iff the contract targets a struct type.

Definition at line 865 of file Ops.cpp.

create() [1/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::ImplicitLocOpBuilder & builder, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2423 of file Ops.cpp.inc.

create() [2/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::ImplicitLocOpBuilder & builder, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2404 of file Ops.cpp.inc.

create() [3/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::ImplicitLocOpBuilder & builder, ::llzk::verif::ContractOp callee, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2385 of file Ops.cpp.inc.

create() [4/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::ImplicitLocOpBuilder & builder, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2366 of file Ops.cpp.inc.

create() [5/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::ImplicitLocOpBuilder & builder, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2347 of file Ops.cpp.inc.

create() [6/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::ImplicitLocOpBuilder & builder, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2335 of file Ops.cpp.inc.

create() [7/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::OpBuilder & builder, ::mlir::Location location, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2415 of file Ops.cpp.inc.

create() [8/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::OpBuilder & builder, ::mlir::Location location, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2396 of file Ops.cpp.inc.

create() [9/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::OpBuilder & builder, ::mlir::Location location, ::llzk::verif::ContractOp callee, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2377 of file Ops.cpp.inc.

create() [10/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::OpBuilder & builder, ::mlir::Location location, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2358 of file Ops.cpp.inc.

create() [11/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::OpBuilder & builder, ::mlir::Location location, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2339 of file Ops.cpp.inc.

create() [12/12]

IncludeOp llzk::verif::IncludeOp::create ( ::mlir::OpBuilder & builder, ::mlir::Location location, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

Definition at line 2327 of file Ops.cpp.inc.

getArgAttrs()

std::optional<::mlir::ArrayAttr > llzk::verif::IncludeOp::getArgAttrs

(

)

Definition at line 2309 of file Ops.cpp.inc.

getArgAttrsAttr()

::mlir::ArrayAttr llzk::verif::IncludeOp::getArgAttrsAttr ( )

inline

Definition at line 1870 of file Ops.h.inc.

getArgAttrsAttrName() [1/2]

::mlir::StringAttr llzk::verif::IncludeOp::getArgAttrsAttrName ( )

inline

Definition at line 1754 of file Ops.h.inc.

getArgAttrsAttrName() [2/2]

::mlir::StringAttr llzk::verif::IncludeOp::getArgAttrsAttrName ( ::mlir::OperationName name )

inlinestatic

Definition at line 1758 of file Ops.h.inc.

getArgOperands()

::mlir::Operation::operand_range llzk::verif::IncludeOp::getArgOperands ( )

inline

Definition at line 1821 of file Ops.h.inc.

getArgOperandsMutable()

mlir::MutableOperandRange llzk::verif::IncludeOp::getArgOperandsMutable

(

)

Definition at line 1907 of file Ops.cpp.inc.

getAttributeNames()

::llvm::ArrayRef<::llvm::StringRef > llzk::verif::IncludeOp::getAttributeNames ( )

inline

Definition at line 1749 of file Ops.h.inc.

getCallableForCallee()

CallInterfaceCallable llzk::verif::IncludeOp::getCallableForCallee

(

)

Return the callee of this operation.

Definition at line 883 of file Ops.cpp.

getCallee()

mlir::SymbolRefAttr llzk::verif::IncludeOp::getCallee

(

)

Definition at line 2289 of file Ops.cpp.inc.

getCalleeAttr()

::mlir::SymbolRefAttr llzk::verif::IncludeOp::getCalleeAttr ( )

inline

Definition at line 1850 of file Ops.h.inc.

getCalleeAttrName() [1/2]

::mlir::StringAttr llzk::verif::IncludeOp::getCalleeAttrName ( )

inline

Definition at line 1762 of file Ops.h.inc.

getCalleeAttrName() [2/2]

::mlir::StringAttr llzk::verif::IncludeOp::getCalleeAttrName ( ::mlir::OperationName name )

inlinestatic

Definition at line 1766 of file Ops.h.inc.

getCalleeTarget()

FailureOr< SymbolLookupResult< ContractOp > > llzk::verif::IncludeOp::getCalleeTarget

(

::mlir::SymbolTableCollection &

tables

)

Resolve and return the target Contract for this CallOp.

Definition at line 858 of file Ops.cpp.

getInherentAttr()

std::optional< mlir::Attribute > llzk::verif::IncludeOp::getInherentAttr ( ::mlir::MLIRContext * ctx, const Properties & prop, llvm::StringRef name )

static

Definition at line 2100 of file Ops.cpp.inc.

getMapOperands()

::mlir::OperandRangeRange llzk::verif::IncludeOp::getMapOperands ( )

inline

Definition at line 1825 of file Ops.h.inc.

getMapOperandsMutable()

mlir::MutableOperandRangeRange llzk::verif::IncludeOp::getMapOperandsMutable

(

)

Definition at line 1913 of file Ops.cpp.inc.

getMapOpGroupSizes()

llvm::ArrayRef< int32_t > llzk::verif::IncludeOp::getMapOpGroupSizes

(

)

Definition at line 2304 of file Ops.cpp.inc.

getMapOpGroupSizesAttr()

::mlir::DenseI32ArrayAttr llzk::verif::IncludeOp::getMapOpGroupSizesAttr ( )

inline

Definition at line 1865 of file Ops.h.inc.

getMapOpGroupSizesAttrName() [1/2]

::mlir::StringAttr llzk::verif::IncludeOp::getMapOpGroupSizesAttrName ( )

inline

Definition at line 1770 of file Ops.h.inc.

getMapOpGroupSizesAttrName() [2/2]

::mlir::StringAttr llzk::verif::IncludeOp::getMapOpGroupSizesAttrName ( ::mlir::OperationName name )

inlinestatic

Definition at line 1774 of file Ops.h.inc.

getNumDimsPerMap()

llvm::ArrayRef< int32_t > llzk::verif::IncludeOp::getNumDimsPerMap

(

)

Definition at line 2299 of file Ops.cpp.inc.

getNumDimsPerMapAttr()

::mlir::DenseI32ArrayAttr llzk::verif::IncludeOp::getNumDimsPerMapAttr ( )

inline

Definition at line 1860 of file Ops.h.inc.

getNumDimsPerMapAttrName() [1/2]

::mlir::StringAttr llzk::verif::IncludeOp::getNumDimsPerMapAttrName ( )

inline

Definition at line 1778 of file Ops.h.inc.

getNumDimsPerMapAttrName() [2/2]

::mlir::StringAttr llzk::verif::IncludeOp::getNumDimsPerMapAttrName ( ::mlir::OperationName name )

inlinestatic

Definition at line 1782 of file Ops.h.inc.

getODSOperandIndexAndLength()

std::pair< unsigned, unsigned > llzk::verif::IncludeOp::getODSOperandIndexAndLength

(

unsigned

index

)

Definition at line 1898 of file Ops.cpp.inc.

getODSOperands()

::mlir::Operation::operand_range llzk::verif::IncludeOp::getODSOperands ( unsigned index )

inline

Definition at line 1815 of file Ops.h.inc.

getODSResultIndexAndLength()

std::pair< unsigned, unsigned > llzk::verif::IncludeOp::getODSResultIndexAndLength ( unsigned index )

inline

Definition at line 1831 of file Ops.h.inc.

getODSResults()

::mlir::Operation::result_range llzk::verif::IncludeOp::getODSResults ( unsigned index )

inline

Definition at line 1835 of file Ops.h.inc.

getOperandSegmentSizesAttrName() [1/2]

::mlir::StringAttr llzk::verif::IncludeOp::getOperandSegmentSizesAttrName ( )

inline

Definition at line 1802 of file Ops.h.inc.

getOperandSegmentSizesAttrName() [2/2]

::mlir::StringAttr llzk::verif::IncludeOp::getOperandSegmentSizesAttrName ( ::mlir::OperationName name )

inlinestatic

Definition at line 1806 of file Ops.h.inc.

getOperationName()

constexpr ::llvm::StringLiteral llzk::verif::IncludeOp::getOperationName ( )

inlinestatic

Definition at line 1810 of file Ops.h.inc.

getPropertiesAsAttr()

mlir::Attribute llzk::verif::IncludeOp::getPropertiesAsAttr ( ::mlir::MLIRContext * ctx, const Properties & prop )

static

Definition at line 2025 of file Ops.cpp.inc.

getResAttrs()

std::optional<::mlir::ArrayAttr > llzk::verif::IncludeOp::getResAttrs

(

)

Definition at line 2314 of file Ops.cpp.inc.

getResAttrsAttr()

::mlir::ArrayAttr llzk::verif::IncludeOp::getResAttrsAttr ( )

inline

Definition at line 1875 of file Ops.h.inc.

getResAttrsAttrName() [1/2]

::mlir::StringAttr llzk::verif::IncludeOp::getResAttrsAttrName ( )

inline

Definition at line 1786 of file Ops.h.inc.

getResAttrsAttrName() [2/2]

::mlir::StringAttr llzk::verif::IncludeOp::getResAttrsAttrName ( ::mlir::OperationName name )

inlinestatic

Definition at line 1790 of file Ops.h.inc.

getSelfValue()

Value llzk::verif::IncludeOp::getSelfValue

(

)

Definition at line 871 of file Ops.cpp.

getTemplateParams()

std::optional<::mlir::ArrayAttr > llzk::verif::IncludeOp::getTemplateParams

(

)

Definition at line 2294 of file Ops.cpp.inc.

getTemplateParamsAttr()

::mlir::ArrayAttr llzk::verif::IncludeOp::getTemplateParamsAttr ( )

inline

Definition at line 1855 of file Ops.h.inc.

getTemplateParamsAttrName() [1/2]

::mlir::StringAttr llzk::verif::IncludeOp::getTemplateParamsAttrName ( )

inline

Definition at line 1794 of file Ops.h.inc.

getTemplateParamsAttrName() [2/2]

::mlir::StringAttr llzk::verif::IncludeOp::getTemplateParamsAttrName ( ::mlir::OperationName name )

inlinestatic

Definition at line 1798 of file Ops.h.inc.

parse()

mlir::ParseResult llzk::verif::IncludeOp::parse ( ::mlir::OpAsmParser & parser, ::mlir::OperationState & result )

static

Definition at line 2484 of file Ops.cpp.inc.

populateDefaultProperties()

void llzk::verif::IncludeOp::populateDefaultProperties ( ::mlir::OperationName opName, Properties & properties )

static

Definition at line 2427 of file Ops.cpp.inc.

populateInherentAttrs()

void llzk::verif::IncludeOp::populateInherentAttrs ( ::mlir::MLIRContext * ctx, const Properties & prop, ::mlir::NamedAttrList & attrs )

static

Definition at line 2162 of file Ops.cpp.inc.

print()

void llzk::verif::IncludeOp::print

(

::mlir::OpAsmPrinter &

_odsPrinter

)

Definition at line 2642 of file Ops.cpp.inc.

readProperties()

llvm::LogicalResult llzk::verif::IncludeOp::readProperties ( ::mlir::DialectBytecodeReader & reader, ::mlir::OperationState & state )

static

Definition at line 2216 of file Ops.cpp.inc.

removeArgAttrsAttr()

::mlir::Attribute llzk::verif::IncludeOp::removeArgAttrsAttr ( )

inline

Definition at line 1912 of file Ops.h.inc.

removeResAttrsAttr()

::mlir::Attribute llzk::verif::IncludeOp::removeResAttrsAttr ( )

inline

Definition at line 1918 of file Ops.h.inc.

removeTemplateParamsAttr()

::mlir::Attribute llzk::verif::IncludeOp::removeTemplateParamsAttr ( )

inline

Definition at line 1906 of file Ops.h.inc.

resolveCallable()

Operation * llzk::verif::IncludeOp::resolveCallable

(

)

Definition at line 907 of file Ops.cpp.

resolveCallableInTable()

Operation * llzk::verif::IncludeOp::resolveCallableInTable

(

::mlir::SymbolTableCollection *

symbolTable

)

Definition at line 890 of file Ops.cpp.

setArgAttrsAttr()

void llzk::verif::IncludeOp::setArgAttrsAttr ( ::mlir::ArrayAttr attr )

inline

Definition at line 1898 of file Ops.h.inc.

setCalleeAttr()

void llzk::verif::IncludeOp::setCalleeAttr ( ::mlir::SymbolRefAttr attr )

inline

Definition at line 1880 of file Ops.h.inc.

setCalleeFromCallable()

void llzk::verif::IncludeOp::setCalleeFromCallable

(

::mlir::CallInterfaceCallable

callee

)

Set the callee for this operation.

Definition at line 886 of file Ops.cpp.

setInherentAttr()

void llzk::verif::IncludeOp::setInherentAttr ( Properties & prop, llvm::StringRef name, mlir::Attribute value )

static

Definition at line 2122 of file Ops.cpp.inc.

setMapOpGroupSizes()

void llzk::verif::IncludeOp::setMapOpGroupSizes

(

::llvm::ArrayRef< int32_t >

attrValue

)

Definition at line 2323 of file Ops.cpp.inc.

setMapOpGroupSizesAttr()

void llzk::verif::IncludeOp::setMapOpGroupSizesAttr ( ::mlir::DenseI32ArrayAttr attr )

inline

Definition at line 1893 of file Ops.h.inc.

setNumDimsPerMap()

void llzk::verif::IncludeOp::setNumDimsPerMap

(

::llvm::ArrayRef< int32_t >

attrValue

)

Definition at line 2319 of file Ops.cpp.inc.

setNumDimsPerMapAttr()

void llzk::verif::IncludeOp::setNumDimsPerMapAttr ( ::mlir::DenseI32ArrayAttr attr )

inline

Definition at line 1888 of file Ops.h.inc.

setPropertiesFromAttr()

llvm::LogicalResult llzk::verif::IncludeOp::setPropertiesFromAttr ( Properties & prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError )

static

Definition at line 1919 of file Ops.cpp.inc.

setPropertiesFromParsedAttr()

llvm::LogicalResult llzk::verif::IncludeOp::setPropertiesFromParsedAttr ( Properties & prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError )

static

Definition at line 2559 of file Ops.cpp.inc.

setResAttrsAttr()

void llzk::verif::IncludeOp::setResAttrsAttr ( ::mlir::ArrayAttr attr )

inline

Definition at line 1902 of file Ops.h.inc.

setTemplateParamsAttr()

void llzk::verif::IncludeOp::setTemplateParamsAttr ( ::mlir::ArrayAttr attr )

inline

Definition at line 1884 of file Ops.h.inc.

verifyInherentAttrs()

llvm::LogicalResult llzk::verif::IncludeOp::verifyInherentAttrs ( ::mlir::OperationName opName, ::mlir::NamedAttrList & attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError )

static

Definition at line 2177 of file Ops.cpp.inc.

verifyInvariants()

llvm::LogicalResult llzk::verif::IncludeOp::verifyInvariants

(

)

Definition at line 2480 of file Ops.cpp.inc.

verifyInvariantsImpl()

llvm::LogicalResult llzk::verif::IncludeOp::verifyInvariantsImpl

(

)

Definition at line 2433 of file Ops.cpp.inc.

verifySymbolUses()

LogicalResult llzk::verif::IncludeOp::verifySymbolUses

(

::mlir::SymbolTableCollection &

symbolTable

)

Definition at line 818 of file Ops.cpp.

writeProperties()

void llzk::verif::IncludeOp::writeProperties

(

::mlir::DialectBytecodeWriter &

writer

)

Definition at line 2262 of file Ops.cpp.inc.

Member Data Documentation

odsIndex_argOperands

int llzk::verif::IncludeOp::odsIndex_argOperands = 0

staticconstexpr

Definition at line 1739 of file Ops.h.inc.

odsIndex_mapOperands

int llzk::verif::IncludeOp::odsIndex_mapOperands = 1

staticconstexpr

Definition at line 1740 of file Ops.h.inc.

---

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

• build/include/llzk/Dialect/Verif/IR/Ops.h.inc
• lib/Dialect/Verif/IR/Ops.cpp
• build/include/llzk/Dialect/Verif/IR/Ops.cpp.inc