📚 课程目录第4章 LLVM IR详解

4、LLVM IR详解：IR的三种形式、基本语法、类型系统、指令集、模块与函数结构

LLVM IR（Intermediate Representation）是LLVM编译框架的核心枢纽。它位于前端（如Clang）与后端（如X86、ARM、RISC-V）之间，承担着将高级语言语义转化为机器无关中间表示的重任。理解LLVM IR，是掌握编译器优化、静态分析、语言前端开发乃至GPU编程（如NVVM、AMDGPU）的基石。本章将深入剖析IR的三种存在形式、其严谨的类型系统、核心指令集以及模块与函数的组织架构，帮助读者建立对LLVM IR的完整认知。

4.1 IR的三种形式：内存、文本与Bitcode

LLVM IR并非单一的文件格式，而是同一抽象语义在不同场景下的三种具体表现。理解这三种形式的转换关系，是使用LLVM工具链的基础。

4.1.1 内存IR（In-Memory IR）

这是IR在编译器进程内的存在形式，由C++对象构成。核心类包括 llvm::Module、llvm::Function、llvm::BasicBlock 和 llvm::Instruction。所有优化Pass（如GVN、Inliner、InstCombine）都直接操作这些内存对象。内存IR是唯一能够被Pass管理器直接修改的形式，文本和Bitcode都只是它的序列化视图。

4.1.2 文本IR（.ll文件）

文本IR是IR的人类可读形式，使用类似汇编的语法。它主要用于调试、测试和教学。通过 llvm-dis 工具可以将Bitcode转换为文本IR，而 llvm-as 则执行反向操作。文本IR的语法设计非常规整，每条指令都遵循 %result = opcode type operand1, operand2 的格式。

4.1.3 Bitcode（.bc文件）

Bitcode是IR的二进制编码形式，设计目标是紧凑性和加载速度。它使用变长整数编码和字符串表压缩，体积通常比文本IR小5-10倍。Bitcode是跨语言、跨平台分发编译产物的标准格式（如Apple的Bitcode、WebAssembly的LLVM后端）。

特性	内存IR	文本IR (.ll)	Bitcode (.bc)
存在位置	进程内存	磁盘文件	磁盘文件
可读性	不可读	高（类汇编）	不可读
修改能力	可直接修改	需解析后修改	需反序列化后修改
典型用途	Pass优化、JIT	调试、测试用例	发布、链接、LTO
转换工具	—	llvm-as / llvm-dis	llvm-as / llvm-dis

经验提醒：在开发自定义Pass时，务必使用 llvm-dis 将优化前后的IR导出为文本格式进行对比。这比在调试器中查看C++对象要直观得多。例如：opt -pass-name=my-pass -S input.ll -o output.ll。

4.2 类型系统：强类型与显式表示

LLVM IR采用强类型系统，每个值（Value）都有明确的类型。这种设计使得优化器无需进行复杂的类型推断，同时为指令选择提供了精确信息。

4.2.1 一等类型（First-Class Types）

整数类型：i1（布尔）、i8、i32、i64 等。任意位宽均可，如 i17 合法。
浮点类型：half、float、double、fp128、x86_fp80 等。
指针类型：ptr（LLVM 15+ 起统一为不透明指针，不再区分指向类型）。
向量类型：<4 x i32> 表示4个32位整数组成的向量，用于SIMD优化。
聚合类型：struct、array，用于表示复合数据结构。

4.2.2 类型在指令中的作用

每条指令的操作数都必须携带类型信息。例如 add i32 %a, %b 明确表示32位整数加法。这种冗余设计看似啰嗦，但带来了两个关键优势：一是无需上下文即可独立解析指令；二是便于优化器快速判断操作数宽度，避免溢出错误。

; 类型系统示例
define i32 @add(i32 %a, i32 %b) {
  %sum = add i32 %a, %b
  ret i32 %sum
}

; 向量类型示例
define <4 x float> @vec_add(<4 x float> %x, <4 x float> %y) {
  %r = fadd <4 x float> %x, %y
  ret <4 x float> %r
}

常见误区：初学者常混淆 i32 与 i32*（旧版指针语法）。在LLVM 15之后，指针统一写作 ptr，但指针的指向类型信息（如 ptr @global_var）仍可通过全局变量的类型推断。不要试图在IR中直接做指针算术，必须使用 getelementptr 指令。

4.3 核心指令集与SSA形式

LLVM IR基于静态单赋值（Static Single Assignment, SSA）形式。这意味着每个变量只能被赋值一次。SSA形式极大简化了数据流分析，但要求编译器引入 phi 指令来合并控制流交汇处的值。

4.3.1 指令分类

类别	代表指令	说明
终结指令	ret, br, switch, unreachable	终止基本块，控制流转移
二元运算	add, sub, mul, udiv, sdiv, fadd	整数/浮点算术
位运算	and, or, xor, shl, lshr, ashr	逻辑与移位
内存访问	load, store, getelementptr	读写内存、计算地址
类型转换	trunc, zext, sext, fptrunc, bitcast	类型间转换
比较指令	icmp, fcmp	返回 i1 布尔值
聚合操作	extractvalue, insertvalue	访问 struct/array 成员
其他	phi, select, call, alloca	SSA合并、条件选择、函数调用、栈分配

4.3.2 phi指令的必要性

考虑以下C代码：int x = cond ? 1 : 2; 在SSA形式中，变量 x 不能直接赋值两次。IR会将其转换为两个基本块，并在汇合点使用 phi 指令：

