LLZK 0.1.0
Veridise's ZK Language IR
|
#include "llzk/Analysis/CallGraph.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include <mlir/Pass/AnalysisManager.h>
#include <llvm/ADT/DenseMap.h>
#include <llvm/ADT/DenseSet.h>
#include <llvm/ADT/SCCIterator.h>
#include <llvm/ADT/STLExtras.h>
Go to the source code of this file.
Classes | |
class | llzk::CallGraphAnalysis |
An analysis wrapper to compute the CallGraph for a Module . More... | |
class | llzk::CallGraphReachabilityAnalysis |
Lazily-constructed reachability analysis. More... | |
Namespaces | |
namespace | llvm |
namespace | mlir |
namespace | llzk |