Provides classes describing basic blocks in the IR of a function.
A basic block with additional information about its predecessor and successor edges. Each edge corresponds to the control flow between the last instruction of one block and the first instruction of another block.
A basic block in the IR. A basic block consists of a sequence of