Function run_kernel_hll

tests/integration/platform_stdlib.rs:439–480

Compile user code linked against the kernel stdlib. The kernel stdlib uses the "__kern_str_" string-label prefix so rodata labels never clash with user-code labels (which use "str_").

(user_src: &str)

    assert_eq!(uart, "PASS");
    assert_eq!(exit, Some(0));
}

#[test]
fn mem_cmp_detects_difference() {
    // The first differing byte determines the sign.
    let (uart, exit) = run_hll(
        r#"
console := import("console")
mem := import("mem")

main: () -> i32 {
    a: u8[2] = []
    b: u8[2] = []
    a[0] = 65
    a[1] = 66
    b[0] = 65
    b[1] = 67
    a_ptr: u8* = &a[0]
    b_ptr: u8* = &b[0]
    result: i32 = mem.cmp(a_ptr, b_ptr, 2)
    if result < 0 {
        console.putchar(80)
        console.putchar(65)
        console.putchar(83)
        console.putchar(83)
    }
    return 0
}
"#,
    );
    assert_eq!(uart, "PASS");
    assert_eq!(exit, Some(0));
}

// --- klog.hll ---

#[test]
fn klog_ok_output() {
    let (uart, exit) = run_with(
        KLOG_SRC,
        r#"
main: () -> i32 {
    klog_ok("boot".ptr)
    return 0
}