liveness-step ( basic-block -- basic-blocks )


Vocabulary
compiler.cfg.liveness

Inputs
basic-blockan object


Outputs
basic-blocksan object


Definition
USING: accessors kernel ;

IN: compiler.cfg.liveness

: liveness-step ( basic-block -- basic-blocks )
[ update-live-out/in ] keep predecessors>> { } ? ;