llzk::function::FuncDefOp Class Reference

Inheritance diagram for llzk::function::FuncDefOp:

Collaboration diagram for llzk::function::FuncDefOp:

Public Types
using	Adaptor = FuncDefOpAdaptor
template<typename RangeT>
using	GenericAdaptor = FuncDefOpGenericAdaptor<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	getFunctionTypeAttrName ()
::mlir::StringAttr	getResAttrsAttrName ()
::mlir::StringAttr	getSymNameAttrName ()
std::pair< unsigned, unsigned >	getODSOperandIndexAndLength (unsigned index)
::mlir::Operation::operand_range	getODSOperands (unsigned index)
std::pair< unsigned, unsigned >	getODSResultIndexAndLength (unsigned index)
::mlir::Operation::result_range	getODSResults (unsigned index)
::mlir::Region &	getBody ()
void	writeProperties (::mlir::DialectBytecodeWriter &writer)
::mlir::StringAttr	getSymNameAttr ()
::llvm::StringRef	getSymName ()
::mlir::TypeAttr	getFunctionTypeAttr ()
::mlir::FunctionType	getFunctionType ()
::mlir::ArrayAttr	getArgAttrsAttr ()
::std::optional< ::mlir::ArrayAttr >	getArgAttrs ()
::mlir::ArrayAttr	getResAttrsAttr ()
::std::optional< ::mlir::ArrayAttr >	getResAttrs ()
void	setSymNameAttr (::mlir::StringAttr attr)
void	setSymName (::llvm::StringRef attrValue)
void	setFunctionTypeAttr (::mlir::TypeAttr attr)
void	setFunctionType (::mlir::FunctionType attrValue)
void	setArgAttrsAttr (::mlir::ArrayAttr attr)
void	setResAttrsAttr (::mlir::ArrayAttr attr)
::mlir::Attribute	removeArgAttrsAttr ()
::mlir::Attribute	removeResAttrsAttr ()
void	print (::mlir::OpAsmPrinter &p)
::mlir::LogicalResult	verifyInvariantsImpl ()
::mlir::LogicalResult	verifyInvariants ()
::mlir::LogicalResult	verify ()
::mlir::LogicalResult	verifySymbolUses (::mlir::SymbolTableCollection &symbolTable)
FuncDefOp	clone (::mlir::IRMapping &mapper)
	Create a deep copy of this function and all of its blocks, remapping any operands that use values outside of the function using the map that is provided (leaving them alone if no entry is present).
FuncDefOp	clone ()
void	cloneInto (FuncDefOp dest, ::mlir::IRMapping &mapper)
	Clone the internal blocks and attributes from this function into dest.
bool	hasAllowConstraintAttr ()
	Return true iff the function def has the allow_constraint attribute.
void	setAllowConstraintAttr (bool newValue=true)
	Add (resp. remove) the allow_constraint attribute to (resp. from) the function def.
bool	hasAllowWitnessAttr ()
	Return true iff the function def has the allow_witness attribute.
void	setAllowWitnessAttr (bool newValue=true)
	Add (resp. remove) the allow_witness attribute to (resp. from) the function def.
bool	hasArgPublicAttr (unsigned index)
	Return true iff the argument at the given index has pub attribute.
::mlir::Region *	getCallableRegion ()
	Returns the region on the current operation that is callable.
::llvm::ArrayRef<::mlir::Type >	getArgumentTypes ()
	Returns the argument types of this function.
::llvm::ArrayRef<::mlir::Type >	getResultTypes ()
	Returns the result types of this function.
