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

[PATCH 151/188] normalization of the table

Browse Source 
From 67da2939ec2069adc780d0e59574e82b5db6d94c Mon Sep 17 00:00:00 2001
From: Dmitry Boyarintsev <skalogryz.lists@gmail.com>
Date: Thu, 26 Mar 2020 10:58:54 -0400

git-svn-id: branches/wasm@46147 -
This commit is contained in:
nickysn 2020-08-03 13:01:43 +00:00
parent 7e64176086
commit d972e6da92
1 changed files with 22 additions and 8 deletions

30
utils/wasmbin/wasmmodule.pas
View File

@ -950,6 +950,19 @@ begin
end;
end;
// searching back in the labels stack.
// returning the "number" of steps to jump back to the label
function GetJumpLabelIndex(const JumpToLbl: string; LblStack: TStrings): Integer;
var
i : integer;
begin
i:=LblStack.Count-1;
while (i>=0) and (LblStack[i]<>JumpToLbl) do
dec(i);
Result := LblStack.Count-i-1;
end;
// Normalizing instruction list, popuplating index reference ($index)
// with the actual numbers. (params, locals, globals, memory, functions index)
//
@ -961,7 +974,6 @@ var
ci : TWasmInstr;
endNeed : Integer;
lbl : TStringList;
li : Integer;
const
ValidResTypes = [VALTYPE_NONE,VALTYPE_I32,VALTYPE_I64,VALTYPE_F32,VALTYPE_F64];
begin
@ -1011,13 +1023,15 @@ begin
ci.insttype.typeNum:=RegisterFuncType(m, ci.insttype);
end;
INST_br, INST_br_if: begin
if ci.operandIdx<>'' then begin
li:=lbl.Count-1;
while (li>=0) and (lbl[li]<>ci.operandIdx) do
dec(li);
ci.operandNum:=(lbl.Count-1)-li;
end;
INST_br, INST_br_if, INST_br_table: begin
if ci.code = INST_br_table then
for j:=0 to ci.vecTableCount-1 do
if ci.vecTable[j].id <> '' then
ci.vecTable[j].idNum:=GetJumpLabelIndex(ci.vecTable[j].id, lbl);
if ci.operandIdx<>'' then
ci.operandNum:=GetJumpLabelIndex(ci.operandIdx, lbl);
end;
INST_END: begin