CFG_Block

class CFG_Block (abstract, logical)

Basic block in the Control Flow Graph.

Note on correspondence between PIR and LIR: Any given language construct will map to a range of LIR instructions that may span multiple blocks. Any particular CFG_Block may contain instructions from multiple different expressions and statements. The CFG_Block subtype and its Physical edge back into the PIR are (in general) not related to the instructions within the block, but are merely about the jump that happens at the end of the block. Check the CFG_Standard_Block.Start_Physical/Start_Role fields for why the block was started.

Direct parents:
Ancestor classes and implemented interfaces:

Execution_Node, Logical_IR_Root

Direct child classes:

Field

Kind

Type

Description

Parent (from Logical_IR_Root)

semantic

class Routine

Physical (from Logical_IR_Root)

semantic to physical

class Physical_IR_Root