是!
链接时优化通常适用于“胖”目标文件中存在的中间表示(IR),其可以包含用于传统链接的机器代码和用于LTO链接的IR.
在这个阶段,没有更高级的语言结构,因此链接时优化与语言无关.
GCC
海湾合作委员会的link-time optimization(LTO)在GCC的中间代表之一GIMPLE上运作. IR始终与语言无关,因此任何链接时优化都可以在任何语言生成的代码中使用.
Another feature of LTO is that it is possible to apply interprocedural optimizations on files written in different languages:
06000
Notice that the final link is done with g++ to get the C++ runtime libraries and -lgfortran is added to get the Fortran runtime libraries. In general, when mixing languages in LTO mode, you should use the same link command options as when mixing languages in a regular (non-LTO) compilation.
这是一个示例,向您展示这项技术的强大功能.我们将定义一个C函数并从C程序中调用它：
func.h
#ifndef FUNC_DOT_H
#define FUNC_DOT_H
#ifdef __cplusplus
extern "C" {
#endif
int func(int a, int b, int c);
#ifdef __cplusplus
}
#endif
#endif /* FUNC_DOT_H */
func.c
#include "func.h"
int func(int a, int b, int c)
{
return 3*a + 2*b + c;
}
main.cpp中
#include "func.h"
int main()
{
int a = 1;
int b = 2;
int c = 3;
return func(a, b, c);
}
编
gcc -o func.o -c -Wall -Werror -flto -O2 func.c
g++ -o main.o -c -Wall -Werror -flto -O2 main.cpp
g++ -o testlto -flto -O2 main.o func.o
拆解(objdump -Mintel -d -R -C testlto)
Disassembly of section .text:
00000000004003d0 :
4003d0: b8 0a 00 00 00 mov eax,0xa ; 1*3 + 2*2 + 3 = 10
4003d5: c3 ret
你可以看到它不仅将我的C func()内联到我的C main()中,而且它将整个事物变成了一个常量表达式！
Clang / LLVM
使用相同的语法,Clang能够使用LLVM IR发出“胖”对象文件,这可以在链接时进行优化.见LLVM Link Time Optimization.
使用与上面相同的测试代码,clang产生完全相同的结果：
00000000004004b0 :
4004b0: b8 0a 00 00 00 mov eax,0xa
4004b5: c3 ret
