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 llzkRam_LoadOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirValue addr)
 Build a llzk::ram::LoadOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Ram_LoadOp (MlirOperation)
 Returns true if the Operation is a llzk::ram::LoadOp.
MLIR_CAPI_EXPORTED MlirValue llzkRam_LoadOpGetAddr (MlirOperation op)
 Get Addr operand from llzk::ram::LoadOp Operation.
MLIR_CAPI_EXPORTED void llzkRam_LoadOpSetAddr (MlirOperation op, MlirValue value)
 Set Addr operand of llzk::ram::LoadOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkRam_LoadOpGetVal (MlirOperation op)
 Get Val result from llzk::ram::LoadOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkRam_StoreOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue addr, MlirValue val)
 Build a llzk::ram::StoreOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Ram_StoreOp (MlirOperation)
 Returns true if the Operation is a llzk::ram::StoreOp.
MLIR_CAPI_EXPORTED MlirValue llzkRam_StoreOpGetAddr (MlirOperation op)
 Get Addr operand from llzk::ram::StoreOp Operation.
MLIR_CAPI_EXPORTED void llzkRam_StoreOpSetAddr (MlirOperation op, MlirValue value)
 Set Addr operand of llzk::ram::StoreOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkRam_StoreOpGetVal (MlirOperation op)
 Get Val operand from llzk::ram::StoreOp Operation.
MLIR_CAPI_EXPORTED void llzkRam_StoreOpSetVal (MlirOperation op, MlirValue value)
 Set Val operand of llzk::ram::StoreOp Operation.

Function Documentation

◆ llzkOperationIsA_Ram_LoadOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Ram_LoadOp ( MlirOperation inp)

Returns true if the Operation is a llzk::ram::LoadOp.

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

◆ llzkOperationIsA_Ram_StoreOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Ram_StoreOp ( MlirOperation inp)

Returns true if the Operation is a llzk::ram::StoreOp.

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

◆ llzkRam_LoadOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkRam_LoadOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirType valType,
MlirValue addr )

Build a llzk::ram::LoadOp Operation.

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

◆ llzkRam_LoadOpGetAddr()

MLIR_CAPI_EXPORTED MlirValue llzkRam_LoadOpGetAddr ( MlirOperation op)

Get Addr operand from llzk::ram::LoadOp Operation.

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

◆ llzkRam_LoadOpGetVal()

MLIR_CAPI_EXPORTED MlirValue llzkRam_LoadOpGetVal ( MlirOperation op)

Get Val result from llzk::ram::LoadOp Operation.

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

◆ llzkRam_LoadOpSetAddr()

MLIR_CAPI_EXPORTED void llzkRam_LoadOpSetAddr ( MlirOperation op,
MlirValue value )

Set Addr operand of llzk::ram::LoadOp Operation.

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

◆ llzkRam_StoreOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkRam_StoreOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirValue addr,
MlirValue val )

Build a llzk::ram::StoreOp Operation.

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

◆ llzkRam_StoreOpGetAddr()

MLIR_CAPI_EXPORTED MlirValue llzkRam_StoreOpGetAddr ( MlirOperation op)

Get Addr operand from llzk::ram::StoreOp Operation.

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

◆ llzkRam_StoreOpGetVal()

MLIR_CAPI_EXPORTED MlirValue llzkRam_StoreOpGetVal ( MlirOperation op)

Get Val operand from llzk::ram::StoreOp Operation.

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

◆ llzkRam_StoreOpSetAddr()

MLIR_CAPI_EXPORTED void llzkRam_StoreOpSetAddr ( MlirOperation op,
MlirValue value )

Set Addr operand of llzk::ram::StoreOp Operation.

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

◆ llzkRam_StoreOpSetVal()

MLIR_CAPI_EXPORTED void llzkRam_StoreOpSetVal ( MlirOperation op,
MlirValue value )

Set Val operand of llzk::ram::StoreOp Operation.

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