Vocabulary
compiler.cfg.rpo

Inputs and outputs
cfga cfg
quota quotation


Word description
Runs a quotation that optimizes each basic-block in the cfg, excluding the kill blocks. The quotation takes the blocks instruction sequence and returns them back in optimized form. The blocks are iterated in reverse-post-order.

Definition