From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([140.186.70.92]:56196)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <rth@twiddle.net>) id 1QAOFW-0005uM-Jv
	for qemu-devel@nongnu.org; Thu, 14 Apr 2011 11:14:27 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <rth@twiddle.net>) id 1QAOFU-0005tj-VS
	for qemu-devel@nongnu.org; Thu, 14 Apr 2011 11:14:26 -0400
Received: from a.mail.sonic.net ([64.142.16.245]:52438)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <rth@twiddle.net>) id 1QAOFU-0005tf-OV
	for qemu-devel@nongnu.org; Thu, 14 Apr 2011 11:14:24 -0400
Message-ID: <4DA70F43.90701@twiddle.net>
Date: Thu, 14 Apr 2011 08:14:11 -0700
From: Richard Henderson <rth@twiddle.net>
MIME-Version: 1.0
References: <1302645571-20500-1-git-send-email-aurelien@aurel32.net>	<1302645571-20500-9-git-send-email-aurelien@aurel32.net>	<BANLkTim8AO7VoZp9p6GDCEXww=YpS9aonA@mail.gmail.com>	<4DA5C372.5090807@twiddle.net>
	<BANLkTi=Da1ov-kA5evqwZZBkmXn2F6STqw@mail.gmail.com>
In-Reply-To: <BANLkTi=Da1ov-kA5evqwZZBkmXn2F6STqw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Qemu-devel] [PATCH 08/19] target-alpha: use new
 float64_unordered() function
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/options/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: Peter Maydell <peter.maydell@linaro.org>
Cc: qemu-devel@nongnu.org, Aurelien Jarno <aurelien@aurel32.net>

On 04/14/2011 02:14 AM, Peter Maydell wrote:
> While we're on the subject of Alpha and flush-to-zero modes,
> do you know what exception bits should get set when Alpha
> flushes a denormal output (not input) to zero?
...
> I think Alpha should set Inexact and not Underflow, but
> I'm not sure -- can you confirm/deny?

Deny.

Page B-8, Add Sub Output Exceptions,

  Exponent underflow and disabled:
    Supply +0, no exception delivered to user.

  Exponent underflow and enabled:
    Supply +-MIN denorm, Underflow delivered to user.

    Footnote 3, Overflow and Underflow have priority over Inexact.


r~