ALL BUILD SCRIPTS MUST BE POWERSHELL

SEE COMMIT HEADER

.gitignore

@@ -1,3 +1,4 @@
 bin
 lib
 AGENTS.md
+GAP_ANALYSIS.md

build.bat

@@ -1,79 +0,0 @@
-@echo off
-setlocal
-
-set ROOT=%~dp0
-set SRC=%ROOT%src
-set BIN=%ROOT%bin
-set LIB=%ROOT%lib
-set FPC=C:\Lazarus\fpc\3.2.2\bin\x86_64-win64\fpc.exe
-
-set TESTFLAGS=
-set DO_CLEAN=0
-set DO_RUN=0
-
-:parse_args
-if "%1"=="" goto args_done
-if "%1"=="test" set TESTFLAGS=-dRUN_TESTS
-if "%1"=="clean" set DO_CLEAN=1
-if "%1"=="run" set DO_RUN=1
-if "%1"=="help" (
-    echo Usage: build.bat [options]
-    echo Options:
-    echo   test   - Build with tests enabled
-    echo   clean  - Clean build outputs
-    echo   run    - Run the built executable after building
-    echo   help   - Show this help message
-    exit /b 0
-)
-shift
-goto parse_args
-:args_done
-
-if %DO_CLEAN%==1 (
-    echo Cleaning build outputs...
-    if exist "%BIN%" rd /s /q "%BIN%"
-    if exist "%LIB%" rd /s /q "%LIB%"
-    echo Clean complete.
-    if "%TESTFLAGS%"=="" if %DO_RUN%==0 exit /b 0
-)
-
-if not exist "%BIN%" mkdir "%BIN%"
-if not exist "%LIB%" mkdir "%LIB%"
-
-REM ── Lint ────────────────────────────────────────────────────────────
-powershell -NoProfile -ExecutionPolicy Bypass -File "%ROOT%lint.ps1" -SrcRoot "%SRC%"
-if %ERRORLEVEL% NEQ 0 exit /b 1
-
-REM ── Build ────────────────────────────────────────────────────────────
-"%FPC%" ^
-  %TESTFLAGS% ^
-  -FE"%BIN%" ^
-  -FU"%LIB%" ^
-  -Fu"%SRC%\emu" ^
-  -Fu"%SRC%\wasm" ^
-  -Fu"%SRC%\wasm\parser" ^
-  -Fu"%SRC%\wasm\parser\sections" ^
-  -Fu"%SRC%\wasm\test" ^
-  -Fu"%SRC%\wasm\test\opcodes" ^
-  -Fu"%SRC%\wasm\test\parsers" ^
-  -Fu"%SRC%\wasm\test\binaries" ^
-  -Fu"%SRC%\wasm\test\infra" ^
-  -Fu"%SRC%\wasm\types" ^
-  -Fu"%SRC%\wasm\vm" ^
-  -Fu"%SRC%\wasm\vm\opcodes" ^
-  -gw3 ^
-  -o"%BIN%\WASURO.exe" ^
-  "%SRC%\project\WASURO.lpr"
-
-if %ERRORLEVEL% NEQ 0 (
-    echo Build failed with error code %ERRORLEVEL%
-    exit /b %ERRORLEVEL%
-)
-
-echo Build succeeded: %BIN%\WASURO.exe
-
-REM ── Run ────────────────────────────────────────────────────────────
-if %DO_RUN%==1 (
-    echo Running WASURO...
-    "%BIN%\WASURO.exe"
-)

build.ps1

