cleanup-cfg ( cfg -- )

Vocabulary

compiler.cfg.ssa.destruction.private

Inputs

cfg

a cfg

Outputs

None

Word description

In this pass, useless copies are eliminated. ##phi instructions are removed and ##parallel-copy are transformed into regular ##copy instructions. Then for the copy instructions, which are ##copy and ##tagged>integer it is checked to see if the copy is useful. If it is not, the instruction is removed from the cfg.

Definition

USING: compiler.cfg.rpo make sequences ;

IN: compiler.cfg.ssa.destruction.private

: cleanup-cfg ( cfg -- )
    [ [ [ cleanup-insn ] each ] V{ } make ] simple-optimization
    ;