Struct ConstFoldingContext 

pub struct ConstFoldingContext<'a> {
    pub variables: &'a mut Arena<Variable>,
    /* private fields */
}

Fields

variables: &'a mut Arena<Variable>

The variables arena, mostly used to get the type of variables.

Implementations

impl<'a> ConstFoldingContext<'a>

pub fn new( db: &'a dyn LoweringGroup, function_id: ConcreteFunctionWithBodyId, variables: &'a mut Arena<Variable>, ) -> Self

pub fn visit_block_start<'b>( &mut self, block_id: BlockId, get_block: impl FnOnce(BlockId) -> &'b Block, ) -> bool

Determines if a block is reachable from the function start and propagates constant values when the block is reachable via a single goto statement.

pub fn visit_statement(&mut self, stmt: &mut Statement)

Processes a statement and applies the constant folding optimizations.

This method performs the following operations:

• Updates the var_info map with constant values of variables
• Replace the input statement with optimized versions when possible
• Updates self.additional_stmts with statements that need to be added to the block.

Note: self.visit_block_end must be called after processing all statements in a block to actually add the additional statements.

pub fn visit_block_end(&mut self, block_id: BlockId, block: &mut Block)

Processes the block’s end and incorporates additional statements into the block.

This method handles the following tasks:

• Inserts the accumulated additional statements into the block.
• Converts match endings to goto when applicable.
• Updates self.reachability based on the block’s ending.

pub fn should_skip_const_folding(&self, db: &dyn LoweringGroup) -> bool

Returns true if const-folding should be skipped for the current function.

Trait Implementations

impl Deref for ConstFoldingContext<'_>

type Target = ConstFoldingLibfuncInfo

The resulting type after dereferencing.

fn deref(&self) -> &ConstFoldingLibfuncInfo

Dereferences the value.