noalias

Microsoft 固有の仕様 →

noalias は関数呼び出しが表示されるとグローバル状態を変更しないため参照されずは変更されませんがポインター パラメーター (第 1 レベルの間接指定) によって directly が指すメモリしか意味します。

関数が noalias として指定するとオプティマイザーでそのものに加えてパラメーターがポインター パラメーターの第 1 レベルの間接のみが関数内で参照または変更されると仮定できます。表示状態はコンパイル グローバル スコープの外側に住所取られません定義または参照されていないすべてのデータで設定できます。コンパイル範囲はすべてのソース ファイル (/LTCG (リンク時のコード生成) のビルド) または一つのソース ファイル (/LTCG の非ビルド) です。

使用例

次の例は__declspec(restrict) と __declspec(noalias) を使用します。通常malloc から返されたメモリは CRT のが適切に装飾されている restrict と noalias です。

ただしこの例ではmempool ポインターと memptr はグローバルなのでコンパイラがメモリにエイリアスが適用されないという保証はありません。戻り値が指すメモリにエイリアスが設定されていないことに __declspec(restrict) のポインターがコンパイラに通知する関数を装飾します。

この関数はパラメーター リストでポインターを通じてを除きグローバル状態に干渉しないように __declspec(noalias) メモリのアクセスがコンパイラに通知する関数の例を装飾します。

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

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

float * mempool, * memptr;

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

__declspec(restrict) 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

C++ のキーワード