LLZK 3.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/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
18using namespace mlir;
19using namespace llvm;
20
21bool llzkAttributeIsA_Pod_RecordAttr(MlirAttribute inp) {
22 return llvm::isa<RecordAttr>(unwrap(inp));
23}
24
25MlirAttribute 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
30MlirIdentifier llzkPod_RecordAttrGetName(MlirAttribute inp) {
31 return wrap(llvm::cast<RecordAttr>(unwrap(inp)).getName());
32}
33
34MlirType llzkPod_RecordAttrGetType(MlirAttribute inp) {
35 return wrap(llvm::cast<RecordAttr>(unwrap(inp)).getType());
36}
37
38MlirAttribute llzkPod_RecordAttrGetNameSym(MlirAttribute inp) {
39 return wrap(llvm::cast<RecordAttr>(unwrap(inp)).getNameSym());
40}
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.