LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.capi.h.inc File Reference
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
Include dependency graph for Ops.capi.h.inc:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_ApplyMapOp (MlirOperation)
 Returns true if the Operation is a llzk::polymorphic::ApplyMapOp.
MLIR_CAPI_EXPORTED intptr_t llzkPoly_ApplyMapOpGetMapOperandsCount (MlirOperation op)
 Get number of MapOperands operands in llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_ApplyMapOpGetMapOperandsAt (MlirOperation op, intptr_t index)
 Get MapOperands operand at index from llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_ApplyMapOpSetMapOperands (MlirOperation op, intptr_t count, MlirValue const *values)
 Set MapOperands operands of llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ApplyMapOpGetMap (MlirOperation op)
 Get Map attribute from llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_ApplyMapOpSetMap (MlirOperation op, MlirAttribute attr)
 Set Map attribute of llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ApplyMapOpGetNumDims (MlirOperation op)
 Get NumDims attribute from llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_ApplyMapOpSetNumDims (MlirOperation op, MlirAttribute attr)
 Set NumDims attribute of llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_ApplyMapOpGetResult0 (MlirOperation op)
 Get Result0 result from llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED MlirAffineMap llzkPoly_ApplyMapOpGetAffineMap (MlirOperation inp)
 Returns the affine map to be applied by this operation.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_ConstReadOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute const_name)
 Build a llzk::polymorphic::ConstReadOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_ConstReadOp (MlirOperation)
 Returns true if the Operation is a llzk::polymorphic::ConstReadOp.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ConstReadOpGetConstName (MlirOperation op)
 Get ConstName attribute from llzk::polymorphic::ConstReadOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_ConstReadOpSetConstName (MlirOperation op, MlirAttribute attr)
 Set ConstName attribute of llzk::polymorphic::ConstReadOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_ConstReadOpGetVal (MlirOperation op)
 Get Val result from llzk::polymorphic::ConstReadOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_TemplateExprOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name)
 Build a llzk::polymorphic::TemplateExprOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_TemplateExprOp (MlirOperation)
 Returns true if the Operation is a llzk::polymorphic::TemplateExprOp.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateExprOpGetSymName (MlirOperation op)
 Get SymName attribute from llzk::polymorphic::TemplateExprOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_TemplateExprOpSetSymName (MlirOperation op, MlirAttribute attr)
 Set SymName attribute of llzk::polymorphic::TemplateExprOp Operation.
MLIR_CAPI_EXPORTED MlirRegion llzkPoly_TemplateExprOpGetInitializerRegion (MlirOperation op)
 Get InitializerRegion region from llzk::polymorphic::TemplateExprOp Operation.
MLIR_CAPI_EXPORTED MlirType llzkPoly_TemplateExprOpGetType (MlirOperation inp)
 Returns the type of the poly.yield op in the initializer region.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_TemplateOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name)
 Build a llzk::polymorphic::TemplateOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_TemplateOp (MlirOperation)
 Returns true if the Operation is a llzk::polymorphic::TemplateOp.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateOpGetSymName (MlirOperation op)
 Get SymName attribute from llzk::polymorphic::TemplateOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_TemplateOpSetSymName (MlirOperation op, MlirAttribute attr)
 Set SymName attribute of llzk::polymorphic::TemplateOp Operation.
MLIR_CAPI_EXPORTED MlirRegion llzkPoly_TemplateOpGetBodyRegion (MlirOperation op)
 Get BodyRegion region from llzk::polymorphic::TemplateOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_TemplateParamOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute type_opt)
 Build a llzk::polymorphic::TemplateParamOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_TemplateParamOp (MlirOperation)
 Returns true if the Operation is a llzk::polymorphic::TemplateParamOp.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateParamOpGetSymName (MlirOperation op)
 Get SymName attribute from llzk::polymorphic::TemplateParamOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_TemplateParamOpSetSymName (MlirOperation op, MlirAttribute attr)
 Set SymName attribute of llzk::polymorphic::TemplateParamOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateParamOpGetTypeOpt (MlirOperation op)
 Get TypeOpt attribute from llzk::polymorphic::TemplateParamOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_TemplateParamOpSetTypeOpt (MlirOperation op, MlirAttribute attr)
 Set TypeOpt attribute of llzk::polymorphic::TemplateParamOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_UnifiableCastOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue input)
 Build a llzk::polymorphic::UnifiableCastOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_UnifiableCastOp (MlirOperation)
 Returns true if the Operation is a llzk::polymorphic::UnifiableCastOp.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_UnifiableCastOpGetInput (MlirOperation op)
 Get Input operand from llzk::polymorphic::UnifiableCastOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_UnifiableCastOpSetInput (MlirOperation op, MlirValue value)
 Set Input operand of llzk::polymorphic::UnifiableCastOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_UnifiableCastOpGetResult (MlirOperation op)
 Get Result result from llzk::polymorphic::UnifiableCastOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_YieldOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue val)
 Build a llzk::polymorphic::YieldOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_YieldOp (MlirOperation)
 Returns true if the Operation is a llzk::polymorphic::YieldOp.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_YieldOpGetVal (MlirOperation op)
 Get Val operand from llzk::polymorphic::YieldOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_YieldOpSetVal (MlirOperation op, MlirValue value)
 Set Val operand of llzk::polymorphic::YieldOp Operation.

