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 llzkBool_AndBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
 Build a llzk::boolean::AndBoolOp Operation.
bool llzkOperationIsA_Bool_AndBoolOp (MlirOperation inp)
 Returns true if the Operation is a llzk::boolean::AndBoolOp.
MlirValue llzkBool_AndBoolOpGetLhs (MlirOperation op)
 Get Lhs operand from llzk::boolean::AndBoolOp Operation.
void llzkBool_AndBoolOpSetLhs (MlirOperation op, MlirValue value)
 Set Lhs operand of llzk::boolean::AndBoolOp Operation.
MlirValue llzkBool_AndBoolOpGetRhs (MlirOperation op)
 Get Rhs operand from llzk::boolean::AndBoolOp Operation.
void llzkBool_AndBoolOpSetRhs (MlirOperation op, MlirValue value)
 Set Rhs operand of llzk::boolean::AndBoolOp Operation.
MlirValue llzkBool_AndBoolOpGetResult (MlirOperation op)
 Get Result result from llzk::boolean::AndBoolOp Operation.
MlirOperation llzkBool_AssertOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg)
 Build a llzk::boolean::AssertOp Operation.
bool llzkOperationIsA_Bool_AssertOp (MlirOperation inp)
 Returns true if the Operation is a llzk::boolean::AssertOp.
MlirValue llzkBool_AssertOpGetCondition (MlirOperation op)
 Get Condition operand from llzk::boolean::AssertOp Operation.
void llzkBool_AssertOpSetCondition (MlirOperation op, MlirValue value)
 Set Condition operand of llzk::boolean::AssertOp Operation.
MlirAttribute llzkBool_AssertOpGetMsg (MlirOperation op)
 Get Msg attribute from llzk::boolean::AssertOp Operation.
void llzkBool_AssertOpSetMsg (MlirOperation op, MlirAttribute attr)
 Set Msg attribute of llzk::boolean::AssertOp Operation.
MlirOperation llzkBool_CmpOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs, MlirAttribute predicate)
 Build a llzk::boolean::CmpOp Operation.
bool llzkOperationIsA_Bool_CmpOp (MlirOperation inp)
 Returns true if the Operation is a llzk::boolean::CmpOp.
MlirValue llzkBool_CmpOpGetLhs (MlirOperation op)
 Get Lhs operand from llzk::boolean::CmpOp Operation.
void llzkBool_CmpOpSetLhs (MlirOperation op, MlirValue value)
 Set Lhs operand of llzk::boolean::CmpOp Operation.
MlirValue llzkBool_CmpOpGetRhs (MlirOperation op)
 Get Rhs operand from llzk::boolean::CmpOp Operation.
void llzkBool_CmpOpSetRhs (MlirOperation op, MlirValue value)
 Set Rhs operand of llzk::boolean::CmpOp Operation.
MlirAttribute llzkBool_CmpOpGetPredicate (MlirOperation op)
 Get Predicate attribute from llzk::boolean::CmpOp Operation.
void llzkBool_CmpOpSetPredicate (MlirOperation op, MlirAttribute attr)
 Set Predicate attribute of llzk::boolean::CmpOp Operation.
MlirValue llzkBool_CmpOpGetResult (MlirOperation op)
 Get Result result from llzk::boolean::CmpOp Operation.
MlirOperation llzkBool_NotBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue operand)
 Build a llzk::boolean::NotBoolOp Operation.
bool llzkOperationIsA_Bool_NotBoolOp (MlirOperation inp)
 Returns true if the Operation is a llzk::boolean::NotBoolOp.
MlirValue llzkBool_NotBoolOpGetOperand (MlirOperation op)
 Get Operand operand from llzk::boolean::NotBoolOp Operation.
void llzkBool_NotBoolOpSetOperand (MlirOperation op, MlirValue value)
 Set Operand operand of llzk::boolean::NotBoolOp Operation.
MlirValue llzkBool_NotBoolOpGetResult (MlirOperation op)
 Get Result result from llzk::boolean::NotBoolOp Operation.
MlirOperation llzkBool_OrBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
 Build a llzk::boolean::OrBoolOp Operation.
bool llzkOperationIsA_Bool_OrBoolOp (MlirOperation inp)
 Returns true if the Operation is a llzk::boolean::OrBoolOp.
MlirValue llzkBool_OrBoolOpGetLhs (MlirOperation op)
 Get Lhs operand from llzk::boolean::OrBoolOp Operation.
void llzkBool_OrBoolOpSetLhs (MlirOperation op, MlirValue value)
 Set Lhs operand of llzk::boolean::OrBoolOp Operation.
MlirValue llzkBool_OrBoolOpGetRhs (MlirOperation op)
 Get Rhs operand from llzk::boolean::OrBoolOp Operation.
void llzkBool_OrBoolOpSetRhs (MlirOperation op, MlirValue value)
 Set Rhs operand of llzk::boolean::OrBoolOp Operation.
MlirValue llzkBool_OrBoolOpGetResult (MlirOperation op)
 Get Result result from llzk::boolean::OrBoolOp Operation.
MlirOperation llzkBool_XorBoolOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
 Build a llzk::boolean::XorBoolOp Operation.
bool llzkOperationIsA_Bool_XorBoolOp (MlirOperation inp)
 Returns true if the Operation is a llzk::boolean::XorBoolOp.
MlirValue llzkBool_XorBoolOpGetLhs (MlirOperation op)
 Get Lhs operand from llzk::boolean::XorBoolOp Operation.
void llzkBool_XorBoolOpSetLhs (MlirOperation op, MlirValue value)
 Set Lhs operand of llzk::boolean::XorBoolOp Operation.
MlirValue llzkBool_XorBoolOpGetRhs (MlirOperation op)
 Get Rhs operand from llzk::boolean::XorBoolOp Operation.
void llzkBool_XorBoolOpSetRhs (MlirOperation op, MlirValue value)
 Set Rhs operand of llzk::boolean::XorBoolOp Operation.
MlirValue llzkBool_XorBoolOpGetResult (MlirOperation op)
 Get Result result from llzk::boolean::XorBoolOp Operation.

Function Documentation

◆ llzkBool_AndBoolOpBuild()

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.