Подскажите, а есть какие-то хорошие ресурсы про генерацию wasm?

Или только спеки?

вот это удобно
https://pengowray.github.io/wasm-ops/

правда уже отстала немного таблица

ну и спека простая довольно

Все верно написано. Поэтому я и употреблял «LLVM IR более не менее таргет-независимый»
Еще стоит подчеркнуть, что неоптимизированный LLVM IR (только-только сгененрированный после фронта) вначале выглядит одинаково за исключением упомянутыл в скриншоте исключений, а вот после анализа и череды оптимизаций / трансформаций он уже будем иметь другую структуру в зависимости от степени и опций оптимизации и собственно самого таргета

Спасибо))

Эта ссылка кстати есть здесь:
https://github.com/WebAssembly-Enthusiasts/info/tree/master/resources#other

О, спасибо, гляну)

Binarien. Отдаём ему CFG, забираем оптимизированный Wasm.

Я исправил c++ модуль, и он ура! перестал выдавать ошибку memory out of bounds.
https://onlinegdb.com/yutiVBNOf
НО
Оно стало выдавать совершенно непонятный результат. В чём может быть проблема?

В программе

Не благодари

понять бы где именно)

я что-то не понимаю в управлении памятью в wasm?

общепринятый подход: писать вместе с юнит-тестами и добавлять санитайзеры, тогда любое UB на плюсах, которое воспроизводится на одной платформе, и не воспроизводится на другой будет вылазить на тестах

Что такое UB?

вы давно пишите на плюсах? почему именно на них?