check-split ( live-interval n -- )

Vocabulary

compiler.cfg.linear-scan.allocation.splitting

Inputs

live-interval	an object
n	an object

Outputs

None

Definition

USING: accessors compiler.cfg.linear-scan.allocation.state
compiler.cfg.linear-scan.live-intervals
compiler.cfg.linear-scan.ranges kernel math namespaces ;

IN: compiler.cfg.linear-scan.allocation.splitting

: check-split ( live-interval n -- )
    check-allocation? get [
        [
            [ live-interval-start ] dip >
            [ splitting-too-early ] when
        ] [
            [ live-interval-end ] dip <
            [ splitting-too-late ] when
        ] [
            drop ranges>> ranges-endpoints =
            [ splitting-atomic-interval ] when
        ] 2tri
    ] [ 2drop ] if ; inline