search

WebAssembly / spec

WebAssembly specification, reference interpreter, and test suite.
https://webassembly.github.io/spec/
Other
3.09k stars 438 forks source link

[spec] Changed sx to sx? in vcvtop_zero #1720

Closed 702fbtngus closed 5 months ago

702fbtngus commented 5 months ago

image image As seen above, the instruction 'demote' is classified as vcvtop, and 'f32x4.demote_f64x2_zero' should be executed with below rule.

image However, this rule is only applied with the presence of 'sx', while 'f32x4.demote_f64x2_zero' does not contain 'sx', Thus I changed the rule $t_2\times N.vcvtop\_t_1\times M\_sx\_zero$ with $t_2\times N.vcvtop\_t_1\times M\_sx^?\_zero$.