c - 如何克服icc中的 "existence of vector dependence"

Question

我想在 C 中向量化以下循环:

for(k = 0; k < SysData->numOfClaGen; k++)
            A[k] = B[k] * cos(x1[2 * k] - x1[ind0 + k]);

其中，变量之间没有别名，ind0 是常量。没有其他指针(A 或 B)指向 ind0，因此，ind0 在整个循环中保持不变。

当我用 icc 编译代码时，它说由于可能存在 vector 依赖性，因此无法对该循环进行向量化。这是消息:

loop was not vectorized: existence of vector dependence.

我缩小了问题范围，发现用常量替换 ind0 可以解决问题。所以，我假设 icc 认为 A 可能指向 ind0，因此 ind0 可能会改变。

我想知道如何帮助编译器知道向量化此类循环是安全的。

预先感谢您的帮助。

Answer 1

在for循环前面添加#pragma ivdep，它指示编译器忽略假设的 vector 依赖。

#pragma ivdep
for(k = 0; k < SysData->numOfClaGen; k++)
            A[k] = B[k] * cos(x1[2 * k] - x1[ind0 + k]);

有关 ivdep 的更多信息，请参阅 icc doc