search

asm-js / validator

A reference validator for asm.js.
Apache License 2.0
1.78k stars 148 forks source link

Parameters to calls must be coerced (to int or double, or to a subtype of extern) #61

Closed cscott closed 10 years ago

cscott commented 11 years ago

Changes were made to asm.js in mozilla bug 864600 to support single-pass compilation. These changes have not yet been propagated back to the spec.

In particular, call parameters must be coerced: local function/function table call parameters must be coerced to double or int, FFI call parameters must be coerced to a subtype of extern, and global imports don't need any extra coercion (beyond their function signature, given in the spec).

(Comment 4 on bug 864600 also describes two other related changes which are covered by gh issue 71 and gh issue 62.)

cscott commented 11 years ago

Updated the issue description to more precisely describe the spec changes called for.

sunfishcode commented 10 years ago

Fixed in 7881fbe325fbfbeed1caf5d1d48b8c5f121ead2d.