LLZK 0.1.0
Veridise's ZK Language IR
|
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"
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" |
This file implements the -llzk-duplicate-read-write-elim
pass.
Definition in file LLZKRedundantReadAndWriteEliminationPass.cpp.
#define DEBUG_TYPE "llzk-redundant-read-write-pass" |
Definition at line 45 of file LLZKRedundantReadAndWriteEliminationPass.cpp.
#define GEN_PASS_DEF_REDUNDANTREADANDWRITEELIMINATIONPASS |
Definition at line 34 of file LLZKRedundantReadAndWriteEliminationPass.cpp.