process-to-do ( b temp: ( src -- dst ) quot: ( dst src -- ) -- )


Vocabulary
compiler.cfg.parallel-copy.private

Inputs
ban object
tempa quotation
quota quotation


Outputs
None

Word description
Note that we check if b = loc(b), not b = loc(pred(b)) as the paper suggests. Confirmed by one of the authors at http://www.reddit.com/comments/93253/some_lecture_notes_on_ssa_form/c0bco4f

Definition


:: process-to-do
( b temp: ( src -- dst ) quot: ( dst src -- ) -- )
b locs get at b = [
b temp call :> temp temp b quot call
temp b locs get set-at b ready get push-front
] when ; inline