LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
PredecessorAnalysisPass.cpp File Reference

This file implements the -llzk-print-predecessors pass. More...

#include "llzk/Analysis/AnalysisPasses.h"
#include "llzk/Analysis/AnalysisUtil.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include <mlir/Analysis/DataFlow/ConstantPropagationAnalysis.h>
#include <mlir/Analysis/DataFlow/DeadCodeAnalysis.h>
#include <mlir/Analysis/DataFlow/DenseAnalysis.h>
#include <mlir/Analysis/DataFlowFramework.h>
#include <llvm/ADT/MapVector.h>
#include <llvm/ADT/SetVector.h>
#include <llvm/Support/ErrorHandling.h>
#include "llzk/Analysis/AnalysisPasses.h.inc"
Include dependency graph for PredecessorAnalysisPass.cpp:

Go to the source code of this file.

Classes

struct  llzk::PredecessorPrinterPassOptions
class  llzk::impl::PredecessorPrinterPassBase< DerivedT >
class  llzk::PredecessorLattice
class  llzk::PredecessorAnalysis
class  llzk::PredecessorPrinterPass

Namespaces

namespace  llzk
namespace  llzk::impl

Macros

#define GEN_PASS_DECL_PREDECESSORPRINTERPASS
#define GEN_PASS_DEF_PREDECESSORPRINTERPASS

Functions

raw_ostream & llzk::printRegionless (raw_ostream &os, Operation *op, bool withParent=false)
 Prints op without region.
std::unique_ptr< mlir::Pass > llzk::createPredecessorPrinterPass ()

Detailed Description

This file implements the -llzk-print-predecessors pass.

Definition in file PredecessorAnalysisPass.cpp.

Macro Definition Documentation

◆ GEN_PASS_DECL_PREDECESSORPRINTERPASS

#define GEN_PASS_DECL_PREDECESSORPRINTERPASS

Definition at line 34 of file PredecessorAnalysisPass.cpp.

◆ GEN_PASS_DEF_PREDECESSORPRINTERPASS

#define GEN_PASS_DEF_PREDECESSORPRINTERPASS

Definition at line 35 of file PredecessorAnalysisPass.cpp.