GCC LTO（Link Time Optimization）是一种编译器优化技术，允许在链接时进行优化，从而提高程序的性能和减少代码大小。LTO 的基本原理是将各个编译单元（通常是各个源文件）在编译过程中生成的中间表示（如GIMPLE）保留到链接阶段，然后在链接阶段对整个程序进行全局优化。

LTO 原理
  1. 编译阶段：在启用 LTO 的情况下，GCC 会生成特殊的中间文件（.o 文件），其中包含了优化所需的中间表示，而不仅仅是目标代码。这些中间表示保存在 GIMPLE 或者 LLVM IR 形式。
  2. 链接阶段：链接器会读取这些中间表示，然后将所有编译单元合并为一个统一的表示。这样，链接器就可以在整个程序范围内进行优化，而不是局限于单个编译单元。常见的优化包括函数内联、循环优化、常量传播等。
  3. 优化和生成：在链接阶段完成全局优化后，最终生成优化后的目标代码和可执行文件。
使用 LTO 的步骤

假设有两个源文件 foo.c 和 bar.c，我们希望在编译和链接时启用 LTO。

  1. 编译源文件：使用 -flto 选项。
gcc -c -O2 -flto foo.c -o foo.o
gcc -c -O2 -flto bar.c -o bar.o
  • 1.
  • 2.
  1. 链接目标文件：使用 -flto 选项。
gcc -O2 -flto foo.o bar.o -o my_program
  • 1.
示例代码

我们将创建两个简单的源文件来演示 LTO 的效果。

文件 foo.c
// foo.c
#include <stdio.h>

void foo() {
    printf("Hello from foo\n");
}
  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
文件 bar.c
// bar.c
#include <stdio.h>

void foo();

int main() {
    foo();
    printf("Hello from main\n");
    return 0;
}
  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
编译和链接

执行以下命令来编译和链接这两个文件：

gcc -c -O2 -flto foo.c -o foo.o
gcc -c -O2 -flto bar.c -o bar.o
gcc -O2 -flto foo.o bar.o -o my_program
  • 1.
  • 2.
  • 3.
分析结果

启用 LTO 后，GCC 可以在链接阶段看到 foo.c 和 bar.c 的完整代码。这允许 GCC 做一些全局优化，比如内联 foo 函数，减少函数调用的开销，从而提高程序性能。

LTO 优化的优势
  • 更高的优化水平：LTO 允许编译器进行跨文件的全局优化，而不仅仅局限于单个文件内的优化。
  • 减少代码大小：通过去除未使用的代码和进行更激进的优化，可以减少最终可执行文件的大小。
  • 提高性能：内联函数、移除冗余代码和其他全局优化可以显著提高程序运行效率。
LTO 的注意事项
  • 编译时间和内存占用：启用 LTO 可能会增加编译时间和内存占用，因为编译器需要在链接阶段处理更多的信息。
  • 兼容性：确保使用支持 LTO 的编译器和链接器版本。

GCC 从 4.5 版本开始支持 LTO（Link Time Optimization），此后的各个版本在 LTO 功能上不断改进和完善。以下是一些支持 LTO 的 GCC 主要版本：

主要支持 LTO 的 GCC 版本
  1. GCC 4.5：
  • 初步引入了 LTO 支持，但功能和稳定性有限。
  1. GCC 4.6 - 4.8：
  • 对 LTO 功能进行了显著改进，提升了稳定性和性能。
  1. GCC 4.9：
  • 进一步改进了 LTO 的性能，并引入了更好的诊断信息。
  1. GCC 5.x：
  • 引入了更多的优化技术，增强了对大规模项目的支持。
  1. GCC 6.x - 8.x：
  • 持续改进 LTO 的优化能力和编译速度，增强了与不同平台的兼容性。
  1. GCC 9.x：
  • 增加了对全局 ISRA (Interprocedural Scalar Replacement of Aggregates) 优化的支持。
  1. GCC 10.x：
  • 增强了对并行编译的支持，改进了 LTO 的内存使用情况。
  1. GCC 11.x：
  • 引入了对 -flto=auto 选项的支持，可以根据可用内存自动选择 LTO 级别。
  1. GCC 12.x：
  • 进一步优化了 LTO 的性能，并增加了对多线程编译的支持。
  1. GCC 13.x 及以后：
  • 持续对 LTO 进行改进，提升了优化的深度和广度，同时增强了编译速度和内存效率。
检查 GCC 是否支持 LTO

要检查你使用的 GCC 版本是否支持 LTO，可以使用以下命令：

gcc -v
  • 1.

输出中应包含如下信息，表明 GCC 编译器支持 LTO：

Target: x86_64-linux-gnu
Configured with: ... --enable-lto ...
  • 1.
  • 2.

或者可以直接使用 -flto 选项进行编译，如果 GCC 支持 LTO，它会正确处理该选项；如果不支持，则会报错。

确保 LTO 正确启用

在编译和链接过程中使用 -flto 选项。例如：

gcc -c -O2 -flto foo.c -o foo.o
gcc -c -O2 -flto bar.c -o bar.o
gcc -O2 -flto foo.o bar.o -o my_program
  • 1.
  • 2.
  • 3.