On Sun, 30 Mar 2025, 14:07 Thiago Macieira, <thiago_at_[hidden]> wrote:

> On Sunday, 30 March 2025 04:29:12 Eastern Daylight Time Jonathan Wakely
> wrote:
> > However, maybe Frederick is being fooled by the fact that the
> uint_fast32_t
> > on x86-64 Linux is "unsigned long" - that is, the same type as uint64_t
> and
> > uint_fast64_t. Someone decided that 64-bit on x86-64 was "faster" than
> > 32-bit and now we're stuck with that ABI.
> >
> > Right, that's why I consider them mostly useless.
> >
> > But I don't see why that would have anything to do with promotion.
>
> Frederick almost certainly used the wrong term. There is no promotion
> involved: 32-to-64 bit is a conversion not a promotion, and uint_fast32_t
> is
> already a 64-bit type.
>

This certainly looks like it's checking for promotion:

std::is_same< uint_fast32_t, decltype(uint_fast32_t() +
> uint_fast32_t())




> --
> Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
> Principal Engineer - Intel DCAI Platform & System Engineering
>
>
>
>