如何通过GCC选项避免简单get/set函数的调用开销？

问题场景 #

嵌入式开发中，我们通常会把硬件寄存器的简单读写封装成get/set函数放在独立C文件中，既保证封装性，又方便统一管理硬件访问。但编译后查看汇编会发现，即使开启-O3级别的优化，这些函数调用依然会保留call指令，没法直接替换成更高效的mov内存访问指令。直接暴露全局变量虽然能避免开销，但会破坏封装，增加代码维护风险。

示例代码如下：

file.h #

#ifndef FILE_H
#define FILE_H

#include <stdint.h>

int32_t get_signal(void);
void set_signal(int32_t x);

#endif

file.c #

#include "file.h"
#include <stdint.h>

// 假设SOME_HARDWARE_ADDRESS是硬件寄存器地址的宏定义
static volatile int32_t *signal = SOME_HARDWARE_ADDRESS;

int32_t get_signal(void)
{
  return *signal;
}

void set_signal(int32_t x)
{
   *signal = x;
}

main.c #

#include "file.h"
#include <stdio.h>

int main(int argc, char *args[])
{
   for (int i = 0; i < 10; i++)
   {
     printf("signal = %d\n", get_signal());
   }
   
   return 0;
}

用普通优化命令编译时：

gcc -Wall -O3 -save-temps main.c file.c -o main.exe

汇编代码中依然会存在call get_signal指令，无法消除函数调用开销。

问题根源 #

GCC默认采用单文件独立编译：编译main.c时，只能看到get_signal的函数声明，不知道其具体实现，因此只能生成函数调用指令；链接阶段只是合并目标文件，无法再做内联这类深度优化。即使开启-O3，也只能对单个文件内的代码做优化，跨文件的函数无法被内联。

解决方案：启用链接时优化（LTO） #

使用-flto（Link-Time Optimization）选项，配合-O2或-O3优化级别，让GCC在链接阶段将所有目标文件的代码合并，进行全局范围内的优化。此时编译器能识别跨文件的简单get/set函数，将其直接内联为内存访问指令（即mov操作），同时保留volatile关键字要求的硬件访问语义。

有效编译命令：

# 用-O2配合LTO
gcc -Wall -O2 -flto -save-temps main.c file.c -o main.exe

# 或用-O3配合LTO
gcc -Wall -O3 -flto -save-temps main.c file.c -o main.exe

编译后查看汇编代码，会发现call get_signal已被替换为直接访问硬件寄存器的mov指令，消除了函数调用的额外开销，同时保留了代码的封装性。

注意事项 #

1. -flto必须配合至少-O1及以上的优化级别使用，单独使用-flto不会产生优化效果
2. 由于signal是volatile指针，编译器不会优化掉对它的内存访问，确保了硬件寄存器读写的正确性
3. LTO会增加编译和链接的时间，对于大型项目需要权衡编译速度和运行效率

内容的提问来源于stack exchange，提问作者faba