Compare commits
17
Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
b6115c88eb | ||
|
|
152e6dc241 | ||
|
|
ac4c631a5c | ||
|
|
5bb7107997 | ||
|
|
757d762faf | ||
|
|
302dcb66f0 | ||
|
|
378f999143 | ||
|
|
c2e47ffd7a | ||
|
|
1f27b99284 | ||
|
|
0a4bd589ee | ||
|
|
eda3669ab2 | ||
|
|
a5b532d0c1 | ||
|
|
a8817e0350 | ||
|
|
b937e60838 | ||
|
|
255ad4806e | ||
|
|
93dfff358d | ||
|
|
3ed5c0a847 |
No files matched your search
@@ -1,3 +1,6 @@
|
|||||||
bin
|
bin
|
||||||
lib
|
lib
|
||||||
AGENTS.md
|
AGENTS.md
|
||||||
|
GAP_ANALYSIS.md
|
||||||
|
*.pdf
|
||||||
|
doc/WASI.md
|
||||||
@@ -1,78 +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" ^
|
|
||||||
-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"
|
|
||||||
)
|
|
||||||
@@ -0,0 +1,113 @@
|
|||||||
|
# build.ps1 — Build script for the WASURO project
|
||||||
|
param(
|
||||||
|
[switch]$Test,
|
||||||
|
[switch]$Clean,
|
||||||
|
[switch]$Run,
|
||||||
|
[switch]$Help,
|
||||||
|
[switch]$Debug,
|
||||||
|
[switch]$E2E
|
||||||
|
)
|
||||||
|
|
||||||
|
# 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 }
|
||||||
|
'debug' { $Debug = $true }
|
||||||
|
'help' { $Help = $true }
|
||||||
|
'e2e' { $E2E = $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 ' e2e - Run end-to-end wat tests'
|
||||||
|
Write-Host ' debug - Build with debug info and assertions enabled'
|
||||||
|
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'
|
||||||
|
|
||||||
|
if (($Test -and $E2E) -or ($Run -and $E2E)) {
|
||||||
|
Write-Host 'Error: --e2e cannot be combined with --test or --run. E2E implies a run of E2E wat tests.' -ForegroundColor Red
|
||||||
|
exit 1
|
||||||
|
}
|
||||||
|
|
||||||
|
# ── 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-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' }
|
||||||
|
if ($Debug) { $TestFlags += '-dDEBUG_OUTPUT' }
|
||||||
|
|
||||||
|
$fpcArgs = @(
|
||||||
|
$TestFlags
|
||||||
|
"-v0ew"
|
||||||
|
"-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"
|
||||||
|
"-Fu$Src\wasm\wasi"
|
||||||
|
"-Fu$Src\wasm\wasi\preview1"
|
||||||
|
"-Fu$Src\wasm\test\wasi"
|
||||||
|
'-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"
|
||||||
|
}
|
||||||
|
|
||||||
|
if ($E2E) {
|
||||||
|
Write-Host 'Running end-to-end WAT tests...'
|
||||||
|
& (Join-Path $Root 'wat.ps1')
|
||||||
|
if ($LASTEXITCODE -ne 0) {
|
||||||
|
Write-Host "WAT tests failed with error code $LASTEXITCODE"
|
||||||
|
exit $LASTEXITCODE
|
||||||
|
}
|
||||||
|
exit $LASTEXITCODE
|
||||||
|
}
|
||||||
@@ -1,5 +1,5 @@
|
|||||||
# lint.ps1 — Static lint rules for the WASURO project
|
# 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(
|
param(
|
||||||
[string]$SrcRoot = (Join-Path $PSScriptRoot 'src')
|
[string]$SrcRoot = (Join-Path $PSScriptRoot 'src')
|
||||||
)
|
)
|
||||||
@@ -43,6 +43,6 @@ if ($ruleHits -gt 0) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
# ── Add more rules here ─────────────────────────────────────────────
|
# ── Add more rules here ─────────────────────────────────────────────
|
||||||
|
|
||||||
if ($fail) { exit 1 }
|
if ($fail) { exit 1 }
|
||||||
Write-Host 'Lint passed.'
|
Write-Host 'Lint passed.'
|
||||||
|
exit 0
|
||||||
File diff suppressed because it is too large.
Load diff
@@ -1,66 +0,0 @@
|
|||||||
unit leb128;
|
|
||||||
|
|
||||||
interface
|
|
||||||
|
|
||||||
uses
|
|
||||||
types;
|
|
||||||
|
|
||||||
function read_leb128_to_uint64(buf : puint8; buf_end : puint8; res : puint64) : uint8;
|
|
||||||
function read_leb128_to_uint32(buf : puint8; buf_end : puint8; res : puint32) : uint8;
|
|
||||||
|
|
||||||
implementation
|
|
||||||
|
|
||||||
function read_leb128_to_uint64(buf: puint8; buf_end: puint8; res: puint64): uint8;
|
|
||||||
var
|
|
||||||
ptr : puint8;
|
|
||||||
shift : uint32;
|
|
||||||
localResult : uint64;
|
|
||||||
currentByte : uint8;
|
|
||||||
|
|
||||||
begin
|
|
||||||
ptr:= buf;
|
|
||||||
shift:= 0;
|
|
||||||
localResult:= 0;
|
|
||||||
while (true) do begin
|
|
||||||
if (ptr >= buf_end) then begin
|
|
||||||
read_leb128_to_uint64:= 0;
|
|
||||||
exit;
|
|
||||||
end;
|
|
||||||
currentByte:= ptr^;
|
|
||||||
inc(ptr);
|
|
||||||
localResult:= localResult or uint64(currentByte and $7F) SHL Shift;
|
|
||||||
if ((currentByte AND $80) = 0) then break;
|
|
||||||
Inc(Shift, 7);
|
|
||||||
end;
|
|
||||||
res^:= localResult;
|
|
||||||
read_leb128_to_uint64:= uint8(ptr - buf);
|
|
||||||
end;
|
|
||||||
|
|
||||||
function read_leb128_to_uint32(buf: puint8; buf_end: puint8; res: puint32): uint8;
|
|
||||||
var
|
|
||||||
ptr : puint8;
|
|
||||||
shift : uint32;
|
|
||||||
localResult : uint32;
|
|
||||||
currentByte : uint8;
|
|
||||||
|
|
||||||
begin
|
|
||||||
ptr:= buf;
|
|
||||||
shift:= 0;
|
|
||||||
localResult:= 0;
|
|
||||||
while (true) do begin
|
|
||||||
if (ptr >= buf_end) then begin
|
|
||||||
read_leb128_to_uint32:= 0;
|
|
||||||
exit;
|
|
||||||
end;
|
|
||||||
currentByte:= ptr^;
|
|
||||||
inc(ptr);
|
|
||||||
localResult:= localResult or uint64(currentByte and $7F) SHL Shift;
|
|
||||||
if ((currentByte AND $80) = 0) then break;
|
|
||||||
Inc(Shift, 7);
|
|
||||||
end;
|
|
||||||
res^:= localResult;
|
|
||||||
read_leb128_to_uint32:= uint8(ptr - buf);
|
|
||||||
end;
|
|
||||||
|
|
||||||
end.
|
|
||||||
|
|
||||||
+1
-1
@@ -36,7 +36,7 @@ type
|
|||||||
sInt8 = shortint;
|
sInt8 = shortint;
|
||||||
sInt16 = smallint;
|
sInt16 = smallint;
|
||||||
sInt32 = integer;
|
sInt32 = integer;
|
||||||
sInt64 = longint;
|
sInt64 = int64;
|
||||||
|
|
||||||
Float = Single;
|
Float = Single;
|
||||||
|
|
||||||
|
|||||||
@@ -0,0 +1,112 @@
|
|||||||
|
{ Emulator-layer WASI OS hook implementations.
|
||||||
|
This unit provides native hook callbacks for running WASI programs
|
||||||
|
on a host OS (Windows/Linux). On bare-metal (Asuro), these would be
|
||||||
|
replaced by kernel-level implementations.
|
||||||
|
|
||||||
|
Hooks are registered per-context via PWASMProcessContext.
|
||||||
|
This unit has NO knowledge of WASM internals (no stacks, no linear memory). }
|
||||||
|
unit wasi.emu.hooks;
|
||||||
|
|
||||||
|
interface
|
||||||
|
|
||||||
|
uses
|
||||||
|
wasm.types.context;
|
||||||
|
|
||||||
|
procedure register_emu_hooks(ctx : PWASMProcessContext);
|
||||||
|
|
||||||
|
implementation
|
||||||
|
|
||||||
|
uses
|
||||||
|
wasm.types.builtin,
|
||||||
|
wasm.wasi.hooks,
|
||||||
|
wasm.types.wasi;
|
||||||
|
|
||||||
|
{ fd_write: write buf to stdout (fd=1) or stderr (fd=2) }
|
||||||
|
function emu_fd_write(fd: TWASMUInt32;
|
||||||
|
buf: TWASMPUInt8;
|
||||||
|
len: TWASMUInt32): TWASMUInt32;
|
||||||
|
var
|
||||||
|
i: TWASMUInt32;
|
||||||
|
begin
|
||||||
|
if (fd = 1) or (fd = 2) then begin
|
||||||
|
for i := 0 to len - 1 do
|
||||||
|
Write(TWASMChar(buf[i]));
|
||||||
|
emu_fd_write := len;
|
||||||
|
end else
|
||||||
|
emu_fd_write := 0;
|
||||||
|
end;
|
||||||
|
|
||||||
|
{ fd_read: stub — no stdin support in emu layer yet }
|
||||||
|
function emu_fd_read(fd: TWASMUInt32;
|
||||||
|
buf: TWASMPUInt8;
|
||||||
|
len: TWASMUInt32): TWASMUInt32;
|
||||||
|
begin
|
||||||
|
emu_fd_read := 0;
|
||||||
|
end;
|
||||||
|
|
||||||
|
{ fd_close: no-op for emu layer }
|
||||||
|
function emu_fd_close(fd: TWASMUInt32): TWASMUInt32;
|
||||||
|
begin
|
||||||
|
emu_fd_close := 0; { ESUCCESS }
|
||||||
|
end;
|
||||||
|
|
||||||
|
{ proc_exit: halt the program with the given exit code }
|
||||||
|
procedure emu_proc_exit(code: TWASMUInt32);
|
||||||
|
begin
|
||||||
|
{ The glue layer already sets Running := false and ExitCode.
|
||||||
|
On the emu layer, we also halt the host process. }
|
||||||
|
halt(code);
|
||||||
|
end;
|
||||||
|
|
||||||
|
{ clock_time_get: return current time in nanoseconds }
|
||||||
|
function emu_clock_time_get(clock_id: TWASMUInt32;
|
||||||
|
precision: TWASMUInt64;
|
||||||
|
var time: TWASMUInt64): TWASMUInt32;
|
||||||
|
begin
|
||||||
|
{ Stub: return 0 nanoseconds. On a real OS we would query the system clock.
|
||||||
|
Bare-metal would use RDTSC or PIT. }
|
||||||
|
time := 0;
|
||||||
|
emu_clock_time_get := WASI_ESUCCESS;
|
||||||
|
end;
|
||||||
|
|
||||||
|
{ clock_res_get: return clock resolution in nanoseconds }
|
||||||
|
function emu_clock_res_get(clock_id: TWASMUInt32;
|
||||||
|
var resolution: TWASMUInt64): TWASMUInt32;
|
||||||
|
begin
|
||||||
|
{ Stub: report 1ms resolution }
|
||||||
|
resolution := 1000000;
|
||||||
|
emu_clock_res_get := WASI_ESUCCESS;
|
||||||
|
end;
|
||||||
|
|
||||||
|
{ random_get: fill buffer with random bytes }
|
||||||
|
function emu_random_get(buf: TWASMPUInt8;
|
||||||
|
len: TWASMUInt32): TWASMUInt32;
|
||||||
|
var
|
||||||
|
i: TWASMUInt32;
|
||||||
|
state: TWASMUInt32;
|
||||||
|
begin
|
||||||
|
{ Simple xorshift PRNG — not cryptographic, but deterministic
|
||||||
|
and works without RTL. On bare-metal, use RDRAND. }
|
||||||
|
state := 2463534242; { seed }
|
||||||
|
for i := 0 to len - 1 do begin
|
||||||
|
state := state xor (state shl 13);
|
||||||
|
state := state xor (state shr 17);
|
||||||
|
state := state xor (state shl 5);
|
||||||
|
buf[i] := TWASMUInt8(state and $FF);
|
||||||
|
end;
|
||||||
|
emu_random_get := WASI_ESUCCESS;
|
||||||
|
end;
|
||||||
|
|
||||||
|
procedure register_emu_hooks(ctx : PWASMProcessContext);
|
||||||
|
begin
|
||||||
|
wasm.wasi.hooks.init_hook_table(ctx);
|
||||||
|
wasm.wasi.hooks.register_fd_write(ctx, @emu_fd_write);
|
||||||
|
wasm.wasi.hooks.register_fd_read(ctx, @emu_fd_read);
|
||||||
|
wasm.wasi.hooks.register_fd_close(ctx, @emu_fd_close);
|
||||||
|
wasm.wasi.hooks.register_proc_exit(ctx, @emu_proc_exit);
|
||||||
|
wasm.wasi.hooks.register_clock_time_get(ctx, @emu_clock_time_get);
|
||||||
|
wasm.wasi.hooks.register_clock_res_get(ctx, @emu_clock_res_get);
|
||||||
|
wasm.wasi.hooks.register_random_get(ctx, @emu_random_get);
|
||||||
|
end;
|
||||||
|
|
||||||
|
end.
|
||||||
+67
-23
@@ -2,46 +2,90 @@ program WASURO;
|
|||||||
|
|
||||||
uses
|
uses
|
||||||
sysutils,
|
sysutils,
|
||||||
|
wasm.vm.io,
|
||||||
console,
|
wasm.types.builtin,
|
||||||
|
|
||||||
types,
|
|
||||||
|
|
||||||
wasm.types.context,
|
wasm.types.context,
|
||||||
wasm.parser,
|
wasm,
|
||||||
wasm.vm, wasm.test.binary.return42,
|
|
||||||
wasm.types.stack
|
{ Emu-layer OS hooks }
|
||||||
|
wasi.emu.hooks
|
||||||
|
|
||||||
{$IFDEF RUN_TESTS}
|
{$IFDEF RUN_TESTS}
|
||||||
, wasm.test
|
, wasm.test
|
||||||
, wasm.test.framework
|
, wasm.test.framework
|
||||||
{$ENDIF}
|
{$ENDIF}
|
||||||
;
|
;
|
||||||
|
|
||||||
|
{ Emu-layer writechar hook — forwards to RTL Write for host OS output }
|
||||||
|
procedure emu_writechar(ch : TWASMChar);
|
||||||
|
begin
|
||||||
|
Write(ch);
|
||||||
|
end;
|
||||||
|
|
||||||
var
|
var
|
||||||
Context : PWASMProcessContext;
|
Context : PWASMProcessContext;
|
||||||
|
ModuleSize : Int64;
|
||||||
|
ModuleBuffer : TWASMPUInt8;
|
||||||
|
ModuleFile : File;
|
||||||
|
|
||||||
begin
|
begin
|
||||||
|
{ Wire up the IO subsystem before anything else }
|
||||||
|
wasm.vm.io.io_set_writechar(@emu_writechar);
|
||||||
|
|
||||||
{$IFDEF RUN_TESTS}
|
{$IFDEF RUN_TESTS}
|
||||||
wasm.vm.init();
|
wasm.wasm_init;
|
||||||
wasm.test.run_all_tests;
|
wasm.test.run_all_tests;
|
||||||
halt(wasm.test.framework.FailedTests);
|
halt(wasm.test.framework.FailedTests);
|
||||||
{$ELSE}
|
{$ELSE}
|
||||||
writestringln('[main] Initializing VM');
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
wasm.vm.init();
|
wasm.vm.io.writestringln('WASURO - WebAssembly Runtime in Object Pascal');
|
||||||
|
{$ENDIF}
|
||||||
|
wasm.wasm_init;
|
||||||
|
|
||||||
writestringln('[main] Parsing WASM Binary');
|
if ParamCount > 0 then begin
|
||||||
Context:= wasm.parser.parse(@wasm.test.binary.return42.BINARY[0], puint8(@wasm.test.binary.return42.BINARY[0] + wasm.test.binary.return42.BINARY_SIZE));
|
if not FileExists(ParamStr(1)) then begin
|
||||||
|
wasm.vm.io.writestringln('File not found.');
|
||||||
writestringln('[main] Running...');
|
halt(1);
|
||||||
Context^.ExecutionState.Running:= true;
|
end;
|
||||||
while (wasm.vm.tick(Context)) do;
|
Assign(ModuleFile, ParamStr(1));
|
||||||
writestringln('[main] Finished Execution');
|
Reset(ModuleFile, 1);
|
||||||
writestring('[main] Returns: ');
|
ModuleSize := FileSize(ModuleFile);
|
||||||
while Context^.ExecutionState.Operand_Stack^.Top > 0 do begin
|
GetMem(ModuleBuffer, ModuleSize);
|
||||||
write(wasm.types.stack.popi32(Context^.ExecutionState.Operand_Stack),', ');
|
BlockRead(ModuleFile, ModuleBuffer^, ModuleSize);
|
||||||
|
Close(ModuleFile);
|
||||||
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
|
write('Module loaded from file: ');
|
||||||
|
writeln(ParamStr(1));
|
||||||
|
{$ENDIF}
|
||||||
|
|
||||||
|
{ Load, configure, and run the WASM module }
|
||||||
|
Context := wasm.wasm_load(ModuleBuffer, TWASMPUInt8(ModuleBuffer + ModuleSize));
|
||||||
|
|
||||||
|
if not Context^.ValidBinary then begin
|
||||||
|
wasm.vm.io.writestringln('Error: Invalid WASM binary.');
|
||||||
|
halt(1);
|
||||||
|
end;
|
||||||
|
|
||||||
|
{ Register emu-layer OS hooks and WASI preview1 into context }
|
||||||
|
wasi.emu.hooks.register_emu_hooks(Context);
|
||||||
|
wasm.wasm_register_wasi_preview1(Context);
|
||||||
|
|
||||||
|
{ Find _start and run to completion }
|
||||||
|
if not wasm.wasm_start(Context) then begin
|
||||||
|
wasm.vm.io.writestringln('No _start export found.');
|
||||||
|
halt(1);
|
||||||
|
end;
|
||||||
|
|
||||||
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
|
wasm.wasm_dump_state(Context);
|
||||||
|
{$ENDIF}
|
||||||
|
|
||||||
|
FreeMem(ModuleBuffer);
|
||||||
|
halt(Context^.ExitCode);
|
||||||
|
end else begin
|
||||||
|
wasm.vm.io.writestringln('Usage: WASURO <module.wasm>');
|
||||||
|
halt(1);
|
||||||
end;
|
end;
|
||||||
writeln();
|
|
||||||
while true do sleep(1000);
|
|
||||||
{$ENDIF}
|
{$ENDIF}
|
||||||
end.
|
end.
|
||||||
|
|
||||||
@@ -3,7 +3,7 @@ unit wasm.parser.sections.codeSection;
|
|||||||
interface
|
interface
|
||||||
|
|
||||||
uses
|
uses
|
||||||
wasm.types.builtin, lmemorymanager, console, leb128,
|
wasm.types.builtin, lmemorymanager, wasm.vm.io, wasm.types.leb128,
|
||||||
wasm.types.enums, wasm.types.values, wasm.types.sections, wasm.types.context;
|
wasm.types.enums, wasm.types.values, wasm.types.sections, wasm.types.context;
|
||||||
|
|
||||||
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
||||||
@@ -72,8 +72,10 @@ var
|
|||||||
totalSize: TWASMUInt32;
|
totalSize: TWASMUInt32;
|
||||||
|
|
||||||
begin
|
begin
|
||||||
writestring('[wasm.parser] Handle Section: Code - Size: ');
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
writeintlnWND(section_length, 0);
|
wasm.vm.io.writestring('[wasm.parser] Handle Section: Code - Size: ');
|
||||||
|
wasm.vm.io.writeintlnWND(section_length, 0);
|
||||||
|
{$ENDIF}
|
||||||
|
|
||||||
// Initialize the read/end pointers
|
// Initialize the read/end pointers
|
||||||
pos:= buffer;
|
pos:= buffer;
|
||||||
@@ -183,8 +185,9 @@ begin
|
|||||||
end;
|
end;
|
||||||
end;
|
end;
|
||||||
end;
|
end;
|
||||||
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
walk(ctx);
|
walk(ctx);
|
||||||
|
{$ENDIF}
|
||||||
end;
|
end;
|
||||||
|
|
||||||
end.
|
end.
|
||||||
@@ -3,7 +3,7 @@ unit wasm.parser.sections.customSection;
|
|||||||
interface
|
interface
|
||||||
|
|
||||||
uses
|
uses
|
||||||
wasm.types.builtin, lmemorymanager, console, leb128,
|
wasm.types.builtin, lmemorymanager, wasm.vm.io, wasm.types.leb128,
|
||||||
wasm.types.context;
|
wasm.types.context;
|
||||||
|
|
||||||
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
||||||
@@ -12,8 +12,12 @@ implementation
|
|||||||
|
|
||||||
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
||||||
begin
|
begin
|
||||||
writestring('[wasm.parser] Handle Section: Custom - Size: ');
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
writeintlnWND(section_length, 0);
|
wasm.vm.io.writestring('[wasm.parser] Handle Section: Custom - Size: ');
|
||||||
|
wasm.vm.io.writeintlnWND(section_length, 0);
|
||||||
|
{$ENDIF}
|
||||||
|
{ Custom sections are ignored in this implementation }
|
||||||
|
wasm.vm.io.writestringln('[wasm.parser] TODO: Custom section skipped.');
|
||||||
end;
|
end;
|
||||||
|
|
||||||
end.
|
end.
|
||||||
@@ -0,0 +1,48 @@
|
|||||||
|
unit wasm.parser.sections.dataCountSection;
|
||||||
|
|
||||||
|
interface
|
||||||
|
|
||||||
|
uses
|
||||||
|
wasm.types.builtin, wasm.types.context;
|
||||||
|
|
||||||
|
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
||||||
|
|
||||||
|
implementation
|
||||||
|
|
||||||
|
uses wasm.vm.io, wasm.types.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
|
||||||
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
|
wasm.vm.io.writestring('[wasm.parser] Handle Section: DataCount - Size: ');
|
||||||
|
wasm.vm.io.writeintlnWND(section_length, 0);
|
||||||
|
{$ENDIF}
|
||||||
|
|
||||||
|
pos := buffer;
|
||||||
|
bend := TWASMPUInt8(buffer + section_length);
|
||||||
|
|
||||||
|
bytesRead := read_leb128_to_uint32(pos, bend, @dataCount);
|
||||||
|
Inc(pos, bytesRead);
|
||||||
|
|
||||||
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
|
writestring('[wasm.parser] Data Count: ');
|
||||||
|
writeintlnWND(dataCount, 0);
|
||||||
|
{$ENDIF}
|
||||||
|
|
||||||
|
{ 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.
|
||||||
File diff suppressed because it is too large.
Load diff
File diff suppressed because it is too large.
Load diff
@@ -3,7 +3,7 @@ unit wasm.parser.sections.exportSection;
|
|||||||
interface
|
interface
|
||||||
|
|
||||||
uses
|
uses
|
||||||
wasm.types.builtin, lmemorymanager, console, leb128,
|
wasm.types.builtin, lmemorymanager, wasm.vm.io, wasm.types.leb128,
|
||||||
wasm.types.enums, wasm.types.sections, wasm.types.context;
|
wasm.types.enums, wasm.types.sections, wasm.types.context;
|
||||||
|
|
||||||
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
||||||
@@ -36,8 +36,10 @@ var
|
|||||||
i,j : TWASMUInt32;
|
i,j : TWASMUInt32;
|
||||||
|
|
||||||
begin
|
begin
|
||||||
writestring('[wasm.parser] Handle Section: Export - Size: ');
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
writeintlnWND(section_length, 0);
|
wasm.vm.io.writestring('[wasm.parser] Handle Section: Export - Size: ');
|
||||||
|
wasm.vm.io.writeintlnWND(section_length, 0);
|
||||||
|
{$ENDIF}
|
||||||
|
|
||||||
// Initialize the read/end pointers
|
// Initialize the read/end pointers
|
||||||
pos:= buffer;
|
pos:= buffer;
|
||||||
@@ -85,8 +87,9 @@ begin
|
|||||||
inc(pos, bytesRead);
|
inc(pos, bytesRead);
|
||||||
end;
|
end;
|
||||||
end;
|
end;
|
||||||
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
walk(ctx);
|
walk(ctx);
|
||||||
|
{$ENDIF}
|
||||||
end;
|
end;
|
||||||
|
|
||||||
end.
|
end.
|
||||||
@@ -3,7 +3,7 @@ unit wasm.parser.sections.functionSection;
|
|||||||
interface
|
interface
|
||||||
|
|
||||||
uses
|
uses
|
||||||
wasm.types.builtin, lmemorymanager, console, leb128,
|
wasm.types.builtin, lmemorymanager, wasm.vm.io, wasm.types.leb128,
|
||||||
wasm.types.sections, wasm.types.context;
|
wasm.types.sections, wasm.types.context;
|
||||||
|
|
||||||
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
||||||
@@ -32,8 +32,10 @@ var
|
|||||||
i : TWASMUInt32;
|
i : TWASMUInt32;
|
||||||
|
|
||||||
begin
|
begin
|
||||||
writestring('[wasm.parser] Handle Section: Function - Size: ');
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
writeintlnWND(section_length, 0);
|
wasm.vm.io.writestring('[wasm.parser] Handle Section: Function - Size: ');
|
||||||
|
wasm.vm.io.writeintlnWND(section_length, 0);
|
||||||
|
{$ENDIF}
|
||||||
|
|
||||||
// Initialize the read/end pointers
|
// Initialize the read/end pointers
|
||||||
pos:= buffer;
|
pos:= buffer;
|
||||||
@@ -64,8 +66,9 @@ begin
|
|||||||
inc(pos, bytesRead);
|
inc(pos, bytesRead);
|
||||||
end;
|
end;
|
||||||
end;
|
end;
|
||||||
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
walk(ctx);
|
walk(ctx);
|
||||||
|
{$ENDIF}
|
||||||
end;
|
end;
|
||||||
|
|
||||||
end.
|
end.
|
||||||
@@ -3,7 +3,7 @@ unit wasm.parser.sections.globalSection;
|
|||||||
interface
|
interface
|
||||||
|
|
||||||
uses
|
uses
|
||||||
wasm.types.builtin, lmemorymanager, console, leb128,
|
wasm.types.builtin, lmemorymanager, wasm.vm.io, wasm.types.leb128,
|
||||||
wasm.types.enums, wasm.types.sections, wasm.types.context;
|
wasm.types.enums, wasm.types.sections, wasm.types.context;
|
||||||
|
|
||||||
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
||||||
@@ -49,8 +49,10 @@ var
|
|||||||
tmpU64 : TWASMUInt64;
|
tmpU64 : TWASMUInt64;
|
||||||
|
|
||||||
begin
|
begin
|
||||||
writestring('[wasm.parser] Handle Section: Global - Size: ');
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
writeintlnWND(section_length, 0);
|
wasm.vm.io.writestring('[wasm.parser] Handle Section: Global - Size: ');
|
||||||
|
wasm.vm.io.writeintlnWND(section_length, 0);
|
||||||
|
{$ENDIF}
|
||||||
|
|
||||||
pos := buffer;
|
pos := buffer;
|
||||||
bend := TWASMPUInt8(buffer + section_length);
|
bend := TWASMPUInt8(buffer + section_length);
|
||||||
@@ -115,8 +117,9 @@ begin
|
|||||||
if (pos < bend) and (pos^ = $0B) then
|
if (pos < bend) and (pos^ = $0B) then
|
||||||
Inc(pos);
|
Inc(pos);
|
||||||
end;
|
end;
|
||||||
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
walk(ctx);
|
walk(ctx);
|
||||||
|
{$ENDIF}
|
||||||
end;
|
end;
|
||||||
|
|
||||||
end.
|
end.
|
||||||
File diff suppressed because it is too large.
Load diff
@@ -3,7 +3,7 @@ unit wasm.parser.sections.memorySection;
|
|||||||
interface
|
interface
|
||||||
|
|
||||||
uses
|
uses
|
||||||
wasm.types.builtin, lmemorymanager, console, leb128,
|
wasm.types.builtin, lmemorymanager, wasm.vm.io, wasm.types.leb128,
|
||||||
wasm.types.sections, wasm.types.context, wasm.types.heap;
|
wasm.types.sections, wasm.types.context, wasm.types.heap;
|
||||||
|
|
||||||
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
procedure handle(buffer: TWASMPUInt8; section_length: TWASMUInt32; ctx: PWASMProcessContext);
|
||||||
@@ -39,8 +39,10 @@ var
|
|||||||
flags : TWASMUInt32;
|
flags : TWASMUInt32;
|
||||||
|
|
||||||
begin
|
begin
|
||||||
writestring('[wasm.parser] Handle Section: Memory - Size: ');
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
writeintlnWND(section_length, 0);
|
wasm.vm.io.writestring('[wasm.parser] Handle Section: Memory - Size: ');
|
||||||
|
wasm.vm.io.writeintlnWND(section_length, 0);
|
||||||
|
{$ENDIF}
|
||||||
|
|
||||||
pos := buffer;
|
pos := buffer;
|
||||||
bend := TWASMPUInt8(buffer + section_length);
|
bend := TWASMPUInt8(buffer + section_length);
|
||||||
@@ -77,8 +79,9 @@ begin
|
|||||||
while ctx^.ExecutionState.Memory^.PageCount < mem^.InitialPages do
|
while ctx^.ExecutionState.Memory^.PageCount < mem^.InitialPages do
|
||||||
wasm.types.heap.expand_heap(ctx^.ExecutionState.Memory);
|
wasm.types.heap.expand_heap(ctx^.ExecutionState.Memory);
|
||||||
end;
|
end;
|
||||||
|
{$IFDEF DEBUG_OUTPUT}
|
||||||
walk(ctx);
|
walk(ctx);
|
||||||
|
{$ENDIF}
|
||||||
end;
|
end;
|
||||||
|
|
||||||
end.
|
end.
|
||||||
Loaded 20 of 394 files, more files were not shown because too many files have changed in this diff.
Show more
Reference in new issue
Block a user