llzk::function::CallOp Class Reference

Inheritance diagram for llzk::function::CallOp:

Collaboration diagram for llzk::function::CallOp:

Public Types
using	Adaptor = CallOpAdaptor
template<typename RangeT>
using	GenericAdaptor = CallOpGenericAdaptor<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	calleeIsCompute ()
	Return true iff the callee function name is FUNC_NAME_COMPUTE (this does not check if the callee function is located within a StructDefOp).
bool	calleeIsProduct ()
	Return true iff the callee function name is FUNC_NAME_PRODUCT (this does not check if the callee function is located within a StructDefOp).
bool	calleeContainsWitnessGen ()
	Return true iff the callee function can contain witness generation code (this does not check if the callee function is located within a StructDefOp).
bool	calleeIsConstrain ()
	Return true iff the callee function name is FUNC_NAME_CONSTRAIN (this does not check if the callee function is located within a StructDefOp).
bool	calleeIsStructCompute ()
	Return true iff the callee function name is FUNC_NAME_COMPUTE within a StructDefOp.
bool	calleeIsStructProduct ()
	Return true iff the callee function name is FUNC_NAME_PRODUCT within a StructDefOp.
bool	calleeIsStructConstrain ()
	Return true iff the callee function name is FUNC_NAME_CONSTRAIN within a StructDefOp.
bool	calleeIsInStruct ()
	Return true iff the callee function is within a StructDefOp.