bool	isDeclaration ()
::mlir::SymbolRefAttr	getFullyQualifiedName ()
	Return the full name for this function from the root module, including all surrounding symbol table names (i.e.
bool	nameIsCompute ()
	Return true iff the function name is FUNC_NAME_COMPUTE (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).
bool	nameIsConstrain ()
	Return true iff the function name is FUNC_NAME_CONSTRAIN (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).
bool	isInStruct ()
	Return true iff the function is within a StructDefOp.
bool	isStructCompute ()
	Return true iff the function is within a StructDefOp and named FUNC_NAME_COMPUTE.
bool	isStructConstrain ()
	Return true iff the function is within a StructDefOp and named FUNC_NAME_CONSTRAIN.
::llzk::component::StructType	getSingleResultTypeOfCompute ()
	Assuming the name is FUNC_NAME_COMPUTE, return the single StructType result.

Static Public Member Functions
::mlir::StringAttr	getArgAttrsAttrName (::mlir::OperationName name)
::mlir::StringAttr	getFunctionTypeAttrName (::mlir::OperationName name)
::mlir::StringAttr	getResAttrsAttrName (::mlir::OperationName name)
::mlir::StringAttr	getSymNameAttrName (::mlir::OperationName name)
static constexpr ::llvm::StringLiteral	getOperationName ()
::mlir::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)
::mlir::LogicalResult	verifyInherentAttrs (::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)
::mlir::LogicalResult	readProperties (::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs={}, ::llvm::ArrayRef<::mlir::DictionaryAttr > argAttrs={})
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::StringAttr sym_name, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::StringAttr sym_name, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef sym_name, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::llvm::StringRef sym_name, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs)
static void	build (::mlir::OpBuilder &, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes={})
::mlir::ParseResult	parse (::mlir::OpAsmParser &parser, ::mlir::OperationState &result)
static FuncDefOp	create (::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs={})
static FuncDefOp	create (::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::mlir::Operation::dialect_attr_range attrs)
static FuncDefOp	create (::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs, ::llvm::ArrayRef<::mlir::DictionaryAttr > argAttrs)

Detailed Description

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

Member Typedef Documentation

Adaptor

using llzk::function::FuncDefOp::Adaptor = FuncDefOpAdaptor

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

FoldAdaptor

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

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

GenericAdaptor

template<typename RangeT>

using llzk::function::FuncDefOp::GenericAdaptor = FuncDefOpGenericAdaptor<RangeT>

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

Properties

using llzk::function::FuncDefOp::Properties = FoldAdaptor::Properties

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

Member Function Documentation

build() [1/6]

void llzk::function::FuncDefOp::build ( ::mlir::OpBuilder & , ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes = {} )

static

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

build() [2/6]

static void llzk::function::FuncDefOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs = {}, ::llvm::ArrayRef<::mlir::DictionaryAttr > argAttrs = {} )

static

build() [3/6]

void llzk::function::FuncDefOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::llvm::StringRef sym_name, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs )

static

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

build() [4/6]

void llzk::function::FuncDefOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::StringAttr sym_name, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs )

static

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

build() [5/6]

void llzk::function::FuncDefOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::llvm::StringRef sym_name, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs )

static

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

build() [6/6]

void llzk::function::FuncDefOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::mlir::StringAttr sym_name, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs )

static

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

clone() [1/2]

FuncDefOp llzk::function::FuncDefOp::clone

(

)

Definition at line 181 of file Ops.cpp.

clone() [2/2]

FuncDefOp llzk::function::FuncDefOp::clone

(

::mlir::IRMapping &

mapper

)

Create a deep copy of this function and all of its blocks, remapping any operands that use values outside of the function using the map that is provided (leaving them alone if no entry is present).

If the mapper contains entries for function arguments, these arguments are not included in the new function. Replaces references to cloned sub-values with the corresponding value that is copied, and adds those mappings to the mapper.

cloneInto()

void llzk::function::FuncDefOp::cloneInto	(	FuncDefOp	dest,
		::mlir::IRMapping &	mapper )

Clone the internal blocks and attributes from this function into dest.

Clone the internal blocks from this function into dest and all attributes from this function to dest.

Any cloned blocks are appended to the back of dest. This function asserts that the attributes of the current function and dest are compatible.

Definition at line 114 of file Ops.cpp.

computePropertiesHash()

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

static

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

create() [1/3]

static FuncDefOp llzk::function::FuncDefOp::create ( ::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs, ::llvm::ArrayRef<::mlir::DictionaryAttr > argAttrs )

static

create() [2/3]

static FuncDefOp llzk::function::FuncDefOp::create ( ::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs = {} )

