Struct ConstFoldingContext 

pub struct ConstFoldingContext<'db, 'mt> {
    pub variables: &'mt mut VariableArena<'db>,
    /* private fields */
}

Fields

variables: &'mt mut VariableArena<'db>

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

Implementations

impl<'db, 'mt> ConstFoldingContext<'db, 'mt>

pub fn new( db: &'db dyn Database, function_id: ConcreteFunctionWithBodyId<'db>, variables: &'mt mut VariableArena<'db>, ) -> Self

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

where 'db: 'get,

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<'db>)

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<'db>)

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: &'db dyn Database) -> bool

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

Trait Implementations

impl<'db> Deref for ConstFoldingContext<'db, '_>

type Target = ConstFoldingLibfuncInfo<'db>

The resulting type after dereferencing.

fn deref(&self) -> &ConstFoldingLibfuncInfo<'db>

Dereferences the value.