Lines Matching defs:CFG
1181 PreservedCFGCheckerInstrumentation::CFG::CFG(const Function *F,
1222 void PreservedCFGCheckerInstrumentation::CFG::printDiff(raw_ostream &out,
1223 const CFG &Before,
1224 const CFG &After) {
1282 // passes, that reported they kept CFG analyses up-to-date, did not actually
1283 // change CFG. This check is done as follows. Before every functional pass in
1284 // BeforeNonSkippedPassCallback a CFG snapshot (an instance of
1285 // PreservedCFGCheckerInstrumentation::CFG) is requested from
1289 // available) is checked to be equal to a freshly created CFG snapshot.
1298 using Result = PreservedCFGCheckerInstrumentation::CFG;
1300 /// Run the analysis pass over a function and produce CFG.
1342 bool PreservedCFGCheckerInstrumentation::CFG::invalidate(
1386 // Make sure a fresh CFG snapshot is available before the pass.
1432 const CFG &GraphBefore, const CFG &GraphAfter) {
1438 << " does not invalidate CFG analyses but CFG changes detected in "
1441 CFG::printDiff(dbgs(), GraphBefore, GraphAfter);
1442 report_fatal_error(Twine("CFG unexpectedly changed by ", Pass));
1448 CFG(F, /* TrackBBLifetime */ false));