Struct SsaGraph 

pub struct SsaGraph {
    pub instrs: Vec<SsaInstr>,
    pub phis: Vec<Phi>,
    pub result: Option<ValueId>,
}

Fields

instrs: Vec<SsaInstr>

phis: Vec<Phi>

result: Option<ValueId>

Last pushed value id — the program’s result.

Implementations

impl SsaGraph

pub fn build(program: &Program) -> SsaGraph

pub fn use_list(&self) -> HashMap<ValueId, Vec<ValueId>>

Use-list (consumers) for each value id.

pub fn dead_values(&self) -> Vec<ValueId>

Dead values: pushed but never consumed and not the final result.

Trait Implementations

impl Clone for SsaGraph

fn clone(&self) -> SsaGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SsaGraph

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SsaGraph

fn default() -> SsaGraph

Returns the “default value” for a type.