AllocateRegisters is an analysis pass for the RSSA IntermediateLanguage, invoked from ToMachine.
Computes an allocation of RSSA variables as Machine register or stack operands.
allocate-registers.sig
allocate-registers.fun