greedy-allocation-with-registers ( cfg registers -- )

Vocabulary

compiler.cfg.register-allocation.greedy

Inputs

cfg	a control-flow graph
registers	an association from register classes to legal physical register sequences

Outputs

None

Word description

Runs the complete greedy allocator, including SSA destruction, instruction numbering, register assignment and edge resolution, using the supplied register banks. The banks must respect the target's reserved-register and ABI constraints. Independent validation can supply smaller legal banks without changing the global allocator selection.

Definition

USING: compiler.cfg.linear-scan.numbering
compiler.cfg.linear-scan.resolve compiler.cfg.ssa.destruction ;

IN: compiler.cfg.register-allocation.greedy

:: greedy-allocation-with-registers ( cfg registers -- )
    cfg destruct-ssa cfg number-instructions
    cfg registers (greedy-allocation-with-registers)
    cfg resolve-data-flow cfg check-numbering ;