LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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
13
using namespace
mlir
;
14
using namespace
llvm
;
15
16
MlirOperation
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
31
bool
llzkOperationIsA_Include_IncludeOp
(MlirOperation inp) {
32
return
llvm::isa<IncludeOp>(unwrap(inp));
33
}
34
35
MlirAttribute
llzkInclude_IncludeOpGetSymName
(MlirOperation op) {
36
return
mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString(
"sym_name"
));
37
}
38
39
void
llzkInclude_IncludeOpSetSymName
(MlirOperation op, MlirAttribute attr) {
40
mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString(
"sym_name"
), attr);
41
}
42
43
MlirAttribute
llzkInclude_IncludeOpGetPath
(MlirOperation op) {
44
return
mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString(
"path"
));
45
}
46
47
void
llzkInclude_IncludeOpSetPath
(MlirOperation op, MlirAttribute attr) {
48
mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString(
"path"
), attr);
49
}
mlirOpBuilderGetContext
MlirContext mlirOpBuilderGetContext(MlirOpBuilder builder)
Returns the MLIR context associated with builder.
Definition
Builder.cpp:95
mlirOpBuilderInsert
MlirOperation mlirOpBuilderInsert(MlirOpBuilder builder, MlirOperation op)
Inserts op at the current insertion point of builder and returns it.
Definition
Builder.cpp:167
llzkInclude_IncludeOpBuild
MlirOperation llzkInclude_IncludeOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirIdentifier path)
Build a llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:16
llzkInclude_IncludeOpSetSymName
void llzkInclude_IncludeOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:39
llzkInclude_IncludeOpGetPath
MlirAttribute llzkInclude_IncludeOpGetPath(MlirOperation op)
Get Path attribute from llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:43
llzkInclude_IncludeOpSetPath
void llzkInclude_IncludeOpSetPath(MlirOperation op, MlirAttribute attr)
Set Path attribute of llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:47
llzkInclude_IncludeOpGetSymName
MlirAttribute llzkInclude_IncludeOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:35
llzkOperationIsA_Include_IncludeOp
bool llzkOperationIsA_Include_IncludeOp(MlirOperation inp)
Returns true if the Operation is a llzk::include::IncludeOp.
Definition
Ops.capi.cpp.inc:31
llvm
Definition
SourceRefLattice.cpp:411
mlir
Definition
ValueModel.h:30
build
include
llzk
Dialect
Include
IR
Ops.capi.cpp.inc
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.