LLZK 2.1.1
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
11#include <limits>
12
13using namespace mlir;
14using namespace llvm;
15
16MlirOperation llzkGlobal_GlobalDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute constant, MlirAttribute type, MlirAttribute initial_value) {
17 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("global.def"), location);
18 MlirContext ctx = mlirOpBuilderGetContext(builder);
19 llvm::SmallVector<MlirNamedAttribute, 4> attributes;
20 if (!mlirAttributeIsNull(reinterpret_cast<MlirAttribute&>(sym_name))) {
21 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("sym_name")), reinterpret_cast<MlirAttribute&>(sym_name)));
22 }
23 if (!mlirAttributeIsNull(constant)) {
24 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("constant")), constant));
25 }
26 if (!mlirAttributeIsNull(type)) {
27 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("type")), type));
28 }
29 if (!mlirAttributeIsNull(initial_value)) {
30 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("initial_value")), initial_value));
31 }
32 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
33
34 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
35}
36
37bool llzkOperationIsA_Global_GlobalDefOp(MlirOperation inp) {
38 return llvm::isa<GlobalDefOp>(unwrap(inp));
39}
40
41MlirAttribute llzkGlobal_GlobalDefOpGetSymName(MlirOperation op) {
42 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("sym_name"));
43}
44
45void llzkGlobal_GlobalDefOpSetSymName(MlirOperation op, MlirAttribute attr) {
46 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("sym_name"), attr);
47}
48
49MlirAttribute llzkGlobal_GlobalDefOpGetConstant(MlirOperation op) {
50 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("constant"));
51}
52
53void llzkGlobal_GlobalDefOpSetConstant(MlirOperation op, MlirAttribute attr) {
54 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("constant"), attr);
55}
56
57MlirAttribute llzkGlobal_GlobalDefOpGetType(MlirOperation op) {
58 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("type"));
59}
60
61void llzkGlobal_GlobalDefOpSetType(MlirOperation op, MlirAttribute attr) {
62 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("type"), attr);
63}
64
65MlirAttribute llzkGlobal_GlobalDefOpGetInitialValue(MlirOperation op) {
66 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("initial_value"));
67}
68
69void llzkGlobal_GlobalDefOpSetInitialValue(MlirOperation op, MlirAttribute attr) {
70 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("initial_value"), attr);
71}
72
73bool llzkGlobal_GlobalDefOpIsConstant(MlirOperation inp) {
74 return llvm::cast<GlobalDefOp>(unwrap(inp)).isConstant();
75}
76
77MlirOperation llzkGlobal_GlobalReadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute name_ref) {
78 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("global.read"), location);
79 mlirOperationStateAddResults(&state, 1, &valType);
80 MlirContext ctx = mlirOpBuilderGetContext(builder);
81 llvm::SmallVector<MlirNamedAttribute, 1> attributes;
82 if (!mlirAttributeIsNull(name_ref)) {
83 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("name_ref")), name_ref));
84 }
85 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
86
87 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
88}
89
90bool llzkOperationIsA_Global_GlobalReadOp(MlirOperation inp) {
91 return llvm::isa<GlobalReadOp>(unwrap(inp));
92}
93
94MlirAttribute llzkGlobal_GlobalReadOpGetNameRef(MlirOperation op) {
95 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"));
96}
97
98void llzkGlobal_GlobalReadOpSetNameRef(MlirOperation op, MlirAttribute attr) {
99 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"), attr);
100}
101
102MlirValue llzkGlobal_GlobalReadOpGetVal(MlirOperation op) {
103 return mlirOperationGetResult(op, 0);
104}
105
106MlirOperation llzkGlobal_GlobalWriteOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue val, MlirAttribute name_ref) {
107 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("global.write"), location);
108 mlirOperationStateAddOperands(&state, 1, &val);
109 MlirContext ctx = mlirOpBuilderGetContext(builder);
110 llvm::SmallVector<MlirNamedAttribute, 1> attributes;
111 if (!mlirAttributeIsNull(name_ref)) {
112 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("name_ref")), name_ref));
113 }
114 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
115
116 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
117}
118
120 return llvm::isa<GlobalWriteOp>(unwrap(inp));
121}
122
123MlirValue llzkGlobal_GlobalWriteOpGetVal(MlirOperation op) {
124 auto range = llvm::cast<GlobalWriteOp>(unwrap(op)).getODSOperandIndexAndLength(0);
125 assert(range.second == 1 && "expected fixed operand segment size");
126 assert(
127 static_cast<uintptr_t>(range.first) <= static_cast<uintptr_t>(std::numeric_limits<intptr_t>::max()) &&
128 "operand index exceeds intptr_t range"
129 );
130 return mlirOperationGetOperand(op, static_cast<intptr_t>(range.first));
131}
132
133void llzkGlobal_GlobalWriteOpSetVal(MlirOperation op, MlirValue value) {
134 auto range = llvm::cast<GlobalWriteOp>(unwrap(op)).getODSOperandIndexAndLength(0);
135 assert(range.second == 1 && "expected fixed operand segment size");
136 assert(
137 static_cast<uintptr_t>(range.first) <= static_cast<uintptr_t>(std::numeric_limits<intptr_t>::max()) &&
138 "operand index exceeds intptr_t range"
139 );
140 mlirOperationSetOperand(op, static_cast<intptr_t>(range.first), value);
141}
142
143MlirAttribute llzkGlobal_GlobalWriteOpGetNameRef(MlirOperation op) {
144 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"));
145}
146
147void llzkGlobal_GlobalWriteOpSetNameRef(MlirOperation op, MlirAttribute attr) {
148 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"), attr);
149}
MlirContext mlirOpBuilderGetContext(MlirOpBuilder builder)
Returns the MLIR context associated with builder.
Definition Builder.cpp:95
MlirOperation mlirOpBuilderInsert(MlirOpBuilder builder, MlirOperation op)
Inserts op at the current insertion point of builder and returns it.
Definition Builder.cpp:167
MlirOperation llzkGlobal_GlobalDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute constant, MlirAttribute type, MlirAttribute initial_value)
Build a llzk::global::GlobalDefOp Operation.
void llzkGlobal_GlobalDefOpSetInitialValue(MlirOperation op, MlirAttribute attr)
Set InitialValue attribute of llzk::global::GlobalDefOp Operation.
MlirAttribute llzkGlobal_GlobalDefOpGetType(MlirOperation op)
Get Type attribute from llzk::global::GlobalDefOp Operation.
MlirValue llzkGlobal_GlobalWriteOpGetVal(MlirOperation op)
Get Val operand from llzk::global::GlobalWriteOp Operation.
bool llzkOperationIsA_Global_GlobalReadOp(MlirOperation inp)
Returns true if the Operation is a llzk::global::GlobalReadOp.
bool llzkOperationIsA_Global_GlobalWriteOp(MlirOperation inp)
Returns true if the Operation is a llzk::global::GlobalWriteOp.
bool llzkGlobal_GlobalDefOpIsConstant(MlirOperation inp)
isConstant
MlirAttribute llzkGlobal_GlobalDefOpGetConstant(MlirOperation op)
Get Constant attribute from llzk::global::GlobalDefOp Operation.
MlirAttribute llzkGlobal_GlobalDefOpGetInitialValue(MlirOperation op)
Get InitialValue attribute from llzk::global::GlobalDefOp Operation.
void llzkGlobal_GlobalWriteOpSetVal(MlirOperation op, MlirValue value)
Set Val operand of llzk::global::GlobalWriteOp Operation.
bool llzkOperationIsA_Global_GlobalDefOp(MlirOperation inp)
Returns true if the Operation is a llzk::global::GlobalDefOp.
void llzkGlobal_GlobalReadOpSetNameRef(MlirOperation op, MlirAttribute attr)
Set NameRef attribute of llzk::global::GlobalReadOp Operation.
void llzkGlobal_GlobalDefOpSetConstant(MlirOperation op, MlirAttribute attr)
Set Constant attribute of llzk::global::GlobalDefOp Operation.
MlirAttribute llzkGlobal_GlobalReadOpGetNameRef(MlirOperation op)
Get NameRef attribute from llzk::global::GlobalReadOp Operation.
MlirOperation llzkGlobal_GlobalWriteOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue val, MlirAttribute name_ref)
Build a llzk::global::GlobalWriteOp Operation.
MlirOperation llzkGlobal_GlobalReadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute name_ref)
Build a llzk::global::GlobalReadOp Operation.
MlirValue llzkGlobal_GlobalReadOpGetVal(MlirOperation op)
Get Val result from llzk::global::GlobalReadOp Operation.
void llzkGlobal_GlobalDefOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::global::GlobalDefOp Operation.
MlirAttribute llzkGlobal_GlobalWriteOpGetNameRef(MlirOperation op)
Get NameRef attribute from llzk::global::GlobalWriteOp Operation.
MlirAttribute llzkGlobal_GlobalDefOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::global::GlobalDefOp Operation.
void llzkGlobal_GlobalDefOpSetType(MlirOperation op, MlirAttribute attr)
Set Type attribute of llzk::global::GlobalDefOp Operation.
void llzkGlobal_GlobalWriteOpSetNameRef(MlirOperation op, MlirAttribute attr)
Set NameRef attribute of llzk::global::GlobalWriteOp Operation.