Struct debris_llir::opt::optimizers::const_optimizer::ConstOptimizer

pub struct ConstOptimizer {
    value_hints: ValueHints,
}

Optimizes nodes which are const-evaluatable. This optimizer tracks all const assignments to variables in a given function and replaces reads from const variables by their const value. Also contains functionality to evaluate BinaryOperation and Condition. In order to be more efficient, this optimizer optimizes an entire function. This means that the current state must always be synced correctly!

Fields

value_hints: ValueHints

Implementations

impl ConstOptimizer

pub fn optimize_node( &mut self, commands: &mut OptimizeCommandDeque<OptimizeCommand>, node_id: (BlockId, usize), node: &Node ) -> bool

Trait Implementations

impl Default for ConstOptimizer

fn default() -> ConstOptimizer

Returns the “default value” for a type.

impl Optimizer for ConstOptimizer

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