For AOT, the simplest approach, that actually produces the fastest native code, is to naively translate WASM opcodes to C.

This is for example what W2C2 does: https://github.com/turbolent/w2c2