bundle-evidence ( -- witnesses )

Vocabulary

compiler.cfg.register-allocation.backtracking.evidence

Inputs

None

Outputs

witnesses

an object

Definition

USING: accessors assocs combinators compiler.cfg.instructions
compiler.cfg.register-allocation.backtracking
compiler.cfg.register-allocation.validation
compiler.cfg.registers compiler.cfg.utilities cpu.architecture
kernel layouts make math namespaces prettyprint sequences sets ;

IN: compiler.cfg.register-allocation.backtracking.evidence

:: bundle-evidence ( -- witnesses )
    init-validation-representations [
        ##prologue, 1 D: 0 ##peek, 2 1 int-rep ##copy,
        3 2 int-rep ##copy, 4 3 1 tag-fixnum ##add-imm,
        4 D: 0 ##replace, ##epilogue, ##return,
    ] V{ } make
    insns>cfg backtracking-allocator compile-validation-cfg
    :> word 10 word ( x -- y ) execute-effect 11 assert=
    bundle-spillsets get values members
    [ members>> length 1 > ] filter [| spillset |
        spillset rep>> unparse :> representation spillset
        ranges>> :> ranges spillset members>>
        [ original-member ] map :> members H{
            { "members" members }
            { "bundle_ranges" ranges }
            { "kind" "bundle" }
            { "representation" representation }
        }
    ] map ;