connect-gc-checks ( bbs -- )


Vocabulary
compiler.cfg.gc-checks.private

Inputs
bbsan object


Outputs
None

Definition


:: connect-gc-checks ( bbs -- )
bbs length 1 - :> len len [ <gc-call> ] replicate
:> gc-calls len [| n |
n bbs nth :> bb n 1 + bbs nth :> next-bb n gc-calls nth
:> gc-call V{ next-bb gc-call } bb successors<<
V{ next-bb } gc-call successors<<
V{ bb } gc-call predecessors<<
V{ bb gc-call } next-bb predecessors<<
] each-integer ;