Struct ConstEvalVisitor 

pub struct ConstEvalVisitor<'env, Env>
where
    Env: ?Sized + ConstEnvironment,
{ /* private fields */ }

This visitor evaluates all constant expressions and folds them to literals.

This visitor is abstracted over the const-evaluation environment so that it’s implementation can be reused for both module-local rewrites, and link-time rewrites where we have all the symbols available to resolve foreign constants.

Implementations

impl<'env, Env> ConstEvalVisitor<'env, Env>

where Env: ?Sized + ConstEnvironment, <Env as ConstEnvironment>::Error: From<ConstEvalError>,

pub fn new(env: &'env mut Env) -> Self

pub fn into_result(self) -> Result<(), Vec<<Env as ConstEnvironment>::Error>>

Trait Implementations

impl<'env, Env> VisitMut for ConstEvalVisitor<'env, Env>

where Env: ?Sized + ConstEnvironment, <Env as ConstEnvironment>::Error: From<ConstEvalError>,

fn visit_mut_constant(&mut self, constant: &mut Constant) -> ControlFlow<()>

fn visit_mut_inst(&mut self, inst: &mut Span<Instruction>) -> ControlFlow<()>

fn visit_mut_immediate_u8(&mut self, imm: &mut Immediate<u8>) -> ControlFlow<()>

fn visit_mut_immediate_u16( &mut self, imm: &mut Immediate<u16>, ) -> ControlFlow<()>

fn visit_mut_immediate_u32( &mut self, imm: &mut Immediate<u32>, ) -> ControlFlow<()>

fn visit_mut_immediate_error_message( &mut self, imm: &mut Immediate<Arc<str>>, ) -> ControlFlow<()>

fn visit_mut_immediate_felt( &mut self, imm: &mut Immediate<Felt>, ) -> ControlFlow<()>

fn visit_mut_immediate_push_value( &mut self, imm: &mut Immediate<PushValue>, ) -> ControlFlow<()>

fn visit_mut_immediate_word_value( &mut self, imm: &mut Immediate<WordValue>, ) -> ControlFlow<()>

fn visit_mut_module(&mut self, module: &mut Module) -> ControlFlow<T>

fn visit_mut_export(&mut self, export: &mut Export) -> ControlFlow<T>

fn visit_mut_procedure(&mut self, procedure: &mut Procedure) -> ControlFlow<T>

fn visit_mut_constant_expr(&mut self, expr: &mut ConstantExpr) -> ControlFlow<T>

fn visit_mut_constant_ref( &mut self, path: &mut Span<Arc<Path>>, ) -> ControlFlow<T>

fn visit_mut_type_decl(&mut self, ty: &mut TypeDecl) -> ControlFlow<T>

fn visit_mut_type_alias(&mut self, ty: &mut TypeAlias) -> ControlFlow<T>

fn visit_mut_type_expr(&mut self, ty: &mut TypeExpr) -> ControlFlow<T>

fn visit_mut_type_ref(&mut self, path: &mut Span<Arc<Path>>) -> ControlFlow<T>

fn visit_mut_enum(&mut self, ty: &mut EnumType) -> ControlFlow<T>

fn visit_mut_enum_variant(&mut self, variant: &mut Variant) -> ControlFlow<T>

fn visit_mut_alias(&mut self, alias: &mut Alias) -> ControlFlow<T>

fn visit_mut_block(&mut self, block: &mut Block) -> ControlFlow<T>

fn visit_mut_op(&mut self, op: &mut Op) -> ControlFlow<T>

fn visit_mut_system_event( &mut self, sys_event: Span<&mut SystemEventNode>, ) -> ControlFlow<T>

fn visit_mut_debug_options( &mut self, options: Span<&mut DebugOptions>, ) -> ControlFlow<T>

fn visit_mut_exec(&mut self, target: &mut InvocationTarget) -> ControlFlow<T>

fn visit_mut_call(&mut self, target: &mut InvocationTarget) -> ControlFlow<T>

fn visit_mut_syscall(&mut self, target: &mut InvocationTarget) -> ControlFlow<T>

fn visit_mut_procref(&mut self, target: &mut InvocationTarget) -> ControlFlow<T>

fn visit_mut_invoke_target( &mut self, target: &mut InvocationTarget, ) -> ControlFlow<T>

fn visit_mut_alias_target(&mut self, target: &mut AliasTarget) -> ControlFlow<T>