[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Tinycc-devel] signed zero handling is still buggy
|
From: |
Vincent Lefevre |
|
Subject: |
Re: [Tinycc-devel] signed zero handling is still buggy |
|
Date: |
Sun, 12 Jan 2014 10:48:40 +0100 |
|
User-agent: |
Mutt/1.5.21-6305-vl-r59709 (2013-04-16) |
Hi,
On 2014-01-12 04:59:06 +0100, Michael Matz wrote:
> I think I've fixed that now on mob [1]. In particular +x is regarded as
> no-op for floating point types (for integer types it's still x+0 so that the
> promotions still happen automatically). And unary -x is now expanded as
> subtract(-0,x) for floating point types (hacking in real support for unary
> operations would have been more complicated and would have entailed changes
> in all backends).
subtract(-0,x) is OK in most cases, but in rounding toward -Inf,
on -0, one would get -0 instead of +0.
--
Vincent Lefèvre <address@hidden> - 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)