I literally don’t understand how the index masking is semantics preserving?
-
-
-
The mask is nextPowerOf2(length) - 1. That’s always a no-op in normal execution, and only masks when out of bounds, which only occurs in speculative execution because there’s always a size check branch before the access.
End of conversation
New conversation -
-
-
Rusts monomorphism lends itself really well to some traditional branch locations. Anywhere there’s a static boolean. Maybe we should make boolean generics a language supported feature?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.