指向本地结构的指针如何转换为webassembly？

Question

不幸的是，我无法获得一个工作工具链来将C/C++编译成一个wasm文件，但我希望有一个灵魂能够帮助我。给定程序片段：

struct foo { 
    int a; 
    float b; 
}; 

void function(foo * p); 

void my_program() { 
    struct foo my_foo; 
    my_foo.a = 1; 
    my_foo.b = -3.0F; 
    foo(&my_foo); 
} 

my_program的主界面代码是什么样的？

Answer 1

我打算假设你的意思是什么文本格式看起来像？

我调整了两件事情在你的代码，以便它编译：

struct foo { 
    int a; 
    float b; 
}; 

extern void bar(struct foo * p); 

void my_program() { 
    struct foo my_foo; 
    my_foo.a = 1; 
    my_foo.b = -3.0F; 
    bar(&my_foo); 
} 

使用emscripten/binaryen编译它，然后使用wasm2wast：

emcc -s WASM=1 -s SIDE_MODULE=1 -O2 str.c -o str.js 
wasm-dis str.wasm -o str.wast 

注意，如果没有-s SIDE_MODULE=1 -O2，emscripten拉入一堆标准库（malloc等），并且wast文件长达10,000行。我假设你可能只是想要没有所有链接/包含的相当简单的结论/结果。

导致以下赤身文件：

(module 
(type $0 (func (param i32))) 
(type $1 (func)) 
(import "env" "memoryBase" (global $import$0 i32)) 
(import "env" "_bar" (func $import$1 (param i32))) 
(import "env" "memory" (memory $0 256)) 
(import "env" "table" (table 0 anyfunc)) 
(import "env" "tableBase" (global $import$4 i32)) 
(global $global$0 (mut i32) (i32.const 0)) 
(global $global$1 (mut i32) (i32.const 0)) 
(export "_my_program" (func $0)) 
(export "__post_instantiate" (func $2)) 
(export "runPostSets" (func $1)) 
(func $0 (type $1) 
    (local $var$0 i32) 
    (local $var$1 i32) 
    (block $label$0 
    (set_local $var$0 
    (get_global $global$0) 
    ) 
    (set_global $global$0 
    (i32.add 
    (get_global $global$0) 
    (i32.const 16) 
    ) 
    ) 
    (i32.store 
    (tee_local $var$1 
    (get_local $var$0) 
    ) 
    (i32.const 1) 
    ) 
    (f32.store offset=4 
    (get_local $var$1) 
    (f32.const -3) 
    ) 
    (call $import$1 
    (get_local $var$1) 
    ) 
    (set_global $global$0 
    (get_local $var$0) 
    ) 
) 
) 
(func $1 (type $1) 
    (nop) 
) 
(func $2 (type $1) 
    (block $label$0 
    (set_global $global$0 
    (get_global $import$0) 
    ) 
    (set_global $global$1 
    (i32.add 
    (get_global $global$0) 
    (i32.const 5242880) 
    ) 
    ) 
    (call $1) 
) 
) 
;; custom section "dylink", size 5 
) 

注意memoryBase，tableBase，__post_instantiate和runPostSets被emscripten为平台整合内存/初始化增加。 memoryBase基本上是C堆栈的开始，并且该值被__post_instantiate复制到$global$0（这对此模块中的所有功能都是全局的）。当调用my_program时，首先发生的是我们将堆栈指针调整为16，指向编译器为堆栈上的my_foo结构“分配”空间的位置。我们现在使用offset=X执行一些i32.store操作来更新foo中的字段。当函数返回时，我们将堆栈指针（$global$0）恢复到我们输入函数时的位置。