midenc_hir_transform

Trait SpillLike

Source 
pub trait SpillLike {
    // Required method
    fn spilled(&self) -> OpOperand;

    // Provided method
    fn spilled_value(&self) -> ValueRef { ... }
}
Expand description

An operation trait for operations that implement spill-like behavior for purposes of the spills transformation/rewrite.

A spill-like operation is expected to take a single value, and store it somewhere in memory temporarily, such that the live range of the original value is terminated by the spill. Spilled values may then be reloaded, starting a new live range, using the corresponding ReloadLike op.

Required Methods§

Source

fn spilled(&self) -> OpOperand

Returns the operand corresponding to the spilled value

Provided Methods§

Source

fn spilled_value(&self) -> ValueRef

Returns a reference to the spilled value

Implementors§