x86 等效于 WebAssembly 指令答案

【问题标题】：x86 equivalent of a WebAssembly Instructionx86 等效于 WebAssembly 指令
【发布时间】：2019-11-02 08:41:03
【问题描述】：

我一直在玩 WebAssembly 程序。我想获得 WebAssembly 程序的 x86 等价物。通过谷歌搜索，我发现 objdump 可用于使用命令

对任何目标文件执行此操作

objdump -M intel <file_name>

但是，wasm 文件 wasm-objdump 的反汇编程序没有用于反汇编 x86 格式代码的标志 m，原因很明显，它是一个 Web 汇编应用程序。

是否有一种（简单的）方法可以将 WebAssembly 中给出的指令映射到等效的 x86 指令，而无需显式匹配每条指令？

【问题讨论】：

这个问题不清楚。如果等效指令是指概念上等效的指令，则只需查看两个指令集并找到它。如果您有兴趣找出特定编译器为高级代码发出的等效 x86 指令序列是什么，它在 WebAssembly 中发出特定指令，您必须指定您感兴趣的语言和编译器。
是的，我所说的相等是指概念上等效的指令。是的，我可以查看它们的指令集并找到相应的指令，但是是否可以在不显式映射相应集的情况下这样做。
WebAssembly 和 x86 之间的指令映射没有正式定义，由每个单独的编译器决定。因此，您可以查看指令集并自行决定您认为等效的指令，或者您可以查看特定编译器生成的代码，以了解该编译器的作者认为等效的指令，但没有明确的答案。

标签： webassembly objdump

【解决方案1】：

在线WasmExplorer 使用 SpiderMonkey 编译器将 C 代码编译为 WebAssembly 和 FireFox x86。给定以下简单函数：

int testFunction(int* input, int length) {
  int sum = 0;
  for (int i = 0; i < length; ++i) {
    sum += input[i];
  }
  return sum;
}

这是 x86 输出：

wasm-function[0]:
  sub rsp, 8                            ; 0x000000 48 83 ec 08
  cmp esi, 1                            ; 0x000004 83 fe 01
  jge 0x14                              ; 0x000007 0f 8d 07 00 00 00
 0x00000d:                              
  xor eax, eax                          ; 0x00000d 33 c0
  jmp 0x26                              ; 0x00000f e9 12 00 00 00
 0x000014:                              
  xor eax, eax                          ; 0x000014 33 c0
 0x000016:                              ; 0x000016 from: [0x000024]
  mov ecx, dword ptr [r15 + rdi]        ; 0x000016 41 8b 0c 3f
  add eax, ecx                          ; 0x00001a 03 c1
  add edi, 4                            ; 0x00001c 83 c7 04
  add esi, -1                           ; 0x00001f 83 c6 ff
  test esi, esi                         ; 0x000022 85 f6
  jne 0x16                              ; 0x000024 75 f0
 0x000026:                              
  nop                                   ; 0x000026 66 90
  add rsp, 8                            ; 0x000028 48 83 c4 08
  ret

你可以view this example online。

WasmExplorer 通过服务将代码编译成 wasm / x86 - 你可以看到 scripts that are run on Github - 你应该能够使用这些来自己构建命令行工具。

【讨论】：

是的，我知道了，但是如何将一条指令从 WebAssembly 映射到 x86（没有显式匹配）。