static

create() [3/3]

static FuncDefOp llzk::function::FuncDefOp::create ( ::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::mlir::Operation::dialect_attr_range attrs )

static

getArgAttrs()

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

(

)

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

getArgAttrsAttr()

mlir::ArrayAttr llzk::function::FuncDefOp::getArgAttrsAttr

(

)

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

getArgAttrsAttrName() [1/2]

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

inline

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

getArgAttrsAttrName() [2/2]

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

inlinestatic

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

getArgumentTypes()

::llvm::ArrayRef<::mlir::Type > llzk::function::FuncDefOp::getArgumentTypes ( )

inline

Returns the argument types of this function.

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

getAttributeNames()

static ::llvm::ArrayRef<::llvm::StringRef > llzk::function::FuncDefOp::getAttributeNames ( )

inline

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

getBody()

mlir::Region & llzk::function::FuncDefOp::getBody

(

)

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

getCallableRegion()

::mlir::Region * llzk::function::FuncDefOp::getCallableRegion ( )

inline

Returns the region on the current operation that is callable.

This may return null in the case of an external callable object, e.g. an external function.

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

getFullyQualifiedName()

SymbolRefAttr llzk::function::FuncDefOp::getFullyQualifiedName

(

)

Return the full name for this function from the root module, including all surrounding symbol table names (i.e.

modules and structs).

Definition at line 303 of file Ops.cpp.

getFunctionType()

mlir::FunctionType llzk::function::FuncDefOp::getFunctionType

(

)

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

getFunctionTypeAttr()

mlir::TypeAttr llzk::function::FuncDefOp::getFunctionTypeAttr

(

)

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

getFunctionTypeAttrName() [1/2]

::mlir::StringAttr llzk::function::FuncDefOp::getFunctionTypeAttrName ( )

inline

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

getFunctionTypeAttrName() [2/2]

::mlir::StringAttr llzk::function::FuncDefOp::getFunctionTypeAttrName ( ::mlir::OperationName name )

inlinestatic

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

getInherentAttr()

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

static

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

getODSOperandIndexAndLength()

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

(

unsigned

index

)

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

getODSOperands()

mlir::Operation::operand_range llzk::function::FuncDefOp::getODSOperands

(

unsigned

index

)

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

getODSResultIndexAndLength()

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

(

unsigned

index

)

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

getODSResults()

mlir::Operation::result_range llzk::function::FuncDefOp::getODSResults

(

unsigned

index

)

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

getOperationName()

static constexpr ::llvm::StringLiteral llzk::function::FuncDefOp::getOperationName ( )

inlinestatic

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

getPropertiesAsAttr()

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

static

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

getResAttrs()

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

(

)

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

getResAttrsAttr()

mlir::ArrayAttr llzk::function::FuncDefOp::getResAttrsAttr

(

)

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

getResAttrsAttrName() [1/2]

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

inline

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

getResAttrsAttrName() [2/2]

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

inlinestatic

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

getResultTypes()

::llvm::ArrayRef<::mlir::Type > llzk::function::FuncDefOp::getResultTypes ( )

inline

Returns the result types of this function.

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

getSingleResultTypeOfCompute()

StructType llzk::function::FuncDefOp::getSingleResultTypeOfCompute

(

)

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

Definition at line 309 of file Ops.cpp.

getSymName()

llvm::StringRef llzk::function::FuncDefOp::getSymName

(

)

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

getSymNameAttr()

mlir::StringAttr llzk::function::FuncDefOp::getSymNameAttr

(

)

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

getSymNameAttrName() [1/2]

::mlir::StringAttr llzk::function::FuncDefOp::getSymNameAttrName ( )

inline

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

getSymNameAttrName() [2/2]

::mlir::StringAttr llzk::function::FuncDefOp::getSymNameAttrName ( ::mlir::OperationName name )

inlinestatic

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

hasAllowConstraintAttr()

bool llzk::function::FuncDefOp::hasAllowConstraintAttr ( )

inline

Return true iff the function def has the allow_constraint attribute.

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

hasAllowWitnessAttr()

