Function kernel_ld_links_objects_and_runs

tests/integration/kernel_integration.rs:1657–1706

()

        ],
        "as /stdlib.s /stdlib.o\nas /client.s /client.o\n\
ld /stdlib.o /client.o /hello\nrun /hello\nexit\n",
        300_000_000,
    );

    assert!(!uart.contains("PANIC!"), "kernel panicked; uart={uart:?}");
    assert!(
        !uart.contains("unhandled exception"),
        "the linked program faulted; uart={uart:?}"
    );
    assert!(
        uart.contains("as: wrote /stdlib.o") && uart.contains("as: wrote /client.o"),
        "assembler did not emit both objects; uart={uart:?}"
    );
    assert!(
        uart.contains("ld: wrote /hello"),
        "linker did not report success; uart={uart:?}"
    );
    assert!(
        uart.contains("hello from stdlib!"),
        "stdlib puts/putc output missing; uart={uart:?}"
    );
    assert!(
        uart.contains("[exit 42]"),
        "linked program did not exit 42 (relocations wrong?); uart={uart:?}"
    );
    assert!(
        matches!(outcome, StepOutcome::Halted(0)),
        "shell did not survive and exit cleanly; outcome={outcome:?} uart={uart:?}"
    );
}

// The whole in-VM toolchain in one run: cc, as, ld, then the loader. putc is no
// longer a cc intrinsic, so it resolves at link time against stdlib.s.
#[test]
fn kernel_cc_compiles_and_runs() {
    let (outcome, uart) = run_tool_session(
        &["as", "cc", "ld"],
        &[
            ("/prog.hll", user::CC_DEMO_HLL.as_bytes()),
            ("/stdlib.s", user::EXAMPLE_STDLIB_S.as_bytes()),
        ],
        "cc /prog.hll /prog.s\nas /prog.s /prog.o\nas /stdlib.s /stdlib.o\n\
ld /stdlib.o /prog.o /prog\nrun /prog\nexit\n",
        300_000_000,
    );

    assert!(!uart.contains("PANIC!"), "kernel panicked; uart={uart:?}");
    assert!(
        !uart.contains("unhandled exception"),
        "the compiled program faulted; uart={uart:?}"
    );
    assert!(
        uart.contains("cc: wrote /prog.s"),