tail-call? ( bb -- ? )

Vocabulary

compiler.cfg.tco

Inputs

bb

an object

Outputs

?

an object

Definition

USING: accessors combinators.short-circuit
compiler.cfg.instructions math sequences ;

IN: compiler.cfg.tco

: tail-call? ( bb -- ? )
    {
        [
            instructions>>
            { [ length 2 >= ] [ last ##branch? ] } 1&&
        ]
        [ successors>> first return? ]
    } 1&& ;