congruence-classes ( -- str )

Vocabulary

compiler.cfg.gvn.testing

Inputs

None

Outputs

str

an object

Definition

USING: assocs compiler.cfg.gvn.graph formatting kernel
math.parser namespaces sequences sorting ;

IN: compiler.cfg.gvn.testing

: congruence-classes ( -- str )
    vregs>vns get invert-assoc >alist sort [
        first2 sort [ number>string ] map ", " join
        over exprs>vns get value-at
        expr>str "<%d> : {%s} (%s)\\l" sprintf
    ] map "" concat-as ;