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 <[email protected]> - 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) _______________________________________________ Tinycc-devel mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/tinycc-devel
