Skip to main content

simulate_stack

bloqade_lanes_bytecode_core::isa::validate

Function simulate_stack 

Source 
pub fn simulate_stack(
    program: &Program,
    arch: Option<&ArchSpec>,
) -> Vec<ValidationError>
Expand description

Run the type-level stack simulation over a program. Collects underflow and type-mismatch errors, plus lane/location group errors (validated against arch when provided, else duplicate-only).