LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
ConstGlobalPropagationPass.cpp File Reference

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"
Include dependency graph for ConstGlobalPropagationPass.cpp:

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 ()

Detailed Description

This file implements the -llzk-const-global-propagation pass.

Definition in file ConstGlobalPropagationPass.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-const-global-propagation"

Definition at line 39 of file ConstGlobalPropagationPass.cpp.

◆ GEN_PASS_DEF_CONSTGLOBALPROPAGATIONPASS

#define GEN_PASS_DEF_CONSTGLOBALPROPAGATIONPASS

Definition at line 35 of file ConstGlobalPropagationPass.cpp.