@@ -0,0 +1,88 @@
+# build.ps1 — Build script for the WASURO project
+param(
+    [switch]$Test,
+    [switch]$Clean,
+    [switch]$Run,
+    [switch]$Help
+)
+
+# Also accept positional string args (e.g. .\build.ps1 clean test run)
+foreach ($a in $args) {
+    switch ($a.ToLower()) {
+        'test'  { $Test  = $true }
+        'clean' { $Clean = $true }
+        'run'   { $Run   = $true }
+        'help'  { $Help  = $true }
+    }
+}
+
+if ($Help) {
+    Write-Host 'Usage: .\build.ps1 [options]'
+    Write-Host 'Options:'
+    Write-Host '  test   - Build with tests enabled'
+    Write-Host '  clean  - Clean build outputs'
+    Write-Host '  run    - Run the built executable after building'
+    Write-Host '  help   - Show this help message'
+    exit 0
+}
+
+$Root = $PSScriptRoot
+$Src  = Join-Path $Root 'src'
+$Bin  = Join-Path $Root 'bin'
+$Lib  = Join-Path $Root 'lib'
+$FPC  = 'C:\Lazarus\fpc\3.2.2\bin\x86_64-win64\fpc.exe'
+
+# ── Clean ────────────────────────────────────────────────────────────
+if ($Clean) {
+    Write-Host 'Cleaning build outputs...'
+    if (Test-Path $Bin) { Remove-Item $Bin -Recurse -Force }
+    if (Test-Path $Lib) { Remove-Item $Lib -Recurse -Force }
+    Write-Host 'Clean complete.'
+    if (-not $Test -and -not $Run) { exit 0 }
+}
+
+if (-not (Test-Path $Bin)) { New-Item $Bin -ItemType Directory | Out-Null }
+if (-not (Test-Path $Lib)) { New-Item $Lib -ItemType Directory | Out-Null }
+
+# ── Lint ─────────────────────────────────────────────────────────────
+& (Join-Path $Root 'lint.ps1') -SrcRoot $Src
+if ($LASTEXITCODE -ne 0) { exit 1 }
+
+# ── Build ────────────────────────────────────────────────────────────
+$TestFlags = @()
+if ($Test) { $TestFlags = @('-dRUN_TESTS') }
+
+$fpcArgs = @(
+    $TestFlags
+    "-FE$Bin"
+    "-FU$Lib"
+    "-Fu$Src\emu"
+    "-Fu$Src\wasm"
+    "-Fu$Src\wasm\parser"
+    "-Fu$Src\wasm\parser\sections"
+    "-Fu$Src\wasm\test"
+    "-Fu$Src\wasm\test\opcodes"
+    "-Fu$Src\wasm\test\parsers"
+    "-Fu$Src\wasm\test\binaries"
+    "-Fu$Src\wasm\test\infra"
+    "-Fu$Src\wasm\types"
+    "-Fu$Src\wasm\vm"
+    "-Fu$Src\wasm\vm\opcodes"
+    '-gw3'
+    "-o$Bin\WASURO.exe"
+    "$Src\project\WASURO.lpr"
+)
+
+& $FPC @fpcArgs
+if ($LASTEXITCODE -ne 0) {
+    Write-Host "Build failed with error code $LASTEXITCODE"
+    exit $LASTEXITCODE
+}
+
+Write-Host "Build succeeded: $Bin\WASURO.exe"
+
+# ── Run ──────────────────────────────────────────────────────────────
+if ($Run) {
+    Write-Host 'Running WASURO...'
+    & "$Bin\WASURO.exe"
+}

lint.ps1

@@ -1,5 +1,5 @@
 # lint.ps1 — Static lint rules for the WASURO project
-# Called by build.bat before compilation. Exit 1 on any violation.
+# Called by build.ps1 before compilation. Exit 1 on any violation.
 param(
     [string]$SrcRoot = (Join-Path $PSScriptRoot 'src')
 )
@@ -43,6 +43,5 @@ if ($ruleHits -gt 0) {
 }
 
 # ── Add more rules here ─────────────────────────────────────────────
-
 if ($fail) { exit 1 }
 Write-Host 'Lint passed.'

src/wasm/parser/sections/wasm.parser.sections.dataCountSection.pas

