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.
Gets a block on the dominance frontier of this block.
Holds if this block dominates
Gets a block from which control flows directly to this block.
Gets a block to which control flows directly from this block.
Gets the block to which control flows directly from this block along a back edge of kind
Gets the block to which control flows directly from this block along an edge of kind
Holds if this block immediately dominates
Holds if this block immediately post-dominates
Holds if this block is reachable from the entry block of its function.
Holds if this block is a post-dominator of
Gets a block on the post-dominance frontier of this block.
Holds if this block strictly dominates
Holds if this block strictly post-dominates
Gets an instruction in this block. This includes
INTERNAL: Do not use.
Gets the first non-
Gets the number of non-
Gets the last instruction in this block.
Gets the source location of the first non-
Gets a textual representation of this block.