Struct GVNFunctionSummary 

pub struct GVNFunctionSummary {
    pub return_vns: Vec<ValueNumber>,
    pub is_pure_fn: bool,
    pub param_equalities: Vec<(usize, usize)>,
}

Summary of a function’s value-numbering effects for interprocedural GVN.

Fields

return_vns: Vec<ValueNumber>

Value numbers of the return expression(s).

is_pure_fn: bool

Whether the function always returns the same value (pure).

param_equalities: Vec<(usize, usize)>

Known equalities between parameters (param_idx, param_idx).

Implementations

impl GVNFunctionSummary

pub fn new() -> Self

pub fn mark_pure(&mut self)

Trait Implementations

impl Clone for GVNFunctionSummary

fn clone(&self) -> GVNFunctionSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GVNFunctionSummary

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

Formats the value using the given formatter.

impl Default for GVNFunctionSummary

fn default() -> GVNFunctionSummary

Returns the “default value” for a type.