LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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
13
include "llzk/Pass/PassBase.td"
14
15
def 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
include
llzk
Dialect
Global
Transforms
TransformationPasses.td
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.