Struct SharedLiveness 

pub struct SharedLiveness {
    pub shared_memories: HashMap<Id, SharedMemory>,
    pub allocations: HashMap<Id, SmemAllocation>,
    /* private fields */
}

Shared liveness works the other way around from normal liveness, since shared memory lives forever by default. So any use (read or write) inserts it as live, while only free changes the state to dead.

It also handles allocation of slices to each shared memory object, using the analyzed liveness. allocations contains a specific slice allocation for each shared memory, while ensuring no shared memories that exist at the same time can overlap.

Fields

shared_memories: HashMap<Id, SharedMemory>

Map of all shared memories by their ID. Populated during the first pass with all accessed shared memories.

allocations: HashMap<Id, SmemAllocation>

Map of allocations for each shared memory by its ID. Populated after the analysis, and should contain all memories from shared_memories.

Implementations

impl SharedLiveness

pub fn empty(opt: &Optimizer) -> Self

pub fn at_block(&self, block: NodeIndex) -> &HashSet<Id>

Trait Implementations

impl Clone for SharedLiveness

fn clone(&self) -> SharedLiveness

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for SharedLiveness

fn default() -> SharedLiveness

Returns the “default value” for a type.