如何为LLVM IR解析器获取基本块名称？.ll文件仅显示标签地址

看起来你在编写LLVM解析器分析编程范式时，遇到了IR文件里基本块只有数字标识（比如<label>:4）而没有可读名称的麻烦——这确实会给分析过程添不少障碍，我来给你几个实用的解决思路：

一、编译生成IR时保留/生成有意义的基本块名称 #

LLVM默认在优化过程中会丢弃无引用的基本块名称，或是用数字替代。你可以通过编译参数让前端生成带可读性名称的基本块：

• Clang专属编译参数：
  编译C/C++代码到LLVM IR时，加上*-Xclang -emit-llvm-bb-names参数，同时配合-O0*关闭优化（避免优化阶段删除名称），命令示例：

  clang -O0 -Xclang -emit-llvm-bb-names -S -emit-llvm your_program.c -o your_program.ll
  

  生成的IR里，基本块会带有和源代码结构对应的名称，比如if.then、if.else、loop.body这类清晰标签。

• 搭配调试信息强化命名：
  再加*-g*参数生成调试信息，基本块名称会更贴近源代码中的代码块，命令：

  clang -O0 -g -Xclang -emit-llvm-bb-names -S -emit-llvm your_program.c -o your_program.ll
  

二、给已有的无命名IR批量添加基本块名称 #

如果已经有了只有数字标签的IR文件，你可以写一个简单的LLVM Pass来重命名基本块，示例代码（基于LLVM C++ API）：

#include "llvm/IR/Function.h"
#include "llvm/IR/Module.h"
#include "llvm/Pass.h"
#include "llvm/Support/raw_ostream.h"

using namespace llvm;

struct RenameBasicBlocks : public ModulePass {
  static char ID;
  RenameBasicBlocks() : ModulePass(ID) {}

  bool runOnModule(Module &M) override {
    for (auto &F : M) {
      if (F.isDeclaration()) continue;
      unsigned BBIdx = 0;
      for (auto &BB : F) {
        // 生成自定义名称：函数名_bb_序号
        std::string NewName = F.getName().str() + "_bb_" + std::to_string(BBIdx++);
        BB.setName(NewName);
      }
    }
    return true;
  }
};

char RenameBasicBlocks::ID = 0;
static RegisterPass<RenameBasicBlocks> X("rename-bbs", "Rename basic blocks to readable names");

编译这个Pass后，用opt工具处理你的IR文件：

opt -load ./libRenameBasicBlocks.so -rename-bbs your_program.ll -S -o renamed_program.ll

处理后的IR里每个基本块都会有类似main_bb_0、main_bb_1这样的清晰名称。

三、在解析器中动态处理数字标签 #

如果不想修改IR文件，也可以在解析过程中为数字标签的基本块赋予自定义标识：

• 遍历基本块时，结合它的前驱块、包含的指令类型（比如分支、加载存储操作）生成名称，比如bb_branch_to_10、bb_load_add_store；
• 或者基于基本块在函数中的顺序编号，生成func_<函数名>_bb_<序号>这类结构化名称，方便后续分析识别。

这样不管IR原始标签是什么，你都能在解析器内部建立一套易读的标识体系，不影响后续的编程范式检查。

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