Struct InterproceduralGVN 

pub struct InterproceduralGVN {
    pub summaries: HashMap<String, GVNFunctionSummary>,
    pub cross_fn_equalities: usize,
}

Interprocedural GVN: uses function summaries to propagate value equalities across function call boundaries.

Fields

summaries: HashMap<String, GVNFunctionSummary>

Summaries for known functions.

cross_fn_equalities: usize

Number of cross-function equalities discovered.

Implementations

impl InterproceduralGVN

pub fn new() -> Self

pub fn add_summary(&mut self, name: String, summary: GVNFunctionSummary)

Register a function summary.

pub fn calls_are_equal(&self, fn_name: &str) -> bool

Query whether two calls to fn_name with the same arguments produce equal results.

pub fn run(&mut self, decls: &mut [LcnfFunDecl])

Run interprocedural GVN to find cross-function redundancies.

Trait Implementations

impl Debug for InterproceduralGVN

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

Formats the value using the given formatter.

impl Default for InterproceduralGVN

fn default() -> InterproceduralGVN

Returns the “default value” for a type.