Function Documentation

◆ llzkOperationIsA_Poly_ApplyMapOp()

MLIR_CAPI_EXPORTED 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.

◆ llzkOperationIsA_Poly_ConstReadOp()

MLIR_CAPI_EXPORTED 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.

◆ llzkOperationIsA_Poly_TemplateExprOp()

MLIR_CAPI_EXPORTED 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.

◆ llzkOperationIsA_Poly_TemplateOp()

MLIR_CAPI_EXPORTED 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.

◆ llzkOperationIsA_Poly_TemplateParamOp()

MLIR_CAPI_EXPORTED 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.

◆ llzkOperationIsA_Poly_UnifiableCastOp()

MLIR_CAPI_EXPORTED 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.

◆ llzkOperationIsA_Poly_YieldOp()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_ApplyMapOpGetAffineMap()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_ApplyMapOpGetMap()

MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ApplyMapOpGetMap ( MlirOperation op)

Get Map attribute from llzk::polymorphic::ApplyMapOp Operation.

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

◆ llzkPoly_ApplyMapOpGetMapOperandsAt()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_ApplyMapOpGetMapOperandsCount()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_ApplyMapOpGetNumDims()

MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ApplyMapOpGetNumDims ( MlirOperation op)

Get NumDims attribute from llzk::polymorphic::ApplyMapOp Operation.

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

◆ llzkPoly_ApplyMapOpGetResult0()

MLIR_CAPI_EXPORTED MlirValue llzkPoly_ApplyMapOpGetResult0 ( MlirOperation op)

Get Result0 result from llzk::polymorphic::ApplyMapOp Operation.

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

◆ llzkPoly_ApplyMapOpSetMap()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_ApplyMapOpSetMapOperands()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_ApplyMapOpSetNumDims()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_ConstReadOpBuild()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_ConstReadOpGetConstName()

MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ConstReadOpGetConstName ( MlirOperation op)

Get ConstName attribute from llzk::polymorphic::ConstReadOp Operation.

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

◆ llzkPoly_ConstReadOpGetVal()

MLIR_CAPI_EXPORTED MlirValue llzkPoly_ConstReadOpGetVal ( MlirOperation op)

Get Val result from llzk::polymorphic::ConstReadOp Operation.

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

◆ llzkPoly_ConstReadOpSetConstName()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_TemplateExprOpBuild()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_TemplateExprOpGetInitializerRegion()

MLIR_CAPI_EXPORTED MlirRegion llzkPoly_TemplateExprOpGetInitializerRegion ( MlirOperation op)

Get InitializerRegion region from llzk::polymorphic::TemplateExprOp Operation.

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

◆ llzkPoly_TemplateExprOpGetSymName()

MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateExprOpGetSymName ( MlirOperation op)

Get SymName attribute from llzk::polymorphic::TemplateExprOp Operation.

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

◆ llzkPoly_TemplateExprOpGetType()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_TemplateExprOpSetSymName()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_TemplateOpBuild()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_TemplateOpGetBodyRegion()

MLIR_CAPI_EXPORTED MlirRegion llzkPoly_TemplateOpGetBodyRegion ( MlirOperation op)

Get BodyRegion region from llzk::polymorphic::TemplateOp Operation.

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

◆ llzkPoly_TemplateOpGetSymName()

MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateOpGetSymName ( MlirOperation op)

Get SymName attribute from llzk::polymorphic::TemplateOp Operation.

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

◆ llzkPoly_TemplateOpSetSymName()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_TemplateParamOpBuild()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_TemplateParamOpGetSymName()

MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateParamOpGetSymName ( MlirOperation op)

Get SymName attribute from llzk::polymorphic::TemplateParamOp Operation.

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

◆ llzkPoly_TemplateParamOpGetTypeOpt()

MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateParamOpGetTypeOpt ( MlirOperation op)

Get TypeOpt attribute from llzk::polymorphic::TemplateParamOp Operation.

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

◆ llzkPoly_TemplateParamOpSetSymName()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_TemplateParamOpSetTypeOpt()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_UnifiableCastOpBuild()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_UnifiableCastOpGetInput()

MLIR_CAPI_EXPORTED MlirValue llzkPoly_UnifiableCastOpGetInput ( MlirOperation op)

Get Input operand from llzk::polymorphic::UnifiableCastOp Operation.

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

◆ llzkPoly_UnifiableCastOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkPoly_UnifiableCastOpGetResult ( MlirOperation op)

Get Result result from llzk::polymorphic::UnifiableCastOp Operation.

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

◆ llzkPoly_UnifiableCastOpSetInput()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_YieldOpBuild()

MLIR_CAPI_EXPORTED 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.

◆ llzkPoly_YieldOpGetVal()

MLIR_CAPI_EXPORTED MlirValue llzkPoly_YieldOpGetVal ( MlirOperation op)

Get Val operand from llzk::polymorphic::YieldOp Operation.

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

◆ llzkPoly_YieldOpSetVal()

MLIR_CAPI_EXPORTED 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.