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	getCalleeAttrName ()
::mlir::StringAttr	getMapOpGroupSizesAttrName ()
::mlir::StringAttr	getNumDimsPerMapAttrName ()
::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 ()
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)
::mlir::Attribute	removeTemplateParamsAttr ()
::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.
::llvm::LogicalResult	verifySymbolUses (::mlir::SymbolTableCollection &symbolTable)
void	print (::mlir::OpAsmPrinter &_odsPrinter)
::mlir::Operation *	resolveCallableInTable (::mlir::SymbolTableCollection *symbolTable)
	Required by CallOpInterface.
::mlir::Operation *	resolveCallable ()
	Required by CallOpInterface.
::mlir::FunctionType	getTypeSignature ()
	Return the FunctionType inferred from the arg operands of this CallOp.
::mlir::FailureOr< UnificationMap >	unifyTypeSignature (::mlir::FunctionType other)
	Attempt type unfication between the inferred FunctionType from this CallOp (as LHS) and the given FunctionType (as RHS).
bool	contractTargetsStruct ()
	Return true iff the contract targets a struct type.
::mlir::Value	getSelfValue ()
	Return the "self" value (i.e.
::mlir::FailureOr<::llzk::SymbolLookupResult<::llzk::verif::ContractOp > >	getCalleeTarget (::mlir::SymbolTableCollection &tables)
	Resolve and return the target Contract for this CallOp.
static ::llvm::SmallVector<::mlir::ValueRange >	toVectorOfValueRange (::mlir::OperandRangeRange)
	Allocate consecutive storage of the ValueRange instances in the parameter so it can be passed to the builders as an ArrayRef<ValueRange>.
::mlir::LogicalResult	verifyTemplateParamCompatibility (::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam)
	Check type compatibility of the given template parameter value from this CallOp against the declared type on the given TemplateParamOp (if any).
::mlir::LogicalResult	verifyTemplateParamCompatibility (::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs)
	Check type compatibility of each template parameter value provided in this CallOp against the declared type on each TemplateParamOp (if any).
::mlir::LogicalResult	verifyTemplateParamsMatchInferred (::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs, const UnificationMap &unifications)
	Verify that each template parameter value provided in this CallOp is consistent with the value inferred for the target TemplateParamOp in the given UnificationMap.

Static Public Member Functions
::mlir::StringAttr	getCalleeAttrName (::mlir::OperationName name)
::mlir::StringAttr	getMapOpGroupSizesAttrName (::mlir::OperationName name)
::mlir::StringAttr	getNumDimsPerMapAttrName (::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 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 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 void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::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 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 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)

Detailed Description

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

Member Typedef Documentation

◆ Adaptor

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

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

◆ FoldAdaptor

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

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

◆ GenericAdaptor

template<typename RangeT>

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

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

◆ Properties

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

Definition at line 1204 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 1334 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 1327 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 1320 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 1313 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 1126 of file Ops.cpp.inc.

◆ contractTargetsStruct()

bool llzk::verif::IncludeOp::contractTargetsStruct ( )

Return true iff the contract targets a struct type.

Definition at line 1050 of file Ops.cpp.

◆ getArgOperands()

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

inline

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

◆ getArgOperandsMutable()

mlir::MutableOperandRange llzk::verif::IncludeOp::getArgOperandsMutable ( )

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

◆ getAttributeNames()

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

inline

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

◆ getCallableForCallee()

CallInterfaceCallable llzk::verif::IncludeOp::getCallableForCallee ( )

Return the callee of this operation.

Definition at line 1068 of file Ops.cpp.

◆ getCallee()

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

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

◆ getCalleeAttr()

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

inline

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

◆ getCalleeAttrName() [1/2]

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

inline

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

◆ getCalleeAttrName() [2/2]

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

inlinestatic

Definition at line 1214 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 1043 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 1138 of file Ops.cpp.inc.

◆ getMapOperands()

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

inline

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

◆ getMapOperandsMutable()

mlir::MutableOperandRangeRange llzk::verif::IncludeOp::getMapOperandsMutable ( )

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

◆ getMapOpGroupSizes()

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

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

◆ getMapOpGroupSizesAttr()

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

inline

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

◆ getMapOpGroupSizesAttrName() [1/2]

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

inline

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

◆ getMapOpGroupSizesAttrName() [2/2]

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

inlinestatic

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

◆ getNumDimsPerMap()

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

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

◆ getNumDimsPerMapAttr()

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

inline

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

◆ getNumDimsPerMapAttrName() [1/2]

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

inline

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

◆ getNumDimsPerMapAttrName() [2/2]

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

inlinestatic

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

◆ getODSOperandIndexAndLength()

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

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

◆ getODSOperands()

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

inline

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

◆ getODSResultIndexAndLength()

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

inline

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

◆ getODSResults()

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

inline

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

◆ getOperandSegmentSizesAttrName() [1/2]

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

inline

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

◆ getOperandSegmentSizesAttrName() [2/2]

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

inlinestatic

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

◆ getOperationName()

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

inlinestatic

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

◆ getPropertiesAsAttr()

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

static

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

◆ getSelfValue()

Value llzk::verif::IncludeOp::getSelfValue ( )

Return the "self" value (i.e.

the first parameter) from the callee contract, assuming the target of the contract is a struct target.

Definition at line 1056 of file Ops.cpp.

◆ getTemplateParams()

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

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

◆ getTemplateParamsAttr()

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

inline

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

◆ getTemplateParamsAttrName() [1/2]

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

inline

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

◆ getTemplateParamsAttrName() [2/2]

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

inlinestatic

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

◆ getTypeSignature()

FunctionType llzk::verif::IncludeOp::getTypeSignature ( )

Return the FunctionType inferred from the arg operands of this CallOp.

This is not necessarily the same as the callee's FunctionType but should unify with it or else IR verification will fail.

Definition at line 1030 of file Ops.cpp.

◆ parse()

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

static

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

◆ populateDefaultProperties()

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

static

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

◆ populateInherentAttrs()

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

static

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

◆ print()

void llzk::verif::IncludeOp::print ( ::mlir::OpAsmPrinter & _odsPrinter )

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

◆ readProperties()

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

static

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

◆ removeTemplateParamsAttr()

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

inline

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

◆ resolveCallable()

Operation * llzk::verif::IncludeOp::resolveCallable ( )

Required by CallOpInterface.

Definition at line 1099 of file Ops.cpp.

◆ resolveCallableInTable()

Operation * llzk::verif::IncludeOp::resolveCallableInTable ( ::mlir::SymbolTableCollection * symbolTable )

Required by CallOpInterface.

Definition at line 1082 of file Ops.cpp.

◆ setCalleeAttr()

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

inline

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

◆ setCalleeFromCallable()

void llzk::verif::IncludeOp::setCalleeFromCallable ( ::mlir::CallInterfaceCallable callee )

Set the callee for this operation.

Definition at line 1071 of file Ops.cpp.

◆ setInherentAttr()

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

static

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

◆ setMapOpGroupSizes()

void llzk::verif::IncludeOp::setMapOpGroupSizes ( ::llvm::ArrayRef< int32_t > attrValue )

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

◆ setMapOpGroupSizesAttr()

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

inline

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

◆ setNumDimsPerMap()

void llzk::verif::IncludeOp::setNumDimsPerMap ( ::llvm::ArrayRef< int32_t > attrValue )

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

◆ setNumDimsPerMapAttr()

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

inline

Definition at line 1318 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 1005 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 1465 of file Ops.cpp.inc.

◆ setTemplateParamsAttr()

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

inline

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

◆ toVectorOfValueRange()

SmallVector< ValueRange > llzk::verif::IncludeOp::toVectorOfValueRange ( ::mlir::OperandRangeRange )

Allocate consecutive storage of the ValueRange instances in the parameter so it can be passed to the builders as an ArrayRef<ValueRange>.

Definition at line 1075 of file Ops.cpp.

◆ unifyTypeSignature()

FailureOr< UnificationMap > llzk::verif::IncludeOp::unifyTypeSignature ( ::mlir::FunctionType other )

Attempt type unfication between the inferred FunctionType from this CallOp (as LHS) and the given FunctionType (as RHS).

If successful, return a UnificationMap containing the unifications that were made. Otherwise, return failure.

Definition at line 1034 of file Ops.cpp.

◆ verifyInherentAttrs()

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

static

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

◆ verifyInvariants()

llvm::LogicalResult llzk::verif::IncludeOp::verifyInvariants ( )

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

◆ verifyInvariantsImpl()

llvm::LogicalResult llzk::verif::IncludeOp::verifyInvariantsImpl ( )

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

◆ verifySymbolUses()

LogicalResult llzk::verif::IncludeOp::verifySymbolUses ( ::mlir::SymbolTableCollection & symbolTable )

Definition at line 991 of file Ops.cpp.

◆ verifyTemplateParamCompatibility() [1/2]

::mlir::LogicalResult llzk::verif::IncludeOp::verifyTemplateParamCompatibility ( ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs )

Check type compatibility of each template parameter value provided in this CallOp against the declared type on each TemplateParamOp (if any).

Pre-condition assertions:

!isNullOrEmpty(getTemplateParamsAttr())
getTemplateParamsAttr().size() == llvm::range_size(targetParamDefs)

◆ verifyTemplateParamCompatibility() [2/2]

::mlir::LogicalResult llzk::verif::IncludeOp::verifyTemplateParamCompatibility	(	::mlir::Attribute	paramFromCallOp,
		::llzk::polymorphic::TemplateParamOp	targetParam )

Check type compatibility of the given template parameter value from this CallOp against the declared type on the given TemplateParamOp (if any).

◆ verifyTemplateParamsMatchInferred()

LogicalResult llzk::verif::IncludeOp::verifyTemplateParamsMatchInferred	(	::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > >	targetParamDefs,
		const UnificationMap &	unifications )

Verify that each template parameter value provided in this CallOp is consistent with the value inferred for the target TemplateParamOp in the given UnificationMap.

The UnificationMap is expected to contain the unification results of this CallOp against the target function type signature.

Pre-condition assertions:

!isNullOrEmpty(getTemplateParamsAttr())
getTemplateParamsAttr().size() == llvm::range_size(targetParamDefs)

Definition at line 823 of file Ops.cpp.

◆ writeProperties()

void llzk::verif::IncludeOp::writeProperties ( ::mlir::DialectBytecodeWriter & writer )

Definition at line 1262 of file Ops.cpp.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

Public Types

Public Member Functions

Static Public Member Functions

Detailed Description

Member Typedef Documentation

◆ Adaptor

◆ FoldAdaptor

◆ GenericAdaptor

◆ Properties

Member Function Documentation

◆ build() [1/6]

◆ build() [2/6]

◆ build() [3/6]

◆ build() [4/6]

◆ build() [5/6]

◆ build() [6/6]

◆ computePropertiesHash()

◆ contractTargetsStruct()

◆ getArgOperands()

◆ getArgOperandsMutable()

◆ getAttributeNames()

◆ getCallableForCallee()

◆ getCallee()

◆ getCalleeAttr()

◆ getCalleeAttrName() [1/2]

◆ getCalleeAttrName() [2/2]

◆ getCalleeTarget()

◆ getInherentAttr()

◆ getMapOperands()

◆ getMapOperandsMutable()

◆ getMapOpGroupSizes()

◆ getMapOpGroupSizesAttr()

◆ getMapOpGroupSizesAttrName() [1/2]

◆ getMapOpGroupSizesAttrName() [2/2]

◆ getNumDimsPerMap()

◆ getNumDimsPerMapAttr()

◆ getNumDimsPerMapAttrName() [1/2]

◆ getNumDimsPerMapAttrName() [2/2]

◆ getODSOperandIndexAndLength()

◆ getODSOperands()

◆ getODSResultIndexAndLength()

◆ getODSResults()

◆ getOperandSegmentSizesAttrName() [1/2]

◆ getOperandSegmentSizesAttrName() [2/2]

◆ getOperationName()

◆ getPropertiesAsAttr()

◆ getSelfValue()

◆ getTemplateParams()

◆ getTemplateParamsAttr()

◆ getTemplateParamsAttrName() [1/2]

◆ getTemplateParamsAttrName() [2/2]

◆ getTypeSignature()

◆ parse()

◆ populateDefaultProperties()

◆ populateInherentAttrs()

◆ print()

◆ readProperties()

◆ removeTemplateParamsAttr()

◆ resolveCallable()

◆ resolveCallableInTable()

◆ setCalleeAttr()

◆ setCalleeFromCallable()

◆ setInherentAttr()

◆ setMapOpGroupSizes()

◆ setMapOpGroupSizesAttr()

◆ setNumDimsPerMap()

◆ setNumDimsPerMapAttr()

◆ setPropertiesFromAttr()

◆ setPropertiesFromParsedAttr()

◆ setTemplateParamsAttr()

◆ toVectorOfValueRange()

◆ unifyTypeSignature()

◆ verifyInherentAttrs()

◆ verifyInvariants()

◆ verifyInvariantsImpl()

◆ verifySymbolUses()

◆ verifyTemplateParamCompatibility() [1/2]

◆ verifyTemplateParamCompatibility() [2/2]

◆ verifyTemplateParamsMatchInferred()

◆ writeProperties()