6.62.16 Специфичные для цикла директивы

#pragma GCC ivdep

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

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

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;
}