Struct Substitutions

pub struct Substitutions {
    inner: Vec<HashMap<NameID, Substitution>>,
    live_vars: Vec<Loc<NameID>>,
    pub current_stage: usize,
}

List of substitutions for variables in pipelines. Contains substitutions for a all variables present in the top scope of the pipeline

Fields

inner: Vec<HashMap<NameID, Substitution>>

A mapping of names to their corresponding registers at each pipeline stage.

live_vars: Vec<Loc<NameID>>

current_stage: usize

The stage we are currently lowering

Implementations

impl Substitutions

pub fn new() -> Self

pub fn next_stage(&mut self, symtab: &mut FrozenSymtab) -> Vec<SubRegister>

Advance to tracking the next pipeline stage. Adds aliases for all variables in the current stage and returns a list of pipeline registers to insert

pub fn set_available( &mut self, from: Loc<NameID>, time: usize, ty: ConcreteType, )

Mark the variable as available in the current pipeline stage under its own name

pub fn lookup(&self, original: &NameID) -> Substitution

Return substituted name for original in the current pipeline stage if there is a substitution for it, otherwise return the name itself

pub fn lookup_referenced( &self, in_stage: usize, original: &NameID, ) -> Substitution

Look up a pipeline reference in an absolute stage. Returns Undefined if there is no such name in that stage.

Trait Implementations

impl Clone for Substitutions

fn clone(&self) -> Substitutions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for Substitutions

fn default() -> Self

Returns the “default value” for a type.