Re: Exception handling

[Ian McIntosh <ianm@xxxxxxxxxx>]

For decorated interval results, decorations apply.

For operations which produce an IEEE 754 floating point result instead of an IEEE 1788 interval result, standard 754 floating point exception handling should apply; for example, a result that needs rounding could signal inexact, or an operation like dot product could signal overflow.

- Ian McIntosh          IBM Canada Lab         Compiler Back End Support and Development


Vincent Lefevre ---08/11/2013 10:51:43 AM---Hi, On 2013-08-11 09:54:15 +0800, Guillaume Melquiond wrote:

From:	Vincent Lefevre <vincent@xxxxxxxxxx>
To:	Ian McIntosh/Toronto/IBM@IBMCA
Date:	08/11/2013 10:51 AM
Subject:	Re: Exception handling

---

Hi,

On 2013-08-11 09:54:15 +0800, Guillaume Melquiond wrote:
> The standard draft needs to say a few words about status, exceptions, and
> their handling. I intend to work on it starting August 20th. If you have
> comments regarding this matter, please contact me.
> 
> I can think of three points that need wordings:
> 
> 1. Should interval operations signal things?
> 2. Can exceptional situations be encountered and how should this information
> be conveyed to the user?
> 3. How does IEEE-1788 interact with IEEE-754 exception handling?
[...]

It was decided that there should not be exceptions, but decorations.

-- 
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 / AriC project (LIP, ENS-Lyon)