actionscript-3 - Actionscript 3 中的整数乘法 mod 2³²

Question

有没有人遇到过关于 int 和 uint 算术如何在 Actionscript 3 中工作的权威规范？ (“权威”是指“来自 Adob​​e”或“已被 Adob​​e 声明为权威”)。特别是我正在寻找一种受支持的方法来进行整数乘法模 232。这在我能找到的任何 Adob​​e 文档中都没有涵盖。

Actionscript 声称基于 ECMAScript，但 ECMAScript 根本不做整数运算。它在 IEEE-754 doubles 上执行所有操作，并在按位运算之前减少结果模 232，这在大多数情况下模拟整数算术。但是，这不适用于乘法:乘法的真实结果，例如 0x10000001 * 0x0FFFFFFF 对于 double 数的尾数来说太长，因此如果遵循规范，低位将丢失。

现在输入 ActionScript 。我通过实验发现，乘以两个 int或 uint变量并立即将产品转换为 int或 uint似乎总是给我确切的结果。然而，生成的 AVM2 字节码只包含一个简单的“mul”指令，没有直接指示它应该产生一个整数结果而不是一个浮点结果；虚拟机必须提前发现这一点。我担心我只是在我的实验中很幸运并且获得了额外的精度作为奖励而不是我可以依赖的东西。

(一方面，我的实验都是使用 x86 Flash 播放器进行的。也许它代表英特尔 80 位 double 的中间结果，或者在评估堆栈中存储 64 位 int 直到它知道它将用于什么。两者都不是在没有原生 32×32→64 乘法指令的非 x86 平板电脑上很容易实现，所以 VM 可能只是决定将精度降低到 ECMAScript 标准指定的精度？)

24 小时状态: Mike Welsh 做了一些有能力的调查并提供了非常有用的链接，但不幸的是还不足以结束这个问题。还有谁？

(tl;dr 评论中的辩论:whitequark 在某种程度上驳斥了我的假设原因之一，为什么答案可能是“否”。他的观点有道理，但当然并不构成答案是"is"的证明)。

Answer 1

ActionScript 3 基于 ECMAScript 4，其中包括真正的 32 位 int 和 uint 操作。例如，multipy_i指令执行整数乘法(来源:AVM2 Overview)。

不幸的是，Adobe AS 编译器似乎只执行这些操作码的浮点版本，例如multiply ，据说将操作数转换为 64 位浮点数。这也许是按照ECMAScript specs ，这表明整数将在数学运算期间被提升为 double 以处理溢出。如果它确实进行了 64 位浮点乘法，然后转换回 int，那么应该会损失精度。

尽管如此，Flash Player 在立即转换回 int 时似乎不会失去精度。例如:

var n:int = 0x7FFFFFFF;
var n2:int = n*n;
trace(n2);

即使此代码发出 multiply指令，它会在 Flash Player 中找出一个 1，这是在没有精度损失的情况下的结果。目前尚不清楚这种行为是否一致和跨平台。但是，我在几个平台上的Flash Player中进行了测试，包括一些手机，结果似乎始终为1。但是，通过 Tamarin shell 运行此代码在解释模式下输出 0! (JIT 模式还是输出了 1，所以这个行为一定是 JIT 的副作用)。所以依赖这个可能是有风险的。

使用 multiply_i操作码应该适本地表现。 Haxe使用整数时将使用此操作码。 Apparat也可用于应用此操作码。