[Bug tree-optimization/21218] [4.1 regression] ICE using -ftree-vectorize

["irar at il dot ibm dot com" <gcc-bugzilla@gcc.gnu.org>]

------- 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