Determine if block gets symbol loaded by predecessor epilog (1), or by prolog (0).
Determine block epilog code - it's either assignments to register, or storing register back in memory.
Determine block prolog code for s - it's either assignments to register, or storing register back in memory.
The register variables in this mask can not be in registers. "Unregister" them.
Registers used in block bi.
Do register assignments.
Register allocator
Compiler implementation of the D programming language.