[1][2] This restricted form makes a basic block highly amenable to analysis.
[3] Compilers usually decompose programs into their basic blocks as a first step in the analysis process.
More formally, a sequence of instructions forms a basic block if: This definition is more general than the intuitive one in some ways.
This definition embodies the properties that make basic blocks easy to work with when constructing an algorithm.
Then, the listing is simply "cut" at each of these points, and basic blocks remain.