--- Comment #43 from kenner at vlsi1 dot ultra dot nyu dot edu 2007-03-13
12:33 ---
Subject: Re: [4.3 regression] ACATS cxh1001 fails
I think I now understand: I thought the problem we were discussing was
how to obtain correctness (which seems to be easy using local checks)
while
--- Comment #34 from kenner at vlsi1 dot ultra dot nyu dot edu 2007-03-09
13:59 ---
Subject: Re: [4.3 regression] ACATS cxh1001 fails
You may well respond that you are only supposed to forget
information you deduced from the range of the type, not information
you worked out
--- Comment #35 from kenner at vlsi1 dot ultra dot nyu dot edu 2007-03-09
14:18 ---
Subject: Re: [4.3 regression] ACATS cxh1001 fails
All the mess would be way easier if the FE would not expose the subtypes to
the middle-end...
I don't see how giving *additional* information could
--- Comment #36 from kenner at vlsi1 dot ultra dot nyu dot edu 2007-03-09
14:29 ---
Subject: Re: [4.3 regression] ACATS cxh1001 fails
I don't think this is a very serious problem. My understanding is
that the checks can be divided into two classes: normal checks and
validity
--- Comment #39 from kenner at vlsi1 dot ultra dot nyu dot edu 2007-03-09
23:13 ---
Subject: Re: [4.3 regression] ACATS cxh1001 fails
I don't see that pointer dereferences are a problem - I'm pretty sure that
the RM places you firmly in the erroneous zone if you do something
--- Comment #41 from kenner at vlsi1 dot ultra dot nyu dot edu 2007-03-10
00:17 ---
Subject: Re: [4.3 regression] ACATS cxh1001 fails
It is not possible for a pointer value to be uninitialized. The language
requires all pointers to be default initialized to null.
I mean the thing
--- Comment #26 from kenner at vlsi1 dot ultra dot nyu dot edu 2007-03-08
12:54 ---
Subject: Re: [4.3 regression] ACATS cxh1001 fails
y = __builtin_nop(x); valid = (y=lower_bound y =upper_bound);
The point is that the intrinsic would be opaque to the optimizers,
and would only
--- Comment #28 from kenner at vlsi1 dot ultra dot nyu dot edu 2007-03-08
16:52 ---
Subject: Re: [4.3 regression] ACATS cxh1001 fails
I don't see what the problem is - you don't have to convert to the base
type, you can always convert to some standard type of that precision,
eg
--- Comment #20 from kenner at vlsi1 dot ultra dot nyu dot edu 2006-06-27
03:03 ---
Subject: Re: [4.2 Regression] ACATS c35507m cd2a23e cxh1001 fail
Looks like the same bug that Gigi doesn't currently use VIEW_CONVERT_EXPR
for this type of Unchecked_Conversion. So already
--- Comment #13 from kenner at vlsi1 dot ultra dot nyu dot edu 2006-03-30
12:13 ---
Subject: Re: [4.2 Regression] ACATS c35507m cd2a23e cxh1001 failures
Richard, I know Robert and you have come up with a plan to address the
'Valid problem. Is there an implementation sketch
--- Comment #8 from kenner at vlsi1 dot ultra dot nyu dot edu 2006-03-28
03:56 ---
Subject: Re: [4.2 Regression] ACATS c35507m cd2a23e cxh1001 failures
I don't know how it goes through gigi and the BE but the check
system__unsigned_types__unsigned!(A) in 4 .. 5
must
--- Comment #29 from kenner at vlsi1 dot ultra dot nyu dot edu 2006-02-15
12:57 ---
Subject: Re: [4.2 Regression] ACATS cdd2a02 fail at runtime
Richard, it's the only remaining failure in ACATS on most platforms:
the bad interaction between SRA and aggregates under certain
--- Comment #31 from kenner at vlsi1 dot ultra dot nyu dot edu 2006-02-15
17:14 ---
Subject: Re: [4.2 Regression] ACATS cdd2a02 fail at runtime
Yes, that's it. Is a front-end specialist working on that or...?
Nope. I spoke to Ed S. about it a while ago and he wasn't too
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-07-10 19:09 ---
Subject: Re: [4.1 Regression] ICE Segfault in record_block_change at
function.c:5498
The following patch suggested by Richard Kenner messages fixes the
bootstrap problem
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-07-02 16:04 ---
Subject: Re: [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts
while building Ada RTS
cxa4006 and cxa4017 fail the same way (STORAGE_ERROR) as vms_conv.adb.
See the email I
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-06-22 01:51 ---
Subject: Re: [4.0/4.1 Regression] Simple array of string access miscompiled
on x86 and x86_64 and PPC
Kenner may I ask what happened to this patch, it never went in,
I still have
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-05-30 18:36 ---
Subject: Re: [4.0/4.1 Regression] a[-2] ICE at the top level
The difference in the handling of these two expressions is that
get_inner_reference sets the offset out-parameter for a[-2
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-04-07 14:13 ---
Subject: Re: [4.0/4.1 Regression] Miscompilation with __attribute ((aligned))
This is caused by the big Ada patch that introduced the extra 2
ARRAY_REF arguments. Unfortunately, I
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-04-07 14:41 ---
Subject: Re: [4.0/4.1 Regression] Miscompilation with __attribute ((aligned))
With user defined alignment, size certainly is not necessarily a
multiple of the alignment
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-04-07 17:54 ---
Subject: Re: [4.0/4.1 Regression] Miscompilation with __attribute ((aligned))
For the record, this has come up on the lists before in some slightly
other context and Mark has advocated
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-04-07 18:03 ---
Subject: Re: [4.0/4.1 Regression] Miscompilation with __attribute ((aligned))
And the middle end should be able to expect that the size of the
elements is at least as large
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-03-24 12:33 ---
Subject: Re: [PR middle-end/20491] combine generates bad subregs
Combine doesn't ensure the subregs it generates are valid. In most
cases, insn recog will reject the invalid subregs
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-03-22 22:45 ---
Subject: Re: [4.0/4.1 Regression] Simple array of string access miscompiled
on x86 and x86_64 and PPC
Here's the fix. Will check in shortly. Note that the handling of
'Unrestricted_Access
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-03-06 04:06 ---
Subject: Re: [4.0/4.1 Regression] ACATS c391002 c432002 ICE
categorize_ctor_elements_1
Note that there is a fix for this in the pipe waiting for Arno's next
tree synchronization.
--
http
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-02-25 20:44 ---
Subject: Re: [4.0/4.1 Regression] ICE copy_tree_r, at tree-inline.c:2320 on
simple Ada code
Richard, any idea? This is not ACATS but has been reported to affect
real Ada code
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-02-16 04:08 ---
Subject: Re: [4.0 Regression] ACATS c391002 c432002 ICE
categorize_ctor_elements_1
Thanks for looking into this. I hadn't gotten a chance yet, but was very
close to getting to it.
Just
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu
2005-02-10 18:12 ---
Subject: Re: [4.0 Regression] Poor quality code after loop unrolling.
It's been about a decade since I looked at cse vs autoincrements, so
the details have faded from memory
--- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu 2004-07-17
14:00 ---
Subject: Re: [3.5 Regression] ICE caused by Kenner's big untested (regression
causing) patch
This regression causing patch has been in there for more than two
weeks now. When do you
28 matches
Mail list logo