@@ -0,0 +1,44 @@
+unit wasm.parser.sections.dataCountSection;
+
+interface
+
+uses
+    wasm.types.builtin, wasm.types.context;
+
+procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
+
+implementation
+
+uses console, leb128, lmemorymanager, wasm.types.sections;
+
+{ DataCount section (ID 12): contains a single u32 count of data segments.
+  Pre-allocates the DataSegments array so that bulk memory opcodes
+  can reference segments by index during validation. }
+procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
+var
+    pos, bend : TWASMPUInt8;
+    bytesRead : TWASMUInt8;
+    dataCount : TWASMUInt32;
+begin
+    writestring('[wasm.parser] Handle Section: DataCount - Size: ');
+    writeintlnWND(section_length, 0);
+
+    pos := buffer;
+    bend := TWASMPUInt8(buffer + section_length);
+
+    bytesRead := read_leb128_to_uint32(pos, bend, @dataCount);
+    Inc(pos, bytesRead);
+
+    writestring('[wasm.parser]     Data Count: ');
+    writeintlnWND(dataCount, 0);
+
+    { Pre-allocate data segment storage with correct count.
+      The actual segment data will be filled when the Data section is parsed. }
+    ctx^.ExecutionState.DataSegments^.SegmentCount := dataCount;
+    if dataCount > 0 then
+        ctx^.ExecutionState.DataSegments^.Segments := PWASMDataSegment(kalloc(dataCount * sizeof(TWASMDataSegment)))
+    else
+        ctx^.ExecutionState.DataSegments^.Segments := nil;
+end;
+
+end.

src/wasm/parser/sections/wasm.parser.sections.tableSection.pas

@@ -4,16 +4,85 @@ interface
 
 uses
     wasm.types.builtin, lmemorymanager, console, leb128,
-    wasm.types.context;
+    wasm.types.sections, wasm.types.context;
 
 procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
 
 implementation
 
 procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
+var
+    pos: TWASMPUInt8;
+    buf_end: TWASMPUInt8;
+    bytesRead: TWASMUInt8;
+    table_count, i, j, min_size, max_size: TWASMUInt32;
+    elem_type, limits_flag: TWASMUInt8;
+    tables: PWASMTables;
 begin
     writestring('[wasm.parser] Handle Section: Table - Size: ');
     writeintlnWND(section_length, 0);
+
+    pos := buffer;
+    buf_end := buffer;
+    Inc(buf_end, section_length);
+
+    bytesRead := read_leb128_to_uint32(pos, buf_end, @table_count);
+    Inc(pos, bytesRead);
+
+    writestring('[wasm.parser]     Tables: ');
+    writeintlnWND(table_count, 0);
+
+    tables := ctx^.ExecutionState.Tables;
+    tables^.TableCount := table_count;
+    if table_count > 0 then
+        tables^.Tables := PWASMTableInstance(kalloc(sizeof(TWASMTableInstance) * table_count))
+    else
+        tables^.Tables := nil;
+
+    for i := 0 to table_count - 1 do begin
+        elem_type := pos^;
+        Inc(pos);
+
+        limits_flag := pos^;
+        Inc(pos);
+
+        bytesRead := read_leb128_to_uint32(pos, buf_end, @min_size);
+        Inc(pos, bytesRead);
+
+        max_size := 0;
+        if limits_flag = 1 then begin
+            bytesRead := read_leb128_to_uint32(pos, buf_end, @max_size);
+            Inc(pos, bytesRead);
+        end;
+
+        writestring('[wasm.parser]     Table ');
+        writeintWND(i, 0);
+        writestring(' - ElemType: $');
+        writeintWND(elem_type, 0);
+        writestring(' Initial: ');
+        writeintWND(min_size, 0);
+        if limits_flag = 1 then begin
+            writestring(' Max: ');
+            writeintWND(max_size, 0);
+        end;
+        writestringln('');
+
+        tables^.Tables[i].ElementType := elem_type;
+        tables^.Tables[i].Size := min_size;
+        tables^.Tables[i].HasMax := (limits_flag = 1);
+        if limits_flag = 1 then
+            tables^.Tables[i].MaxSize := max_size
+        else
+            tables^.Tables[i].MaxSize := 0;
+
+        { Allocate elements and initialize to $FFFFFFFF (uninitialized) }
+        if min_size > 0 then begin
+            tables^.Tables[i].Elements := TWASMPUInt32(kalloc(sizeof(TWASMUInt32) * min_size));
+            for j := 0 to min_size - 1 do
+                tables^.Tables[i].Elements[j] := $FFFFFFFF;
+        end else
+            tables^.Tables[i].Elements := nil;
+    end;
 end;
 
 end.

