--- 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
--- 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 me
--- 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 d
--- 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
--- 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*
--- 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 work
--- 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
--- 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 opt
--- 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 Un
--- 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 s
--- 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
--- 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&
--- 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 ce
--- 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 probl
--- 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 it in
--- 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-pa
--- 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 as their
--- 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 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 and with the
--- 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-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 su
--- 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
'Unrestric
--- 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
--- 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.
Not
--- 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.
--- 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 d
28 matches
Mail list logo
