1. LLVM编译器基础架构概述
各位同学好，我是这门课的主讲。今天咱们聊聊LLVM——这个在现代编译器领域几乎绕不开的基础设施。
说实话，我第一次接触LLVM是在2010年左右。那时候我还在做嵌入式开发，用的还是GCC。有一次为了给一个非主流芯片做交叉编译，折腾了整整两周。后来一个老同事跟我说：「你试试LLVM吧，它的架构设计会让你少掉不少头发。」嗯，他说的没错。
1.1 LLVM的历史：从学术项目到工业标准
LLVM最初是伊利诺伊大学香槟分校（UIUC）的一个研究项目，发起人是Chris Lattner。2000年，他还在读硕士的时候就开始捣鼓这个。你想想看，一个学生项目后来成了苹果、Google、NVIDIA这些大厂的核心工具链，这本身就挺传奇的。
我记得2012年参加一个技术大会，Chris Lattner在台上讲LLVM的设计哲学。他说了一句话我到现在还记得：「编译器不应该是一个黑盒子，它应该是一套可重用的库。」这句话后来成了我设计系统时的座右铭。
LLVM的发展有几个关键节点：
- 2003年：LLVM 1.0发布，支持C和C++
- 2005年：Apple开始使用LLVM，替代GCC
- 2011年：LLVM 3.0，Clang成为主流前端
- 2015年至今：LLVM成为Rust、Swift、Julia等新语言的首选后端
核心观点：LLVM的成功不在于它编译得有多快，而在于它的架构设计让「编译器开发」这件事从「造火箭」变成了「搭积木」。
1.2 三阶段设计：前端、优化器、后端
LLVM最经典的设计就是三阶段架构。说白了，就是把编译器拆成三个独立的模块：
- 前端（Frontend）：负责解析源代码，生成中间表示
- 优化器（Optimizer）：对中间表示进行各种优化
- 后端（Backend）：把优化后的中间表示翻译成目标机器码
为什么这么设计？我举个例子你就明白了。
假设你要支持10种编程语言，每种语言要编译到5种目标架构。如果按传统方式，你需要写10×5=50个编译器。但用LLVM的三阶段设计，你只需要写10个前端、1个优化器、5个后端，总共16个模块。省了多少事？
我在做Fusion Compiler迁移的时候，就深刻体会到了这个设计的威力。我们只需要替换掉原来的后端，前端和优化器几乎不用动。要是没有这个设计，整个项目至少要多花半年时间。
下面这张图展示了三阶段架构的核心流程：
1.3 LLVM IR：编译器的「通用语言」
LLVM IR（Intermediate Representation）是整个架构的枢纽。它既不像源代码那样高层，也不像机器码那样底层。说白了，它是一种精心设计的中间语言。
LLVM IR有三种形式：
| 形式 | 说明 | 用途 |
|---|---|---|
| 内存表示（In-Memory） | C++对象，通过API操作 | 编译器内部处理 |
| 文本形式（.ll） | 人类可读的汇编风格 | 调试、分析 |
| 二进制形式（.bc） | 紧凑的Bitcode格式 | 存储、传输 |
我个人的习惯是，调试优化问题时先用文本形式看IR。举个例子，下面这段C代码：
int add(int a, int b) {
return a + b;
}对应的LLVM IR文本形式是这样的：
define i32 @add(i32 %a, i32 %b) {
%1 = add i32 %a, %b
ret i32 %1
}你看，IR里没有复杂的语法结构，就是简单的指令序列。每条指令都做一件事，非常清晰。这种设计让优化器可以轻松地分析和变换代码。
小技巧：用 clang -S -emit-llvm foo.c 就能生成 .ll 文件。我经常用这个命令来检查前端生成的IR质量。
1.4 Pass框架与优化流水线
LLVM的优化是通过「Pass」来实现的。一个Pass就是一个优化或分析步骤。你可以把Pass想象成流水线上的一个工位，每个工位负责一道工序。
Pass分为两类：
- 分析Pass（Analysis Pass）：只分析代码，不修改。比如计算控制流图、变量活跃性分析。
- 变换Pass（Transform Pass）：修改代码。比如死代码消除、循环展开。
优化流水线就是把这些Pass按顺序串起来。LLVM提供了几个默认的优化级别：
| 优化级别 | 说明 | 典型场景 |
|---|---|---|
| -O0 | 不优化，编译最快 | 调试阶段 |
| -O1 | 基本优化 | 快速构建 |
| -O2 | 标准优化 | 日常发布 |
| -O3 | 激进优化 | 性能敏感场景 |
| -Os | 优化代码体积 | 嵌入式系统 |
我曾经遇到过一个坑：在某个嵌入式项目里，用了-O3优化，结果代码跑起来反而变慢了。后来发现是循环展开过度，导致指令缓存溢出。嗯，这里要注意，优化不是越激进越好，得看具体场景。
Pass框架还有一个很酷的特性：你可以自定义Pass。比如在Fusion Compiler迁移中，我们就写了一个自定义Pass来处理特定的硬件指令。这个我们后面会详细讲。
避坑指南：我曾经在写自定义Pass时，忘记注册Pass依赖，结果分析Pass拿到的数据是过期的。调试了整整一天才发现问题。记住：如果你的Pass依赖其他Pass的分析结果，一定要在 getAnalysisUsage 里声明清楚。
1.5 为什么选择LLVM？
说了这么多，你可能想问：LLVM到底好在哪？我总结几点：
- 模块化：前端、优化器、后端解耦，可以独立开发和测试
- 可扩展：通过Pass框架，你可以轻松添加自定义优化
- 跨平台：一套IR，多种后端，从x86到ARM到GPU都能支持
- 社区活跃：Apple、Google、NVIDIA等大厂都在贡献代码
当然，LLVM也不是万能的。它的学习曲线比较陡，文档有时候也不够友好。但一旦你掌握了它的设计哲学，你会发现它真的是编译器开发的「瑞士军刀」。
好了，这一章的内容就到这里。下一章我们会深入LLVM IR的细节，看看它到底长什么样，怎么用。到时候我会带大家手写几个IR示例，感受一下。