Lines Matching defs:CFG

2576 The ``CFG`` class
2579 The ``CFG`` class is designed to represent a source-level control-flow graph
2580 for a single statement (``Stmt*``).  Typically instances of ``CFG`` are
2591 Concretely, an instance of ``CFG`` is a collection of basic blocks.  Each basic
2600 A ``CFG`` object owns the instances of ``CFGBlock`` within the control-flow
2601 graph it represents.  Each ``CFGBlock`` within a CFG is also uniquely numbered
2605 are numbered from 0..N-1 (where N is the number of basic blocks in the CFG).
2610 Each instance of ``CFG`` contains two special blocks: an *entry* block
2611 (accessible via ``CFG::getEntry()``), which has no incoming edges, and an
2612 *exit* block (accessible via ``CFG::getExit()``), which has no outgoing edges.
2650 an instance of ``CFG`` representing the control-flow graph of this function
2656   std::unique_ptr<CFG> FooCFG = CFG::buildCFG(FooBody);
2659 ``CFG`` class also provides methods that are useful for debugging and
2660 visualizing CFGs.  For example, the method ``CFG::dump()`` dumps a
2661 pretty-printed version of the CFG to standard error.  This is especially useful
2727 .. A key design principle of the ``CFG`` class was to not require any
2729 .. ``CFG`` does not perform any "lowering" of the statements in an AST: loops