LLZK 0.1.0
Veridise's ZK Language IR
|
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"
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" |
This file implements the -llzk-duplicate-op-elim
pass.
Definition in file LLZKRedundantOperationEliminationPass.cpp.
#define DEBUG_TYPE "llzk-duplicate-op-elim" |
Definition at line 46 of file LLZKRedundantOperationEliminationPass.cpp.
#define GEN_PASS_DEF_REDUNDANTOPERATIONELIMINATIONPASS |
Definition at line 35 of file LLZKRedundantOperationEliminationPass.cpp.