Re: As simple as it is now, I am still against motion 24.03...
On 2011-06-15 14:17:53 +0100, John Pryce wrote:
> Vincent
>
> On 14 Jun 2011, at 14:09, Vincent Lefevre wrote:
> >>>> I suggest that on 754-compliant systems the operations be
> >>> Why 754-compliant systems only?
> >>
> >> Because "formatOf" is explicitly provided in 754-2008, so on such
> >> systems this comes for free, if I read the standard correctly.
> > But this is optional. And conversely, non-754 systems can provide
> > such functions.
>
> Please clarify "optional". "formatOf" is mandatory in 754-2008
> (§5.4, particularly 5.4.1).
It is mandatory for the basic operations, but AFAIK not for the
recommended operations (Section 9). They are important too.
The question is: do you want to make the standard more complex by
making the behavior different on the basic operations and the other
ones for a feature that may not be really useful on intervals?
BTW, will the x86 processors have this feature in the next few years?
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)