Function map_trampoline_alignment

tests/all/component_model/func.rs:3527–3660

()

///
#[test]
fn map_trampoline_alignment() -> Result<()> {
    // Test map<u8, u64> - key_size=1, value_align=8
    // With the alignment bug, value would be read/written at offset 1 instead of 8
    let component = format!(
        r#"
(component
    (import "host" (func $host (param "m" (map u8 u64)) (result (map u8 u64))))

    ;; Component A: the "destination" that receives and echoes back
    (component $dst
        (import "echo" (func $echo (param "m" (map u8 u64)) (result (map u8 u64))))
        (core module $libc
            (memory (export "memory") 1)
            {REALLOC_AND_FREE}
        )
        (core module $echo_mod
            (import "" "echo" (func $echo (param i32 i32 i32)))
            (import "libc" "memory" (memory 0))
            (import "libc" "realloc" (func $realloc (param i32 i32 i32 i32) (result i32)))

            (func (export "echo") (param i32 i32) (result i32)
                (local $retptr i32)
                (local.set $retptr
                    (call $realloc (i32.const 0) (i32.const 0) (i32.const 4) (i32.const 8)))
                (call $echo (local.get 0) (local.get 1) (local.get $retptr))
                local.get $retptr
            )
        )
        (core instance $libc (instantiate $libc))
        (core func $echo_lower (canon lower (func $echo)
            (memory $libc "memory")
            (realloc (func $libc "realloc"))
        ))
        (core instance $echo_inst (instantiate $echo_mod
            (with "libc" (instance $libc))
            (with "" (instance (export "echo" (func $echo_lower))))
        ))
        (func (export "echo2") (param "m" (map u8 u64)) (result (map u8 u64))
            (canon lift
                (core func $echo_inst "echo")
                (memory $libc "memory")
                (realloc (func $libc "realloc"))
            )
        )
    )

    ;; Component B: the "source" that calls dst
    (component $src
        (import "echo" (func $echo (param "m" (map u8 u64)) (result (map u8 u64))))
        (core module $libc
            (memory (export "memory") 1)
            {REALLOC_AND_FREE}
        )
        (core module $echo_mod
            (import "" "echo" (func $echo (param i32 i32 i32)))
            (import "libc" "memory" (memory 0))
            (import "libc" "realloc" (func $realloc (param i32 i32 i32 i32) (result i32)))