define i32 @select(i1 %cond) {
entry:
  br i1 %cond, label %then, label %else
then:
  br label %merge
else:
  br label %merge
merge:
  %x = phi i32 [ 1, %then ], [ 2, %else ]
  ret i32 %x
}

  核心原理：phi指令的语法为 phi type [value, predecessor_block]。它根据当前执行流来自哪个前驱基本块来选择对应的值。优化器（如 simplifycfg）会尝试消除冗余phi，但理解phi是阅读IR的基本功。

4.4 模块与函数结构

一个 Module 是LLVM IR的顶层容器，相当于一个编译单元（.c文件或.ll文件）。它包含全局变量、函数定义、外部声明、元数据以及目标平台信息。

4.4.1 Module的组成

目标三元组（Target Triple）：如 x86_64-pc-linux-gnu，指定目标架构、厂商、操作系统和ABI。
全局变量：使用 @ 前缀，可指定 global 或 constant 属性，以及对齐方式。
函数声明与定义：声明使用 declare，定义使用 define。
命名元数据：如 !llvm.module.flags，用于传递编译选项。

4.4.2 Function的内部结构

一个函数由若干 BasicBlock 组成，每个基本块是单入口、单出口的指令序列。基本块之间通过终结指令（如 br）连接，形成控制流图（CFG）。函数入口基本块通常以 entry 命名，且不能有前驱。

; 完整模块示例
; ModuleID = 'example.c'
source_filename = "example.c"
target triple = "x86_64-unknown-linux-gnu"

@global_var = global i32 42, align 4
@const_str = private constant [6 x i8] c"hello\00"

define i32 @main() {
entry:
  %retval = alloca i32, align 4
  store i32 0, i32* %retval, align 4
  %call = call i32 @helper(i32 10)
  ret i32 %call
}

declare i32 @helper(i32 %x)

4.4.3 链接与内联

模块间的链接（LTO）通过合并多个Module实现。链接器（llvm-link）会解析外部符号引用，并可能触发跨模块优化（如函数内联）。理解模块边界对于编写跨编译单元优化Pass至关重要。

实战场景：当使用 clang -O2 -flto 编译时，Clang会生成Bitcode而非目标文件。链接阶段，lld 会加载所有Bitcode模块，执行跨模块的Pass（如全局常量传播、死代码消除），最后才生成机器码。这种模式能显著提升性能，但会增加链接时间。

4.5 案例拆解：从C代码到优化后的IR

我们通过一个具体案例，完整走一遍从C源码到优化后IR的流程，观察类型系统、指令集和模块结构如何协同工作。

背景与目标：编写一个简单的数组求和函数，使用 clang -O2 生成IR，并分析优化器如何将循环向量化。

初始C代码：

int sum_array(int *arr, int n) {
    int sum = 0;
    for (int i = 0; i < n; i++) {
        sum += arr[i];
    }
    return sum;
}

操作步骤：

生成未优化的IR：clang -S -emit-llvm sum.c -o sum.ll
生成优化后的IR：clang -S -emit-llvm -O2 sum.c -o sum_opt.ll
对比两个文件，观察 phi、getelementptr 和向量指令的变化。

关键分析：未优化版本中，循环体包含 load、add、br 和 phi。优化后，LLVM识别出循环的连续内存访问模式，将其向量化为 <4 x i32> 的 load 和 add 指令，并添加了 icmp 和 select 处理尾部元素。

; 优化后核心片段（节选）
vector.body:
  %wide.load = load <4 x i32>, <4 x i32>* %ptr, align 4
  %4 = add <4 x i32> %wide.load, %vec.phi
  ; ... 向量累加 ...
middle.block:
  %vec.phi.lcssa = phi <4 x i32> [ %4, %vector.body ]
  %5 = extractelement <4 x i32> %vec.phi.lcssa, i32 0
  ; ... 标量累加剩余元素 ...

结果与复盘：优化后的IR代码量增加了约30%，但循环体不再包含分支指令，CPU流水线利用率大幅提升。这个案例展示了IR作为优化载体的价值——优化器在IR层面进行变换，无需关心具体CPU架构。风险在于向量化可能增加寄存器压力，在低端CPU上反而性能下降，因此LLVM提供了 -mllvm -vectorize-loops=false 等开关进行控制。

常见误区：不要试图手动编写向量化IR。LLVM的循环向量化Pass（LoopVectorize）已经非常成熟，手动编写容易产生错误的对齐假设或尾部处理逻辑。正确做法是编写清晰的高级语言代码，让优化器自动向量化。

4.6 总结与最佳实践

LLVM IR是连接语言前端与后端的桥梁，其三种形式（内存、文本、Bitcode）服务于不同的工程场景。掌握类型系统是阅读IR的前提，而理解SSA与phi指令则是进行任何Pass开发的基础。模块与函数结构决定了优化Pass的作用域。

核心要点回顾：

内存IR是唯一可修改的形式，文本和Bitcode仅用于持久化与传输。
类型系统显式标注每个值，ptr 不透明指针简化了类型处理。
SSA形式要求使用 phi 合并控制流值，这是IR与普通汇编的最大区别。
模块是编译单元，函数由基本块组成，基本块以终结指令结束。

实践建议：在开发新Pass时，先使用 opt -pass-name=your-pass -S 输出文本IR进行单元测试。利用 llvm-extract 工具提取单个函数进行隔离调试。熟悉 llvm-nm 和 llvm-objdump 可以帮助你从Bitcode中恢复符号信息。最后，务必阅读 LangRef.rst（LLVM语言参考手册），它是IR语法的权威来源。