Struct debris_llir::opt::optimizers::redundancy_optimizer::RedundancyOptimizer

pub struct RedundancyOptimizer {
    pub aggressive_function_inlining: bool,
}

Removes useless nodes

Optimizations:

• Removes assignments to variables that are never read
• If a value a is copied to value b and value a is assigned directly before, remove assign directly to b
• If a value is copied but the original value could be used, the copy gets removed
• If a branch’s condition in-directs to another condition, inline that other condition (right now only checks the previous node)
• If both branches of a branch end up at the same next node, add one goto after the branch
• Removes function calls to functions which are empty

Fields

aggressive_function_inlining: bool

Trait Implementations

impl Default for RedundancyOptimizer

fn default() -> RedundancyOptimizer

Returns the “default value” for a type.

impl Optimizer for RedundancyOptimizer

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