This is the mail archive of the
mailing list for the GCC project.
Re: Inner loop unable to compute sufficient information during vectorization
In this case, I think that Outer loop could be vectorized as there is
no dependency in the loop,the access pattern is simple enough and
there is unit stride in both the loops. Current version 4.4.* is not
doing outer loop vectorization.
On Tue, May 26, 2009 at 5:57 PM, Ira Rosen <IRAR@il.ibm.com> wrote:
> firstname.lastname@example.org wrote on 25/05/2009 21:53:41:
>> for a loop like
>> 1 Â Â Â Â for(i=0;i<N;i++)
>> 2 Â Â Â Â Â for(j=0;j<N;j++)
>> 3 Â Â Â Â Â Â Â a[i][j] = a[i][j]+b[i][j];
>> GCC 4.3.* is unable to get the information for the inner loop that
>> array reference 'a' Âis alias of each other and generates code for
>> runtime aliasing check during vectorization.
> Both current trunk and GCC4.4 vectorize the inner loop without any runtime
> alias checks.
>> Is it necessary to
>> recompute all information in loop_vec_info in function
>> vect_analyze_ref for analysis of inner loop also, as most of the
>> information is similar for the outer loop for the program.
> Maybe you are right, and it is possible to extract at least part of the
> information for the inner loop from the outer loop information.
>> Similarly, outer loop is able to compute correct chrec i.e. NULL , for
>> array 'a' reference, while innerloop has chrec as chrec_dont_know, and
>> therfore complaint about runtime alias check.
> The chrecs are not the same for inner and outer loops, so it is reasonable
> that the results of the data dependence tests will be different.
> In this case, however, it seems to be a bug.