compute-edge-live-in ( basic-block -- edge-live-in )


Vocabulary
compiler.cfg.liveness

Inputs
basic-blockan object


Outputs
edge-live-inan object


Definition
USING: accessors assocs compiler.cfg.utilities
compiler.utilities kernel ;

IN: compiler.cfg.liveness

: compute-edge-live-in ( basic-block -- edge-live-in )
H{ } clone
[ '[ inputs>> [ swap _ conjoin-at ] assoc-each ] each-phi ]
keep ;