compute-live-out ( basic-block -- live-out )


Vocabulary
compiler.cfg.liveness

Inputs
basic-blockan object


Outputs
live-outan object


Definition
USING: accessors assocs kernel sequences ;

IN: compiler.cfg.liveness

: compute-live-out ( basic-block -- live-out )
[ successors>> [ live-in ] map ]
[ dup successors>> [ edge-live-in ] with map ] bi append
assoc-union-all ;