Lines Matching defs:CFG
1172 PreservedCFGCheckerInstrumentation::CFG::CFG(const Function *F,
1213 void PreservedCFGCheckerInstrumentation::CFG::printDiff(raw_ostream &out,
1214 const CFG &Before,
1215 const CFG &After) {
1273 // passes, that reported they kept CFG analyses up-to-date, did not actually
1274 // change CFG. This check is done as follows. Before every functional pass in
1275 // BeforeNonSkippedPassCallback a CFG snapshot (an instance of
1276 // PreservedCFGCheckerInstrumentation::CFG) is requested from
1280 // available) is checked to be equal to a freshly created CFG snapshot.
1289 using Result = PreservedCFGCheckerInstrumentation::CFG;
1291 /// Run the analysis pass over a function and produce CFG.
1333 bool PreservedCFGCheckerInstrumentation::CFG::invalidate(
1377 // Make sure a fresh CFG snapshot is available before the pass.
1423 const CFG &GraphBefore, const CFG &GraphAfter) {
1429 << " does not invalidate CFG analyses but CFG changes detected in "
1432 CFG::printDiff(dbgs(), GraphBefore, GraphAfter);
1433 report_fatal_error(Twine("CFG unexpectedly changed by ", Pass));
1439 CFG(F, /* TrackBBLifetime */ false));