src/wasm/parser/wasm.parser.pas

@@ -36,6 +36,7 @@ begin
 
     // Initialize the sections
     ctx^.Sections.TypeSection:= nil;
+    ctx^.Sections.ImportSection:= nil;
     ctx^.Sections.FunctionSection:= nil;
     ctx^.Sections.ExportSection:= nil;
     ctx^.Sections.CodeSection:= nil;
@@ -47,6 +48,21 @@ begin
     ctx^.ExecutionState.Globals^.GlobalCount:= 0;
     ctx^.ExecutionState.Globals^.Globals:= nil;
 
+    // Initialize tables (empty until table section is parsed)
+    ctx^.ExecutionState.Tables:= PWASMTables(kalloc(sizeof(TWASMTables)));
+    ctx^.ExecutionState.Tables^.TableCount:= 0;
+    ctx^.ExecutionState.Tables^.Tables:= nil;
+
+    // Initialize data segments (empty until data section is parsed)
+    ctx^.ExecutionState.DataSegments:= PWASMDataSegments(kalloc(sizeof(TWASMDataSegments)));
+    ctx^.ExecutionState.DataSegments^.SegmentCount:= 0;
+    ctx^.ExecutionState.DataSegments^.Segments:= nil;
+
+    // Initialize element segments (empty until element section is parsed)
+    ctx^.ExecutionState.ElementSegments:= PWASMElementSegments(kalloc(sizeof(TWASMElementSegments)));
+    ctx^.ExecutionState.ElementSegments^.SegmentCount:= 0;
+    ctx^.ExecutionState.ElementSegments^.Segments:= nil;
+
     newContext:= ctx;
 end;
 

src/wasm/parser/wasm.parser.sections.pas

@@ -16,7 +16,8 @@ uses
     wasm.parser.sections.startSection,
     wasm.parser.sections.elementSection,
     wasm.parser.sections.codeSection,
-    wasm.parser.sections.dataSection;
+    wasm.parser.sections.dataSection,
+    wasm.parser.sections.dataCountSection;
 
 procedure handle(sectionId : TWASMUInt8; buffer : TWASMPUInt8; section_length : TWASMUInt32; ctx : PWASMProcessContext);
 
@@ -50,6 +51,8 @@ begin
         ord(sidCode):     wasm.parser.sections.codeSection.handle      (buffer, section_length, ctx);
         // Data Section
         ord(sidData):     wasm.parser.sections.dataSection.handle      (buffer, section_length, ctx);
+        // DataCount Section
+        ord(sidDataCount): wasm.parser.sections.dataCountSection.handle (buffer, section_length, ctx);
     end;
 end;
 

src/wasm/parser/wasm.parser.validate.pas

