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 -- -- v8-dev mailing list [email protected] http://groups.google.com/group/v8-dev --- You received this message because you are subscribed to the Google Groups "v8-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/v8-dev/DU7PR83MB0855610C7E6DF4524111F315DC1CA%40DU7PR83MB0855.EURPRD83.prod.outlook.com.
