------- Additional Comments From irar at il dot ibm dot com 2005-04-26 10:04
-------
We get the following code for the loop:
this_5 = &b_4->D.2068;
D.2080_9 = this_5->d[i_18];
b_4->D.2068.d[i_18] = D.2080_9;
In analysis of data-ref this_5->d[i_18] we don't check that the initial
condition of access_fn of *this_5 is not loop invariant (we rely on evolution
== NULL test, which is wrong). This is already fixed in autovect branch, and I
am working on a patch to bring the changes in data-refs analysis to mainline.
Another issue here is that this_5 = &b_4->D.2068; is loop invariant and can be
hoist out of the loop. Maybe it will happen with structure-aliasing-branch?
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |dberlin at gcc dot gnu dot
| |org
AssignedTo|unassigned at gcc dot gnu |irar at il dot ibm dot com
|dot org |
Status|NEW |ASSIGNED
Last reconfirmed|2005-04-25 14:43:35 |2005-04-26 10:04:49
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21218
