GCC优化内存访问[重复]

Question

我有一段 C 代码，它有一个 int 数组 - 该代码对数组进行了多次读取。当我使用 -O0 标志将 GCC 编译为 X86 程序集时，在程序集中，对数组的所有读取访问都是使用 movl 指令进行的 - 32 位加载。这是有道理的，因为ints 是 32 位的，因此访问它们的数组应该使用 32 位加载。

但是，当我使用 -O3 标志编译它时，读取到数组的几个 32 位 movl 被替换为 64 位加载到 XMM 寄存器中......我假设这是某种优化，但优化的反汇编很难破译，我对发生的事情有点迷茫。

无需过多详细介绍我的工作，我需要使用 O3 标志，但我需要对我的 32 位 int 数组的所有访问才能使用 32 位访问。

是否有人对可能发生的情况以及如何在仍使用 -O3 标志的同时将所有加载到我的数组的负载强制为 32 位有任何见解？

重现示例：

这是 C 代码：

#include <stdlib.h>

int main() {
  int* arr = malloc(sizeof(int) * 64);
  int sum = 0;

  for (int i = 0; i < 10; i++) {
    sum += arr [i] + arr[i+1];
  }

  if (sum == 0)
    return 0;
  else
    return 1;
}

对于未优化的反汇编，编译（注意反汇编中的 32 位加载）：

gcc -S -fverbose-asm -o mb64BitLoadsNoOpt.s mb64BitLoads.c

为了优化反汇编，编译（注意在反汇编中加载 XMM 寄存器 64 位）：

gcc -O3 -S -fverbose-asm -o mb64BitLoadsOpt mb64BitLoads.c

Answer 1

无需过多详细介绍我的工作，我需要使用 -O3 标志，但我需要对 32 位 int 数组的所有访问才能使用 32 位访问。

这是矛盾的。请参阅this reference 网站、C11 草案标准n1570 和 C++11 草案标准n3337。

这些标准并不要求对 32 位数组的所有访问都使用 32 位访问。

使用最近的GCC 10，使用gcc -fverbose-asm -O3 -S foo.c，然后查看foo.s 以了解编译器优化的原因。

你可以试试其他编译器，

比如Compcert或Clang（甚至tinycc，或nwcc，或者从Frama-C开始写你自己的，或者甚至从头开始......）。如果他们的许可证适合您的工作，请向您的老板征求许可。

您还可以根据自己的需要改进这些编译器，或者编写自己的 GCC plugin 以满足您的需要。

如果你坚持使用 GCC，你可以考虑使用various assembler-related extensions。当然，请阅读invoking GCC。

GCC 是free software，你可以研究它的源代码然后改进它。

Download the source code 的 GCC。然后编译并install它。特别关注its pass manager。您当然可以删除让您烦恼的优化。你可能可以用你的 GCC 插件来做到这一点。寻求帮助并订阅gcc-help@gcc.gnu.org mailing list。