bool llzk::function::FuncDefOp::hasAllowWitnessAttr ( )

inline

Return true iff the function def has the allow_witness attribute.

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

hasArgPublicAttr()

bool llzk::function::FuncDefOp::hasArgPublicAttr

(

unsigned

index

)

Return true iff the argument at the given index has pub attribute.

Definition at line 202 of file Ops.cpp.

isDeclaration()

bool llzk::function::FuncDefOp::isDeclaration ( )

inline

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

isInStruct()

bool llzk::function::FuncDefOp::isInStruct ( )

inline

Return true iff the function is within a StructDefOp.

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

isStructCompute()

bool llzk::function::FuncDefOp::isStructCompute ( )

inline

Return true iff the function is within a StructDefOp and named FUNC_NAME_COMPUTE.

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

isStructConstrain()

bool llzk::function::FuncDefOp::isStructConstrain ( )

inline

Return true iff the function is within a StructDefOp and named FUNC_NAME_CONSTRAIN.

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

nameIsCompute()

bool llzk::function::FuncDefOp::nameIsCompute ( )

inline

Return true iff the function name is FUNC_NAME_COMPUTE (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).

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

nameIsConstrain()

bool llzk::function::FuncDefOp::nameIsConstrain ( )

inline

Return true iff the function name is FUNC_NAME_CONSTRAIN (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).

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

parse()

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

static

Definition at line 94 of file Ops.cpp.

populateInherentAttrs()

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

static

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

print()

void llzk::function::FuncDefOp::print

(

::mlir::OpAsmPrinter &

p

)

Definition at line 105 of file Ops.cpp.

readProperties()

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

static

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

removeArgAttrsAttr()

mlir::Attribute llzk::function::FuncDefOp::removeArgAttrsAttr

(

)

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

removeResAttrsAttr()

mlir::Attribute llzk::function::FuncDefOp::removeResAttrsAttr

(

)

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

setAllowConstraintAttr()

void llzk::function::FuncDefOp::setAllowConstraintAttr

(

bool

newValue = true

)

Add (resp. remove) the allow_constraint attribute to (resp. from) the function def.

Definition at line 186 of file Ops.cpp.

setAllowWitnessAttr()

void llzk::function::FuncDefOp::setAllowWitnessAttr

(

bool

newValue = true

)

Add (resp. remove) the allow_witness attribute to (resp. from) the function def.

Definition at line 194 of file Ops.cpp.

setArgAttrsAttr()

void llzk::function::FuncDefOp::setArgAttrsAttr

(

::mlir::ArrayAttr

attr

)

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

setFunctionType()

void llzk::function::FuncDefOp::setFunctionType

(

::mlir::FunctionType

attrValue

)

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

setFunctionTypeAttr()

void llzk::function::FuncDefOp::setFunctionTypeAttr

(

::mlir::TypeAttr

attr

)

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

setInherentAttr()

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

static

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

setPropertiesFromAttr()

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

static

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

setResAttrsAttr()

void llzk::function::FuncDefOp::setResAttrsAttr

(

::mlir::ArrayAttr

attr

)

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

setSymName()

void llzk::function::FuncDefOp::setSymName

(

::llvm::StringRef

attrValue

)

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

setSymNameAttr()

void llzk::function::FuncDefOp::setSymNameAttr

(

::mlir::StringAttr

attr

)

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

verify()

LogicalResult llzk::function::FuncDefOp::verify

(

)

Definition at line 212 of file Ops.cpp.

verifyInherentAttrs()

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

static

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

verifyInvariants()

mlir::LogicalResult llzk::function::FuncDefOp::verifyInvariants

(

)

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

verifyInvariantsImpl()

mlir::LogicalResult llzk::function::FuncDefOp::verifyInvariantsImpl

(

)

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

verifySymbolUses()

LogicalResult llzk::function::FuncDefOp::verifySymbolUses

(

::mlir::SymbolTableCollection &

symbolTable

)

Definition at line 288 of file Ops.cpp.

writeProperties()

void llzk::function::FuncDefOp::writeProperties

(

::mlir::DialectBytecodeWriter &

writer

)

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