available-representative ( vreg -- vreg/f )

Vocabulary

compiler.cfg.value-numbering.global.private

Inputs

vreg

an object

Outputs

vreg/f

an object

Definition

USING: assocs compiler.cfg.value-numbering.graph kernel
namespaces sequences ;

IN: compiler.cfg.value-numbering.global.private

: available-representative ( vreg -- vreg/f )
    dup candidate-vreg? [
        vreg>vn congruence-classes get at
        [ value-available? ] filter [ f ] [ minimum ] if-empty
    ] [ drop f ] if ;