[parisc-linux] Re: HPPA FPU Specification? (FE_INEXACT raised by accident)

John David Anglin dave@hiauly1.hia.nrc.ca
Mon, 20 Oct 2003 11:30:34 -0400 (EDT)


> > I suggest looking at page 10-7.  It describes the PA 2.0 behavior
> > for this situation.  I'm not an IEEE so I don't know offhand what it
> > mandates.
> 
> Multiple exceptions per instruction is not the intended behaviour :)
> I need two numbers, that when added only overflow, not overflow and
> inexact. The same to be said for underflow. Perhaps I just need to 
> dig more.

Well 10-7 talks explicitly about what happens when you get both
exceptions on a single instruction.  On the otherhand, the discussion
of the inexact exception seems to imply that inexact should only occur
in an overflow/underflow situation when an overflow/underflow exception
doesn't occur.  Possibly, the PA implementation is not consistent with
IEEE mandated behavior, but I can't be sure.

Dave
-- 
J. David Anglin                                  dave.anglin@nrc-cnrc.gc.ca
National Research Council of Canada              (613) 990-0752 (FAX: 952-6602)