如果别名会降低运行时性能，为什么编译器要执行别名？

我出于纯粹的兴趣而学习 C 和计算机科学主题，这让我对编译器产生了兴趣。我读过的所有内容都告诉我，别名会导致程序集输出速度变慢，需要在每次迭代时重新加载值。

我已经能够使用 Intel C / C++ 编译器使用该标志在一些基准测试中获得轻微的提高-fno-alias。 GCC 和 Clang / LLVM 没有等效的标志。有-fargument-noalias and -fargument-noalias-global我猜这会禁用函数参数的别名 -如果我错了请纠正我- 但我没有注意到它对运行时甚至编​​译时性能有任何影响。

是否声明

别名会阻止编译器进行某些优化，从而影响性能。

始终如此，编译器别名有什么好处？为什么它是现代编译器的一个功能，除了英特尔编译器之外，不能通过标志轻松关闭？不使用别名进行编译会导致代码不符合 ABI 标准吗？

编译器不执行别名。您的程序可能会执行别名操作。

编译器要么允许您执行别名，要么假设您没有执行别名，然后编写在您执行别名时不起作用的机器代码。

例如，您编写这样的代码：

void f(int *x, int *y, int *z) {
    *y += *x;
    *z += *x;
}

该函数只是添加*x to *y and *z， 正确的？那么汇编代码应该是这样的吧？ （我用伪C语言编写了汇编代码）

eax = argument x
ebx = argument y
ecx = *eax
*ebx += ecx
ebx = argument z
*ebx += ecx

Wrong. If y and x指向同一个地方，此汇编代码的工作方式与 C 代码不同，因为它使用old *x。为了正常工作，它必须是这样的：

eax = argument x
ebx = argument y
ecx = *eax
*ebx += ecx
ebx = argument z
ecx = *eax // extra instruction
*ebx += ecx

这是又一条指令，只有在以下情况下才有用：x==y，但编译器必须将其放在那里以防万一。Aliasing意思是*x and *y是同一个变量的不同名称。如果编译器假设x and y不能是相同的指针（即没有别名），那么它可以跳过该指令，因此指令更少，程序运行得更快。

您可以使用单词告诉编译器他们不使用别名restrict， 像这样：

void f(int *restrict x, int *restrict y, int *restrict z) {
    *y += *x;
    *z += *x;
}

-fno-alias告诉英特尔编译器别名不能在任何地方发生。这可能会产生错误某处因为参数有时会产生别名 - 尽管它可能在它们都没有的小程序上工作得很好。restrict更仔细地针对您知道不会别名的特定参数。