|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
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. | |
| 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.
| 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.
| 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.
| MlirValue llzkRam_LoadOpGetAddr | ( | MlirOperation | op | ) |
Get Addr operand from llzk::ram::LoadOp Operation.
Definition at line 23 of file Ops.capi.cpp.inc.
| MlirValue llzkRam_LoadOpGetVal | ( | MlirOperation | op | ) |
Get Val result from llzk::ram::LoadOp Operation.
Definition at line 31 of file Ops.capi.cpp.inc.
| 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.
| 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.
| MlirValue llzkRam_StoreOpGetAddr | ( | MlirOperation | op | ) |
Get Addr operand from llzk::ram::StoreOp Operation.
Definition at line 47 of file Ops.capi.cpp.inc.
| MlirValue llzkRam_StoreOpGetVal | ( | MlirOperation | op | ) |
Get Val operand from llzk::ram::StoreOp Operation.
Definition at line 55 of file Ops.capi.cpp.inc.
| 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.
| 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.