This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: real.c fails floating point tests
- From: dewar at gnat dot com (Robert Dewar)
- To: rth at redhat dot com, steve at moshier dot net
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 18 Oct 2002 10:33:51 -0400 (EDT)
- Subject: Re: real.c fails floating point tests
> Previously the REAL_VALUE_TYPE could not contain auxiliary
> information, because often it was actually just emulating a host computer
> double. If you have removed that restriction then you can put various
> other items into the data structure and then it looks like it would be
> simple to make the 160-bit precision follow some arithmetic rules that
> are easier to analyze and test.
I definitely agree with this analysis. High precision is never an adequate
susbtitute for well defined axiomatic properties when it comes to fpt.