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

This file implements the -llzk-duplicate-read-write-elim pass. More...

#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Felt/IR/Ops.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Transforms/LLZKTransformationPasses.h"
#include "llzk/Util/Concepts.h"
#include "llzk/Util/StreamHelper.h"
#include <mlir/IR/BuiltinOps.h>
#include <llvm/ADT/DenseMap.h>
#include <llvm/ADT/DenseMapInfo.h>
#include <llvm/ADT/SmallVector.h>
#include <llvm/Support/Debug.h>
#include <deque>
#include <memory>
#include "llzk/Transforms/LLZKTransformationPasses.h.inc"
Include dependency graph for LLZKRedundantReadAndWriteEliminationPass.cpp:

Go to the source code of this file.

Classes

class  llzk::impl::RedundantReadAndWriteEliminationPassBase< DerivedT >
 
struct  llvm::DenseMapInfo< ReferenceID >
 Allows ReferenceID to be a DenseMap key. More...
 

Namespaces

namespace  llzk
 
namespace  llzk::impl
 
namespace  llvm
 

Macros

#define GEN_PASS_DEF_REDUNDANTREADANDWRITEELIMINATIONPASS
 
#define DEBUG_TYPE   "llzk-redundant-read-write-pass"
 

Detailed Description

This file implements the -llzk-duplicate-read-write-elim pass.

Definition in file LLZKRedundantReadAndWriteEliminationPass.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-redundant-read-write-pass"

Definition at line 45 of file LLZKRedundantReadAndWriteEliminationPass.cpp.

◆ GEN_PASS_DEF_REDUNDANTREADANDWRITEELIMINATIONPASS

#define GEN_PASS_DEF_REDUNDANTREADANDWRITEELIMINATIONPASS

Definition at line 34 of file LLZKRedundantReadAndWriteEliminationPass.cpp.