noalias

Только для систем Майкрософт

noaliasозначает, что вызов функции не изменяет или не ссылается на видимое глобальное состояние и изменяет память, указываемую непосредственно на параметры указателя (косвенные выражения первого уровня).

Если функция аннотирована как noalias, оптимизатор может предположить, что ссылаются или изменяются только сами параметры, а также только косвенные выражения указателя первого уровня, ссылаются или изменяются внутри функции.

Заметка noalias применяется только в тексте аннотированной функции. Маркировка функции, так как __declspec(noalias) не влияет на псевдоним указателей, возвращаемых функцией.

Дополнительные заметки, которые могут повлиять на псевдоним, см. в разделе __declspec(restrict).

Пример

В следующем примере показано использование __declspec(noalias).

Когда функция, которая обращается к памяти, аннотирована__declspec(noalias), сообщает компилятору, что эта функция multiply не изменяет глобальное состояние, за исключением указателей в списке параметров.

// declspec_noalias.c
#include <stdio.h>
#include <stdlib.h>

#define M 800
#define N 600
#define P 700

float * mempool, * memptr;

float * ma(int size)
{
    float * retval;
    retval = memptr;
    memptr += size;
    return retval;
}

float * init(int m, int n)
{
    float * a;
    int i, j;
    int k=1;

    a = ma(m * n);
    if (!a) exit(1);
    for (i=0; i<m; i++)
        for (j=0; j<n; j++)
            a[i*n+j] = 0.1/k++;
    return a;
}

__declspec(noalias) void multiply(float * a, float * b, float * c)
{
    int i, j, k;

    for (j=0; j<P; j++)
        for (i=0; i<M; i++)
            for (k=0; k<N; k++)
                c[i * P + j] =
                          a[i * N + k] *
                          b[k * P + j];
}

int main()
{
    float * a, * b, * c;

    mempool = (float *) malloc(sizeof(float) * (M*N + N*P + M*P));

    if (!mempool)
    {
        puts("ERROR: Malloc returned null");
        exit(1);
    }

    memptr = mempool;
    a = init(M, N);
    b = init(N, P);
    c = init(M, P);

    multiply(a, b, c);
}

См. также

__declspec
Ключевые слова
__declspec(restrict)