LLZK 2.1.1
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

class  llzk::impl::PredecessorPrinterPassBase< DerivedT >
class  llzk::PredecessorLattice
class  llzk::PredecessorAnalysis

Namespaces

namespace  llzk
namespace  llzk::impl

Macros

#define GEN_PASS_DEF_PREDECESSORPRINTERPASS

Functions

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

Detailed Description

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

Definition in file PredecessorAnalysisPass.cpp.

Macro Definition Documentation

◆ GEN_PASS_DEF_PREDECESSORPRINTERPASS

#define GEN_PASS_DEF_PREDECESSORPRINTERPASS

Definition at line 32 of file PredecessorAnalysisPass.cpp.