Re: auto vectorization - should this work ?

[Toon Moene <toon at moene dot indiv dot nluug dot nl>]

Ira Rosen wrote:

> Yes, this should get vectorized. The problem is in data dependencies
> analysis. We fail to prove that s_5->a[i_16] and s_5->a[i_16] access the
> same memory location. I think, it happens since when we compare the bases
> of the data references (s_5->a and s_5->a) in base_object_differ_p(), we do
> that by comparing the trees (which are pointers) and not their content.
>
> I'll look into this and, I hope, I will submit a fix for that soon (I guess
> using operand_equal_p instead).

I hope it helps - we have a lot of them resulting from fairly innocent 
Fortran.

I'd be willing to test out your solution privately, if you prefer such a 
round first ...

Thanks.

--
Toon Moene - e-mail: toon@moene.indiv.nluug.nl - phone: +31 346 214290
Saturnushof 14, 3738 XG  Maartensdijk, The Netherlands
At home: http://moene.indiv.nluug.nl/~toon/
Who's working on GNU Fortran: 
http://gcc.gnu.org/ml/gcc/2007-01/msg00059.html