LLZK
2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LLZKTransformationPasses.h
Go to the documentation of this file.
1
//===-- LLZKTransformationPasses.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
10
#pragma once
11
12
#include "
llzk/Config/Config.h
"
13
#include "
llzk/Pass/PassBase.h
"
14
15
#include <llvm/ADT/StringRef.h>
16
17
namespace
llzk
{
18
19
void
addRemoveUnnecessaryOpsAndDefsPipeline
(mlir::OpPassManager &pm);
20
21
void
registerTransformationPassPipelines
();
22
23
void
registerInliningExtensions
(mlir::DialectRegistry ®istry);
24
25
#define GEN_PASS_DECL
26
#define GEN_PASS_REGISTRATION
27
#include "
llzk/Transforms/LLZKTransformationPasses.h.inc
"
28
29
};
// namespace llzk
Config.h
LLZKTransformationPasses.h.inc
PassBase.h
llzk
Definition
AnalysisPassEnums.cpp:19
llzk::registerTransformationPassPipelines
void registerTransformationPassPipelines()
Definition
LLZKTransformationPassPipelines.cpp:38
llzk::addRemoveUnnecessaryOpsAndDefsPipeline
void addRemoveUnnecessaryOpsAndDefsPipeline(OpPassManager &pm)
Definition
LLZKTransformationPassPipelines.cpp:32
llzk::registerInliningExtensions
void registerInliningExtensions(DialectRegistry ®istry)
Definition
LLZKInliningExtensions.cpp:100
include
llzk
Transforms
LLZKTransformationPasses.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.