6.64.16 Прагмы, специфичные для циклов

С помощью этой прагмы программист утверждает, что нет зависимостей, связанных с циклом, которые могли бы помешать последовательным итерациям следующего цикла выполнять параллельно с инструкциями 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;
}

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

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

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

Вы можете использовать эту прагму для управления тем, сколько раз должен быть развернут цикл. Она должна быть размещена непосредственно перед циклом for, while или do или #pragma GCC ivdep, и применяется только к следующему циклу. n — это целочисленное константное выражение, задающее коэффициент развёртывания. Значения 0 и 1 блокируют любое развёртывание цикла.