LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Attrs.capi.cpp.inc
Go to the documentation of this file.
1
/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2
|* *|
3
|* Attr C API Implementations *|
4
|* *|
5
|* Automatically generated file, do not edit! *|
6
|* From: Attrs.td *|
7
|* *|
8
\*===----------------------------------------------------------------------===*/
9
10
11
#include <mlir/IR/Diagnostics.h>
12
#include <mlir/IR/BuiltinAttributes.h>
13
#include <mlir/CAPI/IR.h>
14
#include <mlir/CAPI/Support.h>
15
#include <llvm/ADT/TypeSwitch.h>
16
#include <utility>
17
18
using namespace
mlir
;
19
using namespace
llvm
;
20
21
bool
llzkAttributeIsA_Pod_RecordAttr
(MlirAttribute inp) {
22
return
llvm::isa<RecordAttr>(unwrap(inp));
23
}
24
25
MlirAttribute
llzkPod_RecordAttrGet
(MlirContext ctx, MlirIdentifier name, MlirType type) {
26
27
return
wrap(RecordAttr::get(unwrap(ctx), unwrap(name), ::llvm::cast<::mlir::Type>(unwrap(type))));
28
}
29
30
MlirIdentifier
llzkPod_RecordAttrGetName
(MlirAttribute inp) {
31
return
wrap(llvm::cast<RecordAttr>(unwrap(inp)).getName());
32
}
33
34
MlirType
llzkPod_RecordAttrGetType
(MlirAttribute inp) {
35
return
wrap(llvm::cast<RecordAttr>(unwrap(inp)).getType());
36
}
37
38
MlirAttribute
llzkPod_RecordAttrGetNameSym
(MlirAttribute inp) {
39
return
wrap(llvm::cast<RecordAttr>(unwrap(inp)).getNameSym());
40
}
llzkPod_RecordAttrGetNameSym
MlirAttribute llzkPod_RecordAttrGetNameSym(MlirAttribute inp)
Returns the record name as a symbol.
Definition
Attrs.capi.cpp.inc:38
llzkPod_RecordAttrGetType
MlirType llzkPod_RecordAttrGetType(MlirAttribute inp)
Get 'type' parameter from a llzk::pod::RecordAttr Attribute.
Definition
Attrs.capi.cpp.inc:34
llzkPod_RecordAttrGet
MlirAttribute llzkPod_RecordAttrGet(MlirContext ctx, MlirIdentifier name, MlirType type)
Create a llzk::pod::RecordAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:25
llzkAttributeIsA_Pod_RecordAttr
bool llzkAttributeIsA_Pod_RecordAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::pod::RecordAttr.
Definition
Attrs.capi.cpp.inc:21
llzkPod_RecordAttrGetName
MlirIdentifier llzkPod_RecordAttrGetName(MlirAttribute inp)
Get 'name' parameter from a llzk::pod::RecordAttr Attribute.
Definition
Attrs.capi.cpp.inc:30
llvm
Definition
SourceRefLattice.cpp:411
mlir
Definition
CommonCAPIGen.h:50
build
include
llzk
Dialect
POD
IR
Attrs.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.