Struct CompiledExpr 

pub struct CompiledExpr { /* private fields */ }

A compiled expression: flat bytecode evaluated on a stack VM.

Implementations

impl CompiledExpr

pub fn new(bytecode: ExprBytecode) -> Self

pub fn eval_u64(&self, memory: *mut u8) -> u64

Evaluate against raw simulator memory, returning the result as u64. For wide results, returns the low 64 bits.

pub fn eval_value(&self, memory: *mut u8) -> TestbenchValue

Evaluate and return the full TestbenchValue (preserves wide results).

pub fn eval_bool(&self, memory: *mut u8) -> bool

pub fn constant_u64(&self) -> Option<u64>

Returns the value when this expression does not read simulator memory.

pub fn eval_value_with_write_observer( &self, memory: *mut u8, on_write: impl FnMut(usize, usize), ) -> TestbenchValue

Evaluate with a notification for each executed memory write. Expression function calls can store arguments and results; ordinary reads do not notify the observer or require a retained mutable view of the image.

Trait Implementations

impl Clone for CompiledExpr

fn clone(&self) -> CompiledExpr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompiledExpr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.