[v8-dev] Design doc: Wasm memory64 Bounds checks elimination

[Paolo Severini]

Hello,

I have written a small doc to present the idea of using value range analysis to eliminate the bounds checks on Wasm 64-bit memories, when the index can be proved to be in-bounds.

Spec: https://docs.google.com/document/d/1eDKHLE1l1wJ0E_FBNivZDlNurA9rm5N-BIVjlGzs7gc/edit?tab=t.0#heading=h.xszs7cy4duy2

Prototype CL: https://chromium-review.googlesource.com/c/v8/v8/+/6980318

Your feedback is welcome! :-)

Thanks,
paolo