LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Functions
Ops.capi.cpp.inc File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

MlirOperation llzkStruct_CreateStructOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType)
 Build a llzk::component::CreateStructOp Operation.
bool llzkOperationIsA_Struct_CreateStructOp (MlirOperation inp)
 Returns true if the Operation is a llzk::component::CreateStructOp.
MlirValue llzkStruct_CreateStructOpGetResult (MlirOperation op)
 Get Result result from llzk::component::CreateStructOp Operation.
bool llzkOperationIsA_Struct_MemberDefOp (MlirOperation inp)
 Returns true if the Operation is a llzk::component::MemberDefOp.
MlirAttribute llzkStruct_MemberDefOpGetSymName (MlirOperation op)
 Get SymName attribute from llzk::component::MemberDefOp Operation.
void llzkStruct_MemberDefOpSetSymName (MlirOperation op, MlirAttribute attr)
 Set SymName attribute of llzk::component::MemberDefOp Operation.
MlirAttribute llzkStruct_MemberDefOpGetType (MlirOperation op)
 Get Type attribute from llzk::component::MemberDefOp Operation.
void llzkStruct_MemberDefOpSetType (MlirOperation op, MlirAttribute attr)
 Set Type attribute of llzk::component::MemberDefOp Operation.
MlirAttribute llzkStruct_MemberDefOpGetColumn (MlirOperation op)
 Get Column attribute from llzk::component::MemberDefOp Operation.
void llzkStruct_MemberDefOpSetColumn (MlirOperation op, MlirAttribute attr)
 Set Column attribute of llzk::component::MemberDefOp Operation.
MlirAttribute llzkStruct_MemberDefOpGetSignal (MlirOperation op)
 Get Signal attribute from llzk::component::MemberDefOp Operation.
void llzkStruct_MemberDefOpSetSignal (MlirOperation op, MlirAttribute attr)
 Set Signal attribute of llzk::component::MemberDefOp Operation.
void llzkStruct_MemberDefOpSetPublicAttr (MlirOperation inp, bool newValue)
 setPublicAttr
bool llzkStruct_MemberDefOpHasPublicAttr (MlirOperation inp)
 hasPublicAttr
bool llzkOperationIsA_Struct_MemberReadOp (MlirOperation inp)
 Returns true if the Operation is a llzk::component::MemberReadOp.
MlirValue llzkStruct_MemberReadOpGetComponent (MlirOperation op)
 Get Component operand from llzk::component::MemberReadOp Operation.
void llzkStruct_MemberReadOpSetComponent (MlirOperation op, MlirValue value)
 Set Component operand of llzk::component::MemberReadOp Operation.
intptr_t llzkStruct_MemberReadOpGetMapOperandsCount (MlirOperation op)
 Get number of MapOperands operands in llzk::component::MemberReadOp Operation.
MlirValue llzkStruct_MemberReadOpGetMapOperandsAt (MlirOperation op, intptr_t index)
 Get MapOperands operand at index from llzk::component::MemberReadOp Operation.
void llzkStruct_MemberReadOpSetMapOperands (MlirOperation op, intptr_t count, MlirValue const *values)
 Set MapOperands operands of llzk::component::MemberReadOp Operation.
MlirAttribute llzkStruct_MemberReadOpGetMemberName (MlirOperation op)
 Get MemberName attribute from llzk::component::MemberReadOp Operation.
void llzkStruct_MemberReadOpSetMemberName (MlirOperation op, MlirAttribute attr)
 Set MemberName attribute of llzk::component::MemberReadOp Operation.
MlirAttribute llzkStruct_MemberReadOpGetTableOffset (MlirOperation op)
 Get TableOffset attribute from llzk::component::MemberReadOp Operation.
void llzkStruct_MemberReadOpSetTableOffset (MlirOperation op, MlirAttribute attr)
 Set TableOffset attribute of llzk::component::MemberReadOp Operation.
MlirAttribute llzkStruct_MemberReadOpGetNumDimsPerMap (MlirOperation op)
 Get NumDimsPerMap attribute from llzk::component::MemberReadOp Operation.
