关于Rust生成LLVM IR的LLVM passes执行及自定义方法的问询

嘿，这几个问题问到点子上了！作为天天跟rustc和LLVM打交道的人，我来给你捋得明明白白：

一、生成的LLVM IR会经过哪些LLVM Passes？ #

Rust编译生成LLVM IR的流程其实分两大块：先过一遍Rust专属的IR转换pass，再进入LLVM的标准优化流水线。

Rust专属的LLVM Passes #

rustc前端吐出初始LLVM IR后，首先会跑一批专门针对Rust特性定制的pass，目的是把Rust独有的语法结构（比如enum、trait对象、协程）转成LLVM能高效处理的形式，举几个常见的：

• LowerEmuTls：处理那些不支持原生线程本地存储（TLS）的平台，模拟出Rust需要的TLS行为
• PromoteMemoryToRegister：把局部变量从内存里移到寄存器（虽然LLVM本身也有这个pass，但Rust会提前针对自己生成的IR做一次预处理）
• CleanupCoroutines：清理Rust协程编译后留下的临时IR结构
• 还有针对panic unwinding的IR转换，确保异常处理完全符合Rust的语义

LLVM标准优化Passes #

搞定Rust专属转换后，就轮到LLVM的优化流水线上场了，具体跑哪些pass完全看你指定的优化级别：

• Debug模式（默认-O0）：几乎不做优化，只做最基础的IR合法性检查和少量清理工作，保留大量临时变量和未优化的分支，方便调试
• Release模式（-O2/-O3）：拉满优化，会执行一堆硬核pass，比如：
  • InstCombine：合并冗余指令，简化IR结构
  • GVN（全局值编号）：消除重复计算，减少冗余操作
  • LICM（循环不变代码外提）：把循环里不会变的代码移到循环外面，提升执行效率
  • LoopVectorize：把普通循环转成SIMD指令，榨干CPU的并行能力
  • DeadCodeElimination：删掉没用的代码和变量，精简IR
• Size优化模式（-Os/-Oz）：优先考虑缩小二进制体积，会优先执行合并函数、精简指令这类pass，牺牲一点性能换更小的文件

二、cargo rustc -- --emit=llvm-ir时执行了哪些Passes？ #

这个得分情况看，核心是你有没有指定优化级别：

• 默认Debug模式（没加-O参数）：此时输出的LLVM IR是经过Rust专属基础转换后的初始版本，完全没跑LLVM的优化pass。你能看到很多rustc生成的临时变量、直白的分支结构，基本就是前端刚生成的样子。
• 加了优化级别（比如cargo rustc --release -- --emit=llvm-ir）：这时候rustc会先跑完所有Rust专属pass，再执行对应优化级别的LLVM标准pass，最后输出的是优化后的IR。

如果想同时看初始和优化后的IR，可以加-C save-temps选项，它会生成多个文件：比如.ll是初始IR，.opt.ll就是优化后的版本。

三、能不能指定在生成IR前执行特定LLVM Passes？ #

必须可以！rustc给了好几种方式来自定义LLVM passes：

• 直接指定pass列表：用-C passes=<pass1>,<pass2>，比如cargo rustc -- --emit=llvm-ir -C passes=instcombine,gvn，这样就能在生成最终IR前强制跑这两个pass。
• 给LLVM传原始参数：用-C llvm-args="..."，比如cargo rustc -- --emit=llvm-ir -C llvm-args="-passes=loop-vectorize"，直接把命令传给LLVM，指定要运行的pass。
• 完全自定义流水线：如果不想用rustc默认的pass顺序，可以加-C no-prepopulate-passes禁用默认pass，然后自己从头指定，比如cargo rustc -- --emit=llvm-ir -C no-prepopulate-passes -C passes=instcombine,dead-code-elimination。

不过要提醒一句：LLVM的passes有依赖关系，乱序指定可能会导致IR出问题甚至编译失败，最好先查清楚每个pass的作用和依赖再动手。

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