@@ -0,0 +1,86 @@
+unit wasm.parser.validate;
+
+interface
+
+uses wasm.types.builtin, wasm.types.context;
+
+{ Validates a parsed WASM module for structural consistency.
+  Returns true if valid, false otherwise.
+  Sets errorMsg to a description of the first error found. }
+function validate_module(ctx : PWASMProcessContext; var errorMsg : TWASMPChar) : TWASMBoolean;
+
+implementation
+
+uses console;
+
+function validate_module(ctx : PWASMProcessContext; var errorMsg : TWASMPChar) : TWASMBoolean;
+var i : TWASMUInt32;
+begin
+    validate_module := true;
+
+    { Check 1: Binary must be valid (magic number was correct) }
+    if not ctx^.ValidBinary then begin
+        errorMsg := 'Invalid WASM binary: bad magic number';
+        validate_module := false;
+        exit;
+    end;
+
+    { Check 2: Version must be 1 (MVP) }
+    if ctx^.Version <> 1 then begin
+        errorMsg := 'Unsupported WASM version (expected 1)';
+        validate_module := false;
+        exit;
+    end;
+
+    { Check 3: If function section exists, code section must exist and counts must match }
+    if (ctx^.Sections.FunctionSection <> nil) then begin
+        if (ctx^.Sections.CodeSection = nil) then begin
+            errorMsg := 'Function section present but code section missing';
+            validate_module := false;
+            exit;
+        end;
+        if ctx^.Sections.FunctionSection^.FunctionCount <> ctx^.Sections.CodeSection^.CodeCount then begin
+            errorMsg := 'Function count does not match code count';
+            validate_module := false;
+            exit;
+        end;
+    end;
+
+    { Check 4: If code section exists, function section must exist }
+    if (ctx^.Sections.CodeSection <> nil) then begin
+        if (ctx^.Sections.FunctionSection = nil) then begin
+            errorMsg := 'Code section present but function section missing';
+            validate_module := false;
+            exit;
+        end;
+    end;
+
+    { Check 5: Function type indices must be within range of type section }
+    if (ctx^.Sections.FunctionSection <> nil) and (ctx^.Sections.TypeSection <> nil) then begin
+        for i := 0 to ctx^.Sections.FunctionSection^.FunctionCount - 1 do begin
+            if ctx^.Sections.FunctionSection^.Functions[i].Index >= ctx^.Sections.TypeSection^.TypeCount then begin
+                errorMsg := 'Function type index out of range';
+                validate_module := false;
+                exit;
+            end;
+        end;
+    end;
+
+    { Check 6: Start function index must be within range }
+    if ctx^.Sections.StartIndex >= 0 then begin
+        if (ctx^.Sections.FunctionSection = nil) then begin
+            errorMsg := 'Start function specified but no function section';
+            validate_module := false;
+            exit;
+        end;
+        if TWASMUInt32(ctx^.Sections.StartIndex) >= ctx^.Sections.FunctionSection^.FunctionCount then begin
+            errorMsg := 'Start function index out of range';
+            validate_module := false;
+            exit;
+        end;
+    end;
+
+    errorMsg := nil;
+end;
+
+end.

src/wasm/test/opcodes/wasm.test.opcode.datadrop.pas

@@ -0,0 +1,45 @@
+unit wasm.test.opcode.datadrop;
+
+interface
+
+procedure run;
+
+implementation
+
+uses
+    wasm.types.builtin, wasm.types.sections, wasm.types.context,
+    wasm.vm, wasm.test.framework, lmemorymanager;
+
+procedure run;
+var
+    { FC $09, data_idx=0 }
+    code : array[0..2] of TWASMUInt8;
+    ctx : PWASMProcessContext;
+    segData : array[0..1] of TWASMUInt8;
+begin
+    test_begin('opcode.data.drop');
+
+    code[0] := $FC; code[1] := $09; code[2] := $00;
+
+    { Drop a data segment }
+    segData[0] := $11; segData[1] := $22;
+    ctx := make_test_context(@code[0], 3);
+    ctx^.ExecutionState.DataSegments^.SegmentCount := 1;
+    ctx^.ExecutionState.DataSegments^.Segments := PWASMDataSegment(kalloc(sizeof(TWASMDataSegment)));
+    ctx^.ExecutionState.DataSegments^.Segments[0].Data := @segData[0];
+    ctx^.ExecutionState.DataSegments^.Segments[0].Size := 2;
+    ctx^.ExecutionState.DataSegments^.Segments[0].Dropped := false;
+    wasm.vm.tick(ctx);
+    assert_true('segment dropped', ctx^.ExecutionState.DataSegments^.Segments[0].Dropped);
+    assert_true('still running', ctx^.ExecutionState.Running);
+
+    { Drop invalid index traps }
+    ctx := make_test_context(@code[0], 3);
+    { SegmentCount = 0 (default), so data_idx=0 is out of range }
+    wasm.vm.tick(ctx);
+    assert_true('invalid_idx traps', not ctx^.ExecutionState.Running);
+
+    test_end;
+end;
+
+end.

src/wasm/test/opcodes/wasm.test.opcode.elemdrop.pas