void llzkStruct_MemberReadOpSetNumDimsPerMap (MlirOperation op, MlirAttribute attr)
 Set NumDimsPerMap attribute of llzk::component::MemberReadOp Operation.
MlirAttribute llzkStruct_MemberReadOpGetMapOpGroupSizes (MlirOperation op)
 Get MapOpGroupSizes attribute from llzk::component::MemberReadOp Operation.
void llzkStruct_MemberReadOpSetMapOpGroupSizes (MlirOperation op, MlirAttribute attr)
 Set MapOpGroupSizes attribute of llzk::component::MemberReadOp Operation.
MlirValue llzkStruct_MemberReadOpGetVal (MlirOperation op)
 Get Val result from llzk::component::MemberReadOp Operation.
MlirOperation llzkStruct_MemberWriteOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue component, MlirValue val, MlirAttribute member_name)
 Build a llzk::component::MemberWriteOp Operation.
bool llzkOperationIsA_Struct_MemberWriteOp (MlirOperation inp)
 Returns true if the Operation is a llzk::component::MemberWriteOp.
MlirValue llzkStruct_MemberWriteOpGetComponent (MlirOperation op)
 Get Component operand from llzk::component::MemberWriteOp Operation.
void llzkStruct_MemberWriteOpSetComponent (MlirOperation op, MlirValue value)
 Set Component operand of llzk::component::MemberWriteOp Operation.
MlirValue llzkStruct_MemberWriteOpGetVal (MlirOperation op)
 Get Val operand from llzk::component::MemberWriteOp Operation.
void llzkStruct_MemberWriteOpSetVal (MlirOperation op, MlirValue value)
 Set Val operand of llzk::component::MemberWriteOp Operation.
MlirAttribute llzkStruct_MemberWriteOpGetMemberName (MlirOperation op)
 Get MemberName attribute from llzk::component::MemberWriteOp Operation.
void llzkStruct_MemberWriteOpSetMemberName (MlirOperation op, MlirAttribute attr)
 Set MemberName attribute of llzk::component::MemberWriteOp Operation.
MlirOperation llzkStruct_StructDefOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name)
 Build a llzk::component::StructDefOp Operation.
bool llzkOperationIsA_Struct_StructDefOp (MlirOperation inp)
 Returns true if the Operation is a llzk::component::StructDefOp.
MlirAttribute llzkStruct_StructDefOpGetSymName (MlirOperation op)
 Get SymName attribute from llzk::component::StructDefOp Operation.
void llzkStruct_StructDefOpSetSymName (MlirOperation op, MlirAttribute attr)
 Set SymName attribute of llzk::component::StructDefOp Operation.
MlirRegion llzkStruct_StructDefOpGetBodyRegion (MlirOperation op)
 Get BodyRegion region from llzk::component::StructDefOp Operation.
MlirOperation llzkStruct_StructDefOpGetComputeFuncOp (MlirOperation inp)
 Gets the FuncDefOp that defines the compute function in this structure, if present, or nullptr otherwise.
MlirOperation llzkStruct_StructDefOpGetProductFuncOp (MlirOperation inp)
 Gets the FuncDefOp that defines the product function in this structure, if present, or nullptr otherwise.
MlirOperation llzkStruct_StructDefOpGetMemberDef (MlirOperation inp, MlirIdentifier memberName)
 Gets the MemberDefOp that defines the member in this structure with the given name, if present.
MlirLogicalResult llzkStruct_StructDefOpHasColumns (MlirOperation inp)
 Returns whether the struct defines members marked as columns.
bool llzkStruct_StructDefOpHasComputeConstrain (MlirOperation inp)
 Returns true iff this structure defines compute and constrain functions.
MlirOperation llzkStruct_StructDefOpGetConstrainFuncOp (MlirOperation inp)
 Gets the FuncDefOp that defines the constrain function in this structure, if present, or nullptr otherwise.
bool llzkStruct_StructDefOpHasTemplateSymbolBindings (MlirOperation inp)
 Return true iff the struct.def appears within a poly.template that defines constant parameters and/or expressions.
