simulate_stack

bloqade_lanes_bytecode_core::bytecode::validate

Function simulate_stack 

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

Simulate the type-level stack through the instruction stream. Collects type errors and stack underflow errors. If an ArchSpec is provided, also validates lane groups at Move instructions.