Struct cairo_lang_lowering::optimizations::match_optimizer::MatchOptimizerContext

pub struct MatchOptimizerContext { /* private fields */ }

Trait Implementations

impl<'a> Analyzer<'a> for MatchOptimizerContext

type Info = AnalysisInfo<'a>

fn visit_stmt( &mut self, info: &mut Self::Info, statement_location: StatementLocation, stmt: &Statement )

fn visit_goto( &mut self, info: &mut Self::Info, _statement_location: StatementLocation, _target_block_id: BlockId, remapping: &VarRemapping )

fn merge_match( &mut self, _statement_location: StatementLocation, match_info: &'a MatchInfo, infos: &[Self::Info] ) -> Self::Info

fn info_from_return( &mut self, _statement_location: StatementLocation, vars: &[VarUsage] ) -> Self::Info

fn visit_block_start( &mut self, info: &mut Self::Info, block_id: BlockId, block: &FlatBlock )

fn info_from_panic( &mut self, statement_location: StatementLocation, var: &VarUsage ) -> Self::Info

Default info_from_panic implementation for post ‘lower_panics’ phases. Earlier phases need to override this implementation.

impl DemandReporter<Id<Variable>> for MatchOptimizerContext

type IntroducePosition = ()

type UsePosition = ()

fn drop_aux(&mut self, position: Self::IntroducePosition, var: Var, _aux: Aux)

fn drop(&mut self, _position: Self::IntroducePosition, _var: Var)

fn dup( &mut self, _position: Self::UsePosition, _var: Var, _next_usage_position: Self::UsePosition )

fn last_use(&mut self, _position: Self::UsePosition, _var: Var)

fn unused_mapped_var(&mut self, _var: Var)