Windel Bouwman

Refer here for hypothesis based testing: https://github.com/windelbouwman/ppci/blob/master/test/hypo/wasm.py

> * I nevertheless saw a few wrong extensions from 32 to 64 quantities, and wrong pointer testings in a few cases I'm curious to the issues you saw here,...

Well, that's interesting! I always thought that only I32TOI64 required the sign extension, and the other 3 variant could be done with zero extend.

My current attempt at `coremark-wasi.wasm` Native version: ``` $ python -m ppci.cli.wabt run --target native coremark-wasi.wasm ... 2K performance run parameters for coremark. [0]ERROR! list crc 0xbfe2 - should be...

Okay, the coremark benchmark now passes. I do not know exactly why though, I modified the register allocator to be more optimistic. Onto the next benchmark!

Very cool results! I will try to reproduce and compile coremark from C -> x86_64 as well. This is a useful benchmark to have both for correctness as well as...

I'm making a script to compile coremark, could you share your changes you made to be able to compile it?

The script to build coremark lives here: https://github.com/windelbouwman/ppci/blob/master/tools/compile_coremark.py It is not yet fully working, since a call to `clock_gettime` is missing. Curious how you handled this dependency!

Allright, this is insightful! Thanks for the heads up. I'm now to the point where I only miss malloc and free, since my home brew libc does not have it....

Ah, good hints! Results so far: ``` ERROR! Please define ee_u32 to a 32b unsigned type! 2K performance run parameters for coremark. [%uu]ERROR! list crc 0x%004x - should be 0x%004x...