LLVM IR生成器并非独立工具，而是需用LLVM C++ API（如IRBuilder、Module、Function）手动构建IR结构；必须严格匹配头文件与库版本，完成模块初始化、函数声明、基本块插入、指令生成四步，并调用verifyModule验证合法性。
LLVM IR 生成器不是独立工具，得用 LLVM C++ API 构建模块
直接调用“LLVM IR 生成器”这种东西不存在——LLVM 没提供一个黑盒函数把 C++ 代码喂进去就吐出 IR。你实际要做的，是用 LLVM 的 C++ 类（比如 llvm::IRBuilder、llvm::Module、llvm::Function）手动构造 IR 结构。这本质是写一个小型编译器后端，不是调用一个生成器。
常见错误现象：undefined reference to `llvm::IRBuilder<...>::CreateAdd(...)`</...>，多半是没链接 LLVMCore 库，或用了旧版头文件但链接了新版库（ABI 不兼容）。
- 必须用与 LLVM 头文件版本严格匹配的
libLLVM动态/静态库，推荐用llvm-config --libs core irreader support获取链接参数 -
llvm::IRBuilder不是线程安全的，每个线程应持有自己的实例 - 所有
Value*（如ConstantInt、AllocaInst）必须绑定到某个BasicBlock或Function，否则后续验证（verifyModule）会失败
从零建一个可执行的 IR 模块：关键四步不能跳
哪怕只生成 ret i32 42，也得走完模块初始化 → 函数声明 → 基本块插入 → 指令生成这个链路。漏掉任何一步，IR 就不合法。
示例片段（省略头文件和命名空间）：
立即学习“C++免费学习笔记（深入）”；
auto ctx = std::make_unique<llvm::LLVMContext>();
auto mod = std::make_unique<llvm::Module>("hello", *ctx);
auto funcTy = llvm::FunctionType::get(llvm::Type::getInt32Ty(*ctx), false);
auto func = llvm::Function::Create(funcTy, llvm::Function::ExternalLinkage, "main", mod.get());
auto bb = llvm::BasicBlock::Create(*ctx, "entry", func);
llvm::IRBuilder<> builder(bb);
builder.CreateRet(llvm::ConstantInt::get(llvm::Type::getInt32Ty(*ctx), 42));
- 必须显式创建
BasicBlock并传给IRBuilder构造函数，否则CreateRet会报错 “no insert point” -
Function::Create第三个参数是函数名，第四个是所属Module*；若传nullptr，函数不会被加入模块，后续print不会显示它 - 生成完务必调用
llvm::verifyModule(*mod, &errs())，很多隐性错误（如类型不匹配、未终止基本块）只在这里暴露
常见指令生成陷阱：类型、上下文、插入点三者必须对齐
IRBuilder 看似简单，但 CreateAdd、CreateLoad 这类函数失败往往不是语法错，而是类型系统卡住。
-
CreateAdd要求两个操作数类型完全一致（i32和i32），不能是i32和const int—— 必须用ConstantInt::get()显式转成Value* -
CreateLoad第一个参数必须是PointerType（比如alloca返回的），传i32*是错的，得是llvm::Type::getInt32PtrTy(*ctx)构造出来的指针类型 - 插入点（insert point）默认在基本块末尾，但若中间插入了
BranchInst或ReturnInst，后续指令会被丢弃——要用builder.SetInsertPoint(bb->getTerminator())手动重置
输出和调试：别只靠 print，用 verifyModule 和 llc 反查
生成的 IR 字符串看着对，不代表能被下游工具消费。真正可靠的验证是交给 LLVM 自己检查 + 实际编译。
- 用
mod->print(llvm::errs(), nullptr)输出到终端，或mod->print(outs(), nullptr)到文件，但这是“人眼友好”格式，不是机器唯一标准 - 必须调用
llvm::verifyModule；返回 true 才算 IR 结构合法，否则llc或opt会直接 abort - 生成
.ll文件后，立刻用llc -march=x86-64 hello.ll -o hello.s测试能否转汇编——如果失败，90% 是 IR 中调用约定、数据布局或未定义符号问题
最容易被忽略的是数据布局（DL）和目标三元组（Triple）。即使只是生成 IR，也要设 mod->setDataLayout("e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128") 和 mod->setTargetTriple("x86_64-pc-linux-gnu")，否则某些优化或后端处理会出乎意料地失败。
