store-value ( value -- )

Vocabulary

compiler.cfg.register-allocation.chordal.spilling

Inputs

value

an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.instructions
compiler.cfg.register-allocation.rematerialization
compiler.cfg.registers compiler.utilities kernel namespaces
sequences ;

IN: compiler.cfg.register-allocation.chordal.spilling

:: store-value ( value -- )
    value spill-S get key?
    [ ] [
        value memory-location :> location location
        constant-recipe?
        [ ] [
            ##spill new value register-version >>src
            value rep-of >>rep location >>dst
            spill-output get push "pressure-stores" spill-stat
        ] if value spill-S get conjoin
    ] if ;