6.59.14 Специфичные для циклов прагмы

#pragma GCC ivdep

С помощью этой прагмы программист утверждает, что нет зависимостей по циклам, которые бы препятствовали выполнению последовательных итераций следующего цикла одновременно с инструкциями SIMD (single instruction multiple data).

Например, компилятор может только безусловно векторизовать следующий цикл с прагмой:

void foo (int n, int *a, int *b, int *c)
{
  int i, j;
#pragma GCC ivdep
  for (i = 0; i < n; ++i)
    a[i] = b[i] + c[i];
}

В этом примере использование квалификатора restrict имело тот же эффект. В следующем примере это было бы невозможно. Предположим, k < -m или k >= m. Только с помощью прагмы компилятор знает, что он может безусловно векторизовать следующий цикл:

void ignore_vec_dep (int *a, int k, int c, int m)
{
#pragma GCC ivdep
  for (int i = 0; i < m; i++)
    a[i] = a[i + k] * c;
}