Struct GVNFact 

pub struct GVNFact {
    pub var_to_vn: HashMap<LcnfVarId, ValueNumber>,
}

Maps each in-scope variable to its current value number at a program point.

Fields

var_to_vn: HashMap<LcnfVarId, ValueNumber>

Implementations

impl GVNFact

pub fn new() -> Self

pub fn get(&self, var: &LcnfVarId) -> Option<ValueNumber>

pub fn insert(&mut self, var: LcnfVarId, vn: ValueNumber)

pub fn meet(&self, other: &GVNFact) -> GVNFact

Compute the meet (intersection) of two facts at a join point. Variables with different VNs in different branches are dropped.

Trait Implementations

impl Clone for GVNFact

fn clone(&self) -> GVNFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GVNFact

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

Formats the value using the given formatter.

impl Default for GVNFact

fn default() -> GVNFact

Returns the “default value” for a type.