------- Comment #8 from ebotcazou at gcc dot gnu dot org 2009-05-15 21:48
-------
> The issue here is that for
>
> VIEW_CONVERT_EXPR<struct loop_optimization1__r
> *[D.2335:D.2339]>(*_init$P_ARRAY_1)[D.2354_35]
>
> we use the alias set of *_init$P_ARRAY_1 because the array elements are
> non-aliased. As the vectorizer now creates an alias the resulting
> stores through the pointer to the vector type do not conflict with the
> original stores and we have created wrong code.
Thanks for the analysis. Looks like we lack non-aliased vectors here. ;-)
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |ebotcazou at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2009-05-15 09:14:03 |2009-05-15 21:48:29
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40071
