[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <am7u8J2FCXG--C8b@intrepid>
Date: Sun, 2 Aug 2026 09:17:37 +0200
From: Markus Wichmann <nullplan@....net>
To: musl@...ts.openwall.com
Cc: Damian McGuckin <damianm@....com.au>
Subject: Re: Does MUSL assume both float and double always exist?
Am Sun, Aug 02, 2026 at 04:58:54PM +1000 schrieb Damian McGuckin:
>
> On Sun, 2 Aug 2026, Rich Felker wrote:
>
> > Yes.
>
> Thanks,
>
> > The C language requires that they do.
>
> Not really relevant here.
>
musl is an implementation of the C and POSIX standards. What they
specify is very much relevant. The only implementation I know of that
violates this is AVR-GCC, which is not a supported platform (it
implements both float and double in the binary32 format).
> > But if you mean as IEEE single and double, yes to that too. An arch
> > that can't do that in hardware needs to use soft float.
>
> IEEE 754 only mandates one. And it can be neither of float, double or long
> double. Again irrelevant. These days it can be BINARY16.
>
ISO-C Annex F requires that C implementations conforming to IEEE 754
have float be binary32 and double be binary64 format. So no, it cannot
be binary16. GCC implements binary16 with the __fp16 extension type that
musl does not support.
Ciao,
Markus
Powered by blists - more mailing lists
Confused about mailing lists and their use?
Read about mailing lists on Wikipedia
and check out these
guidelines on proper formatting of your messages.
