allocate-cfg ( cfg allocator -- )


Vocabulary
compiler.cfg.register-allocation

Inputs
cfga control-flow graph in SSA form
allocatoran allocator object


Outputs
None

Word description
Allocates physical registers. The input has selected representations, GC checks and save-context instructions, but still contains SSA phis. The method owns SSA destruction, coalescing, spill and reload insertion, and edge-move resolution. Its output must be ready for stack-frame construction and code generation, with all calling-convention and GC constraints satisfied.Implement this generic in an allocator vocabulary and bind register-allocator to its allocator object. Unsupported objects fail through ordinary generic dispatch; they do not silently select another allocator.

Definition


Methods