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 llzkInclude_IncludeOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirIdentifier path) {
17 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("include.from"), location);
18 MlirContext ctx = mlirOpBuilderGetContext(builder);
19 llvm::SmallVector<MlirNamedAttribute, 2> 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(reinterpret_cast<MlirAttribute&>(path))) {
24 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("path")), reinterpret_cast<MlirAttribute&>(path)));
25 }
26 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
27
28 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
29}
30
31bool llzkOperationIsA_Include_IncludeOp(MlirOperation inp) {
32 return llvm::isa<IncludeOp>(unwrap(inp));
33}
34
35MlirAttribute llzkInclude_IncludeOpGetSymName(MlirOperation op) {
36 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("sym_name"));
37}
38
39void llzkInclude_IncludeOpSetSymName(MlirOperation op, MlirAttribute attr) {
40 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("sym_name"), attr);
41}
42
43MlirAttribute llzkInclude_IncludeOpGetPath(MlirOperation op) {
44 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("path"));
45}
46
47void llzkInclude_IncludeOpSetPath(MlirOperation op, MlirAttribute attr) {
48 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("path"), attr);
49}
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 llzkInclude_IncludeOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirIdentifier path)
Build a llzk::include::IncludeOp Operation.
void llzkInclude_IncludeOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::include::IncludeOp Operation.
MlirAttribute llzkInclude_IncludeOpGetPath(MlirOperation op)
Get Path attribute from llzk::include::IncludeOp Operation.
void llzkInclude_IncludeOpSetPath(MlirOperation op, MlirAttribute attr)
Set Path attribute of llzk::include::IncludeOp Operation.
MlirAttribute llzkInclude_IncludeOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::include::IncludeOp Operation.
bool llzkOperationIsA_Include_IncludeOp(MlirOperation inp)
Returns true if the Operation is a llzk::include::IncludeOp.