Здравствуйте, vdimas, Вы писали:

DM>>Разверни мысль, пожалуйста. У васм апплета есть линейный кусок памяти, там он устраивает себе кучу, туда он может ходить по "указателям". У него также есть стек, над которым оперируют все арифметические и логические инструкции. Он живет отдельно от того линейного массива, у его данных нет "адресов" в том пространстве. Что я упускаю?

V>У wasm 2 стека.
V>Первый стек — "обычный", используется как стек возвратов или как стек для внутренних/системных вызовов.
V>Второй стек — это участок в куче, эдакий рукотворный стек данных.
V>Используется для аргументов при вызове процедур/ф-ий/методов песочницы.
V>Стек данных тоже растёт в обратную сторону, но это не принципиально, ИМХО.
V>Принципиально то, что этот стек живёт в обычной куче и адресуется из кода песочницы.

Ну вот смотрю я в спеку и вижу совершенно иное:
https://webassembly.github.io/spec/core/bikeshed/index.html
Куда мне надо смотреть? Как для значения на operand stack получить его memidx? Или для значения в locals из localidx получить memidx?