emit-conditional ( block branches -- block'/f )

emit-conditional ( block branches -- block'/f )
CFG construction utilities

Prev:	emit-call-block ( word height block -- )
Next:	emit-trivial-call ( block word height -- block' )

Vocabulary
compiler.cfg.builder.blocks

Inputs

block	a basic-block
branches	sequence of pairs

Outputs

block'/f

a basic-block or f

Word description
Emits a sequence of conditional branches to the current cfg. Each branch is a pair where the first item is the entry basic block and the second the branches height-state. 'block' is the block in which the control flow is branched and "block'" the block in which it converges again.

Definition

USING: compiler.cfg compiler.cfg.stacks.local
compiler.cfg.utilities kernel namespaces sequences ;

IN: compiler.cfg.builder.blocks

: emit-conditional ( block branches -- block'/f )
swap end-basic-block sift
[ f ] [
dup first second height-state set [ first ] map
<basic-block> dup set-basic-block
[ connect-Nto1-bbs ] keep
] if-empty ;