Open agustinmista opened 3 years ago
Hi, @agustinmista
Thank you for continuing to challenge my implementation :) Again, nice catch. If you look on signed version of the same instruction you will see it has a correct size parameter 4. I think it is copy-paste typo for unsigned version. I will make a patch when I reach a machine with project setup(or you can make a pull request!).
Thanks, Ilya
Hi @SPY,
I found a randomly generated a module that passes validation despite having an invalid memory alignment:
The reference implementation rejects this module at validation time:
Whereas
haskell-wasm
accepts and runs it without complaining:As far as I can tell, it looks like this should be checked when you call checkMemoryInstr for this instruction during validation, but for some reason it is not. The nested
Loop
s look suspicious, though.I will dig further to see if I can find the root of the issue. I would appreciate if you can confirm that you could reproduce this bug on your side.
Thanks!
/Agustín