LLZK
2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LLZK.h
Go to the documentation of this file.
1
//===-- LLZK.h - C API for LLZK dialect ---------------------------*- 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
//
10
// This header declares the C interface for registering and accessing the
11
// LLZK dialect. A dialect should be registered with a context to make it
12
// available to users of the context. These users must load the dialect
13
// before using any of its attributes, operations, or types. Parser and pass
14
// manager can load registered dialects automatically.
15
//
16
//===----------------------------------------------------------------------===//
17
18
#ifndef LLZK_C_DIALECT_LLZK_H
19
#define LLZK_C_DIALECT_LLZK_H
20
21
#include <mlir-c/IR.h>
22
23
// Include the generated CAPI
24
#include "
llzk/Dialect/LLZK/IR/Attrs.capi.h.inc
"
25
#include "
llzk/Dialect/LLZK/IR/Ops.capi.h.inc
"
26
27
#ifdef __cplusplus
28
extern
"C"
{
29
#endif
30
32
MLIR_DECLARE_CAPI_DIALECT_REGISTRATION
(LLZK,
llzk
);
33
34
#ifdef __cplusplus
35
}
36
#endif
37
38
#endif
// LLZK_C_DIALECT_LLZK_H
Attrs.capi.h.inc
Ops.capi.h.inc
MLIR_DECLARE_CAPI_DIALECT_REGISTRATION
MLIR_DECLARE_CAPI_DIALECT_REGISTRATION(LLZK, llzk)
Get reference to the LLZK llzk dialect.
llzk
Definition
AnalysisPassEnums.cpp:19
include
llzk-c
Dialect
LLZK.h
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.