emit-trivial-block ( block quot: ( ..a block' -- ..b ) -- block' )

Vocabulary

compiler.cfg.builder.blocks

Inputs

block	a basic-block
quot	a quotation

Outputs

block'

a basic-block

Word description

Combinator that emits a new trivial block, constructed by calling the supplied quotation. The quotation should not end the current block -- only add instructions to it.

Examples

USING: compiler.cfg.builder.blocks make prettyprint ; begin-stack-analysis <basic-block> dup set-basic-block [ gensym ##call, drop ] emit-trivial-block predecessors>> first . T{ basic-block { instructions V{ T{ ##call { word ( gensym ) } } T{ ##branch } } } { successors V{ T{ basic-block { predecessors V{ ~circularity~ } } } } } { predecessors V{ T{ basic-block { instructions V{ T{ ##branch } } } { successors V{ ~circularity~ } } } } }
}

Definition

USING: compiler.cfg.instructions kernel ;

IN: compiler.cfg.builder.blocks

: emit-trivial-block
    ( block quot: ( ..a block' -- ..b ) -- block' )
    ##branch, swap begin-basic-block [ swap call ] keep
    ##branch, begin-basic-block ; inline