@@ -0,0 +1,43 @@
+unit wasm.test.opcode.elemdrop;
+
+interface
+
+procedure run;
+
+implementation
+
+uses
+    wasm.types.builtin, wasm.types.sections, wasm.types.context,
+    wasm.vm, wasm.test.framework, lmemorymanager;
+
+procedure run;
+var
+    { FC $0D, elem_idx=0 }
+    code : array[0..2] of TWASMUInt8;
+    ctx : PWASMProcessContext;
+begin
+    test_begin('opcode.elem.drop');
+
+    code[0] := $FC; code[1] := $0D; code[2] := $00;
+
+    { Drop an element segment }
+    ctx := make_test_context(@code[0], 3);
+    ctx^.ExecutionState.ElementSegments^.SegmentCount := 1;
+    ctx^.ExecutionState.ElementSegments^.Segments := PWASMElementSegment(kalloc(sizeof(TWASMElementSegment)));
+    ctx^.ExecutionState.ElementSegments^.Segments[0].FuncCount := 2;
+    ctx^.ExecutionState.ElementSegments^.Segments[0].FuncIndices := TWASMPUInt32(kalloc(2 * sizeof(TWASMUInt32)));
+    ctx^.ExecutionState.ElementSegments^.Segments[0].Dropped := false;
+    wasm.vm.tick(ctx);
+    assert_true('segment dropped', ctx^.ExecutionState.ElementSegments^.Segments[0].Dropped);
+    assert_true('still running', ctx^.ExecutionState.Running);
+
+    { Drop invalid index traps }
+    ctx := make_test_context(@code[0], 3);
+    { SegmentCount = 0 (default), so elem_idx=0 is out of range }
+    wasm.vm.tick(ctx);
+    assert_true('invalid_idx traps', not ctx^.ExecutionState.Running);
+
+    test_end;
+end;
+
+end.

src/wasm/test/opcodes/wasm.test.opcode.f32abs.pas

@@ -0,0 +1,52 @@
+unit wasm.test.opcode.f32abs;
+
+interface
+
+procedure run;
+
+implementation
+
+uses
+    wasm.types.builtin, wasm.types.context, wasm.types.stack, wasm.vm, wasm.test.framework;
+
+procedure run;
+var
+    code : array[0..0] of TWASMUInt8;
+    ctx : PWASMProcessContext;
+    nanBits, resultBits : TWASMUInt32;
+    resultVal : TWASMFloat;
+begin
+    test_begin('opcode.f32.abs');
+
+    code[0] := $8B;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 3.5);
+    wasm.vm.tick(ctx);
+    assert_f32('abs(3.5)=3.5', popf32(ctx^.ExecutionState.Operand_Stack), 3.5);
+
+    code[0] := $8B;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, -3.5);
+    wasm.vm.tick(ctx);
+    assert_f32('abs(-3.5)=3.5', popf32(ctx^.ExecutionState.Operand_Stack), 3.5);
+
+    code[0] := $8B;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 0.0);
+    wasm.vm.tick(ctx);
+    assert_f32('abs(0.0)=0.0', popf32(ctx^.ExecutionState.Operand_Stack), 0.0);
+
+    { NaN propagation }
+    nanBits := $7FC00000;
+    code[0] := $8B;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, TWASMPFloat(@nanBits)^);
+    wasm.vm.tick(ctx);
+    resultVal := popf32(ctx^.ExecutionState.Operand_Stack);
+    resultBits := TWASMPUInt32(@resultVal)^;
+    assert_true('abs(NaN)=NaN', ((resultBits and $7F800000) = $7F800000) and ((resultBits and $007FFFFF) <> 0));
+
+    test_end;
+end;
+
+end.

src/wasm/test/opcodes/wasm.test.opcode.f32add.pas

