|
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 | mlir |
| namespace | llzk |