Re: Can we drop upstream Linux x32 support?

From: Florian Weimer
Date: Tue Dec 11 2018 - 03:16:18 EST

* Linus Torvalds:

> Apparently the main real use case is for extreme benchmarking. It's
> the only use-case where the complexity of maintaining a whole
> development environment and distro is worth it, it seems. Apparently a
> number of Spec submissions have been done with the x32 model.

Are you sure GCC was used for that?

ICC has a 32-bit pointer mode which does not change the (64-bit) kernel