[Bug 224326] double subnormals are not well printed on printing with printf (and friends)

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=224326

--- Comment #6 from Luis Colorado <luiscoloradourcola@gmail.com> ---
arm64 is not the architecture I'm talking about, as the rpi 2+ is 32 bit arch
and not arm64.  Anyway I suspect the problem will be also there, as both
architectures will probably share the floating point unit.

But you tell me that you are getting correct results in AMD64 (which is the
intel 64 bit architecture, and not ARM at all)  Sorry, but I don't get the
point here.  It is four years this bug is rolling over there.  My impression is
that arm architectures don't support 64bit floating point subnormals at all,
and that's the reason the software is failing, as it doesn't cut the thing and
makes them as 0 (which obviously the hardware is not doing)

IMHO, the floating point library should check if the processor supports
subnormals or not, which is something required by the ieee standard, and round
the values to 0.0, instead.  That is easy to check, as the exponent field is
all zeros for subnormals.

-- 
You are receiving this mail because:
You are the assignee for the bug.