时间戳

首页 > 解决方案 > 为什么 WASM 文件不同？

webassembly - 为什么 WASM 文件不同？

问题描述

我想使用 WebAssembly，所以我必须将 C 文件编译为 WASM 文件。

C文件内容如下

//The online 'add.c'
WASM_EXPORT
int add(int a, int b)
{ 
    return a + b;
}

这是一个非常简单的 C 文件。

此 WASM 文件由在线编译工具WebAssembly Studio编译。我使用一个工具“wasm2wat”将其反汇编为Text文件，内容如下

(module
 (type $t0 (func))
 (type $t1 (func (param i32 i32) (result i32)))
 (func $__wasm_call_ctors (type $t0))
 (func $add (type $t1) (param $p0 i32) (param $p1 i32) (result i32)
   local.get $p1
   local.get $p0
   i32.add)
 (table $T0 1 1 funcref)
 (memory $memory 2)
 (global $g0 (mut i32) (i32.const 66560))
 (global $__heap_base i32 (i32.const 66560))
 (global $__data_end i32 (i32.const 1024))
 (export "memory" (memory 0))
 (export "__heap_base" (global 1))
 (export "__data_end" (global 2))
 (export "add" (func $add)))

而且我还使用“emcc add.c -s WASM=1 -O3 -o add.js”来编译本地的“add.c”

//The local 'add.c'
EMSCRIPTEN_KEEPALIVE
int add(int a, int b)
{
    return a + b;
}

上述命令得到的 WASM 文件为

(module
 (type $t0 (func))
 (type $t1 (func (param i32 i32) (result i32)))
 (func $b (type $t0)
   nop)
 (func $c (type $t1) (param $p0 i32) (param $p1 i32) (result i32)
   local.get $p0
   local.get $p1
   i32.add)
 (table $a 1 1 funcref)
 (export "a" (table 0))
 (export "b" (func $b))
 (export "c" (func $c)))

为什么这两个结果不一样？为什么上面的文件可以用在HTML中，而下面的却不行？</p>

标签： webassemblyemscriptenemcc

解决方案

这是两个略有不同的编译器驱动程序（尽管都基于 llvm+clang），它们针对的环境略有不同。嵌入器的 ABI/API/合约在一些方面有所不同。例如，在 emscripten 中，默认契约是在 JS 中创建 WebAssembly 内存对象并导出到 WebAssembly 文件中。WASI（web 外部的 wasm）的默认设置是在 wasm 文件中创建内存对象并将其导出到嵌入器（因此在第一种情况下是“内存”导出）。

您的第一个示例中的一些多余元素可能会通过wasm-opt在结果输出上运行来消除。例如，如果你的小例子既没有使用内存也没有使用表，那么理论上这两者都可以完全删除。

推荐阅读