|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Functions | |
| MlirOperation | llzkCast_FeltToIndexOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value) |
| Build a llzk::cast::FeltToIndexOp Operation. | |
| bool | llzkOperationIsA_Cast_FeltToIndexOp (MlirOperation inp) |
| Returns true if the Operation is a llzk::cast::FeltToIndexOp. | |
| MlirValue | llzkCast_FeltToIndexOpGetValue (MlirOperation op) |
| Get Value operand from llzk::cast::FeltToIndexOp Operation. | |
| void | llzkCast_FeltToIndexOpSetValue (MlirOperation op, MlirValue value) |
| Set Value operand of llzk::cast::FeltToIndexOp Operation. | |
| MlirValue | llzkCast_FeltToIndexOpGetResult (MlirOperation op) |
| Get Result result from llzk::cast::FeltToIndexOp Operation. | |
| MlirOperation | llzkCast_IntToFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value) |
| Build a llzk::cast::IntToFeltOp Operation. | |
| bool | llzkOperationIsA_Cast_IntToFeltOp (MlirOperation inp) |
| Returns true if the Operation is a llzk::cast::IntToFeltOp. | |
| MlirValue | llzkCast_IntToFeltOpGetValue (MlirOperation op) |
| Get Value operand from llzk::cast::IntToFeltOp Operation. | |
| void | llzkCast_IntToFeltOpSetValue (MlirOperation op, MlirValue value) |
| Set Value operand of llzk::cast::IntToFeltOp Operation. | |
| MlirValue | llzkCast_IntToFeltOpGetResult (MlirOperation op) |
| Get Result result from llzk::cast::IntToFeltOp Operation. | |
| MlirOperation llzkCast_FeltToIndexOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirValue | value ) |
Build a llzk::cast::FeltToIndexOp Operation.
Definition at line 11 of file Ops.capi.cpp.inc.
| MlirValue llzkCast_FeltToIndexOpGetResult | ( | MlirOperation | op | ) |
Get Result result from llzk::cast::FeltToIndexOp Operation.
Definition at line 31 of file Ops.capi.cpp.inc.
| MlirValue llzkCast_FeltToIndexOpGetValue | ( | MlirOperation | op | ) |
Get Value operand from llzk::cast::FeltToIndexOp Operation.
Definition at line 23 of file Ops.capi.cpp.inc.
| void llzkCast_FeltToIndexOpSetValue | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Value operand of llzk::cast::FeltToIndexOp Operation.
Definition at line 27 of file Ops.capi.cpp.inc.
| MlirOperation llzkCast_IntToFeltOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirValue | value ) |
Build a llzk::cast::IntToFeltOp Operation.
Definition at line 35 of file Ops.capi.cpp.inc.
| MlirValue llzkCast_IntToFeltOpGetResult | ( | MlirOperation | op | ) |
Get Result result from llzk::cast::IntToFeltOp Operation.
Definition at line 55 of file Ops.capi.cpp.inc.
| MlirValue llzkCast_IntToFeltOpGetValue | ( | MlirOperation | op | ) |
Get Value operand from llzk::cast::IntToFeltOp Operation.
Definition at line 47 of file Ops.capi.cpp.inc.
| void llzkCast_IntToFeltOpSetValue | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Value operand of llzk::cast::IntToFeltOp Operation.
Definition at line 51 of file Ops.capi.cpp.inc.
| bool llzkOperationIsA_Cast_FeltToIndexOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::cast::FeltToIndexOp.
Definition at line 19 of file Ops.capi.cpp.inc.
| bool llzkOperationIsA_Cast_IntToFeltOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::cast::IntToFeltOp.
Definition at line 43 of file Ops.capi.cpp.inc.