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//===----------------------------------------------------------------------===//
13//===----------------------------------------------------------------------===//
14
15#pragma once
16
17namespace mlir {
18class DialectRegistry;
19} // namespace mlir
20
21namespace llzk {
22
25void registerDialects(mlir::DialectRegistry &registry);
26
30void registerPasses(mlir::DialectRegistry &registry);
31
32} // namespace llzk
llzk::registerDialects
void registerDialects(mlir::DialectRegistry &registry)
Register core LLZK dialects, the MLIR arith, scf, and smt dialects, and verification extensions in re...
Definition DialectRegistration.cpp:58
llzk::registerPasses
void registerPasses(mlir::DialectRegistry &registry)
Register LLZK analysis, validation, and transformation passes and pipelines, SMT conversion passes,...
Definition DialectRegistration.cpp:118