Hi Nelson, The results from your bug-float80.c program demonstrate two discrepancies: results from NetBSD and Linux (running on Motorola processors) are inconsistent, as are results from Aranym and QEMU (with Linux guests). Do you know of any official bug reports about these two issues?
Regards, Finn
