Method ssa_bind_value

src/analysis/dfa.rs:579–585

bind the value into var with Static-Single-Assignment (SSA) form. The old var is renamed and the new value stores in the new var.

(&mut self, var: VarName, sym: Symbol<T>)

    /// bind the value into var with Static-Single-Assignment (SSA) form.
    /// The old var is renamed and the new value stores in the new var.
    pub fn ssa_bind_value(&mut self, var: VarName, sym: Symbol<T>) -> Result<()> {
        let old_var = self.new_ssa_var(&var)?;
        let old_value = self.get_bind(&var).unwrap_or(sym.clone());
        self.bind_value(old_var, old_value)?;
        self.bind_value(var, sym)?;
        Ok(())
    }

    /// the ssa_id of old var is increased, the var is used as new var.
    pub fn new_ssa_var(&self, var: &VarName) -> Result<VarName> {