firefox - 如何从 C 代码生成带有 i64 而不是 i32 的 Webassembly (WAT)

Question

我正在尝试使用 i64 生成一个 .wat 文件，但它只是编译为 i32。

在 C 代码中，我使用 int 和 int64_t 进行了测试，但没有成功。

这是 C 代码:

#include <stdio.h>
#include <stdint.h>

#define MAX 64

int main(void) {
    int64_t v1[MAX], v2[MAX], v3[MAX];
    int64_t i;

    for(i = 0; i < MAX; i++)
       v3[i] = v1[i] + v2[i];

    for(i = 0; i < MAX; i++)
        printf("%llu\n", v3[i]);

    return 0;
}

然后我使用 CLI 编译成 .wasm 和 .wat 格式:

$ emcc -Oz ex1.c -s WASM=1 -s SIDE_MODULE=1 -s ONLY_MY_CODE=1 -o ex1.wasm
$ wasm2wat ex1.wasm -o ex1.wat

这是编译后的.wat文件:

(module
(type (;0;) (func (result i32)))
(type (;1;) (func (param i32 i32 i32 i32) (result i32)))
(type (;2;) (func (param i32 i32) (result i32)))
(type (;3;) (func))
(import "env" "getTempRet0" (func (;0;) (type 0)))
(import "env" "_i64Add" (func (;1;) (type 1)))
(import "env" "_printf" (func (;2;) (type 2)))
(import "env" "memoryBase" (global (;0;) i32))
(import "env" "memory" (memory (;0;) 256))
(func (;3;) (type 0) (result i32)
    (local i32 i32 i32 i32 i32 i32 i32 i32 i32)
    get_global 1
    set_local 2
    get_global 1
    i32.const 1552
    i32.add
    set_global 1
    get_local 2
    i32.const 1536
    i32.add
    set_local 5
    get_local 2
    i32.const 1024
    i32.add
    set_local 7
    get_local 2
    i32.const 512
    i32.add
    set_local 8
    loop  ;; label = @1
    get_local 4
    i32.const 0
    i32.lt_u
    get_local 4
    i32.eqz
    get_local 0
    i32.const 64
    i32.lt_u
    i32.and
    i32.or
    if  ;; label = @2
    get_local 8
    get_local 0
    i32.const 3
    i32.shl
    i32.add
    tee_local 1
    i32.load
    get_local 1
    i32.load offset=4
    get_local 7
    get_local 0
    i32.const 3
    i32.shl
    i32.add
    tee_local 1
    i32.load
    get_local 1
    i32.load offset=4
    call 1
    set_local 3
    call 0
    set_local 6
    get_local 2
    get_local 0
    i32.const 3
    i32.shl
    i32.add
    tee_local 1
    get_local 3
    i32.store
    get_local 1
    get_local 6
    i32.store offset=4
    get_local 0
    get_local 4
    i32.const 1
    i32.const 0
    call 1
    set_local 0
    call 0
    set_local 4
    br 1 (;@1;)
    end
    end
    i32.const 0
    set_local 3
    i32.const 0
    set_local 0
    loop  ;; label = @1
    get_local 3
    i32.const 0
    i32.lt_u
    get_local 3
    i32.eqz
    get_local 0
    i32.const 64
    i32.lt_u
    i32.and
    i32.or
    if  ;; label = @2
    get_local 2
    get_local 0
    i32.const 3
    i32.shl
    i32.add
    tee_local 6
    i32.load offset=4
    set_local 1
    get_local 5
    get_local 6
    i32.load
    i32.store
    get_local 5
    get_local 1
    i32.store offset=4
    get_global 0
    get_local 5
    call 2
    drop
    get_local 0
    get_local 3
    i32.const 1
    i32.const 0
    call 1
    set_local 0
    call 0
    set_local 3
    br 1 (;@1;)
    end
    end
    get_local 2
    set_global 1
    i32.const 0)
    (func (;4;) (type 3)
          get_global 0
          i32.const 16
          i32.add
          set_global 1
          get_global 1
          i32.const 5242880
          i32.add
          set_global 2)
    (global (;1;) (mut i32) (i32.const 0))
(global (;2;) (mut i32) (i32.const 0))
(export "__post_instantiate" (func 4))
(export "_main" (func 3))
(data (get_global 0) "%llu\0a"))

我正在研究 mbebenita WebAssembly Explorer 代码，但我有点困惑，但我知道它会生成 i64 和 x86 程序集。

• https://mbebenita.github.io/WasmExplorer/

我知道我可以使用 WebAssembly Explorer 生成我的 .wat 文件和 x86 程序集，但在我的例子中，我需要使用 CLI 进行编译。

Answer 1

默认情况下，当您使用 SIDE_MODULE=1 进行构建时，emscripten 将构建一个默认与 asmjs 兼容的模块，这意味着它不会假定原生 64 位支持。

看起来有解决此限制的计划: https://github.com/kripken/emscripten/blob/fd38f3bbf1fdc2f48078f641eb57b1c6fa2a538f/tools/shared.py#L2316 https://github.com/kripken/emscripten/blob/fd38f3bbf1fdc2f48078f641eb57b1c6fa2a538f/emscripten.py#L485

看起来如果您想要 native i64 支持，您现在不能使用 SIDE_MODULE。