Struct FixpointGVN 

pub struct FixpointGVN {
    pub max_iter: usize,
    pub iterations: usize,
    pub converged: bool,
    pub total_redundancies: usize,
}

Fixpoint GVN: iterate GVN until no new equalities are discovered. This handles phi-node value numbering precisely.

Fields

max_iter: usize

Maximum number of iterations before giving up.

iterations: usize

Number of iterations performed.

converged: bool

Whether convergence was achieved.

total_redundancies: usize

Total redundancies found across all iterations.

Implementations

impl FixpointGVN

pub fn new(max_iter: usize) -> Self

pub fn run(&mut self, decl: &mut LcnfFunDecl)

Run fixpoint GVN on a function declaration.

Trait Implementations

impl Debug for FixpointGVN

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

Formats the value using the given formatter.

impl Default for FixpointGVN

fn default() -> FixpointGVN

Returns the “default value” for a type.