LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
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/CAPI/IR.h>
12#include <mlir/CAPI/Support.h>
13#include <llvm/ADT/TypeSwitch.h>
14#include <utility>
15
16using namespace mlir;
17using namespace llvm;
18
19bool llzkAttributeIsA_Pod_RecordAttr(MlirAttribute inp) {
20 return llvm::isa<RecordAttr>(unwrap(inp));
21}
22
23MlirAttribute llzkPod_RecordAttrGet(MlirContext ctx, MlirIdentifier name, MlirType type) {
24
25 return wrap(RecordAttr::get(unwrap(ctx), unwrap(name), ::llvm::cast<::mlir::Type>(unwrap(type))));
26}
27
28MlirIdentifier llzkPod_RecordAttrGetName(MlirAttribute inp) {
29 return wrap(llvm::cast<RecordAttr>(unwrap(inp)).getName());
30}
31
32MlirType llzkPod_RecordAttrGetType(MlirAttribute inp) {
33 return wrap(llvm::cast<RecordAttr>(unwrap(inp)).getType());
34}
35
36MlirAttribute llzkPod_RecordAttrGetNameSym(MlirAttribute inp) {
37 return wrap(llvm::cast<RecordAttr>(unwrap(inp)).getNameSym());
38}
MlirAttribute llzkPod_RecordAttrGetNameSym(MlirAttribute inp)
Returns the record name as a symbol.
MlirType llzkPod_RecordAttrGetType(MlirAttribute inp)
Get 'type' parameter from a llzk::pod::RecordAttr Attribute.
MlirAttribute llzkPod_RecordAttrGet(MlirContext ctx, MlirIdentifier name, MlirType type)
Create a llzk::pod::RecordAttr Attribute with the given parameters.
bool llzkAttributeIsA_Pod_RecordAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::pod::RecordAttr.
MlirIdentifier llzkPod_RecordAttrGetName(MlirAttribute inp)
Get 'name' parameter from a llzk::pod::RecordAttr Attribute.