LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.capi.cpp.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Op C API Definitions *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Ops.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10
11MlirOperation llzkBool_AndBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs) {
12 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("bool.and"), location);
13 mlirOperationStateEnableResultTypeInference(&state);
14 mlirOperationStateAddOperands(&state, 1, &lhs);
15 mlirOperationStateAddOperands(&state, 1, &rhs);
16
17 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
18}
19
20bool llzkOperationIsA_Bool_AndBoolOp(MlirOperation inp) {
21 return llvm::isa<AndBoolOp>(unwrap(inp));
22}
23
24MlirValue llzkBool_AndBoolOpGetLhs(MlirOperation op) {
25 return mlirOperationGetOperand(op, 0);
26}
27
28void llzkBool_AndBoolOpSetLhs(MlirOperation op, MlirValue value) {
29 mlirOperationSetOperand(op, 0, value);
30}
31
32MlirValue llzkBool_AndBoolOpGetRhs(MlirOperation op) {
33 return mlirOperationGetOperand(op, 1);
34}
35
36void llzkBool_AndBoolOpSetRhs(MlirOperation op, MlirValue value) {
37 mlirOperationSetOperand(op, 1, value);
38}
39
40MlirValue llzkBool_AndBoolOpGetResult(MlirOperation op) {
41 return mlirOperationGetResult(op, 0);
42}
43
44MlirOperation llzkBool_AssertOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg) {
45 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("bool.assert"), location);
46 mlirOperationStateAddOperands(&state, 1, &condition);
47 MlirContext ctx = mlirOpBuilderGetContext(builder);
48 llvm::SmallVector<MlirNamedAttribute, 1> attributes;
49 if (!mlirAttributeIsNull(reinterpret_cast<MlirAttribute&>(msg))) {
50 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("msg")), reinterpret_cast<MlirAttribute&>(msg)));
51 }
52 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
53
54 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
55}
56
57bool llzkOperationIsA_Bool_AssertOp(MlirOperation inp) {
58 return llvm::isa<AssertOp>(unwrap(inp));
59}
60
61MlirValue llzkBool_AssertOpGetCondition(MlirOperation op) {
62 return mlirOperationGetOperand(op, 0);
63}
64
65void llzkBool_AssertOpSetCondition(MlirOperation op, MlirValue value) {
66 mlirOperationSetOperand(op, 0, value);
67}
68
69MlirAttribute llzkBool_AssertOpGetMsg(MlirOperation op) {
70 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("msg"));
71}
72
73void llzkBool_AssertOpSetMsg(MlirOperation op, MlirAttribute attr) {
74 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("msg"), attr);
75}
76
77MlirOperation llzkBool_CmpOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs, MlirAttribute predicate) {
78 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("bool.cmp"), location);
79 mlirOperationStateEnableResultTypeInference(&state);
80 mlirOperationStateAddOperands(&state, 1, &lhs);
81 mlirOperationStateAddOperands(&state, 1, &rhs);
82 MlirContext ctx = mlirOpBuilderGetContext(builder);
83 llvm::SmallVector<MlirNamedAttribute, 1> attributes;
84 if (!mlirAttributeIsNull(predicate)) {
85 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("predicate")), predicate));
86 }
87 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
88
89 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
90}
91
92bool llzkOperationIsA_Bool_CmpOp(MlirOperation inp) {
93 return llvm::isa<CmpOp>(unwrap(inp));
94}
95
96MlirValue llzkBool_CmpOpGetLhs(MlirOperation op) {
97 return mlirOperationGetOperand(op, 0);
98}
99
100void llzkBool_CmpOpSetLhs(MlirOperation op, MlirValue value) {
101 mlirOperationSetOperand(op, 0, value);
102}
103
104MlirValue llzkBool_CmpOpGetRhs(MlirOperation op) {
105 return mlirOperationGetOperand(op, 1);
106}
107
108void llzkBool_CmpOpSetRhs(MlirOperation op, MlirValue value) {
109 mlirOperationSetOperand(op, 1, value);
110}
111
112MlirAttribute llzkBool_CmpOpGetPredicate(MlirOperation op) {
113 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("predicate"));
114}
115
116void llzkBool_CmpOpSetPredicate(MlirOperation op, MlirAttribute attr) {
117 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("predicate"), attr);
118}
119
120MlirValue llzkBool_CmpOpGetResult(MlirOperation op) {
121 return mlirOperationGetResult(op, 0);
122}
123
124MlirOperation llzkBool_NotBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue operand) {
125 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("bool.not"), location);
126 mlirOperationStateEnableResultTypeInference(&state);
127 mlirOperationStateAddOperands(&state, 1, &operand);
128
129 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
130}
131
132bool llzkOperationIsA_Bool_NotBoolOp(MlirOperation inp) {
133 return llvm::isa<NotBoolOp>(unwrap(inp));
134}
135
136MlirValue llzkBool_NotBoolOpGetOperand(MlirOperation op) {
137 return mlirOperationGetOperand(op, 0);
138}
139
140void llzkBool_NotBoolOpSetOperand(MlirOperation op, MlirValue value) {
141 mlirOperationSetOperand(op, 0, value);
142}
143
144MlirValue llzkBool_NotBoolOpGetResult(MlirOperation op) {
145 return mlirOperationGetResult(op, 0);
146}
147
148MlirOperation llzkBool_OrBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs) {
149 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("bool.or"), location);
150 mlirOperationStateEnableResultTypeInference(&state);
151 mlirOperationStateAddOperands(&state, 1, &lhs);
152 mlirOperationStateAddOperands(&state, 1, &rhs);
153
154 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
155}
156
157bool llzkOperationIsA_Bool_OrBoolOp(MlirOperation inp) {
158 return llvm::isa<OrBoolOp>(unwrap(inp));
159}
160
161MlirValue llzkBool_OrBoolOpGetLhs(MlirOperation op) {
162 return mlirOperationGetOperand(op, 0);
163}
164
165void llzkBool_OrBoolOpSetLhs(MlirOperation op, MlirValue value) {
166 mlirOperationSetOperand(op, 0, value);
167}
168
169MlirValue llzkBool_OrBoolOpGetRhs(MlirOperation op) {
170 return mlirOperationGetOperand(op, 1);
171}
172
173void llzkBool_OrBoolOpSetRhs(MlirOperation op, MlirValue value) {
174 mlirOperationSetOperand(op, 1, value);
175}
176
177MlirValue llzkBool_OrBoolOpGetResult(MlirOperation op) {
178 return mlirOperationGetResult(op, 0);
179}
180
181MlirOperation llzkBool_XorBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs) {
182 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("bool.xor"), location);
183 mlirOperationStateEnableResultTypeInference(&state);
184 mlirOperationStateAddOperands(&state, 1, &lhs);
185 mlirOperationStateAddOperands(&state, 1, &rhs);
186
187 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
188}
189
190bool llzkOperationIsA_Bool_XorBoolOp(MlirOperation inp) {
191 return llvm::isa<XorBoolOp>(unwrap(inp));
192}
193
194MlirValue llzkBool_XorBoolOpGetLhs(MlirOperation op) {
195 return mlirOperationGetOperand(op, 0);
196}
197
198void llzkBool_XorBoolOpSetLhs(MlirOperation op, MlirValue value) {
199 mlirOperationSetOperand(op, 0, value);
200}
201
202MlirValue llzkBool_XorBoolOpGetRhs(MlirOperation op) {
203 return mlirOperationGetOperand(op, 1);
204}
205
206void llzkBool_XorBoolOpSetRhs(MlirOperation op, MlirValue value) {
207 mlirOperationSetOperand(op, 1, value);
208}
209
210MlirValue llzkBool_XorBoolOpGetResult(MlirOperation op) {
211 return mlirOperationGetResult(op, 0);
212}
MlirOperation llzkBool_AssertOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg)
Build a llzk::boolean::AssertOp Operation.
MlirOperation llzkBool_XorBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::XorBoolOp Operation.
void llzkBool_XorBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::XorBoolOp Operation.
MlirValue llzkBool_NotBoolOpGetOperand(MlirOperation op)
Get Operand operand from llzk::boolean::NotBoolOp Operation.
bool llzkOperationIsA_Bool_CmpOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::CmpOp.
MlirValue llzkBool_OrBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::OrBoolOp Operation.
MlirValue llzkBool_AssertOpGetCondition(MlirOperation op)
Get Condition operand from llzk::boolean::AssertOp Operation.
bool llzkOperationIsA_Bool_AssertOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::AssertOp.
MlirValue llzkBool_XorBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::XorBoolOp Operation.
MlirValue llzkBool_CmpOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::CmpOp Operation.
MlirOperation llzkBool_OrBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::OrBoolOp Operation.
void llzkBool_XorBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::XorBoolOp Operation.
MlirValue llzkBool_AndBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::AndBoolOp Operation.
bool llzkOperationIsA_Bool_XorBoolOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::XorBoolOp.
MlirOperation llzkBool_CmpOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs, MlirAttribute predicate)
Build a llzk::boolean::CmpOp Operation.
void llzkBool_CmpOpSetPredicate(MlirOperation op, MlirAttribute attr)
Set Predicate attribute of llzk::boolean::CmpOp Operation.
bool llzkOperationIsA_Bool_NotBoolOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::NotBoolOp.
void llzkBool_NotBoolOpSetOperand(MlirOperation op, MlirValue value)
Set Operand operand of llzk::boolean::NotBoolOp Operation.
MlirAttribute llzkBool_AssertOpGetMsg(MlirOperation op)
Get Msg attribute from llzk::boolean::AssertOp Operation.
MlirValue llzkBool_OrBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::OrBoolOp Operation.
MlirValue llzkBool_OrBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::OrBoolOp Operation.
void llzkBool_AndBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::AndBoolOp Operation.
void llzkBool_AndBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::AndBoolOp Operation.
MlirOperation llzkBool_NotBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue operand)
Build a llzk::boolean::NotBoolOp Operation.
MlirValue llzkBool_AndBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::AndBoolOp Operation.
void llzkBool_OrBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::OrBoolOp Operation.
void llzkBool_AssertOpSetCondition(MlirOperation op, MlirValue value)
Set Condition operand of llzk::boolean::AssertOp Operation.
MlirValue llzkBool_CmpOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::CmpOp Operation.
MlirValue llzkBool_XorBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::XorBoolOp Operation.
MlirValue llzkBool_AndBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::AndBoolOp Operation.
void llzkBool_OrBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::OrBoolOp Operation.
MlirAttribute llzkBool_CmpOpGetPredicate(MlirOperation op)
Get Predicate attribute from llzk::boolean::CmpOp Operation.
MlirValue llzkBool_NotBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::NotBoolOp Operation.
void llzkBool_AssertOpSetMsg(MlirOperation op, MlirAttribute attr)
Set Msg attribute of llzk::boolean::AssertOp Operation.
bool llzkOperationIsA_Bool_OrBoolOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::OrBoolOp.
MlirValue llzkBool_CmpOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::CmpOp Operation.
MlirValue llzkBool_XorBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::XorBoolOp Operation.
bool llzkOperationIsA_Bool_AndBoolOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::AndBoolOp.
MlirOperation llzkBool_AndBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::AndBoolOp Operation.
void llzkBool_CmpOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::CmpOp Operation.
void llzkBool_CmpOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::CmpOp Operation.
MlirContext mlirOpBuilderGetContext(MlirOpBuilder builder)
Returns the MLIR context associated with builder.
Definition Builder.cpp:79
MlirOperation mlirOpBuilderInsert(MlirOpBuilder builder, MlirOperation op)
Inserts op at the current insertion point of builder and returns it.
Definition Builder.cpp:108