出于纯粹的兴趣，我一直在学习C和计算机科学主题，这让我对编译器产生了兴趣.我读过的所有东西都告诉我，混叠会导致汇编输出变慢，这需要在每次迭代时重新加载值.
在使用标志-fno-alias的英特尔C/C++编译器中，我已经能够在一些基准测试中略微提高.GCC和Lang/LLVM没有同等的旗帜.我猜有-fargument-noalias和-fargument-noalias-global禁用了函数参数的别名-please correct me if I'm wrong-但我没有注意到它在运行时甚至编译时性能上有什么不同.
这份声明是否
别名会阻止编译器执行某些优化，从而影响性能.
始终保持正确，编译器别名的好处是什么？为什么它是现代编译器的一个功能，除了英特尔编译器外，不能使用标志轻松关闭它？没有别名的编译会导致代码不符合ABI标准吗？
编译器不执行别名.您的程序可能会执行别名.
编译器要么允许您执行别名，要么假定您没有执行别名，然后编写如果您执行了别名则不起作用的机器码.
例如，您可以编写如下代码:
void f(int *x, int *y, int *z) {
*y += *x;
*z += *x;
}
该函数只是将*x与*y和*z相加，对吗？所以汇编代码应该是这样的，对吗？(我用伪C编写汇编代码)
eax = argument x
ebx = argument y
ecx = *eax
*ebx += ecx
ebx = argument z
*ebx += ecx
103如果y和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和*y是同一变量的不同名称.如果编译器假设x和y不能是同一个指针(即没有别名)，那么它可以跳过这条指令，因此指令更少，程序运行得更快.
您可以使用单词restrict来告诉编译器它们没有别名，如下所示:
void f(int *restrict x, int *restrict y, int *restrict z) {
*y += *x;
*z += *x;
}
-fno-alias告诉英特尔编译器别名不能在任何地方发生.这可能会产生错误somewhere，因为参数有时会产生别名--尽管它可能在没有别名的小程序上工作得很好.restrict更仔细地针对您知道不会有别名的特定参数.