MlirLogicalResult llzkStruct_StructDefOpHasSignals (MlirOperation inp)
 Returns whether the struct defines members marked as signals.
bool llzkStruct_StructDefOpIsMainComponent (MlirOperation inp)
 Return true iff this struct.def is the main struct. See llzk::MAIN_ATTR_NAME.
MlirAttribute llzkStruct_StructDefOpGetFullyQualifiedName (MlirOperation inp)
 Return the full name for this struct from the root module, including any surrounding module scopes.

Function Documentation

◆ llzkOperationIsA_Struct_CreateStructOp()

bool llzkOperationIsA_Struct_CreateStructOp ( MlirOperation inp)

Returns true if the Operation is a llzk::component::CreateStructOp.

Definition at line 18 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Struct_MemberDefOp()

bool llzkOperationIsA_Struct_MemberDefOp ( MlirOperation inp)

Returns true if the Operation is a llzk::component::MemberDefOp.

Definition at line 26 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Struct_MemberReadOp()

bool llzkOperationIsA_Struct_MemberReadOp ( MlirOperation inp)

Returns true if the Operation is a llzk::component::MemberReadOp.

Definition at line 70 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Struct_MemberWriteOp()

bool llzkOperationIsA_Struct_MemberWriteOp ( MlirOperation inp)

Returns true if the Operation is a llzk::component::MemberWriteOp.

Definition at line 177 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Struct_StructDefOp()

bool llzkOperationIsA_Struct_StructDefOp ( MlirOperation inp)

Returns true if the Operation is a llzk::component::StructDefOp.

Definition at line 220 of file Ops.capi.cpp.inc.

◆ llzkStruct_CreateStructOpBuild()

MlirOperation llzkStruct_CreateStructOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirType resultType )

Build a llzk::component::CreateStructOp Operation.

Definition at line 11 of file Ops.capi.cpp.inc.

◆ llzkStruct_CreateStructOpGetResult()

MlirValue llzkStruct_CreateStructOpGetResult ( MlirOperation op)

Get Result result from llzk::component::CreateStructOp Operation.

Definition at line 22 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberDefOpGetColumn()

MlirAttribute llzkStruct_MemberDefOpGetColumn ( MlirOperation op)

Get Column attribute from llzk::component::MemberDefOp Operation.

Definition at line 46 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberDefOpGetSignal()

MlirAttribute llzkStruct_MemberDefOpGetSignal ( MlirOperation op)

Get Signal attribute from llzk::component::MemberDefOp Operation.

Definition at line 54 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberDefOpGetSymName()

MlirAttribute llzkStruct_MemberDefOpGetSymName ( MlirOperation op)

Get SymName attribute from llzk::component::MemberDefOp Operation.

Definition at line 30 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberDefOpGetType()

MlirAttribute llzkStruct_MemberDefOpGetType ( MlirOperation op)

Get Type attribute from llzk::component::MemberDefOp Operation.

Definition at line 38 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberDefOpHasPublicAttr()

bool llzkStruct_MemberDefOpHasPublicAttr ( MlirOperation inp)

hasPublicAttr

Definition at line 66 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberDefOpSetColumn()

void llzkStruct_MemberDefOpSetColumn ( MlirOperation op,
MlirAttribute attr )

Set Column attribute of llzk::component::MemberDefOp Operation.

Definition at line 50 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberDefOpSetPublicAttr()

void llzkStruct_MemberDefOpSetPublicAttr ( MlirOperation inp,
bool newValue )

setPublicAttr

Definition at line 62 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberDefOpSetSignal()

void llzkStruct_MemberDefOpSetSignal ( MlirOperation op,
MlirAttribute attr )

Set Signal attribute of llzk::component::MemberDefOp Operation.

Definition at line 58 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberDefOpSetSymName()

void llzkStruct_MemberDefOpSetSymName ( MlirOperation op,
MlirAttribute attr )

Set SymName attribute of llzk::component::MemberDefOp Operation.

Definition at line 34 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberDefOpSetType()

void llzkStruct_MemberDefOpSetType ( MlirOperation op,
MlirAttribute attr )

