resolve-value-data-flow ( vreg live-out live-in edge-live-in -- )


Vocabulary
compiler.cfg.linear-scan.resolve

Inputs
vregan object
live-outan object
live-inan object
edge-live-inan object


Outputs
None

Definition
USING: assocs compiler.cfg.registers kernel ;

IN: compiler.cfg.linear-scan.resolve

:: resolve-value-data-flow
( vreg live-out live-in edge-live-in -- )
vreg live-out ?at [ bad-vreg ] unless vreg live-in ?at
[ edge-live-in ?at [ bad-vreg ] unless ] unless 2dup =
[ 2drop ] [ vreg rep-of add-mapping ] if ;