整数乘法 mod 2³²在动作脚本 3 中

Question

有没有人遇到过关于 int 和 uint 算术如何在 Actionscript 3 中工作的权威规范？ （我所说的“权威”是指“来自 Adob​​e”或“已被 Adob​​e 宣布为权威”）。特别是，我正在寻找一种受支持的方法来进行整数乘法模 2³²。我能找到的任何 Adob​​e 文档中都没有涉及这一点。

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

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

（一方面，我的实验都是使用 x86 Flash 播放器进行的。也许它代表 Intel 80 位双精度的中间结果，或者在评估堆栈上存储 64 位 int，直到知道它将用于什么用途。在没有本机 32×32→64 乘法指令的非 x86 平板电脑上很容易实现，因此 VM 可能会决定将精度降低到 ECMAScript 标准指定的值？）

24 小时状态：迈克·威尔士（Mike Welsh）做了一些有力的调查并提供了非常有用的链接，但不幸的是还不足以结束问题。还有其他人吗？

（tl；评论中的辩论：白夸克在某种程度上反驳了我假设的原因之一，为什么答案可能是“否”。他的观点有其道理，但当然并不构成表明答案是“是”）。

Answer 1

ActionScript 3 基于 ECMAScript 4，其中包括真正的 32 位 int 和 uint 运算。例如，multipy_i 指令执行整数乘法（来源：AVM2 概述）。

不幸的是，Adobe AS 编译器似乎只执行这些操作码的浮点版本，例如乘法，据称它将操作数转换为 64 位浮点。这可能符合 ECMAScript 规范，该规范规定整数将是在数学运算期间提升为双精度，以便处理溢出。如果它确实执行 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 也可用于应用此操作码。