LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
DialectRegistration.h
Go to the documentation of this file.
1//===-- DialectRegistration.h -------------------------------------*- 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//===----------------------------------------------------------------------===//
14
15#ifndef LLZK_C_DIALECTREGISTRATION_H
16#define LLZK_C_DIALECTREGISTRATION_H
17
18#include <mlir-c/IR.h>
19
20#ifdef __cplusplus
21extern "C" {
22#endif
23
25MLIR_CAPI_EXPORTED void llzkRegisterCoreDialects(MlirDialectRegistry registry);
26
28MLIR_CAPI_EXPORTED void llzkRegisterCorePasses(MlirDialectRegistry registry);
29
32MLIR_CAPI_EXPORTED void llzkRegisterPCLDialects(MlirDialectRegistry registry);
33
36MLIR_CAPI_EXPORTED void llzkRegisterPCLPasses(MlirDialectRegistry registry);
37
39MLIR_CAPI_EXPORTED void llzkRegisterR1CSDialects(MlirDialectRegistry registry);
40
42MLIR_CAPI_EXPORTED void llzkRegisterR1CSPasses(MlirDialectRegistry registry);
43
45MLIR_CAPI_EXPORTED void llzkRegisterSMTDialects(MlirDialectRegistry registry);
46
48MLIR_CAPI_EXPORTED void llzkRegisterSMTPasses(MlirDialectRegistry registry);
49
51MLIR_CAPI_EXPORTED void llzkRegisterZKLeanDialects(MlirDialectRegistry registry);
52
54MLIR_CAPI_EXPORTED void llzkRegisterZKLeanPasses(MlirDialectRegistry registry);
55
56#ifdef __cplusplus
57}
58#endif
59
60#endif // LLZK_C_DIALECTREGISTRATION_H
llzkRegisterR1CSPasses
MLIR_CAPI_EXPORTED void llzkRegisterR1CSPasses(MlirDialectRegistry registry)
Registers R1CS passes.
Definition DialectRegistration.cpp:62
llzkRegisterCorePasses
MLIR_CAPI_EXPORTED void llzkRegisterCorePasses(MlirDialectRegistry registry)
Registers core LLZK passes.
Definition DialectRegistration.cpp:38
llzkRegisterZKLeanDialects
MLIR_CAPI_EXPORTED void llzkRegisterZKLeanDialects(MlirDialectRegistry registry)
Registers ZKLean dialects in the given registry.
Definition DialectRegistration.cpp:74
llzkRegisterPCLDialects
MLIR_CAPI_EXPORTED void llzkRegisterPCLDialects(MlirDialectRegistry registry)
Registers PCL dialects in the given registry.
Definition DialectRegistration.cpp:42
llzkRegisterZKLeanPasses
MLIR_CAPI_EXPORTED void llzkRegisterZKLeanPasses(MlirDialectRegistry registry)
Registers ZKLean passes.
Definition DialectRegistration.cpp:78
llzkRegisterSMTPasses
MLIR_CAPI_EXPORTED void llzkRegisterSMTPasses(MlirDialectRegistry registry)
Registers SMT conversion passes.
Definition DialectRegistration.cpp:70
llzkRegisterR1CSDialects
MLIR_CAPI_EXPORTED void llzkRegisterR1CSDialects(MlirDialectRegistry registry)
Registers R1CS dialects in the given registry.
Definition DialectRegistration.cpp:58
llzkRegisterCoreDialects
MLIR_CAPI_EXPORTED void llzkRegisterCoreDialects(MlirDialectRegistry registry)
Registers core LLZK dialects in the given registry.
Definition DialectRegistration.cpp:34
llzkRegisterPCLPasses
MLIR_CAPI_EXPORTED void llzkRegisterPCLPasses(MlirDialectRegistry registry)
Registers PCL passes.
Definition DialectRegistration.cpp:50
llzkRegisterSMTDialects
MLIR_CAPI_EXPORTED void llzkRegisterSMTDialects(MlirDialectRegistry registry)
Registers the MLIR smt and LLZK smt_info metadata dialects in the given registry.
Definition DialectRegistration.cpp:66