7

我正在编写一个测试程序来习惯 Clang 的 OpenCL 样式向量的语言扩展。我可以让代码正常工作，但我遇到了问题，无法让它的一个方面。我似乎无法弄清楚如何让clang很好地从标量数组中加载向量。

目前我必须做类似的事情：

byte16 va = (byte16){ argv[1][start], argv[1][start + 1], argv[1][start + 2], 
                      argv[1][start + 3], argv[1][start + 4], argv[1][start + 5], 
                      argv[1][start + 6], argv[1][start + 7], argv[1][start + 8],
                      argv[1][start + 9], argv[1][start + 10], argv[1][start + 11],
                      argv[1][start + 12], argv[1][start + 13], argv[1][start + 14],
                      argv[1][start + 15]};

理想情况下，我会喜欢这样的东西：

byte16 va = *(byte16 *)(&(argv[1][start]));

我可以很容易地使用 ARM 或 x86 的适当内在函数来完成。但是该代码会导致程序崩溃，尽管它可以编译。

4

1 回答 1

5

x86 上可能发生崩溃的原因之一是对齐问题。我的系统上没有 clang 来重现该问题，但我可以在 GCC 的示例中进行演示。

如果您执行以下操作：

/* Define a vector type of 16 characters.  */
typedef char __attribute__ ((vector_size (16))) byte16;

/* Global pointer.  */
char *  foo;

byte16 test ()
{
  return *(byte16 *)&foo[1];
}

现在，如果你在支持向量的 x86 上编译它：

$  gcc -O3 -march=native -mtune=native   a.c

您将获得以下用于测试的程序集：

test:
    movq foo(%rip), %rax
    vmovdqa 1(%rax), %xmm0
    ret

请注意，移动是对齐的，这当然是错误的。现在，如果您将此函数内联到主函数中，您将获得类似：

int main ()
{
  foo = __builtin_malloc (22);
  byte16 x = *(byte16 *)&foo[1];
  return x[0];
}

你会没事的，你会得到不对齐的指令。这是一种错误，在编译器中没有很好的修复，因为它需要通过添加新数据结构等进行过程间优化。

问题的根源在于编译器假定向量类型是对齐的，因此当您取消引用对齐向量类型的数组时，您可以使用对齐移动。作为 GCC 中问题的一种解决方法，可以定义一个未对齐的向量类型，例如：

typedef char __attribute__ ((vector_size (16),aligned (1))) unaligned_byte16;

并使用它来取消引用未对齐的内存。

我不确定您在设置中是否确实遇到了这个问题，但我建议您通过检查编译器的程序集输出来检查这一点。

于 2013-11-02T13:20:23.473 回答