Vocabulary
compiler.cfg.builder.blocks

Inputs
blocka basic-block
branchessequence of pairs


Outputs
block'/fa basic-block or f


Word description
Emits a sequence of conditional branches to the current cfg. Each branch is a pair where the first item is the entry basic block and the second the branches height-state. 'block' is the block in which the control flow is branched and "block'" the block in which it converges again.

Definition