Set Type attribute of llzk::component::MemberDefOp Operation.

Definition at line 42 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpGetComponent()

MlirValue llzkStruct_MemberReadOpGetComponent ( MlirOperation op)

Get Component operand from llzk::component::MemberReadOp Operation.

Definition at line 74 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpGetMapOperandsAt()

MlirValue llzkStruct_MemberReadOpGetMapOperandsAt ( MlirOperation op,
intptr_t index )

Get MapOperands operand at index from llzk::component::MemberReadOp Operation.

Definition at line 88 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpGetMapOperandsCount()

intptr_t llzkStruct_MemberReadOpGetMapOperandsCount ( MlirOperation op)

Get number of MapOperands operands in llzk::component::MemberReadOp Operation.

Definition at line 82 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpGetMapOpGroupSizes()

MlirAttribute llzkStruct_MemberReadOpGetMapOpGroupSizes ( MlirOperation op)

Get MapOpGroupSizes attribute from llzk::component::MemberReadOp Operation.

Definition at line 151 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpGetMemberName()

MlirAttribute llzkStruct_MemberReadOpGetMemberName ( MlirOperation op)

Get MemberName attribute from llzk::component::MemberReadOp Operation.

Definition at line 127 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpGetNumDimsPerMap()

MlirAttribute llzkStruct_MemberReadOpGetNumDimsPerMap ( MlirOperation op)

Get NumDimsPerMap attribute from llzk::component::MemberReadOp Operation.

Definition at line 143 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpGetTableOffset()

MlirAttribute llzkStruct_MemberReadOpGetTableOffset ( MlirOperation op)

Get TableOffset attribute from llzk::component::MemberReadOp Operation.

Definition at line 135 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpGetVal()

MlirValue llzkStruct_MemberReadOpGetVal ( MlirOperation op)

Get Val result from llzk::component::MemberReadOp Operation.

Definition at line 159 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpSetComponent()

void llzkStruct_MemberReadOpSetComponent ( MlirOperation op,
MlirValue value )

Set Component operand of llzk::component::MemberReadOp Operation.

Definition at line 78 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpSetMapOperands()

void llzkStruct_MemberReadOpSetMapOperands ( MlirOperation op,
intptr_t count,
MlirValue const * values )

Set MapOperands operands of llzk::component::MemberReadOp Operation.

Definition at line 92 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpSetMapOpGroupSizes()

void llzkStruct_MemberReadOpSetMapOpGroupSizes ( MlirOperation op,
MlirAttribute attr )

Set MapOpGroupSizes attribute of llzk::component::MemberReadOp Operation.

Definition at line 155 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpSetMemberName()

void llzkStruct_MemberReadOpSetMemberName ( MlirOperation op,
MlirAttribute attr )

Set MemberName attribute of llzk::component::MemberReadOp Operation.

Definition at line 131 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpSetNumDimsPerMap()

void llzkStruct_MemberReadOpSetNumDimsPerMap ( MlirOperation op,
MlirAttribute attr )

Set NumDimsPerMap attribute of llzk::component::MemberReadOp Operation.

Definition at line 147 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberReadOpSetTableOffset()

void llzkStruct_MemberReadOpSetTableOffset ( MlirOperation op,
MlirAttribute attr )

Set TableOffset attribute of llzk::component::MemberReadOp Operation.

Definition at line 139 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberWriteOpBuild()

MlirOperation llzkStruct_MemberWriteOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirValue component,
MlirValue val,
MlirAttribute member_name )

Build a llzk::component::MemberWriteOp Operation.

Definition at line 163 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberWriteOpGetComponent()

MlirValue llzkStruct_MemberWriteOpGetComponent ( MlirOperation op)

Get Component operand from llzk::component::MemberWriteOp Operation.

Definition at line 181 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberWriteOpGetMemberName()

MlirAttribute llzkStruct_MemberWriteOpGetMemberName ( MlirOperation op)

Get MemberName attribute from llzk::component::MemberWriteOp Operation.

Definition at line 197 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberWriteOpGetVal()

