Implement surgical WASM linker#9305

Draft

lukewilliamboswell wants to merge 39 commits intomainfrom

Commits on Apr 1, 2026

Update WASM_SURGICAL_LINKING_PLAN.md
lukewilliamboswell
committed
Update WASM_SURGICAL_LINKING_PLAN.md
lukewilliamboswell
committed
Add padded LEB128 helpers for WASM surgical linking (Phase 1)

lukewilliamboswell
and
claude
committed
Add WASM linking data structures (Phase 2) and status table

lukewilliamboswell
and
claude
committed
Add WASM module parser (Phase 3) for surgical linking

lukewilliamboswell
and
claude
committed
Add surgical linking linkHostToAppCalls() (Phase 4) for WASM

lukewilliamboswell
and
claude
committed
Build wasm host as relocatable object and test parser against it

lukewilliamboswell
and
claude
committed
Add memory, table, and stack pointer ownership (Phase 5) for WASM surgical linking

lukewilliamboswell
and
claude
committed
Add WASM function pointer representation and RocOps layout (Phase 6) for surgical linking

lukewilliamboswell
and
claude
committed
Add RocCall ABI entrypoint and eval wrapper (Phase 7a) for WASM surgical linking

lukewilliamboswell
and
claude
committed
Add CodeBuilder and refactor WasmCodeGen (Phase 7b) for WASM surgical linking

lukewilliamboswell
and
claude
committed
Add mergeModule, BuiltinSymbols, and relocation resolution (Phase 8a/8b/8e) for WASM surgical linking

lukewilliamboswell
and
claude
committed
Add missing builtin wrappers for list equality, list reverse, and integer modulo

lukewilliamboswell
and
claude
committed
Remove all legacy builtin imports, add builtin_syms (Phase 8c+8d) for WASM surgical linking

lukewilliamboswell
and
claude
committed
Update WASM surgical linking plan: Phase 8 complete

lukewilliamboswell
and
claude
committed
Implement hosted call lowering for WASM backend (Phase 9) for WASM surgical linking

lukewilliamboswell
and
claude
committed
Implement dead code elimination (Phase 10) for WASM surgical linking

lukewilliamboswell
and
claude
committed
Add serialization tests (Phase 11) for WASM surgical linking

lukewilliamboswell
and
claude
committed
Implement CLI integration for wasm32 surgical linking (Phase 12)

lukewilliamboswell
and
claude
committed
Add PIC WASM support, eval builtins merging, and ABI fixes (Phase 13)

lukewilliamboswell
and
claude
committed
Fix list_append to use safe version and refcount-aware allocation

lukewilliamboswell
and
claude
committed
Add regression tests for list of strings and empty list join_with

lukewilliamboswell
and
claude
committed
Fix post-rebase issues: dead code, missing exports, build wiring

lukewilliamboswell
and
claude
committed
Fix reloc.CODE offset test and remove unused variable suppressions

lukewilliamboswell
and
claude
committed
WIP: Add debug diagnostics for wasm validation type mismatch

lukewilliamboswell
and
claude
committed
Fix mergeModule func_remap offset bug and add compiler-rt host functions

lukewilliamboswell
and
claude
committed
Update WASM surgical linking plan with rebase status and remaining work

lukewilliamboswell
and
claude
committed
Fix WASM eval pipeline: memory leaks, hangs, and null pointer trap

lukewilliamboswell
and
claude
committed
Fix reloc.DATA resolution, host RocOps registration, and import verification

lukewilliamboswell
and
claude
committed
Add missing doc comments to WasmCodeGen pub declarations

lukewilliamboswell
and
claude
committed
Fix memory leak in mergeModule test and add bytebox to backend test step

lukewilliamboswell
and
claude
committed
Update str_with_capacity.md
lukewilliamboswell
committed
Fix CI build: compile wasm32 builtins from source instead of expecting pre-built .o

lukewilliamboswell
and
claude
committed
Add Stdout.line! hosted effect to WASM test platform and fix linker bugs

lukewilliamboswell
and
claude
committed
Mark app-compiled functions as live in WASM DCE

lukewilliamboswell
and
claude
committed
Fix host data symbol addresses, app function DCE, and browser test page

lukewilliamboswell
and
claude
committed
Fix wasm32 Dec formatting: trailing zeros not trimmed

lukewilliamboswell
and
claude
committed

Commits on Apr 2, 2026