paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-08-16 12:39:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

+ support the global.get and global.set instructions in TWasmValidationStacks.Validate

Browse Source
This commit is contained in:
Nikolay Nikolov 2024-02-25 11:37:51 +02:00
parent f75f688f8b
commit 472f9be9a6
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
compiler/wasm32/aasmcpu.pas
View File

@ -995,6 +995,28 @@ uses
PopVal(FGetLocalType(GetLocalIndex)); PopVal(FGetLocalType(GetLocalIndex));
PushVal(FGetLocalType(GetLocalIndex)); PushVal(FGetLocalType(GetLocalIndex));
end; end;
a_global_get,
a_global_set:
begin
if a.ops<>1 then
internalerror(2024022504);
if a.oper[0]^.typ<>top_ref then
internalerror(2024022505);
if not assigned(a.oper[0]^.ref^.symbol) then
internalerror(2024022506);
if (a.oper[0]^.ref^.base<>NR_NO) or (a.oper[0]^.ref^.index<>NR_NO) or (a.oper[0]^.ref^.offset<>0) then
internalerror(2024022507);
if a.oper[0]^.ref^.symbol.typ<>AT_WASM_GLOBAL then
internalerror(2024022508);
case a.opcode of
a_global_get:
PushVal(TWasmGlobalAsmSymbol(a.oper[0]^.ref^.symbol).WasmGlobalType);
a_global_set:
PopVal(TWasmGlobalAsmSymbol(a.oper[0]^.ref^.symbol).WasmGlobalType);
else
internalerror(2024022509);
end;
end;
a_call: a_call:
begin begin
if a.ops<>2 then if a.ops<>2 then