vregs-intersect? ( vreg1 vreg2 -- ? )


Vocabulary
compiler.cfg.ssa.interference.private

Inputs
vreg1an object
vreg2an object


Outputs
?an object


Definition
USING: accessors combinators compiler.cfg.dominance kernel ;

IN: compiler.cfg.ssa.interference.private

:: vregs-intersect? ( vreg1 vreg2 -- ? )
vreg1 bb>> :> bb1 vreg2 bb>> :> bb2 {
{
[ bb1 bb2 eq? ]
[ vreg1 vreg2 interferes-same-block? ]
}
{
[ bb1 bb2 dominates? ]
[ vreg1 vreg2 interferes-first-dominates? ]
}
{
[ bb2 bb1 dominates? ]
[ vreg1 vreg2 interferes-second-dominates? ]
}
[ f ]
} cond ;