> > it shows very low coverage for our FP code (softfloat), while, in > > fact, we know that "make check" contains detailed tests on FP > > functionalities. But this is most likely a separate problem of a very > > different nature, perhaps the issue of separate git repo for FP tests > > (testfloat) that our FP tests use as a mid-layer. > > I get: > > 68.6 % 2593 / 3782 62.2 % 1690 / 2718 >
I would expect that kind of result too. However, I get: File: fpu/softfloat.c Lines: 8 3334 0.2 % Date: 2019-08-05 19:56:58 Branches: 3 2376 0.1 % :( OK, I'll try to figure that out, and most likely I could live with it if it is an isolated problem. Thank you for your assistance in this matter, Aleksandar > Which is not bad considering we don't exercise the 80 and 128 bit > softfloat code at all (which is not shared by the re-factored 16/32/64 > bit code). > > Alex Bennée
