inserting-replaces ( from to -- set )

Vocabulary

compiler.cfg.stacks.finalize

Inputs

from	a basic-block
to	a basic-block

Outputs

set

an assoc

Word description

A replace is inserted on an edge if two conditions hold:

•	the location is not dead at the destination, OR the location is live at the destination but not available at the destination.
•	the location is pending in the source but not the destination

See also

inserting-peeks

Definition

USING: compiler.cfg.stacks.global sets ;

IN: compiler.cfg.stacks.finalize

:: inserting-replaces ( from to -- set )
    from pending-out to pending-in diff
    to dead-in to live-in to anticip-in diff diff diff ;