診断 15513: ベクトルバージョン ‘xxxx’ (関数 ‘xxxx’、位置 <値>) の mask 引数の型が正しくありません。

この記事は、インテル® デベロッパー・ゾーンに掲載されている「Diagnostic 15513: Incorrect type of mask parameter of vector variant ‘xxxx’ of function ‘xxxx’ at position <val>」(https://software.intel.com/en-us/articles/cdiag15513) の日本語参考訳です。

---

このベクトル診断メッセージは、インテル® C++ コンパイラー 15.0 以降で生成されます。

原因:

この例は、ユーザー実装のベクトルバージョンの関数を使用します。従来、ユーザー定義関数のベクトルバージョンは、__declspec((vector)) (Windows*) または __attribute__((vector))) (Linux*) と関連する句を使用して、コンパイラーによって作成されます。ここでは、開発者が特定のプロセッサー・アーキテクチャー向けの組込み関数を実装することで、特定のターゲット・プロセッサーを使用できます。この例では、インテル® Core™ i7 プロセッサーのインテル® SSE4.2 アーキテクチャー向けにスカラー関数 MyMax() のベクトルバージョンを作成します。このエラーは、MyMax() 関数のベクトルバージョンのデータ型に誤りがあるため出力されます。MyMax() のベクトルバージョンで使用される mask パラメーターのデータ型は __m128i になっていますが、正しいデータ型は __m128 です。

例:

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

#define NN 1021

//__declspec(vector)

__declspec(noinline)

float MyMax(float* a, float b){
    return *a + b;
}

__declspec(vector_variant(implements(MyMax(float* a, float b)),
                          vectorlength(4), processor(core_i7_sse4_2), mask))
           __m128 MyMaxVec(__m128i v_a1, __m128i v_a2, __m128 v_b, __m128i msk){
    return _mm_add_ps(_mm_cvtepi32_ps(v_a1), v_b);
}

$ icl 11513.c /c /Qopt-report:2 /Qopt-report-phase:vec

以下の診断メッセージは、インテル® C++ コンパイラー for Windows* 19.1.0.166 (ビルド 20191121) で生成しました。

エラー #15513: ベクトルバージョン 'MyMaxVec' (関数 'MyMax'、位置 3) の mask 引数の型が正しくありません。

解決方法:

mask パラメーターのデータ型を __m128i から __m128 に変更します。

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

#define NN 1021

//__declspec(vector)

__declspec(noinline)

float MyMax(float* a, float b)	{
    return *a + b;
}

__declspec(vector_variant(implements(MyMax(float* a, float b)),
                          vectorlength(4), processor(core_i7_sse4_2), mask))
           __m128 MyMaxVec(__m128i v_a1, __m128i v_a2, __m128 v_b, __m128 msk){
    return _mm_add_ps(_mm_cvtepi32_ps(v_a1), v_b);
}

コンパイラーの最適化に関する詳細は、最適化に関する注意事項を参照してください。