-fPIE编译标志的代码生成差异及相关技术疑问

-fPIE 用于生成可链接到可执行文件的位置无关代码。

测试示例 #

最简单的测试代码：

int var;
extern int ext;
void foo();
int main(){
        int a = var;
        int b = ext;
        foo();
}

通过以下命令编译对比：

$ gcc -c so.c -o so.o
$ gcc -c -fPIE so.c -o so.fpie.o
$ diff <(objdump -Dr so.fpie.o) <(objdump -Dr so.o)
2c2
< so.fpie.o:     file format elf64-x86-64
---
> so.o:     file format elf64-x86-64

可见在x86_64平台GCC 12.2.1下，两者生成的指令和重定位信息几乎完全一致，仅目标文件名不同。以下是objdump -Dr so.o的部分输出：

Disassembly of section .text:

0000000000000000 <main>:
   0:   55                      push   %rbp
   1:   48 89 e5                mov    %rsp,%rbp
   4:   48 83 ec 10             sub    $0x10,%rsp
   8:   8b 05 00 00 00 00       mov    0x0(%rip),%eax        # e <main+0xe>
                        a: R_X86_64_PC32        var-0x4
   e:   89 45 f8                mov    %eax,-0x8(%rbp)
  11:   8b 05 00 00 00 00       mov    0x0(%rip),%eax        # 17 <main+0x17>
                        13: R_X86_64_PC32       ext-0x4
  17:   89 45 fc                mov    %eax,-0x4(%rbp)
  1a:   b8 00 00 00 00          mov    $0x0,%eax
  1f:   e8 00 00 00 00          call   24 <main+0x24>
                        20: R_X86_64_PLT32      foo-0x4
  24:   b8 00 00 00 00          mov    $0x0,%eax
  29:   c9                      leave
  2a:   c3                      ret

技术疑问解答 #

1. -fPIE 是否仅影响汇编代码生成阶段，不作用于预处理与汇编阶段？ #

是的。-fPIE 属于GCC的代码生成阶段选项，其作用范围仅覆盖编译器将中间代码转换为目标汇编代码的过程，不会影响预处理和汇编阶段：

• 预处理阶段：仅处理宏展开、头文件包含、条件编译等逻辑，-fPIE 不会改变预处理输出的.i文件内容；
• 汇编阶段：汇编器（as）仅负责将.s汇编文件转换为.o目标文件，-fPIE 的影响已经体现在GCC生成的.s代码中，而非汇编器的处理过程；
• 代码生成阶段：GCC会在该阶段调整寻址方式、重定位类型，确保生成的代码可以被链接为支持地址空间随机化（ASLR）的可执行文件。

2. 哪些场景下 -fPIE 会生成不同的目标文件/指令？ #

在x86_64平台的简单测试场景中，由于现代GCC默认使用PC相对寻址（天然支持位置无关特性），-fPIE 和默认编译的输出差异极小，但在以下场景会产生明显差异：

• 32位x86架构：32位x86的PC相对寻址范围有限（±2GB），默认编译会使用绝对地址访问全局变量/函数；而-fPIE 会强制生成基于GOT/PLT的间接访问指令，对应的重定位类型会从R_386_32变为R_386_GOT32（变量）或R_386_PLT32（函数），指令和重定位信息完全不同。
• 访问线程局部变量（TLS）：无论架构，-fPIE 下访问TLS变量会使用位置无关的寻址方式（如x86_64的fs:段前缀配合GOT重定位），而默认编译可能使用更直接的绝对寻址，生成不同的指令和重定位类型。
• 使用特殊内存模型：比如x86_64启用-mcmodel=large时，全局变量/函数地址可能超出PC相对寻址范围（±2GB），-fPIE 会生成基于GOT的间接访问，而默认编译可能使用绝对地址直接访问，导致指令差异。
• 老旧编译器版本：早期x86_64 GCC版本默认不启用PC相对寻址，-fPIE 会强制生成位置无关指令；现代GCC（如12.2.1）已默认支持PC相对寻址，因此简单场景下差异消失。
• 静态链接可执行文件：使用-static链接时，-fPIE 生成的目标文件会采用位置无关的重定位策略，确保代码可在任意地址加载；而默认编译的静态可执行文件是固定地址的，指令和重定位信息明显不同。

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