|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
This file implements the -llzk-const-global-propagation pass. More...
#include "llzk/Analysis/SymbolUseGraph.h"#include "llzk/Dialect/Felt/IR/Ops.h"#include "llzk/Dialect/Global/IR/Ops.h"#include "llzk/Dialect/Global/Transforms/TransformationPasses.h"#include "llzk/Dialect/Polymorphic/IR/Ops.h"#include "llzk/Dialect/String/IR/Ops.h"#include "llzk/Util/Debug.h"#include "llzk/Util/SymbolTableLLZK.h"#include "llzk/Util/TypeHelper.h"#include "llzk/Util/Walk.h"#include <mlir/Dialect/Arith/IR/Arith.h>#include <llvm/ADT/DenseMap.h>#include <llvm/ADT/SmallVector.h>#include <optional>#include "llzk/Dialect/Global/Transforms/TransformationPasses.h.inc"Go to the source code of this file.
Classes | |
| class | llzk::global::impl::ConstGlobalPropagationPassBase< DerivedT > |
Namespaces | |
| namespace | llzk |
| namespace | llzk::global |
| namespace | llzk::global::impl |
Macros | |
| #define | GEN_PASS_DEF_CONSTGLOBALPROPAGATIONPASS |
| #define | DEBUG_TYPE "llzk-const-global-propagation" |
Functions | |
| std::unique_ptr<::mlir::Pass > | llzk::global::impl::createConstGlobalPropagationPass () |
| std::unique_ptr<::mlir::Pass > | llzk::global::createConstGlobalPropagationPass () |
This file implements the -llzk-const-global-propagation pass.
Definition in file ConstGlobalPropagationPass.cpp.
| #define DEBUG_TYPE "llzk-const-global-propagation" |
Definition at line 39 of file ConstGlobalPropagationPass.cpp.
| #define GEN_PASS_DEF_CONSTGLOBALPROPAGATIONPASS |
Definition at line 35 of file ConstGlobalPropagationPass.cpp.