如何解决引擎应如何评估这段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?)
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。