Wasm backend: ensure correct translation of Wasm_ir.global_(get|set)

Open pkel opened this issue 4 years ago • 0 comments

While working on a different issue, I skimmed the following lines. The use of LocalGet / LocalSet where we want to handle global variables is almost certainly a bug. https://github.com/querycert/qcert/blob/9969786b1d72672e990a2fe54ef63ad59cec97d5/compiler/wasm/wasm_ir.ml#L261-L265

I want to add tests and fix the bug.

May 25 '21 19:05 pkel