Extended basic block
In computing, an extended basic block is a collection of basic blocks of the code within a program with certain properties that make them highly amenable to optimizations. Many compiler optimizations operate on extended basic blocks.
An extended basic block is a maximal collection of basic blocks where:
- only the first basic block can have multiple predecessor basic blocks;
- all the other basic blocks have one single predecessor basic block, which must be within the collection of basic blocks.
Many local optimizations that operate on basic blocks can be easily extended to operate on extended basic blocks. An example is common subexpression elimination which removes duplicate expressions. In its simplest form it is a local optimization, operating only on basic blocks. Extending it to operate on extended basic blocks is very simple.
- Cooper, Keith D., and Torczon, Linda, Engineering a Compiler, Morgan Kaufmann, 2004, ISBN 1-55860-699-8 page 405
- Steven S. Muchnick Advanced Compiler Design and Implementation, Morgan Kaufmann Publishers, 1997. ISBN 1-55860-320-4 page 175