convert-loop-tail-call ( bb -- )

Vocabulary

compiler.cfg.tco

Inputs

bb

an object

Outputs

None

Definition

USING: accessors combinators compiler.cfg
compiler.cfg.instructions kernel namespaces sequences ;

IN: compiler.cfg.tco

: convert-loop-tail-call ( bb -- )
    [
        instructions>> {
            [ pop* ]
            [ pop* ]
            [ [ ##safepoint new-insn ] dip push ]
            [ [ ##branch new-insn ] dip push ]
        } cleave
    ] [ successors>> delete-all ] [
        [ cfg get entry>> successors>> first ] dip
        successors>> push
    ] tri ;