vector

構文

引数

説明

vector プラグマは、ループのベクトル化が可能である限り、ベクトル化によるメリットの有無に関する通常のヒューリスティックな判断を無視してベクトル化を行うように指示します。vector プラグマは、引数キーワードを使用して必要なループのベクトル化の種類を指定します。キーワードは、aligned、unaligned、always、temporal、および nontemporal です。コンパイラーは入れ子構造のループに vector プラグマを適用しないため、入れ子にされたそれぞれのループの前に、プラグマ文が必要です。loop 制御文の前にプラグマを配置してください。

aligned/unaligned キーワードの使用

このプラグマで aligned/unaligned 引数キーワードが使用された場合、すべての配列参照に対して aligned/unaligned データ移動命令を使用してループをベクトル化することを示します。引数キーワードとして aligned または unaligned のいずれかを指定します。

always キーワードの使用

always 引数キーワードが使用されると、プラグマは後に続くループのベクトル化を制御します。assert を指定すると、コンパイラーはエラーレベルのアサーション・テストを生成し、コンパイラーの効率ヒューリスティックによってループのベクトル化が不可能であることが示す旨のメッセージを表示します。

nontemporal/temporal キーワードの使用

nontemporal と temporal 引数キーワードは、IA-32 およびインテル® 64 アーキテクチャー・ベースのシステムで、レジスター内容のストア方法 (ストリーミングか非ストリーミング) を制御します。

インテル® メニー・インテグレーテッド・コア (インテル® MIC) アーキテクチャー・ベースのシステムでは、#pragma vector nontemporal は、一時的ではないプラグマによるストア後に、そのストアアドレスがアライメントされていることが分かっている場合は、clevict (キャッシュラインの削除) 命令を生成するようにコンパイラーに指示します。オプションでカンマ区切りの変数リストも指定できます。

デフォルトでは、コンパイラーはそれぞれの変数にストリーミング・ストアを使用するかどうかを自動で決定します。

ストリーミング・ストアは、特定のプロセッサーにおいて非ストリーミング・ストアよりも、大幅なパフォーマンスの向上をもたらす可能性があります。ただし、ストリーミング・ストアの使用を誤ると、パフォーマンスが大幅に低下します。

[no]vecremainder キーワードの使用

vector always プラグマとキーワードを同時に指定すると、次の動作になります。

• vecremainder 節を指定すると、コンパイラーはメインループと残りのループをベクトル化します。

• novecremainder 節を指定すると、コンパイラーはメインループはベクトル化しますが、残りのループはベクトル化しません。

[no]mask_readwrite キーワードの使用

vector プラグマと mask_readwrite または nomask_readwrite キーワードを同時に指定すると、次の動作になります。

• mask_readwrite 節を指定した場合、コンパイラーは、ループのすべての条件内でマスク付きロード/ストア操作を生成します。

• nomask_readwrite 節を指定した場合、コンパイラーは、パフォーマンスを向上するためマスクなしロード/ストア操作を生成します。

例

次の例は、aligned 引数キーワードを使用して、aligned 命令でループがベクトル化されるように指示します。

配列は、コンパイラーが通常安全であると証明できないような方法で宣言されています。

void vec_aligned(float *a, int m, int c) {
  int i;
  // ベクトル依存性が存在していると推定されてもそれを無視するようにコンパイラーに指示します。
  #pragma vector aligned
  for (i = 0; i < m; i++)
    a[i] = a[i] * c;
  // 不明なアライメントですが、コンパイラーはアライメントすることができます。
  for (i = 0; i < 100; i++)
    a[i] = a[i] + 1.0f; 
}

void vec_always(int *a, int *b, int m) {
  #pragma vector always
  for(int i = 0; i <= m; i++)
    a[32*i] = b[99*i]; 
}

float a[1000]; 
void foo(int N){
  int i;
  #pragma vector nontemporal
  for (i = 0; i < N; i++) {
    a[i] = 1;
  } 
}

生成されたアセンブリーとのループ (float 型) の例は、次のとおりです。N が大きくなると、インテル® Pentium® 4 プロセッサー・システムで非ストリーミング組込み関数のパフォーマンスが大幅に向上します。

  .B1.2: 
movntps XMMWORD PTR _a[eax], xmm0 
movntps XMMWORD PTR _a[eax+16], xmm0 
add eax, 32 
cmp eax, 4096 
jl .B1.2

double A[1000]; 
double B[1000]; 
void foo(int n){
  int i; 
#pragma vector nontemporal (A, B)
  for (i=0; i<n; i++){
    A[i] = 0;
    B[i] = i;
  } 
}