|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Functions | |
| bool | llzkOperationIsA_Poly_ApplyMapOp (MlirOperation inp) |
| Returns true if the Operation is a llzk::polymorphic::ApplyMapOp. | |
| intptr_t | llzkPoly_ApplyMapOpGetMapOperandsCount (MlirOperation op) |
| Get number of MapOperands operands in llzk::polymorphic::ApplyMapOp Operation. | |
| MlirValue | llzkPoly_ApplyMapOpGetMapOperandsAt (MlirOperation op, intptr_t index) |
| Get MapOperands operand at index from llzk::polymorphic::ApplyMapOp Operation. | |
| void | llzkPoly_ApplyMapOpSetMapOperands (MlirOperation op, intptr_t count, MlirValue const *values) |
| Set MapOperands operands of llzk::polymorphic::ApplyMapOp Operation. | |
| MlirAttribute | llzkPoly_ApplyMapOpGetMap (MlirOperation op) |
| Get Map attribute from llzk::polymorphic::ApplyMapOp Operation. | |
| void | llzkPoly_ApplyMapOpSetMap (MlirOperation op, MlirAttribute attr) |
| Set Map attribute of llzk::polymorphic::ApplyMapOp Operation. | |
| MlirAttribute | llzkPoly_ApplyMapOpGetNumDims (MlirOperation op) |
| Get NumDims attribute from llzk::polymorphic::ApplyMapOp Operation. | |
| void | llzkPoly_ApplyMapOpSetNumDims (MlirOperation op, MlirAttribute attr) |
| Set NumDims attribute of llzk::polymorphic::ApplyMapOp Operation. | |
| MlirValue | llzkPoly_ApplyMapOpGetResult0 (MlirOperation op) |
| Get Result0 result from llzk::polymorphic::ApplyMapOp Operation. | |
| MlirAffineMap | llzkPoly_ApplyMapOpGetAffineMap (MlirOperation inp) |
| Returns the affine map to be applied by this operation. | |
| MlirOperation | llzkPoly_ConstReadOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute const_name) |
| Build a llzk::polymorphic::ConstReadOp Operation. | |
| bool | llzkOperationIsA_Poly_ConstReadOp (MlirOperation inp) |
| Returns true if the Operation is a llzk::polymorphic::ConstReadOp. | |
| MlirAttribute | llzkPoly_ConstReadOpGetConstName (MlirOperation op) |
| Get ConstName attribute from llzk::polymorphic::ConstReadOp Operation. | |
| void | llzkPoly_ConstReadOpSetConstName (MlirOperation op, MlirAttribute attr) |
| Set ConstName attribute of llzk::polymorphic::ConstReadOp Operation. | |
| MlirValue | llzkPoly_ConstReadOpGetVal (MlirOperation op) |
| Get Val result from llzk::polymorphic::ConstReadOp Operation. | |
| MlirOperation | llzkPoly_TemplateExprOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name) |
| Build a llzk::polymorphic::TemplateExprOp Operation. | |
| bool | llzkOperationIsA_Poly_TemplateExprOp (MlirOperation inp) |
| Returns true if the Operation is a llzk::polymorphic::TemplateExprOp. | |
| MlirAttribute | llzkPoly_TemplateExprOpGetSymName (MlirOperation op) |
| Get SymName attribute from llzk::polymorphic::TemplateExprOp Operation. | |
| void | llzkPoly_TemplateExprOpSetSymName (MlirOperation op, MlirAttribute attr) |
| Set SymName attribute of llzk::polymorphic::TemplateExprOp Operation. | |
| MlirRegion | llzkPoly_TemplateExprOpGetInitializerRegion (MlirOperation op) |
| Get InitializerRegion region from llzk::polymorphic::TemplateExprOp Operation. | |
| MlirType | llzkPoly_TemplateExprOpGetType (MlirOperation inp) |
| Returns the type of the poly.yield op in the initializer region. | |
| MlirOperation | llzkPoly_TemplateOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name) |
| Build a llzk::polymorphic::TemplateOp Operation. | |
| bool | llzkOperationIsA_Poly_TemplateOp (MlirOperation inp) |
| Returns true if the Operation is a llzk::polymorphic::TemplateOp. | |
| MlirAttribute | llzkPoly_TemplateOpGetSymName (MlirOperation op) |
| Get SymName attribute from llzk::polymorphic::TemplateOp Operation. | |
| void | llzkPoly_TemplateOpSetSymName (MlirOperation op, MlirAttribute attr) |
| Set SymName attribute of llzk::polymorphic::TemplateOp Operation. | |
| MlirRegion | llzkPoly_TemplateOpGetBodyRegion (MlirOperation op) |
| Get BodyRegion region from llzk::polymorphic::TemplateOp Operation. | |
| MlirOperation | llzkPoly_TemplateParamOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute type_opt) |
| Build a llzk::polymorphic::TemplateParamOp Operation. | |
| bool | llzkOperationIsA_Poly_TemplateParamOp (MlirOperation inp) |
| Returns true if the Operation is a llzk::polymorphic::TemplateParamOp. | |
| MlirAttribute | llzkPoly_TemplateParamOpGetSymName (MlirOperation op) |
| Get SymName attribute from llzk::polymorphic::TemplateParamOp Operation. | |
| void | llzkPoly_TemplateParamOpSetSymName (MlirOperation op, MlirAttribute attr) |
| Set SymName attribute of llzk::polymorphic::TemplateParamOp Operation. | |
| MlirAttribute | llzkPoly_TemplateParamOpGetTypeOpt (MlirOperation op) |
| Get TypeOpt attribute from llzk::polymorphic::TemplateParamOp Operation. | |
| void | llzkPoly_TemplateParamOpSetTypeOpt (MlirOperation op, MlirAttribute attr) |
| Set TypeOpt attribute of llzk::polymorphic::TemplateParamOp Operation. | |
| MlirOperation | llzkPoly_UnifiableCastOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue input) |
| Build a llzk::polymorphic::UnifiableCastOp Operation. | |
| bool | llzkOperationIsA_Poly_UnifiableCastOp (MlirOperation inp) |
| Returns true if the Operation is a llzk::polymorphic::UnifiableCastOp. | |
| MlirValue | llzkPoly_UnifiableCastOpGetInput (MlirOperation op) |
| Get Input operand from llzk::polymorphic::UnifiableCastOp Operation. | |
| void | llzkPoly_UnifiableCastOpSetInput (MlirOperation op, MlirValue value) |
| Set Input operand of llzk::polymorphic::UnifiableCastOp Operation. | |
| MlirValue | llzkPoly_UnifiableCastOpGetResult (MlirOperation op) |
| Get Result result from llzk::polymorphic::UnifiableCastOp Operation. | |
| MlirOperation | llzkPoly_YieldOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue val) |
| Build a llzk::polymorphic::YieldOp Operation. | |
| bool | llzkOperationIsA_Poly_YieldOp (MlirOperation inp) |
| Returns true if the Operation is a llzk::polymorphic::YieldOp. | |
| MlirValue | llzkPoly_YieldOpGetVal (MlirOperation op) |
| Get Val operand from llzk::polymorphic::YieldOp Operation. | |
| void | llzkPoly_YieldOpSetVal (MlirOperation op, MlirValue value) |
| Set Val operand of llzk::polymorphic::YieldOp Operation. | |
| bool llzkOperationIsA_Poly_ApplyMapOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::polymorphic::ApplyMapOp.
Definition at line 11 of file Ops.capi.cpp.inc.
| bool llzkOperationIsA_Poly_ConstReadOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::polymorphic::ConstReadOp.
Definition at line 97 of file Ops.capi.cpp.inc.
| bool llzkOperationIsA_Poly_TemplateExprOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::polymorphic::TemplateExprOp.
Definition at line 128 of file Ops.capi.cpp.inc.
| bool llzkOperationIsA_Poly_TemplateOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::polymorphic::TemplateOp.
Definition at line 163 of file Ops.capi.cpp.inc.
| bool llzkOperationIsA_Poly_TemplateParamOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::polymorphic::TemplateParamOp.
Definition at line 194 of file Ops.capi.cpp.inc.
| bool llzkOperationIsA_Poly_UnifiableCastOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::polymorphic::UnifiableCastOp.
Definition at line 222 of file Ops.capi.cpp.inc.
| bool llzkOperationIsA_Poly_YieldOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::polymorphic::YieldOp.
Definition at line 245 of file Ops.capi.cpp.inc.
| MlirAffineMap llzkPoly_ApplyMapOpGetAffineMap | ( | MlirOperation | inp | ) |
Returns the affine map to be applied by this operation.
Definition at line 80 of file Ops.capi.cpp.inc.
| MlirAttribute llzkPoly_ApplyMapOpGetMap | ( | MlirOperation | op | ) |
Get Map attribute from llzk::polymorphic::ApplyMapOp Operation.
Definition at line 60 of file Ops.capi.cpp.inc.
| MlirValue llzkPoly_ApplyMapOpGetMapOperandsAt | ( | MlirOperation | op, |
| intptr_t | index ) |
Get MapOperands operand at index from llzk::polymorphic::ApplyMapOp Operation.
Definition at line 21 of file Ops.capi.cpp.inc.
| intptr_t llzkPoly_ApplyMapOpGetMapOperandsCount | ( | MlirOperation | op | ) |
Get number of MapOperands operands in llzk::polymorphic::ApplyMapOp Operation.
Definition at line 15 of file Ops.capi.cpp.inc.
| MlirAttribute llzkPoly_ApplyMapOpGetNumDims | ( | MlirOperation | op | ) |
Get NumDims attribute from llzk::polymorphic::ApplyMapOp Operation.
Definition at line 68 of file Ops.capi.cpp.inc.
| MlirValue llzkPoly_ApplyMapOpGetResult0 | ( | MlirOperation | op | ) |
Get Result0 result from llzk::polymorphic::ApplyMapOp Operation.
Definition at line 76 of file Ops.capi.cpp.inc.
| void llzkPoly_ApplyMapOpSetMap | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set Map attribute of llzk::polymorphic::ApplyMapOp Operation.
Definition at line 64 of file Ops.capi.cpp.inc.
| void llzkPoly_ApplyMapOpSetMapOperands | ( | MlirOperation | op, |
| intptr_t | count, | ||
| MlirValue const * | values ) |
Set MapOperands operands of llzk::polymorphic::ApplyMapOp Operation.
Definition at line 25 of file Ops.capi.cpp.inc.
| void llzkPoly_ApplyMapOpSetNumDims | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set NumDims attribute of llzk::polymorphic::ApplyMapOp Operation.
Definition at line 72 of file Ops.capi.cpp.inc.
| MlirOperation llzkPoly_ConstReadOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirType | valType, | ||
| MlirAttribute | const_name ) |
Build a llzk::polymorphic::ConstReadOp Operation.
Definition at line 84 of file Ops.capi.cpp.inc.
| MlirAttribute llzkPoly_ConstReadOpGetConstName | ( | MlirOperation | op | ) |
Get ConstName attribute from llzk::polymorphic::ConstReadOp Operation.
Definition at line 101 of file Ops.capi.cpp.inc.
| MlirValue llzkPoly_ConstReadOpGetVal | ( | MlirOperation | op | ) |
Get Val result from llzk::polymorphic::ConstReadOp Operation.
Definition at line 109 of file Ops.capi.cpp.inc.
| void llzkPoly_ConstReadOpSetConstName | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set ConstName attribute of llzk::polymorphic::ConstReadOp Operation.
Definition at line 105 of file Ops.capi.cpp.inc.
| MlirOperation llzkPoly_TemplateExprOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirIdentifier | sym_name ) |
Build a llzk::polymorphic::TemplateExprOp Operation.
Definition at line 113 of file Ops.capi.cpp.inc.
| MlirRegion llzkPoly_TemplateExprOpGetInitializerRegion | ( | MlirOperation | op | ) |
Get InitializerRegion region from llzk::polymorphic::TemplateExprOp Operation.
Definition at line 140 of file Ops.capi.cpp.inc.
| MlirAttribute llzkPoly_TemplateExprOpGetSymName | ( | MlirOperation | op | ) |
Get SymName attribute from llzk::polymorphic::TemplateExprOp Operation.
Definition at line 132 of file Ops.capi.cpp.inc.
| MlirType llzkPoly_TemplateExprOpGetType | ( | MlirOperation | inp | ) |
Returns the type of the poly.yield op in the initializer region.
Definition at line 144 of file Ops.capi.cpp.inc.
| void llzkPoly_TemplateExprOpSetSymName | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set SymName attribute of llzk::polymorphic::TemplateExprOp Operation.
Definition at line 136 of file Ops.capi.cpp.inc.
| MlirOperation llzkPoly_TemplateOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirIdentifier | sym_name ) |
Build a llzk::polymorphic::TemplateOp Operation.
Definition at line 148 of file Ops.capi.cpp.inc.
| MlirRegion llzkPoly_TemplateOpGetBodyRegion | ( | MlirOperation | op | ) |
Get BodyRegion region from llzk::polymorphic::TemplateOp Operation.
Definition at line 175 of file Ops.capi.cpp.inc.
| MlirAttribute llzkPoly_TemplateOpGetSymName | ( | MlirOperation | op | ) |
Get SymName attribute from llzk::polymorphic::TemplateOp Operation.
Definition at line 167 of file Ops.capi.cpp.inc.
| void llzkPoly_TemplateOpSetSymName | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set SymName attribute of llzk::polymorphic::TemplateOp Operation.
Definition at line 171 of file Ops.capi.cpp.inc.
| MlirOperation llzkPoly_TemplateParamOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirIdentifier | sym_name, | ||
| MlirAttribute | type_opt ) |
Build a llzk::polymorphic::TemplateParamOp Operation.
Definition at line 179 of file Ops.capi.cpp.inc.
| MlirAttribute llzkPoly_TemplateParamOpGetSymName | ( | MlirOperation | op | ) |
Get SymName attribute from llzk::polymorphic::TemplateParamOp Operation.
Definition at line 198 of file Ops.capi.cpp.inc.
| MlirAttribute llzkPoly_TemplateParamOpGetTypeOpt | ( | MlirOperation | op | ) |
Get TypeOpt attribute from llzk::polymorphic::TemplateParamOp Operation.
Definition at line 206 of file Ops.capi.cpp.inc.
| void llzkPoly_TemplateParamOpSetSymName | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set SymName attribute of llzk::polymorphic::TemplateParamOp Operation.
Definition at line 202 of file Ops.capi.cpp.inc.
| void llzkPoly_TemplateParamOpSetTypeOpt | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set TypeOpt attribute of llzk::polymorphic::TemplateParamOp Operation.
Definition at line 210 of file Ops.capi.cpp.inc.
| MlirOperation llzkPoly_UnifiableCastOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirType | resultType, | ||
| MlirValue | input ) |
Build a llzk::polymorphic::UnifiableCastOp Operation.
Definition at line 214 of file Ops.capi.cpp.inc.
| MlirValue llzkPoly_UnifiableCastOpGetInput | ( | MlirOperation | op | ) |
Get Input operand from llzk::polymorphic::UnifiableCastOp Operation.
Definition at line 226 of file Ops.capi.cpp.inc.
| MlirValue llzkPoly_UnifiableCastOpGetResult | ( | MlirOperation | op | ) |
Get Result result from llzk::polymorphic::UnifiableCastOp Operation.
Definition at line 234 of file Ops.capi.cpp.inc.
| void llzkPoly_UnifiableCastOpSetInput | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Input operand of llzk::polymorphic::UnifiableCastOp Operation.
Definition at line 230 of file Ops.capi.cpp.inc.
| MlirOperation llzkPoly_YieldOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirValue | val ) |
Build a llzk::polymorphic::YieldOp Operation.
Definition at line 238 of file Ops.capi.cpp.inc.
| MlirValue llzkPoly_YieldOpGetVal | ( | MlirOperation | op | ) |
Get Val operand from llzk::polymorphic::YieldOp Operation.
Definition at line 249 of file Ops.capi.cpp.inc.
| void llzkPoly_YieldOpSetVal | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Val operand of llzk::polymorphic::YieldOp Operation.
Definition at line 253 of file Ops.capi.cpp.inc.