MlirValue llzkStruct_MemberWriteOpGetVal ( MlirOperation op)

Get Val operand from llzk::component::MemberWriteOp Operation.

Definition at line 189 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberWriteOpSetComponent()

void llzkStruct_MemberWriteOpSetComponent ( MlirOperation op,
MlirValue value )

Set Component operand of llzk::component::MemberWriteOp Operation.

Definition at line 185 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberWriteOpSetMemberName()

void llzkStruct_MemberWriteOpSetMemberName ( MlirOperation op,
MlirAttribute attr )

Set MemberName attribute of llzk::component::MemberWriteOp Operation.

Definition at line 201 of file Ops.capi.cpp.inc.

◆ llzkStruct_MemberWriteOpSetVal()

void llzkStruct_MemberWriteOpSetVal ( MlirOperation op,
MlirValue value )

Set Val operand of llzk::component::MemberWriteOp Operation.

Definition at line 193 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpBuild()

MlirOperation llzkStruct_StructDefOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirIdentifier sym_name )

Build a llzk::component::StructDefOp Operation.

Definition at line 205 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpGetBodyRegion()

MlirRegion llzkStruct_StructDefOpGetBodyRegion ( MlirOperation op)

Get BodyRegion region from llzk::component::StructDefOp Operation.

Definition at line 232 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpGetComputeFuncOp()

MlirOperation llzkStruct_StructDefOpGetComputeFuncOp ( MlirOperation inp)

Gets the FuncDefOp that defines the compute function in this structure, if present, or nullptr otherwise.

Definition at line 236 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpGetConstrainFuncOp()

MlirOperation llzkStruct_StructDefOpGetConstrainFuncOp ( MlirOperation inp)

Gets the FuncDefOp that defines the constrain function in this structure, if present, or nullptr otherwise.

Definition at line 256 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpGetFullyQualifiedName()

MlirAttribute llzkStruct_StructDefOpGetFullyQualifiedName ( MlirOperation inp)

Return the full name for this struct from the root module, including any surrounding module scopes.

Definition at line 272 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpGetMemberDef()

MlirOperation llzkStruct_StructDefOpGetMemberDef ( MlirOperation inp,
MlirIdentifier memberName )

Gets the MemberDefOp that defines the member in this structure with the given name, if present.

Definition at line 244 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpGetProductFuncOp()

MlirOperation llzkStruct_StructDefOpGetProductFuncOp ( MlirOperation inp)

Gets the FuncDefOp that defines the product function in this structure, if present, or nullptr otherwise.

Definition at line 240 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpGetSymName()

MlirAttribute llzkStruct_StructDefOpGetSymName ( MlirOperation op)

Get SymName attribute from llzk::component::StructDefOp Operation.

Definition at line 224 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpHasColumns()

MlirLogicalResult llzkStruct_StructDefOpHasColumns ( MlirOperation inp)

Returns whether the struct defines members marked as columns.

Definition at line 248 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpHasComputeConstrain()

bool llzkStruct_StructDefOpHasComputeConstrain ( MlirOperation inp)

Returns true iff this structure defines compute and constrain functions.

Definition at line 252 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpHasSignals()

MlirLogicalResult llzkStruct_StructDefOpHasSignals ( MlirOperation inp)

Returns whether the struct defines members marked as signals.

Definition at line 264 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpHasTemplateSymbolBindings()

bool llzkStruct_StructDefOpHasTemplateSymbolBindings ( MlirOperation inp)

Return true iff the struct.def appears within a poly.template that defines constant parameters and/or expressions.

Definition at line 260 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpIsMainComponent()

bool llzkStruct_StructDefOpIsMainComponent ( MlirOperation inp)

Return true iff this struct.def is the main struct. See llzk::MAIN_ATTR_NAME.

Definition at line 268 of file Ops.capi.cpp.inc.

◆ llzkStruct_StructDefOpSetSymName()

void llzkStruct_StructDefOpSetSymName ( MlirOperation op,
MlirAttribute attr )

Set SymName attribute of llzk::component::StructDefOp Operation.

Definition at line 228 of file Ops.capi.cpp.inc.