Program Representation: Control Flow Graphs

This video introduces the notion of a control flow graph. This is an intermediate program representation that is fairly used in the middle-end of a compiler. A control flow graph is a graph, whose edges are the so called basic blocks. A basic block is a maximal sequence of instructions that always execute in sequence. The edges in the control flow graph represent the possible execution flows among basic blocks.