LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
TransformationPasses.td
Go to the documentation of this file.
1//===-- TransformationPasses.td ----------------------------*- tablegen -*-===//
2//
3// Part of the LLZK Project, under the Apache License v2.0.
4// See LICENSE.txt for license information.
5// Copyright 2026 Project LLZK
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9
10#ifndef LLZK_GLOBAL_TRANSFORMATION_PASSES_TD
11#define LLZK_GLOBAL_TRANSFORMATION_PASSES_TD
12
13include "llzk/Pass/PassBase.td"
14
15def ConstGlobalPropagationPass : LLZKPass<"llzk-const-global-propagation"> {
16 let summary = "Propagate const globals into their use sites";
17 let description = [{
18 Propagate constant values in place of symbols that refer to `global.def`
19 operations marked with the `const` attribute.
20 }];
21}
22
23#endif // LLZK_GLOBAL_TRANSFORMATION_PASSES_TD