sets-interfere? ( seq1 seq2 -- merged/f ? )

Vocabulary

compiler.cfg.ssa.interference

Inputs

seq1	a sequence
seq2	a sequence

Outputs

merged/f	an object
?	a boolean

Word description

Checks if two sets consisting of vreg-info instances interfere with each other. If they interfere, then copies can not be eliminated.

Definition

USING: compiler.cfg.ssa.interference.private kernel sequences ;

IN: compiler.cfg.ssa.interference

: sets-interfere? ( seq1 seq2 -- merged/f ? )
    2dup [ length 1 = ] both?
    [ sets-interfere-1? ] [
        merge-sets dup linear-interference-test
        [ drop f t ] [ dup update-for-merge f ] if
    ] if ;