|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Functions | |
| MLIR_CAPI_EXPORTED MlirOperation | llzkBool_AndBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs) |
| Build a llzk::boolean::AndBoolOp Operation. | |
| MLIR_CAPI_EXPORTED bool | llzkOperationIsA_Bool_AndBoolOp (MlirOperation) |
| Returns true if the Operation is a llzk::boolean::AndBoolOp. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_AndBoolOpGetLhs (MlirOperation op) |
| Get Lhs operand from llzk::boolean::AndBoolOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_AndBoolOpSetLhs (MlirOperation op, MlirValue value) |
| Set Lhs operand of llzk::boolean::AndBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_AndBoolOpGetRhs (MlirOperation op) |
| Get Rhs operand from llzk::boolean::AndBoolOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_AndBoolOpSetRhs (MlirOperation op, MlirValue value) |
| Set Rhs operand of llzk::boolean::AndBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_AndBoolOpGetResult (MlirOperation op) |
| Get Result result from llzk::boolean::AndBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirOperation | llzkBool_AssertOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg) |
| Build a llzk::boolean::AssertOp Operation. | |
| MLIR_CAPI_EXPORTED bool | llzkOperationIsA_Bool_AssertOp (MlirOperation) |
| Returns true if the Operation is a llzk::boolean::AssertOp. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_AssertOpGetCondition (MlirOperation op) |
| Get Condition operand from llzk::boolean::AssertOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_AssertOpSetCondition (MlirOperation op, MlirValue value) |
| Set Condition operand of llzk::boolean::AssertOp Operation. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkBool_AssertOpGetMsg (MlirOperation op) |
| Get Msg attribute from llzk::boolean::AssertOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_AssertOpSetMsg (MlirOperation op, MlirAttribute attr) |
| Set Msg attribute of llzk::boolean::AssertOp Operation. | |
| MLIR_CAPI_EXPORTED MlirOperation | llzkBool_CmpOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs, MlirAttribute predicate) |
| Build a llzk::boolean::CmpOp Operation. | |
| MLIR_CAPI_EXPORTED bool | llzkOperationIsA_Bool_CmpOp (MlirOperation) |
| Returns true if the Operation is a llzk::boolean::CmpOp. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_CmpOpGetLhs (MlirOperation op) |
| Get Lhs operand from llzk::boolean::CmpOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_CmpOpSetLhs (MlirOperation op, MlirValue value) |
| Set Lhs operand of llzk::boolean::CmpOp Operation. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_CmpOpGetRhs (MlirOperation op) |
| Get Rhs operand from llzk::boolean::CmpOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_CmpOpSetRhs (MlirOperation op, MlirValue value) |
| Set Rhs operand of llzk::boolean::CmpOp Operation. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkBool_CmpOpGetPredicate (MlirOperation op) |
| Get Predicate attribute from llzk::boolean::CmpOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_CmpOpSetPredicate (MlirOperation op, MlirAttribute attr) |
| Set Predicate attribute of llzk::boolean::CmpOp Operation. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_CmpOpGetResult (MlirOperation op) |
| Get Result result from llzk::boolean::CmpOp Operation. | |
| MLIR_CAPI_EXPORTED MlirOperation | llzkBool_NotBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue operand) |
| Build a llzk::boolean::NotBoolOp Operation. | |
| MLIR_CAPI_EXPORTED bool | llzkOperationIsA_Bool_NotBoolOp (MlirOperation) |
| Returns true if the Operation is a llzk::boolean::NotBoolOp. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_NotBoolOpGetOperand (MlirOperation op) |
| Get Operand operand from llzk::boolean::NotBoolOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_NotBoolOpSetOperand (MlirOperation op, MlirValue value) |
| Set Operand operand of llzk::boolean::NotBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_NotBoolOpGetResult (MlirOperation op) |
| Get Result result from llzk::boolean::NotBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirOperation | llzkBool_OrBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs) |
| Build a llzk::boolean::OrBoolOp Operation. | |
| MLIR_CAPI_EXPORTED bool | llzkOperationIsA_Bool_OrBoolOp (MlirOperation) |
| Returns true if the Operation is a llzk::boolean::OrBoolOp. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_OrBoolOpGetLhs (MlirOperation op) |
| Get Lhs operand from llzk::boolean::OrBoolOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_OrBoolOpSetLhs (MlirOperation op, MlirValue value) |
| Set Lhs operand of llzk::boolean::OrBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_OrBoolOpGetRhs (MlirOperation op) |
| Get Rhs operand from llzk::boolean::OrBoolOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_OrBoolOpSetRhs (MlirOperation op, MlirValue value) |
| Set Rhs operand of llzk::boolean::OrBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_OrBoolOpGetResult (MlirOperation op) |
| Get Result result from llzk::boolean::OrBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirOperation | llzkBool_XorBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs) |
| Build a llzk::boolean::XorBoolOp Operation. | |
| MLIR_CAPI_EXPORTED bool | llzkOperationIsA_Bool_XorBoolOp (MlirOperation) |
| Returns true if the Operation is a llzk::boolean::XorBoolOp. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_XorBoolOpGetLhs (MlirOperation op) |
| Get Lhs operand from llzk::boolean::XorBoolOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_XorBoolOpSetLhs (MlirOperation op, MlirValue value) |
| Set Lhs operand of llzk::boolean::XorBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_XorBoolOpGetRhs (MlirOperation op) |
| Get Rhs operand from llzk::boolean::XorBoolOp Operation. | |
| MLIR_CAPI_EXPORTED void | llzkBool_XorBoolOpSetRhs (MlirOperation op, MlirValue value) |
| Set Rhs operand of llzk::boolean::XorBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirValue | llzkBool_XorBoolOpGetResult (MlirOperation op) |
| Get Result result from llzk::boolean::XorBoolOp Operation. | |
| MLIR_CAPI_EXPORTED MlirOperation llzkBool_AndBoolOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirValue | lhs, | ||
| MlirValue | rhs ) |
Build a llzk::boolean::AndBoolOp Operation.
Definition at line 11 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetLhs | ( | MlirOperation | op | ) |
Get Lhs operand from llzk::boolean::AndBoolOp Operation.
Definition at line 24 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetResult | ( | MlirOperation | op | ) |
Get Result result from llzk::boolean::AndBoolOp Operation.
Definition at line 40 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetRhs | ( | MlirOperation | op | ) |
Get Rhs operand from llzk::boolean::AndBoolOp Operation.
Definition at line 32 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetLhs | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Lhs operand of llzk::boolean::AndBoolOp Operation.
Definition at line 28 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetRhs | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Rhs operand of llzk::boolean::AndBoolOp Operation.
Definition at line 36 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirOperation llzkBool_AssertOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirValue | condition, | ||
| MlirIdentifier | msg ) |
Build a llzk::boolean::AssertOp Operation.
Definition at line 44 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_AssertOpGetCondition | ( | MlirOperation | op | ) |
Get Condition operand from llzk::boolean::AssertOp Operation.
Definition at line 61 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkBool_AssertOpGetMsg | ( | MlirOperation | op | ) |
Get Msg attribute from llzk::boolean::AssertOp Operation.
Definition at line 69 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetCondition | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Condition operand of llzk::boolean::AssertOp Operation.
Definition at line 65 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetMsg | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set Msg attribute of llzk::boolean::AssertOp Operation.
Definition at line 73 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirOperation llzkBool_CmpOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirValue | lhs, | ||
| MlirValue | rhs, | ||
| MlirAttribute | predicate ) |
Build a llzk::boolean::CmpOp Operation.
Definition at line 77 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetLhs | ( | MlirOperation | op | ) |
Get Lhs operand from llzk::boolean::CmpOp Operation.
Definition at line 96 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkBool_CmpOpGetPredicate | ( | MlirOperation | op | ) |
Get Predicate attribute from llzk::boolean::CmpOp Operation.
Definition at line 112 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetResult | ( | MlirOperation | op | ) |
Get Result result from llzk::boolean::CmpOp Operation.
Definition at line 120 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetRhs | ( | MlirOperation | op | ) |
Get Rhs operand from llzk::boolean::CmpOp Operation.
Definition at line 104 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetLhs | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Lhs operand of llzk::boolean::CmpOp Operation.
Definition at line 100 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetPredicate | ( | MlirOperation | op, |
| MlirAttribute | attr ) |
Set Predicate attribute of llzk::boolean::CmpOp Operation.
Definition at line 116 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetRhs | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Rhs operand of llzk::boolean::CmpOp Operation.
Definition at line 108 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirOperation llzkBool_NotBoolOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirValue | operand ) |
Build a llzk::boolean::NotBoolOp Operation.
Definition at line 124 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetOperand | ( | MlirOperation | op | ) |
Get Operand operand from llzk::boolean::NotBoolOp Operation.
Definition at line 136 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetResult | ( | MlirOperation | op | ) |
Get Result result from llzk::boolean::NotBoolOp Operation.
Definition at line 144 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_NotBoolOpSetOperand | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Operand operand of llzk::boolean::NotBoolOp Operation.
Definition at line 140 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirOperation llzkBool_OrBoolOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirValue | lhs, | ||
| MlirValue | rhs ) |
Build a llzk::boolean::OrBoolOp Operation.
Definition at line 148 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetLhs | ( | MlirOperation | op | ) |
Get Lhs operand from llzk::boolean::OrBoolOp Operation.
Definition at line 161 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetResult | ( | MlirOperation | op | ) |
Get Result result from llzk::boolean::OrBoolOp Operation.
Definition at line 177 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetRhs | ( | MlirOperation | op | ) |
Get Rhs operand from llzk::boolean::OrBoolOp Operation.
Definition at line 169 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetLhs | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Lhs operand of llzk::boolean::OrBoolOp Operation.
Definition at line 165 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetRhs | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Rhs operand of llzk::boolean::OrBoolOp Operation.
Definition at line 173 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirOperation llzkBool_XorBoolOpBuild | ( | MlirOpBuilder | builder, |
| MlirLocation | location, | ||
| MlirValue | lhs, | ||
| MlirValue | rhs ) |
Build a llzk::boolean::XorBoolOp Operation.
Definition at line 181 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetLhs | ( | MlirOperation | op | ) |
Get Lhs operand from llzk::boolean::XorBoolOp Operation.
Definition at line 194 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetResult | ( | MlirOperation | op | ) |
Get Result result from llzk::boolean::XorBoolOp Operation.
Definition at line 210 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetRhs | ( | MlirOperation | op | ) |
Get Rhs operand from llzk::boolean::XorBoolOp Operation.
Definition at line 202 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetLhs | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Lhs operand of llzk::boolean::XorBoolOp Operation.
Definition at line 198 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetRhs | ( | MlirOperation | op, |
| MlirValue | value ) |
Set Rhs operand of llzk::boolean::XorBoolOp Operation.
Definition at line 206 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AndBoolOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::boolean::AndBoolOp.
Definition at line 20 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AssertOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::boolean::AssertOp.
Definition at line 57 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_CmpOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::boolean::CmpOp.
Definition at line 92 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_NotBoolOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::boolean::NotBoolOp.
Definition at line 132 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_OrBoolOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::boolean::OrBoolOp.
Definition at line 157 of file Ops.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_XorBoolOp | ( | MlirOperation | inp | ) |
Returns true if the Operation is a llzk::boolean::XorBoolOp.
Definition at line 190 of file Ops.capi.cpp.inc.