Superblocks

A superblock is a sequence of instructions that follows all control flow until a point of uncertainty.

Basic Block

A typical basic block consists of a sequence of instructions up to any control flow, excluding function calls. For example, look at the following control flow graph.

We can see that every block in this graph ends with a non-returning branching instruction. The exception are calls, which, by convention, are supposed to return but may not for various reasons (see Non-Returning Calls).