pub struct Change {
pub gone: Vec<Value>,
pub arrived: Vec<Value>,
}Expand description
What one instruction does to the live set, seen walking the block backwards.
Both lists hold each value once, because they record the bits that moved rather than the names the instruction wrote: a value an instruction names twice is one bit and arrives once.
Fields§
§gone: Vec<Value>Values the instruction defines, which are live after it and not before it.
arrived: Vec<Value>Values it names, which are live before it and were not after it.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Change
impl RefUnwindSafe for Change
impl Send for Change
impl Sync for Change
impl Unpin for Change
impl UnsafeUnpin for Change
impl UnwindSafe for Change
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more