@@ -0,0 +1,79 @@
+unit wasm.test.opcode.f32add;
+
+interface
+
+procedure run;
+
+implementation
+
+uses
+    wasm.types.builtin, wasm.types.context, wasm.types.stack, wasm.vm, wasm.test.framework;
+
+procedure run;
+var
+    code : array[0..0] of TWASMUInt8;
+    ctx : PWASMProcessContext;
+    nanBits, resultBits : TWASMUInt32;
+    resultVal : TWASMFloat;
+begin
+    test_begin('opcode.f32.add');
+
+    code[0] := $92;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 1.0);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 2.0);
+    wasm.vm.tick(ctx);
+    assert_f32('1.0+2.0=3.0', popf32(ctx^.ExecutionState.Operand_Stack), 3.0);
+
+    code[0] := $92;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, -1.0);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 1.0);
+    wasm.vm.tick(ctx);
+    assert_f32('-1.0+1.0=0.0', popf32(ctx^.ExecutionState.Operand_Stack), 0.0);
+
+    code[0] := $92;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 0.5);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 0.25);
+    wasm.vm.tick(ctx);
+    assert_f32('0.5+0.25=0.75', popf32(ctx^.ExecutionState.Operand_Stack), 0.75);
+
+    { NaN propagation }
+    nanBits := $7FC00000;
+    code[0] := $92;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, TWASMPFloat(@nanBits)^);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 1.0);
+    wasm.vm.tick(ctx);
+    resultVal := popf32(ctx^.ExecutionState.Operand_Stack);
+    resultBits := TWASMPUInt32(@resultVal)^;
+    assert_true('NaN+1.0=NaN', ((resultBits and $7F800000) = $7F800000) and ((resultBits and $007FFFFF) <> 0));
+
+    { Infinity: +Inf + 1 = +Inf }
+    nanBits := $7F800000; { +Inf }
+    code[0] := $92;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, TWASMPFloat(@nanBits)^);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 1.0);
+    wasm.vm.tick(ctx);
+    resultVal := popf32(ctx^.ExecutionState.Operand_Stack);
+    resultBits := TWASMPUInt32(@resultVal)^;
+    assert_true('+Inf+1=+Inf', resultBits = $7F800000);
+
+    { Infinity: +Inf + (-Inf) = NaN }
+    nanBits := $7F800000;
+    code[0] := $92;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, TWASMPFloat(@nanBits)^);
+    nanBits := $FF800000; { -Inf }
+    pushf32(ctx^.ExecutionState.Operand_Stack, TWASMPFloat(@nanBits)^);
+    wasm.vm.tick(ctx);
+    resultVal := popf32(ctx^.ExecutionState.Operand_Stack);
+    resultBits := TWASMPUInt32(@resultVal)^;
+    assert_true('+Inf+(-Inf)=NaN', ((resultBits and $7F800000) = $7F800000) and ((resultBits and $007FFFFF) <> 0));
+
+    test_end;
+end;
+
+end.

src/wasm/test/opcodes/wasm.test.opcode.f32ceil.pas

@@ -0,0 +1,72 @@
+unit wasm.test.opcode.f32ceil;
+
+interface
+
+procedure run;
+
+implementation
+
+uses
+    wasm.types.builtin, wasm.types.context, wasm.types.stack, wasm.vm, wasm.test.framework;
+
+procedure run;
+var
+    code : array[0..0] of TWASMUInt8;
+    ctx : PWASMProcessContext;
+    nanBits, resultBits : TWASMUInt32;
+    resultVal : TWASMFloat;
+begin
+    test_begin('opcode.f32.ceil');
+
+    code[0] := $8D;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 1.5);
+    wasm.vm.tick(ctx);
+    assert_f32('ceil(1.5)=2.0', popf32(ctx^.ExecutionState.Operand_Stack), 2.0);
+
+    code[0] := $8D;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, -1.5);
+    wasm.vm.tick(ctx);
+    assert_f32('ceil(-1.5)=-1.0', popf32(ctx^.ExecutionState.Operand_Stack), -1.0);
+
+    code[0] := $8D;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, 3.0);
+    wasm.vm.tick(ctx);
+    assert_f32('ceil(3.0)=3.0', popf32(ctx^.ExecutionState.Operand_Stack), 3.0);
+
+    { NaN propagation }
+    nanBits := $7FC00000;
+    code[0] := $8D;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, TWASMPFloat(@nanBits)^);
+    wasm.vm.tick(ctx);
+    resultVal := popf32(ctx^.ExecutionState.Operand_Stack);
+    resultBits := TWASMPUInt32(@resultVal)^;
+    assert_true('ceil(NaN)=NaN', ((resultBits and $7F800000) = $7F800000) and ((resultBits and $007FFFFF) <> 0));
+
+    { Infinity: ceil(+Inf) = +Inf }
+    nanBits := $7F800000;
+    code[0] := $8D;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, TWASMPFloat(@nanBits)^);
+    wasm.vm.tick(ctx);
+    resultVal := popf32(ctx^.ExecutionState.Operand_Stack);
+    resultBits := TWASMPUInt32(@resultVal)^;
+    assert_true('ceil(+Inf)=+Inf', resultBits = $7F800000);
+
+    { Infinity: ceil(-Inf) = -Inf }
+    nanBits := $FF800000;
+    code[0] := $8D;
+    ctx := make_test_context(@code[0], 1);
+    pushf32(ctx^.ExecutionState.Operand_Stack, TWASMPFloat(@nanBits)^);
+    wasm.vm.tick(ctx);
+    resultVal := popf32(ctx^.ExecutionState.Operand_Stack);
+    resultBits := TWASMPUInt32(@resultVal)^;
+    assert_true('ceil(-Inf)=-Inf', resultBits = $FF800000);
+
+    test_end;
+end;
+
+end.

