LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
LLZK.cpp
Go to the documentation of this file.
1//===-- LLZK.cpp - LLZK dialect C API implementation ------------*- C++ -*-===//
2//
3// Part of the LLZK Project, under the Apache License v2.0.
4// See LICENSE.txt for license information.
5// Copyright 2025 Veridise Inc.
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9
12
13#include "llzk-c/Dialect/LLZK.h"
14
15#include <mlir/CAPI/Registration.h>
16
17using namespace llzk;
18
19MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(LLZK, llzk, LLZKDialect)
20
21MlirAttribute llzkPublicAttrGet(MlirContext ctx) { return wrap(PublicAttr::get(unwrap(ctx))); }
22
23bool llzkAttributeIsAPublicAttr(MlirAttribute attr) { return llvm::isa<PublicAttr>(unwrap(attr)); }
bool llzkAttributeIsAPublicAttr(MlirAttribute attr)
Definition LLZK.cpp:23
MlirAttribute llzkPublicAttrGet(MlirContext ctx)
Creates a llzk::PublicAttr.
Definition LLZK.cpp:21