Struct DeadCodeEliminator 

pub struct DeadCodeEliminator {
    pub eliminated_count: usize,
    pub blocks_removed: usize,
    pub unused_params: usize,
}

Dead Code Elimination pass.

Removes instructions that:

1. Have a result that is never used
2. Have no side effects
3. Are in unreachable blocks
4. Are instructions after a terminator (unreachable code)

Side-effect instructions (SSTORE, MSTORE, CALL, LOG, etc.) are always kept.

Fields

eliminated_count: usize

Number of instructions eliminated in the last run.

blocks_removed: usize

Number of unreachable blocks removed.

unused_params: usize

Number of unused parameters detected.

Implementations

impl DeadCodeEliminator

pub fn new() -> Self

Creates a new dead code eliminator.

pub fn run(&mut self, func: &mut Function) -> usize

Runs dead code elimination on a function. Returns the number of instructions eliminated.

pub fn run_with_stats(&mut self, func: &mut Function) -> DceStats

Runs dead code elimination with full statistics.

pub fn run_to_fixpoint(&mut self, func: &mut Function) -> usize

Runs dead code elimination iteratively until no more changes.

pub fn find_unused_parameters(&self, func: &Function) -> Vec<u32>

Finds unused function parameters. Returns the indices of parameters that are never used.

Trait Implementations

impl Debug for DeadCodeEliminator

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

Formats the value using the given formatter.

impl Default for DeadCodeEliminator

fn default() -> DeadCodeEliminator

Returns the “default value” for a type.