src/wasm/test/opcodes/wasm.test.opcode.f32converti32s.pas

@@ -0,0 +1,40 @@
+unit wasm.test.opcode.f32converti32s;
+
+interface
+
+procedure run;
+
+implementation
+
+uses
+    wasm.types.builtin, wasm.types.context, wasm.types.stack, wasm.vm, wasm.test.framework;
+
+procedure run;
+var
+    code : array[0..0] of TWASMUInt8;
+    ctx : PWASMProcessContext;
+begin
+    test_begin('opcode.f32.convert_i32_s');
+
+    code[0] := $B2;
+    ctx := make_test_context(@code[0], 1);
+    pushi32(ctx^.ExecutionState.Operand_Stack, 42);
+    wasm.vm.tick(ctx);
+    assert_f32('convert(42)=42.0', popf32(ctx^.ExecutionState.Operand_Stack), 42.0);
+
+    code[0] := $B2;
+    ctx := make_test_context(@code[0], 1);
+    pushi32(ctx^.ExecutionState.Operand_Stack, -1);
+    wasm.vm.tick(ctx);
+    assert_f32('convert(-1)=-1.0', popf32(ctx^.ExecutionState.Operand_Stack), -1.0);
+
+    code[0] := $B2;
+    ctx := make_test_context(@code[0], 1);
+    pushi32(ctx^.ExecutionState.Operand_Stack, 0);
+    wasm.vm.tick(ctx);
+    assert_f32('convert(0)=0.0', popf32(ctx^.ExecutionState.Operand_Stack), 0.0);
+
+    test_end;
+end;
+
+end.

src/wasm/test/opcodes/wasm.test.opcode.f32converti32u.pas

@@ -0,0 +1,40 @@
+unit wasm.test.opcode.f32converti32u;
+
+interface
+
+procedure run;
+
+implementation
+
+uses
+    wasm.types.builtin, wasm.types.context, wasm.types.stack, wasm.vm, wasm.test.framework;
+
+procedure run;
+var
+    code : array[0..0] of TWASMUInt8;
+    ctx : PWASMProcessContext;
+begin
+    test_begin('opcode.f32.convert_i32_u');
+
+    code[0] := $B3;
+    ctx := make_test_context(@code[0], 1);
+    pushi32(ctx^.ExecutionState.Operand_Stack, 42);
+    wasm.vm.tick(ctx);
+    assert_f32('convert(42)=42.0', popf32(ctx^.ExecutionState.Operand_Stack), 42.0);
+
+    code[0] := $B3;
+    ctx := make_test_context(@code[0], 1);
+    pushi32(ctx^.ExecutionState.Operand_Stack, 0);
+    wasm.vm.tick(ctx);
+    assert_f32('convert(0)=0.0', popf32(ctx^.ExecutionState.Operand_Stack), 0.0);
+
+    code[0] := $B3;
+    ctx := make_test_context(@code[0], 1);
+    pushi32(ctx^.ExecutionState.Operand_Stack, 1);
+    wasm.vm.tick(ctx);
+    assert_f32('convert(1)=1.0', popf32(ctx^.ExecutionState.Operand_Stack), 1.0);
+
+    test_end;
+end;
+
+end.