LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::CallGraphReachabilityAnalysis Member List

This is the complete list of members for llzk::CallGraphReachabilityAnalysis, including all inherited members.

CallGraphReachabilityAnalysis(mlir::Operation *, mlir::AnalysisManager &am)llzk::CallGraphReachabilityAnalysis
getCallGraph() constllzk::CallGraphReachabilityAnalysisinline
isInvalidated(const mlir::AnalysisManager::PreservedAnalyses &pa)llzk::CallGraphReachabilityAnalysisinline
isReachable(function::FuncDefOp &A, function::FuncDefOp &B) constllzk::CallGraphReachabilityAnalysis