Struct debris_llir::opt::optimizers::redundant_copy_optimizer::RedundantCopyOptimizer

pub struct RedundantCopyOptimizer {
    pending_commands: OptimizeCommandDeque<OptimizeCommand>,
}

A node which copies a value a to b is often redundant. This is especially important, because the compiler tends to generate operations in the shape of let temp = a; operation_with_temp(temp); a = temp. This optimizer aggressively removes copy instructions (let temp = a) and changes all subsequent reads to the previous variable (a).

Fields

pending_commands: OptimizeCommandDeque<OptimizeCommand>

Trait Implementations

impl Default for RedundantCopyOptimizer

fn default() -> RedundantCopyOptimizer

Returns the “default value” for a type.

impl Optimizer for RedundantCopyOptimizer

fn optimize(&mut self, commands: &mut Commands<'_, '_>)