Skip to main content

resolve_typed_variable_values

Function resolve_typed_variable_values 

Source
pub fn resolve_typed_variable_values(
    location: &DebugVarLocation,
    ty: &Type,
    count: usize,
    stack: &[Felt],
    get_memory: impl Fn(u32) -> Option<Felt>,
    get_local: impl Fn(i16) -> Option<Felt>,
) -> Option<Vec<Felt>>
Expand description

Resolve a typed debug variable into the canonical ABI felts consumed by the typed decoder.

Simple Miden locations already contain canonical stack values. Frame-base locations and a terminal DebugLocationExpressionOp::DerefBytes instead identify packed Rust memory, which must be read at byte granularity and lifted according to ty before it can be decoded.