paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-04-21 21:31:40 +02:00
Code Issues Packages Projects Releases Wiki Activity

+ implemented support for the local.get, local.set and local.tee instructions in TWasmValidationStacks.Validate

Browse Source
This commit is contained in:
Nikolay Nikolov 2024-02-08 16:48:58 +02:00
parent 3a5db26abf
commit e073d5f7f7
1 changed files with 41 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
compiler/wasm32/aasmcpu.pas
View File

@ -89,14 +89,17 @@ uses
taicpu = class;
TGetLocalTypeProc = function(localidx: Integer): TWasmBasicType of object;
{ TWasmValidationStacks }
TWasmValidationStacks = class
private
FValueStack: TWasmValueStack;
FCtrlStack: TWasmControlStack;
FGetLocalType: TGetLocalTypeProc;
public
constructor Create;
constructor Create(AGetLocalType: TGetLocalTypeProc);
destructor Destroy; override;
procedure PushVal(vt: TWasmBasicType);
@ -475,8 +478,9 @@ uses
{ TWasmValidationStacks }
constructor TWasmValidationStacks.Create;
constructor TWasmValidationStacks.Create(AGetLocalType: TGetLocalTypeProc);
begin
FGetLocalType:=AGetLocalType;
FValueStack:=TWasmValueStack.Create;
FCtrlStack:=TWasmControlStack.Create;
end;
@ -585,6 +589,32 @@ uses
end;
procedure TWasmValidationStacks.Validate(a: taicpu);
function GetLocalIndex: Integer;
begin
Result:=-1;
with a do
begin
if ops<>1 then
internalerror(2024020801);
with oper[0]^ do
case typ of
top_ref:
begin
if assigned(ref^.symbol) then
internalerror(2024020802);
if ref^.base<>NR_STACK_POINTER_REG then
internalerror(2024020803);
if ref^.index<>NR_NO then
internalerror(2024020804);
Result:=ref^.offset;
end;
top_const:
Result:=val;
end;
end;
end;
begin
case a.opcode of
a_nop:
@ -932,6 +962,15 @@ uses
PopVal(wbt_i32);
PopVal(wbt_i32);
end;
a_local_get:
PushVal(FGetLocalType(GetLocalIndex));
a_local_set:
PopVal(FGetLocalType(GetLocalIndex));
a_local_tee:
begin
PopVal(FGetLocalType(GetLocalIndex));
PushVal(FGetLocalType(GetLocalIndex));
end;
else
internalerror(2024030502);
end;