Isn’t it also using 32 bit pointers on 64 bit machines? That should also improve performance a bit. It’s a shame that the x32 ABI is almost abandoned nowadays,

Isn’t it also using 32 bit pointers on 64 bit machines? That should also improve performance a bit. It’s a shame that the x32 ABI is almost abandoned nowadays, it has some modest improvements for applications that don’t need that much memory.