LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.capi.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Op C API Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Ops.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10
11#include "llzk-c/Builder.h"
12#include <mlir-c/IR.h>
13
14#ifdef __cplusplus
15extern "C" {
16#endif
17
19MLIR_CAPI_EXPORTED MlirOperation llzkBool_AndBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);
20
22MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AndBoolOp(MlirOperation);
23
25MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetLhs(MlirOperation op);
26
28MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetLhs(MlirOperation op, MlirValue value);
29
31MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetRhs(MlirOperation op);
32
34MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetRhs(MlirOperation op, MlirValue value);
35
37MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetResult(MlirOperation op);
38
40MLIR_CAPI_EXPORTED MlirOperation llzkBool_AssertOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg);
41
43MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AssertOp(MlirOperation);
44
46MLIR_CAPI_EXPORTED MlirValue llzkBool_AssertOpGetCondition(MlirOperation op);
47
49MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetCondition(MlirOperation op, MlirValue value);
50
52MLIR_CAPI_EXPORTED MlirAttribute llzkBool_AssertOpGetMsg(MlirOperation op);
53
55MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetMsg(MlirOperation op, MlirAttribute attr);
56
58MLIR_CAPI_EXPORTED MlirOperation llzkBool_CmpOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs, MlirAttribute predicate);
59
61MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_CmpOp(MlirOperation);
62
64MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetLhs(MlirOperation op);
65
67MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetLhs(MlirOperation op, MlirValue value);
68
70MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetRhs(MlirOperation op);
71
73MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetRhs(MlirOperation op, MlirValue value);
74
76MLIR_CAPI_EXPORTED MlirAttribute llzkBool_CmpOpGetPredicate(MlirOperation op);
77
79MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetPredicate(MlirOperation op, MlirAttribute attr);
80
82MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetResult(MlirOperation op);
83
85MLIR_CAPI_EXPORTED MlirOperation llzkBool_NotBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue operand);
86
88MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_NotBoolOp(MlirOperation);
89
91MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetOperand(MlirOperation op);
92
94MLIR_CAPI_EXPORTED void llzkBool_NotBoolOpSetOperand(MlirOperation op, MlirValue value);
95
97MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetResult(MlirOperation op);
98
100MLIR_CAPI_EXPORTED MlirOperation llzkBool_OrBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);
101
103MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_OrBoolOp(MlirOperation);
104
106MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetLhs(MlirOperation op);
107
109MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetLhs(MlirOperation op, MlirValue value);
110
112MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetRhs(MlirOperation op);
113
115MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetRhs(MlirOperation op, MlirValue value);
116
118MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetResult(MlirOperation op);
119
121MLIR_CAPI_EXPORTED MlirOperation llzkBool_XorBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);
122
124MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_XorBoolOp(MlirOperation);
125
127MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetLhs(MlirOperation op);
128
130MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetLhs(MlirOperation op, MlirValue value);
131
133MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetRhs(MlirOperation op);
134
136MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetRhs(MlirOperation op, MlirValue value);
137
139MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetResult(MlirOperation op);
140
141#ifdef __cplusplus
142}
143#endif
MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetCondition(MlirOperation op, MlirValue value)
Set Condition operand of llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkBool_CmpOpGetPredicate(MlirOperation op)
Get Predicate attribute from llzk::boolean::CmpOp 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 MlirValue llzkBool_NotBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::NotBoolOp 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 MlirValue llzkBool_XorBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_NotBoolOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::NotBoolOp.
MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs 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 MlirValue llzkBool_OrBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_NotBoolOpSetOperand(MlirOperation op, MlirValue value)
Set Operand operand of llzk::boolean::NotBoolOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AssertOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::AssertOp.
MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetOperand(MlirOperation op)
Get Operand operand from llzk::boolean::NotBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_AssertOpGetCondition(MlirOperation op)
Get Condition operand from llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkBool_AssertOpGetMsg(MlirOperation op)
Get Msg attribute from llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkBool_XorBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkBool_AssertOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg)
Build a llzk::boolean::AssertOp Operation.
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_XorBoolOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::XorBoolOp.
MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_OrBoolOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::OrBoolOp.
MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs 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 bool llzkOperationIsA_Bool_CmpOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::CmpOp.
MLIR_CAPI_EXPORTED MlirOperation llzkBool_OrBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetPredicate(MlirOperation op, MlirAttribute attr)
Set Predicate attribute of llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkBool_NotBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue operand)
Build a llzk::boolean::NotBoolOp 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 void llzkBool_AssertOpSetMsg(MlirOperation op, MlirAttribute attr)
Set Msg attribute of llzk::boolean::AssertOp Operation.