Использование ограничения с массивами?

Хотя ответ Джеффа правильный, т. е. вы всегда можете сделать указатель на выделенный массив, факт в том, что компилятор знает во время компиляции, что значения tmp не будут иметь псевдоним, потому что переменная объявлена ​​как фактический массив, а не указатель. Единственная возможность создать псевдоним массива — это объявить указатель на него, поэтому, если вы этого не сделаете, нет необходимости объявлять его как restrict. Это более очевидно, если tmpvalues — единственная переменная, которую вы будете иметь в функции.

Проблема может возникнуть, если вы передаете указатель другой функции, тогда там вы должны указать, ограничен ли полученный указатель или нет.

Документация, связанная с этой темой, с которой я столкнулся, включает C99:

Пусть D будет объявлением обычного идентификатора, который предоставляет средства для обозначения объекта P как указателя с ограничением на тип T.

Обратите внимание, что это относится только к указателям.

Этот другой документ от TI содержит некоторые советы по настройке производительности с использованием restrict ключевое слово. В дополнение ко всем подсказкам в разделе 3.3 приведены примеры, когда можно применять этот квалификатор типа, а когда нет. Найдите объявление массива x в середине страницы 16, в нем говорится, что он не объявляет указатель и, следовательно, не может быть квалифицирован restrict.

Почему нельзя сделать следующее? Вы не получаете доступ к данным, связанным с tmpvalues, через эту переменную, поэтому допустимо использовать указатель ограничения в части кода, интенсивно использующей вычисления.

#include <stdio.h>
#include <stdlib.h>

int heavy_calcs(int n, float* restrict range1, float* restrict range2)
{
    if (n>1000) return 1;
    float tmpvalues[1000] = {0};
    {
        float * restrict ptv = tmpvalues;
        for (int i=0; i<n; i++) {
            ptv[i] = range1[i] + range2[i];
        }
    }
    return 0;
}

int main(int argc, char * argv[])
{
    int n = (argc>1) ? atoi(argv[1]) : 1000;
    float * r1 = (float*)malloc(n*sizeof(float));
    float * r2 = (float*)malloc(n*sizeof(float));
    int rc = heavy_calcs(n,r1,r2);
    free(r1);
    free(r2);
    return rc;
}

Я пропустил это через компилятор Intel 15, и у него не было проблем с векторизацией цикла. Конечно, этот цикл тривиален по сравнению с тем, что я предполагаю у вас, поэтому ваш пробег может отличаться.