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 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.

Function Documentation

◆ llzkBool_AndBoolOpBuild()

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.

◆ llzkBool_AndBoolOpGetLhs()

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.

◆ llzkBool_AndBoolOpGetResult()

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.

◆ llzkBool_AndBoolOpGetRhs()

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.

◆ llzkBool_AndBoolOpSetLhs()

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.

◆ llzkBool_AndBoolOpSetRhs()

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.

◆ llzkBool_AssertOpBuild()

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.

◆ llzkBool_AssertOpGetCondition()

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.

◆ llzkBool_AssertOpGetMsg()

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.

◆ llzkBool_AssertOpSetCondition()

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.

◆ llzkBool_AssertOpSetMsg()

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.

◆ llzkBool_CmpOpBuild()

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.

◆ llzkBool_CmpOpGetLhs()

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.

◆ llzkBool_CmpOpGetPredicate()

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.

◆ llzkBool_CmpOpGetResult()

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.

◆ llzkBool_CmpOpGetRhs()

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.

◆ llzkBool_CmpOpSetLhs()

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.

◆ llzkBool_CmpOpSetPredicate()

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.

◆ llzkBool_CmpOpSetRhs()

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.

◆ llzkBool_NotBoolOpBuild()

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.

◆ llzkBool_NotBoolOpGetOperand()

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.

◆ llzkBool_NotBoolOpGetResult()

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.

◆ llzkBool_NotBoolOpSetOperand()

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.

◆ llzkBool_OrBoolOpBuild()

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.

◆ llzkBool_OrBoolOpGetLhs()

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.

◆ llzkBool_OrBoolOpGetResult()

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.

◆ llzkBool_OrBoolOpGetRhs()

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.

◆ llzkBool_OrBoolOpSetLhs()

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.

◆ llzkBool_OrBoolOpSetRhs()

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.

◆ llzkBool_XorBoolOpBuild()

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.

◆ llzkBool_XorBoolOpGetLhs()

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.

◆ llzkBool_XorBoolOpGetResult()

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.

◆ llzkBool_XorBoolOpGetRhs()

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.

◆ llzkBool_XorBoolOpSetLhs()

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.

◆ llzkBool_XorBoolOpSetRhs()

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.

◆ llzkOperationIsA_Bool_AndBoolOp()

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.

◆ llzkOperationIsA_Bool_AssertOp()

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.

◆ llzkOperationIsA_Bool_CmpOp()

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.

◆ llzkOperationIsA_Bool_NotBoolOp()

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.

◆ llzkOperationIsA_Bool_OrBoolOp()

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.

◆ llzkOperationIsA_Bool_XorBoolOp()

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.