Wasm 指令歧义

Question

效果有什么不同吗 i64.extend32_s 和 i64extend_i32_s 还是它们只是重复？

我知道这不是一个“编码”问题，但我正在尝试为 wasm 实现一个玩具编译器/解释器库，并且规范/文档对此并不清楚，这对于正确性来说有点重要。

Answer 1

在 WebAssembly 中，

i64.extend32_s

和

i64.extend_i32_s

并不完全重复，尽管它们执行类似的操作。它们都用于将 32 位整数的符号扩展为 64 位整数。但是，它们是不同 WebAssembly 指令集的一部分，并且可能具有略有不同的用例。

1. i64.extend32_s

   ：
   • 指令集：这是 WebAssembly 参考类型提案的一部分。它可作为 WebAssembly MVP（最小可行产品）规范中的核心指令。
   • 用途：它将32位整数转换为64位整数，同时保留符号。如果输入是负 32 位整数，则生成的 64 位整数也将为负数。
   • 使用示例：

     i64.extend32_s
     

2. i64.extend_i32_s

   ：
   • 指令集：这是WebAssembly SIMD（单指令，多数据）提案的一部分。 SIMD 旨在同时对多个数据点执行相同的操作，因此该指令适用于整数向量。
   • 用途：与

     i64.extend32_s

     类似，它将32位整数的符号扩展为64位整数。然而，它设计用于处理 SIMD 向量，因此它可以一次处理多个整数。
   • 使用示例：

     i64.extend_i32_sx4
     

虽然这两个指令实现了相同的基本目标，但主要区别在于它们的上下文：

• 如果您正在使用单独的 32 位整数并需要将它们扩展到 64 位整数，请使用

  i64.extend32_s

  。这是用于此目的的更简单、更直接的说明。

• 如果您正在使用 SIMD 向量（整数组）并且需要同时对多个整数执行符号扩展操作，请使用

  i64.extend_i32_s

  。

总而言之，它们是针对 WebAssembly 中不同上下文而设计的相关指令。它们之间的选择取决于具体要求以及您在 WebAssembly 模块中使用的数据类型。

（聊天GPT）