Variable description Mapping from basic blocks to values which are live at the start on all incoming CFG edges. Each value is a sequence of 2-tuples where the first element is the vreg and the second the register or spill-slot which contains its value. It's like live-ins except the registers are physical instead of virtual.