|
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.