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