On 05/26/2012 01:27 AM, Ramana Radhakrishnan wrote:
- for (i = 0; i< nelt; i += diff)
+ for (i = 0; i< nelt ; i += (diff + 1))
for (j = 0; j<= diff; j += 1)
- if (d->perm[i + j] != i + diff - j)
- return false;
+ {
+ /* This is guaranteed to be true as the value of diff
+ is 7, 3, 1 and we should have enough elements in the
+ queue to generate this. Getting a vector mask with a
+ value of diff other than these values implies that
+ something is wrong by the time we get here. */
+ gcc_assert ((i + j)< nelt);
Yep, that all looks correct. Unnecessary () in both lines though.
r~
