check-block-numbering ( bb -- )

Vocabulary

compiler.cfg.linear-scan.numbering

Inputs

bb

an object

Outputs

None

Definition

USING: accessors grouping kernel math sequences ;

IN: compiler.cfg.linear-scan.numbering

: check-block-numbering ( bb -- )
    dup instructions>> [ insn#>> ] map sift [ <= ] monotonic?
    [ drop ] [ bad-numbering ] if ;