search

querycert / qcert

Compilation and Verification of Data-Centric Languages
https://querycert.github.io/
Apache License 2.0
56 stars 9 forks source link

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

Open pkel opened 3 years ago

pkel commented 3 years ago

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.