On May 13, 2012, at 21:17, amyl...@spamcop.net wrote:
> The expectation is wrap-around. Note that loop strenght reduction can
> cause assumed wrap-around semantics in RTL for strictly conforming C input
> where no such wrap-around is in evidence.
Really, we should define signed integer arithmeti
On Mar 27, 2008, at 02:58, Joern Rennecke wrote:
I'm trying to write a test to check I get all the subnormal
corner cases for ieee-754 double precision floating point division
right.
The usual thing to do with a new test is to try it on a known good
platform. Unfortunately, the x86 processor
On May 11, 2007, at 08:26, Rahul wrote:
But for the following example
int a = 1;
int b = 2;
int c = 3;
c = c + a * b;
the MAC pattern is not getting recognized, instead it is still using
PLUS and MULT patterns.
In general, this transformation is not valid, as it has
different rounding beha
On May 11, 2007, at 11:31, Andrew Haley wrote:
It shouldn't have. All args are ints, and if we are assuming (as the
C standard says) that int overflow is undefined, the transformation is
valid.
Aarghh..! I even quoted the part that mentioned ints, but still thought
it was about float. Sure,
On Jun 24, 2007, at 16:20, Eric Botcazou wrote:
Indeed. It would be interesting to confirm whether or not a copy
of gcc
bootstrapped with a non-gcc compiler matched byte-for-byte with a
copy
of gcc bootstrapped from gcc.
I just made the experiment on an old SPARC/Solaris 2.5.1 machine
a
On Nov 12, 2007, at 12:37, Michael Matz wrote:
At the time we discussed and evaluated a bundled libm I've looked at
several ones. I rules out crlibm relatively quickly for these
reasons:
* only double is implemented, hence long double and float are
missing at
least, at least the long do
On Nov 13, 2007, at 08:17, Michael Matz wrote:
You don't have to preach to the choir, I know why I looked at several
libms in the past :-)
I just say that crlibm is not it. There are libms which would impose
much less work, are more complete, faster and more proven in the real
world.
Do you
On Nov 14, 2007, at 05:27, Vincent Lefevre wrote:
Initially, float could simply use double and cast the result.
For double->float the results will remain correctly rounded.
Yes, very probably, but this needs to be proven for each supported
function, due to the double rounding problem (this ma
On Nov 21, 2007, at 16:34, Daniel Jacobowitz wrote:
>Did you mean to send this to the list? If so, feel free to reply
>there.
Indeed, I did. I now Cc-ed the list as well.
>>Here's the first few lines of a-textio.adb disassembly:
>>Dump of assembler code for function ada__text_io__put_line:
>>0x800
On Dec 16, 2007, at 20:27, Joe Buck wrote:
I have some sympathy for going in Alexandre's direction, in that it
would be nice to have a mode that provided optimization as well as
accurate debugging. However, since preserving accurate debug
information
has a cost, I think it would be better to
On Dec 26, 2007, at 14:24, Mark Mitchell wrote:
Geert Bosch wrote:
Nested functions aren't used that much in C indeed... :)
Paul, would you please review this patch?
This patch isn't good. While it addressed the alignment
issue, it didn't correctly adjust all n
101 - 111 of 111 matches
Mail list logo
