Lines Matching defs:analysis
1 //===- DataFlowFramework.cpp - A generic framework for data-flow analysis -===//
42 DataFlowAnalysis *analysis) {
43 auto inserted = dependents.insert({dependent, analysis});
113 for (DataFlowAnalysis &analysis : llvm::make_pointee_range(childAnalyses)) {
115 << "Priming analysis: " << analysis.debugName << "\n");
116 if (failed(analysis.initialize(top)))
120 // Run the analysis until fixpoint.
124 auto [point, analysis] = worklist.front();
127 DATAFLOW_DEBUG(llvm::dbgs() << "Invoking '" << analysis->debugName
129 if (failed(analysis->visit(point)))