On: Memory64

[felipellrocha]

Wait, how does that work?

[tzot → felipellrocha]

Think

    uint64_t buffer[1<<32];

and your “pointers” are indexes to that array:

    (void*)(buffer+index)

[PhilipRoman → felipellrocha]

If some subset of pointers has a guaranteed alignment of 2^N bytes, then the least significant N bits are always zero, and don't need to be stored explicitly (only restored when dereferencing the pointer)