LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
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 llzkRam_LoadOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirValue addr)
 Build a llzk::ram::LoadOp Operation.
bool llzkOperationIsA_Ram_LoadOp (MlirOperation inp)
 Returns true if the Operation is a llzk::ram::LoadOp.
MlirValue llzkRam_LoadOpGetAddr (MlirOperation op)
 Get Addr operand from llzk::ram::LoadOp Operation.
void llzkRam_LoadOpSetAddr (MlirOperation op, MlirValue value)
 Set Addr operand of llzk::ram::LoadOp Operation.
MlirValue llzkRam_LoadOpGetVal (MlirOperation op)
 Get Val result from llzk::ram::LoadOp Operation.
MlirOperation llzkRam_StoreOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue addr, MlirValue val)
 Build a llzk::ram::StoreOp Operation.
bool llzkOperationIsA_Ram_StoreOp (MlirOperation inp)
 Returns true if the Operation is a llzk::ram::StoreOp.
MlirValue llzkRam_StoreOpGetAddr (MlirOperation op)
 Get Addr operand from llzk::ram::StoreOp Operation.
void llzkRam_StoreOpSetAddr (MlirOperation op, MlirValue value)
 Set Addr operand of llzk::ram::StoreOp Operation.
MlirValue llzkRam_StoreOpGetVal (MlirOperation op)
 Get Val operand from llzk::ram::StoreOp Operation.
void llzkRam_StoreOpSetVal (MlirOperation op, MlirValue value)
 Set Val operand of llzk::ram::StoreOp Operation.

Function Documentation

◆ llzkOperationIsA_Ram_LoadOp()

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()

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()

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()

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()

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()

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()

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()

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()

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()

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()

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.