perf: precisely short-circuit exact forwarders (`fmodf` et al. `libm` calls) and zero-forwarders (Motoko-specific)#5961

Draft

ggreif wants to merge 54 commits intomasterfrom

Commits on Apr 18, 2026

feat: wire constTrack into linkModule diagnostic pass, fix Wasm_exts types

ggreif
and
claude
committed
feat: replace flat-array heuristic with constTrack-based zero-forwarder rewriter

ggreif
and
claude
committed
feat: handle If/Block/Loop in constTrack abstract interpreter

ggreif
and
claude
committed
cleanup: open Wasm_exts.Ast at top of constTrack.ml

ggreif
and
claude
committed
cleanup: simplify constTrack — open Wasm.Source at top, use bprintf, filter

ggreif
and
claude
committed
feat: smart Select propagation in constTrack

ggreif
and
claude
committed
feat: BrIf fall-through, fix Block/If join-point depth tracking

ggreif
and
claude
committed
docs: update Phase 3 plan with Br/BrTable/BrIf effect sketches

ggreif
and
claude
committed
cleanup: remove diagnostics, dead code; wire up type_section

ggreif
and
claude
committed
docs: plan for updating Wasm_exts to WebAssembly/spec 2.0.2

ggreif
and
claude
committed
feat: local tracking, Compare, Test in constTrack

ggreif
and
claude
committed
feat: FromLocal backprop + Compare refinement in constTrack

ggreif
and
claude
committed
docs: GADT value type design opportunity in Wasm 2.0.2 plan

ggreif
and
claude
committed
feat: add constant tracking abstract interpreter for Wasm stack

ggreif
and
claude
committed

Commits on Apr 19, 2026

Commits on Apr 22, 2026