mergeable-groups? ( first-group second-group -- ? )

Vocabulary

compiler.cfg.register-allocation.backtracking

Inputs

first-group	an object
second-group	an object

Outputs

?

an object

Definition

USING: accessors compiler.cfg.linear-scan.live-intervals
compiler.cfg.register-allocation.rematerialization
compiler.cfg.registers kernel sequences ;

IN: compiler.cfg.register-allocation.backtracking

:: mergeable-groups? ( first-group second-group -- ? )
    first-group first vreg>> rep-of second-group first vreg>>
    rep-of = first-group second-group append
    [ vreg>> rematerialization-of ] any? not and first-group [|
    first-interval |
        second-group
        [ first-interval intervals-intersect? ] any?
    ] any? not and ;