LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
LLZKRedundantOperationEliminationPass.cpp File Reference

This file implements the -llzk-duplicate-op-elim pass. More...

#include "llzk/Analysis/CallGraphAnalyses.h"
#include "llzk/Dialect/Bool/IR/Ops.h"
#include "llzk/Dialect/Constrain/IR/Ops.h"
#include "llzk/Dialect/Struct/IR/Dialect.h"
#include "llzk/Transforms/LLZKTransformationPasses.h"
#include "llzk/Util/SymbolHelper.h"
#include <mlir/Dialect/Arith/IR/Arith.h>
#include <mlir/Dialect/SCF/IR/SCF.h>
#include <mlir/IR/BuiltinOps.h>
#include <mlir/IR/Dominance.h>
#include <llvm/ADT/DenseMap.h>
#include <llvm/ADT/PostOrderIterator.h>
#include <llvm/ADT/SmallVector.h>
#include <deque>
#include "llzk/Transforms/LLZKTransformationPasses.h.inc"
Include dependency graph for LLZKRedundantOperationEliminationPass.cpp:

Go to the source code of this file.

Classes

class  llzk::impl::RedundantOperationEliminationPassBase< DerivedT >
 
struct  llvm::DenseMapInfo< OperationComparator >
 

Namespaces

namespace  llzk
 
namespace  llzk::impl
 
namespace  llvm
 

Macros

#define GEN_PASS_DEF_REDUNDANTOPERATIONELIMINATIONPASS
 
#define DEBUG_TYPE   "llzk-duplicate-op-elim"
 

Detailed Description

This file implements the -llzk-duplicate-op-elim pass.

Definition in file LLZKRedundantOperationEliminationPass.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-duplicate-op-elim"

Definition at line 46 of file LLZKRedundantOperationEliminationPass.cpp.

◆ GEN_PASS_DEF_REDUNDANTOPERATIONELIMINATIONPASS

#define GEN_PASS_DEF_REDUNDANTOPERATIONELIMINATIONPASS

Definition at line 35 of file LLZKRedundantOperationEliminationPass.cpp.