引擎应如何评估这段ASM.js代码？

问题描述

根据规范，ASM.js中的“ int”类型没有签名。

int类型是32位整数的类型，在这种类型中，有符号性未知。在asm.js中，变量的类型永远不会具有已知的符号。这样就可以将它们编译为32位整数寄存器和存储字。但是，这种表示法会在有符号数和无符号数之间产生重叠，从而导致在确定它们代表的JavaScript数时存在歧义。例如，根据签名的不同，位模式0xffffffff可以表示4294967295或-1。因此，不允许将int类型的值转义为外部（non-asm.js）JavaScript代码。

那么引擎如何评估下面的ASM.js代码？如果参数x和y具有不同的符号，则结果可能不同。我们如何为其生成AOT代码？

function foo(start,end) {
  start = start|0;  // start is int.
  end = end|0;  // start is int.

  return +((end - start)|0);
}

解决方法

|0转换为有符号整数。因此，该函数中的所有值和操作均已签名。

（但是，对于减法而言，符号无所谓-它是用于签名或未签名的单个CPU指令，请参见How the value of type "i32" is evaluated in WebAssembly?）