clang是llvm工具链入口,负责前端与驱动,支持从源码到ir或目标文件的全流程;opt专于ir优化;llc负责ir到汇编/目标文件的后端翻译;lld完成链接。

clang 负责前端和驱动,从源码到 IR 或目标文件
clang 是 LLVM 工具链的入口,它不单是 C/C++ 编译器,更是整个流程的调度器。它能直接生成可执行文件,也能分阶段输出中间产物。
常见用法:
-
clang -E main.c:只做预处理,输出宏展开后的内容(.i) -
clang -S -emit-llvm main.c:生成人类可读的 IR 文件main.ll -
clang -c -emit-llvm main.c:生成二进制 IR 文件main.bc -
clang -c main.c:跳过 IR,直接生成 ELF 目标文件main.o -
clang main.o -o prog:链接成可执行文件(背后调用 lld 或系统 ld)
注意:-emit-llvm 必须和 -S 或 -c 同时出现,否则 clang 默认走后端生成机器码,不会保留 IR。
opt 处理 IR 优化,是中端核心工具
opt 只认 .ll 或 .bc,不做任何前端解析或后端生成,纯粹对 LLVM IR 做变换。它是调试优化行为、验证自定义 Pass、复现优化 bug 的首选工具。
典型场景:
-
opt -O2 input.ll -o output.ll:应用标准 O2 优化流水线 -
opt -passes="loop-vectorize" input.bc -o vectorized.bc:只跑循环向量化 pass -
opt -debug-only=loop-vectorize input.ll -mypass:配合自定义 Pass 输出调试日志(需编译时启用-DLLVM_ENABLE_ASSERTIONS=ON) -
opt -print-after-all input.ll > log.txt 2>&1:把每个 pass 执行后的 IR 全打出来,适合定位哪一步改坏了语义
坑点:opt 默认不带运行时库,printf 等调用在 IR 中只是普通 call 指令;若要执行,得用 lli,且需确保符号可解析。
llc 将 IR 翻译为汇编或目标文件,属后端主力
llc 输入是 .ll 或 .bc,输出是 .s(文本汇编)或 .o(ELF/Mach-O 目标文件)。它不参与链接,也不处理头文件或符号解析。
关键参数组合:
-
llc input.ll -o out.s:默认生成当前主机架构汇编(如 x86_64) -
llc -mtriple=aarch64-linux-gnu input.bc -o arm64.s:指定目标 triple,跨架构生成 -
llc --filetype=obj input.ll -o out.o:生成二进制目标文件,可被lld链接 -
llc -relocation-model=pic input.ll:生成位置无关代码,用于共享库
注意:llc 不接受 C 源码或 .o 文件;若误传,会报错 LLVM ERROR: Invalid bitcode signature 或类似提示——说明输入根本不是 IR 格式。
lld 完成链接,替代系统链接器
lld 是 LLVM 自研链接器,输入是多个 .o 或 .a,输出是可执行文件、DSO(.so/.dylib)或静态库(.a)。它不处理源码、IR 或汇编,只做符号解析、重定位和段合并。
常用命令:
-
ld.lld main.o libc.a -o prog:显式调用 lld 链接(注意不是lld命令本身,而是ld.lld) -
clang -fuse-ld=lld main.o -o prog:让 clang 驱动时用 lld 替代系统 ld -
ld.lld --shared lib.o -o libfoo.so:生成动态库 -
ld.lld -r a.o b.o -o merged.o:relocatable 链接,合并目标文件但不解析外部符号
容易忽略的一点:lld 对输入顺序敏感,依赖符号必须出现在被依赖符号之后;若报 undefined reference to 'xxx',先检查 .o 参数顺序,而不是急着加 -l。











