Date: Fri, 7 Feb 2003 23:33:36 +0100 From: Stefan Farfeleder <stefan@fafoe.dyndns.org> To: "M. Warner Losh" <imp@bsdimp.com> Cc: standards@FreeBSD.ORG Subject: Re: fpclassify() for review Message-ID: <20030207223336.GB620@frog.fafoe> In-Reply-To: <20030207.151652.38309440.imp@bsdimp.com> References: <20030206224455.B78590@espresso.q9media.com> <200302071825.h17IP4s7081758@khavrinen.lcs.mit.edu> <20030207.151652.38309440.imp@bsdimp.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Fri, Feb 07, 2003 at 03:16:52PM -0700, M. Warner Losh wrote:
> In message: <200302071825.h17IP4s7081758@khavrinen.lcs.mit.edu>
> Garrett Wollman <wollman@lcs.mit.edu> writes:
> : I think that, if we had some help from the compiler, it ought to be
> : possible to implement FLT_EVAL_METHOD == 2 for i386, and that's
> : probably the closest to the actual hardware implementation. Something
> : similar to Kahan's PARANOIA ought to be able to distinguish the
> : various methods and thereby serve as a regression test.
>
> What's FLT_EVAL_METHOD == 2 mean?
>
> I'd love to make the long doubles actually have their full range by
> default.
5.2.4.2.2 Characteristics of floating types <float.h>
7 The values of operations with floating operands and values
subject to the usual arithmetic conversions and of floating
constants are evaluated to a format whose range and precision
may be greater than required by the type. The use of evaluation
formats is characterized by the implementation-defined value of
FLT_EVAL_METHOD:19)
-1 indeterminable;
0 evaluate all operations and constants just to the range
and precision of the type;
1 evaluate operations and constants of type float and
double to the range and precision of the double type,
evaluate long double operations and constants to the
range and precision of the long double type;
2 evaluate all operations and constants to the range and
precision of the long double type.
Regards,
Stefan Farfeleder
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-standards" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20030207223336.GB620>