LLVM新后端启用DWARF的方法及调试问题咨询

新后端是否需编写额外代码支持DWARF？ #

是的，自定义LLVM后端必须编写目标架构相关的代码才能支持DWARF调试信息生成。LLVM的通用DWARF生成框架（如DwarfDebug、DwarfCompileUnit）会处理跨架构的通用逻辑，但目标特定的细节必须由后端实现，包括但不限于：

• 寄存器编号与DWARF寄存器编号的映射（需实现getDwarfRegNum接口）
• 地址空间的DWARF编码规则
• 调用栈帧的调试信息生成（实现TargetFrameLowering中的DWARF相关方法）
• 目标架构特有的调试信息标记（如硬件断点、特殊寄存器的调试表示）
• AsmPrinter中对DWARF section的正确输出（如.debug_info、.debug_line等section的创建与数据写入）

是否有相关文档？ #

LLVM官方提供了后端开发者相关的DWARF参考资料：

• LLVM Backend Developer's Guide中的Debug Information章节，明确了后端需要实现的DWARF相关接口与核心逻辑
• 《DWARF Debugging Information Format》官方标准文档（第4/5版），用于理解DWARF的通用结构与编码规则
• LLVM源码中的注释是最直接的实现参考：比如llvm/lib/CodeGen/AsmPrinter/DwarfDebug.cpp、llvm/lib/CodeGen/AsmPrinter/DwarfExpression.cpp中的代码注释，以及X86/AArch64等成熟后端的XXXAsmPrinter.cpp、XXXFrameLowering.cpp中的DWARF实现代码

若无文档，该从何处开始调试？ #

按以下步骤逐步定位问题：

1. 验证前端调试元数据传递：用clang -g -S -emit-llvm helloworld.c生成LLVM IR，检查IR中是否存在!dbg调试元数据节点，确认前端已将调试信息正确传递给后端。
2. 检查后端AsmPrinter实现：对比X86/AArch64的AsmPrinter代码，确认自定义后端是否实现了emitDebugValue、emitDebugLabel等关键方法，以及是否正确初始化了DWARF相关的section。
3. 追踪LLC生成汇编的过程：用llc -debug -g helloworld.ll编译IR到汇编，查看调试日志中DWARF生成环节的输出，定位是否有数据未正确写入.debug_info section。
4. 对比汇编代码差异：将自定义目标生成的汇编与X86_64的汇编对比，重点查看.debug_info、.debug_abbrev等DWARF section的定义与内容，检查是否遗漏关键的编码指令（如.uleb128、.long等）或调试信息条目。
5. 用llvm-dwarfdump深入分析错误：执行llvm-dwarfdump --debug-only=dwarf --verify helloworld，获取更详细的验证错误日志，定位到具体出错的DWARF结构字段（如偏移量错误、缩写表不匹配等）。
6. 检查汇编器处理逻辑：用llvm-mc -filetype=obj -triple=your-target helloworld.s将汇编转为目标文件，查看转换过程中的日志，确认汇编器是否正确解析了DWARF相关的汇编指令。
7. 验证目标FrameLowering实现：检查自定义后端的TargetFrameLowering是否正确实现了DWARF调用栈帧的相关方法（如emitPrologue中是否生成了正确的调试帧信息）。

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