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 MlirOperation llzkString_LitStringOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirIdentifier value)
 Build a llzk::string::LitStringOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_String_LitStringOp (MlirOperation)
 Returns true if the Operation is a llzk::string::LitStringOp.
MLIR_CAPI_EXPORTED MlirAttribute llzkString_LitStringOpGetValue (MlirOperation op)
 Get Value attribute from llzk::string::LitStringOp Operation.
MLIR_CAPI_EXPORTED void llzkString_LitStringOpSetValue (MlirOperation op, MlirAttribute attr)
 Set Value attribute of llzk::string::LitStringOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkString_LitStringOpGetResult (MlirOperation op)
 Get Result result from llzk::string::LitStringOp Operation.

Function Documentation

◆ llzkOperationIsA_String_LitStringOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_String_LitStringOp ( MlirOperation inp)

Returns true if the Operation is a llzk::string::LitStringOp.

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

◆ llzkString_LitStringOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkString_LitStringOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirType resultType,
MlirIdentifier value )

Build a llzk::string::LitStringOp Operation.

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

◆ llzkString_LitStringOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkString_LitStringOpGetResult ( MlirOperation op)

Get Result result from llzk::string::LitStringOp Operation.

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

◆ llzkString_LitStringOpGetValue()

MLIR_CAPI_EXPORTED MlirAttribute llzkString_LitStringOpGetValue ( MlirOperation op)

Get Value attribute from llzk::string::LitStringOp Operation.

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

◆ llzkString_LitStringOpSetValue()

MLIR_CAPI_EXPORTED void llzkString_LitStringOpSetValue ( MlirOperation op,
MlirAttribute attr )

Set Value attribute of llzk::string::LitStringOp Operation.

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