LLZK 0.1.0
Veridise's ZK Language IR
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/Pass/PassBase.h"
13
14namespace llzk {
15
16std::unique_ptr<mlir::Pass> createFlatteningPass();
17
18std::unique_ptr<mlir::Pass> createRedundantReadAndWriteEliminationPass();
19
20std::unique_ptr<mlir::Pass> createRedundantOperationEliminationPass();
21
22std::unique_ptr<mlir::Pass> createUnusedDeclarationEliminationPass();
23
24std::unique_ptr<mlir::Pass> createArrayToScalarPass();
25
26std::unique_ptr<mlir::Pass> createPolyLoweringPass();
27
28std::unique_ptr<mlir::Pass> createPolyLoweringPass(unsigned maxDegree);
29
31
32#define GEN_PASS_REGISTRATION
34
35}; // namespace llzk
std::unique_ptr< mlir::Pass > createArrayToScalarPass()
std::unique_ptr< mlir::Pass > createFlatteningPass()
std::unique_ptr< mlir::Pass > createRedundantOperationEliminationPass()
void registerTransformationPassPipelines()
std::unique_ptr< mlir::Pass > createRedundantReadAndWriteEliminationPass()
std::unique_ptr< mlir::Pass > createUnusedDeclarationEliminationPass()
std::unique_ptr< mlir::Pass > createPolyLoweringPass()