Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Thomas Koenig Newsgroups: comp.arch Subject: Re: Making Lemonade (Floating-point format changes) Date: Tue, 21 May 2024 05:49:55 -0000 (UTC) Organization: A noiseless patient Spider Lines: 32 Message-ID: References: <20240513151647.0000403f@yahoo.com> <20240514221659.00001094@yahoo.com> <20240516001628.00001031@yahoo.com> <20240519203403.00003e9b@yahoo.com> <20240520113045.000050c5@yahoo.com> <20240520153630.00000b5a@yahoo.com> Injection-Date: Tue, 21 May 2024 07:49:56 +0200 (CEST) Injection-Info: dont-email.me; posting-host="5a882775c5e045fc52c85cb352fc148c"; logging-data="493357"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/mS0WD4kUXk7gQ7uZwWcn7F9sEW+h4Fvk=" User-Agent: slrn/1.0.3 (Linux) Cancel-Lock: sha1:Ug7jTfwsTkDXgV5jTMinOLq5xaQ= Bytes: 2615 BGB schrieb: > Granted, they are not necessarily the option one would go if they wanted > "cheapest possible FPU that is still good enough to be usable". > > Though, the point at which an FPU manages to suck badly enough that one > needs to resort to software emulation to make software work, is probably > a lower limit. > > > Luckily, "uses 754 formats, but with aggressive cost cutting" can be > "good enough", and so long as they more-or-less deliver a full width > mantissa, and can exactly compute exact-value calculations, most > software is generally going to work. This will require extensive testing and possibly modification for a lot of software ported to such a system. This will drive up the total cost, presumably far more than any hardware savings. > But OTOH, if 1.0+2.0 gives 2.999999, that is, not good enough, so there > is a lower limit here. An example of a more interesting question is if (a >= 0.) { if (b >= 0) { if (a + b < a) { printf("We should never get here!\n); abort(); } } }