This vocab implements the step in the linear scan algorithm in which virtual registers are allocated physical registers. It also takes decisions on when to spill registers.

Main entry point:

allocate-registers ( intervals/sync-points registers -- live-intervals' )