On Wed, Jan 09, 2019 at 11:14:37AM +0100, Jakub Jelinek wrote: > Or is double-double considered dead format that will hopefully soon go > away, not worth spending more time on?
It won't go away soon, but I think we should treat it as legacy format. Currently, to use ieee128 you need either hardware that has support for it (i.e. Power9), or a system with VSX for the emulation (i.e. Power7 or later). If ieee128 was supported on all systems (and then, not just Power), we could perhaps phase out double-double (take a big performance hit but get a lot of sanity back for it). But until then there is really no other option -- plain double as long double is a big step back. And we'll probably need to support double double on older systems until those systems go away completely, anyway :-/ Segher