return? ( bb -- ? )

Vocabulary

compiler.cfg.tco

Inputs

bb

an object

Outputs

?

an object

Definition

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

IN: compiler.cfg.tco

: return? ( bb -- ? )
    skip-empty-blocks instructions>> {
        [ length 3 = ]
        [ first ##safepoint? ]
        [ second ##epilogue? ]
        [ third ##return? ]
    } 1&& ;