[1/2] `call_indirect` implementation - #1251

Merged

bitwalker merged 42 commits into

nextfrom

call-indirect-frontend

Aug 7, 2026

Commits on Aug 4, 2026

feat: support wasm call_indirect via function tables and dynexec
greenhat
committed
87adf51
fix: respect module-reserved linear memory in the linker layout
greenhat
committed
7f4be23
docs: state that the call_indirect type check is intentionally omitted
greenhat
committed
f12f9af
fix(frontend): build function tables from a final slot image
greenhat
committed
328f446
fix(hir): preserve layout-critical IR across textual round-trips
greenhat
committed
1fac37f
fix(codegen): report layout and table failures as errors, not panics
greenhat
committed
c2da269
test: execute the runtime failure modes of indirect calls
greenhat
committed
db59cbf
docs: correct stale dynexec and indirect-call documentation
greenhat
committed
a960341
fix(frontend): lower all-null function tables and use hygienic table names
greenhat
committed
4cc8c4f
fix(codegen): finish checked layout arithmetic and scope entry legality
greenhat
committed
7763000
feat: check callee signatures before indirect-call dispatch
greenhat
committed
3c36645
fix(analysis): propagate advice taint through indirect calls
greenhat
committed
55d3abe
fix(codegen): compute the heap base in the fallible linker path
greenhat
committed
a7e00d9
chore: adapt indirect-call emission and tests to the v0.25 assembly API
greenhat
committed
f1101ae
fix(codegen): keep component-internal modules out of the package surface
greenhat
committed
fff0509
fix(frontend): bump generated table names until they are free
greenhat
committed
0b91cf7
fix(codegen): reject IR the indirect-call lowering would panic on
greenhat
committed
c6e7a39

Commits on Aug 6, 2026

fix(hir): resolve function table entries from their own symbol table
bitwalker
committed
80d77ac

Commits on Aug 7, 2026