with-branch ( block quot: ( ..a block -- ..b block' ) -- pair/f )
CFG construction utilities

Next:

begin-basic-block ( block -- block' )

Vocabulary
compiler.cfg.builder.blocks

Inputs

block	a basic-block
quot	a quotation

Outputs

pair/f

pair or f

Word description
The pair is either f or a two-tuple containing a basic-block and a height-state two-tuple.

Definition

USING: kernel namespaces ;

IN: compiler.cfg.builder.blocks

: with-branch
    ( block quot: ( ..a block -- ..b block' ) -- pair/f )
    [ [ begin-branch ] dip call end-branch ] with-scope ; inline