::mlir::Value	getSelfValueFromCompute ()
	Return the "self" value (i.e.
::mlir::Value	getSelfValueFromProduct ()
	Return the "self" value (i.e.
::mlir::Value	getSelfValueFromConstrain ()
	Return the "self" value (i.e.
::mlir::FailureOr<::llzk::SymbolLookupResult<::llzk::function::FuncDefOp > >	getCalleeTarget (::mlir::SymbolTableCollection &tables)
	Resolve and return the target FuncDefOp for this CallOp.
::llzk::component::StructType	getSingleResultTypeOfCompute ()
	Assuming the callee is FUNC_NAME_COMPUTE, return the single StructType result.
::llzk::component::StructType	getSingleResultTypeOfWitnessGen ()
	Assuming the callee contains witness generation code, return the single StructType result.

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::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::mlir::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::ImplicitLocOpBuilder &builder, ::mlir::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::mlir::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::ImplicitLocOpBuilder &builder, ::mlir::TypeRange resultTypes, ::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::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::mlir::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::ImplicitLocOpBuilder &builder, ::mlir::TypeRange resultTypes, ::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::function::FuncDefOp callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::llzk::function::FuncDefOp callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::ImplicitLocOpBuilder &builder, ::llzk::function::FuncDefOp callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::function::FuncDefOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::llzk::function::FuncDefOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::ImplicitLocOpBuilder &builder, ::llzk::function::FuncDefOp 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::function::FuncDefOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::OpBuilder &builder, ::mlir::Location location, ::llzk::function::FuncDefOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})
static CallOp	create (::mlir::ImplicitLocOpBuilder &builder, ::llzk::function::FuncDefOp 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 340 of file Ops.h.inc.

Member Typedef Documentation

Adaptor

using llzk::function::CallOp::Adaptor = CallOpAdaptor

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

FoldAdaptor

using llzk::function::CallOp::FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>

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

GenericAdaptor

template<typename RangeT>

using llzk::function::CallOp::GenericAdaptor = CallOpGenericAdaptor<RangeT>

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

Properties

using llzk::function::CallOp::Properties = FoldAdaptor::Properties

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

Member Function Documentation

build() [1/6]

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

static

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

build() [2/6]

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

static

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

build() [3/6]

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

static

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

build() [4/6]

void llzk::function::CallOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::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 628 of file Ops.cpp.inc.

build() [5/6]

void llzk::function::CallOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::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::function::CallOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

calleeContainsWitnessGen()

bool llzk::function::CallOp::calleeContainsWitnessGen ( )

inline

Return true iff the callee function can contain witness generation code (this does not check if the callee function is located within a StructDefOp).

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

calleeIsCompute()

bool llzk::function::CallOp::calleeIsCompute ( )

inline

Return true iff the callee function name is FUNC_NAME_COMPUTE (this does not check if the callee function is located within a StructDefOp).

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

calleeIsConstrain()

bool llzk::function::CallOp::calleeIsConstrain ( )

inline

Return true iff the callee function name is FUNC_NAME_CONSTRAIN (this does not check if the callee function is located within a StructDefOp).

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

calleeIsInStruct()

bool llzk::function::CallOp::calleeIsInStruct ( )

inline

Return true iff the callee function is within a StructDefOp.

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

calleeIsProduct()

bool llzk::function::CallOp::calleeIsProduct ( )

inline

Return true iff the callee function name is FUNC_NAME_PRODUCT (this does not check if the callee function is located within a StructDefOp).

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

calleeIsStructCompute()

bool llzk::function::CallOp::calleeIsStructCompute

(

)

Return true iff the callee function name is FUNC_NAME_COMPUTE within a StructDefOp.

Definition at line 992 of file Ops.cpp.

calleeIsStructConstrain()

bool llzk::function::CallOp::calleeIsStructConstrain

(

)

Return true iff the callee function name is FUNC_NAME_CONSTRAIN within a StructDefOp.

Definition at line 1004 of file Ops.cpp.

calleeIsStructProduct()

bool llzk::function::CallOp::calleeIsStructProduct

(

)

Return true iff the callee function name is FUNC_NAME_PRODUCT within a StructDefOp.

Definition at line 998 of file Ops.cpp.

computePropertiesHash()

llvm::hash_code llzk::function::CallOp::computePropertiesHash ( const Properties & prop )

static

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

create() [1/12]

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

static

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

create() [2/12]

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

static

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

create() [3/12]

CallOp llzk::function::CallOp::create ( ::mlir::ImplicitLocOpBuilder & builder, ::llzk::function::FuncDefOp callee, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

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

create() [4/12]

CallOp llzk::function::CallOp::create ( ::mlir::ImplicitLocOpBuilder & builder, ::mlir::TypeRange resultTypes, ::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 643 of file Ops.cpp.inc.

create() [5/12]

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

static

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

create() [6/12]

CallOp llzk::function::CallOp::create ( ::mlir::ImplicitLocOpBuilder & builder, ::mlir::TypeRange resultTypes, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands = {}, ::llvm::ArrayRef<::mlir::Attribute > templateParams = {} )

static

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

create() [7/12]

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

static

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

create() [8/12]

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

static

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

create() [9/12]

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

static

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

create() [10/12]

CallOp llzk::function::CallOp::create ( ::mlir::OpBuilder & builder, ::mlir::Location location, ::mlir::TypeRange resultTypes, ::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 635 of file Ops.cpp.inc.

create() [11/12]

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

static

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

create() [12/12]

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

static

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

getArgAttrs()

std::optional<::mlir::ArrayAttr > llzk::function::CallOp::getArgAttrs

(

)

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

getArgAttrsAttr()

::mlir::ArrayAttr llzk::function::CallOp::getArgAttrsAttr ( )

inline

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

getArgAttrsAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getArgAttrsAttrName ( )

inline

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

getArgAttrsAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getArgAttrsAttrName ( ::mlir::OperationName name )

inlinestatic

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

getArgOperands()

::mlir::Operation::operand_range llzk::function::CallOp::getArgOperands ( )

inline

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

getArgOperandsMutable()

mlir::MutableOperandRange llzk::function::CallOp::getArgOperandsMutable

(

)

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

getAttributeNames()

::llvm::ArrayRef<::llvm::StringRef > llzk::function::CallOp::getAttributeNames ( )

inline

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

getCallableForCallee()

CallInterfaceCallable llzk::function::CallOp::getCallableForCallee

(

)

Return the callee of this operation.

Definition at line 1055 of file Ops.cpp.

getCallee()

mlir::SymbolRefAttr llzk::function::CallOp::getCallee

(

)

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

getCalleeAttr()

::mlir::SymbolRefAttr llzk::function::CallOp::getCalleeAttr ( )

inline

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

getCalleeAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getCalleeAttrName ( )

inline

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

getCalleeAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getCalleeAttrName ( ::mlir::OperationName name )

inlinestatic

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

getCalleeTarget()

FailureOr< SymbolLookupResult< FuncDefOp > > llzk::function::CallOp::getCalleeTarget

(

::mlir::SymbolTableCollection &

tables

)

Resolve and return the target FuncDefOp for this CallOp.

Definition at line 1037 of file Ops.cpp.

getInherentAttr()

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

static

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

getMapOperands()

::mlir::OperandRangeRange llzk::function::CallOp::getMapOperands ( )

inline

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

getMapOperandsMutable()

mlir::MutableOperandRangeRange llzk::function::CallOp::getMapOperandsMutable

(

)

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

getMapOpGroupSizes()

llvm::ArrayRef< int32_t > llzk::function::CallOp::getMapOpGroupSizes

(

)

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

getMapOpGroupSizesAttr()

::mlir::DenseI32ArrayAttr llzk::function::CallOp::getMapOpGroupSizesAttr ( )

inline

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

getMapOpGroupSizesAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getMapOpGroupSizesAttrName ( )

inline

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

getMapOpGroupSizesAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getMapOpGroupSizesAttrName ( ::mlir::OperationName name )

inlinestatic

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

getNumDimsPerMap()

llvm::ArrayRef< int32_t > llzk::function::CallOp::getNumDimsPerMap

(

)

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

getNumDimsPerMapAttr()

::mlir::DenseI32ArrayAttr llzk::function::CallOp::getNumDimsPerMapAttr ( )

inline

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

getNumDimsPerMapAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getNumDimsPerMapAttrName ( )

inline

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

getNumDimsPerMapAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getNumDimsPerMapAttrName ( ::mlir::OperationName name )

inlinestatic

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

getODSOperandIndexAndLength()

std::pair< unsigned, unsigned > llzk::function::CallOp::getODSOperandIndexAndLength

(

unsigned

index

)

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

getODSOperands()

::mlir::Operation::operand_range llzk::function::CallOp::getODSOperands ( unsigned index )

inline

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

getODSResultIndexAndLength()

std::pair< unsigned, unsigned > llzk::function::CallOp::getODSResultIndexAndLength

(

unsigned

index

)

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

getODSResults()

::mlir::Operation::result_range llzk::function::CallOp::getODSResults ( unsigned index )

inline

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

getOperandSegmentSizesAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getOperandSegmentSizesAttrName ( )

inline

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

getOperandSegmentSizesAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getOperandSegmentSizesAttrName ( ::mlir::OperationName name )

inlinestatic

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

getOperationName()

constexpr ::llvm::StringLiteral llzk::function::CallOp::getOperationName ( )

inlinestatic

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

getPropertiesAsAttr()

mlir::Attribute llzk::function::CallOp::getPropertiesAsAttr ( ::mlir::MLIRContext * ctx, const Properties & prop )

static

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

getResAttrs()

std::optional<::mlir::ArrayAttr > llzk::function::CallOp::getResAttrs

(

)

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

getResAttrsAttr()

::mlir::ArrayAttr llzk::function::CallOp::getResAttrsAttr ( )

inline

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

getResAttrsAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getResAttrsAttrName ( )

inline

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

getResAttrsAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getResAttrsAttrName ( ::mlir::OperationName name )

inlinestatic

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

getSelfValue()

Value llzk::function::CallOp::getSelfValue

(

)

Definition at line 1025 of file Ops.cpp.

getSelfValueFromCompute()

Value llzk::function::CallOp::getSelfValueFromCompute

(

)

Return the "self" value (i.e.

the return value) from the callee function (which must be named FUNC_NAME_COMPUTE).

Definition at line 1010 of file Ops.cpp.

getSelfValueFromConstrain()

Value llzk::function::CallOp::getSelfValueFromConstrain

(

)

Return the "self" value (i.e.

the first parameter) from the callee function (which must be named FUNC_NAME_CONSTRAIN).

Definition at line 1020 of file Ops.cpp.

getSelfValueFromProduct()

Value llzk::function::CallOp::getSelfValueFromProduct

(

)

Return the "self" value (i.e.

the return value) from the callee function (which must be named FUNC_NAME_PRODUCT).

Definition at line 1015 of file Ops.cpp.

getSingleResultTypeOfCompute()

StructType llzk::function::CallOp::getSingleResultTypeOfCompute

(

)

Assuming the callee is FUNC_NAME_COMPUTE, return the single StructType result.

Definition at line 1044 of file Ops.cpp.

getSingleResultTypeOfWitnessGen()

StructType llzk::function::CallOp::getSingleResultTypeOfWitnessGen

(

)

Assuming the callee contains witness generation code, return the single StructType result.

Definition at line 1049 of file Ops.cpp.

getTemplateParams()

std::optional<::mlir::ArrayAttr > llzk::function::CallOp::getTemplateParams

(

)

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

getTemplateParamsAttr()

::mlir::ArrayAttr llzk::function::CallOp::getTemplateParamsAttr ( )

inline

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

getTemplateParamsAttrName() [1/2]

::mlir::StringAttr llzk::function::CallOp::getTemplateParamsAttrName ( )

inline

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

getTemplateParamsAttrName() [2/2]

::mlir::StringAttr llzk::function::CallOp::getTemplateParamsAttrName ( ::mlir::OperationName name )

inlinestatic

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

parse()

mlir::ParseResult llzk::function::CallOp::parse ( ::mlir::OpAsmParser & parser, ::mlir::OperationState & result )

static

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

populateDefaultProperties()

void llzk::function::CallOp::populateDefaultProperties ( ::mlir::OperationName opName, Properties & properties )

static

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

populateInherentAttrs()

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

static

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

print()

void llzk::function::CallOp::print

(

::mlir::OpAsmPrinter &

_odsPrinter

)

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

readProperties()

LogicalResult llzk::function::CallOp::readProperties ( ::mlir::DialectBytecodeReader & reader, ::mlir::OperationState & state )

static

Definition at line 553 of file Ops.cpp.

removeArgAttrsAttr()

::mlir::Attribute llzk::function::CallOp::removeArgAttrsAttr ( )

inline

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

removeResAttrsAttr()

::mlir::Attribute llzk::function::CallOp::removeResAttrsAttr ( )

inline

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

removeTemplateParamsAttr()

::mlir::Attribute llzk::function::CallOp::removeTemplateParamsAttr ( )

inline

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

resolveCallable()

Operation * llzk::function::CallOp::resolveCallable

(

)

Definition at line 1072 of file Ops.cpp.

resolveCallableInTable()

Operation * llzk::function::CallOp::resolveCallableInTable

(

::mlir::SymbolTableCollection *

symbolTable

)

Definition at line 1062 of file Ops.cpp.

setArgAttrsAttr()

void llzk::function::CallOp::setArgAttrsAttr ( ::mlir::ArrayAttr attr )

inline

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

setCalleeAttr()

void llzk::function::CallOp::setCalleeAttr ( ::mlir::SymbolRefAttr attr )

inline

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

setCalleeFromCallable()

void llzk::function::CallOp::setCalleeFromCallable

(

::mlir::CallInterfaceCallable

callee

)

Set the callee for this operation.

Definition at line 1058 of file Ops.cpp.

setInherentAttr()

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

static

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

setMapOpGroupSizes()

void llzk::function::CallOp::setMapOpGroupSizes

(

::llvm::ArrayRef< int32_t >

attrValue

)

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

setMapOpGroupSizesAttr()

void llzk::function::CallOp::setMapOpGroupSizesAttr ( ::mlir::DenseI32ArrayAttr attr )

inline

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

setNumDimsPerMap()

void llzk::function::CallOp::setNumDimsPerMap

(

::llvm::ArrayRef< int32_t >

attrValue

)

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

setNumDimsPerMapAttr()

void llzk::function::CallOp::setNumDimsPerMapAttr ( ::mlir::DenseI32ArrayAttr attr )

inline

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

setPropertiesFromAttr()

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

static

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

setPropertiesFromParsedAttr()

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

static

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

setResAttrsAttr()

void llzk::function::CallOp::setResAttrsAttr ( ::mlir::ArrayAttr attr )

inline

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

setTemplateParamsAttr()

void llzk::function::CallOp::setTemplateParamsAttr ( ::mlir::ArrayAttr attr )

inline

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

verifyInherentAttrs()

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

static

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

verifyInvariants()

llvm::LogicalResult llzk::function::CallOp::verifyInvariants

(

)

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

verifyInvariantsImpl()

llvm::LogicalResult llzk::function::CallOp::verifyInvariantsImpl

(

)

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

verifySymbolUses()

LogicalResult llzk::function::CallOp::verifySymbolUses

(

::mlir::SymbolTableCollection &

symbolTable

)

Definition at line 933 of file Ops.cpp.

writeProperties()

void llzk::function::CallOp::writeProperties

(

::mlir::DialectBytecodeWriter &

writer

)

Definition at line 591 of file Ops.cpp.

Member Data Documentation

odsIndex_argOperands

int llzk::function::CallOp::odsIndex_argOperands = 0

staticconstexpr

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

odsIndex_mapOperands

int llzk::function::CallOp::odsIndex_mapOperands = 1

staticconstexpr

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

---

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

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