visit-derived-root ( vreg derived-roots gc-roots -- )

Vocabulary

compiler.cfg.liveness

Inputs

vreg	an object
derived-roots	an object
gc-roots	an object

Outputs

None

Definition

USING: compiler.cfg.ssa.destruction.leaders kernel sequences
sets ;

IN: compiler.cfg.liveness

:: visit-derived-root ( vreg derived-roots gc-roots -- )
    vreg lookup-base-pointer :> base base [
        vreg base [ ?leader ] bi@ =
        [ vreg base same-base-bits? ] [ f ] if
        [ ] [ { vreg base } derived-roots push ] if
        base gc-roots adjoin
    ] when ;