Function kernel_asm_diag

tests/vm_diag_test.rs:19–70

()

// Run the test with nocapture to see the trace.
#[test]
fn kernel_asm_diag() {
    use virtual_machine::virtual_machine::StepOutcome;

    let stdlib_objs =
        CompilationPipeline::compile_stdlib_objects(TargetMode::Kernel).expect("stdlib compile");
    let mut kernel_objs =
        CompilationPipeline::compile_kernel_module_objects().expect("kernel module compile");
    // The kernel build marks `kmain` as an ABI export (kernel.build); the flat closure
    // leaves it local, so mark it here or `entry`'s external reference stays unresolved.
    for (_, obj) in &mut kernel_objs {
        if obj.has_symbol("kmain") {
            obj.mark_entry_global("kmain");
        }
    }

    let mut pipeline = CompilationPipeline::new();
    pipeline.set_target_mode(TargetMode::Kernel);
    pipeline.set_write_artifacts(false);
    pipeline.set_entry_point(Some("_kernel_start".to_owned()));

    let mut modules: Vec<(&str, &AssembledOutput)> =
        stdlib_objs.iter().map(|(n, o)| (n.as_str(), o)).collect();
    for (name, obj) in &kernel_objs {
        modules.push((name.as_str(), obj));
    }
    let assembled = pipeline.link_assembled_objects(&modules).expect("link");
    let mut vm = VirtualMachine::new_kernel(&assembled);

    eprintln!("\n=== STEP TRACE (first 500000 steps) ===");
    let mut uart_so_far = String::new();
    for step in 0..500_000 {
        match vm.step() {
            Ok(StepOutcome::Halted(code)) => {
                eprintln!("  [step {step}] HALTED with code {code}");
                break;
            }
            Ok(StepOutcome::Continue) => {}
            Err(e) => {
                eprintln!("  [step {step}] ERROR: {e:?}");
                break;
            }
        }
        // drain UART each step so we can see where output stops
        let new_output = String::from_utf8_lossy(&vm.drain_uart_output()).into_owned();
        if !new_output.is_empty() {
            uart_so_far.push_str(&new_output);
            eprint!("{new_output}");
        }
    }

    eprintln!("\n=== UART OUTPUT SO FAR ===\n{uart_so_far}");
}

// --- Linking helper ---
// The canonical link path the GUI also uses: stdlib and user compile separately,