我与LLVM的旅程（GSoC'20 第一阶段）

自从我的提案被 GSoC'20 接受以来已经过去一个月。我学到了很多，度过了一段美好的时光。此外，我们在实现目标方面也取得了一些进展。因此，现在是回顾我在第一个编码周期中所做的工作和所学知识的好时机。

项目#

在 LLVM 中，我们使用yaml2obj手动制作各种格式的简单二进制文件，诸如 ELF、Mach-O、COFF 等。我的项目是为yaml2obj添加 DWARF 支持，希望能让人们更容易地手动制作这些二进制文件中的调试部分。该项目由 James Henderson 监督。

进展#

我们已经按照计划将现有的 DWARF 实现移植到yaml2elf。人们能够在较低级别上手动制作 DWARF 部分。我必须承认，目前 DWARF 部分的实现使用起来很困难，因为我们必须指定几乎每个字段，例如长度、版本、相关 DWARF 部分的地址或偏移量等。这是因为这些部分在当前实现中是孤立的，而 DWARFYAML 缺乏使这些部分正确相互链接的策略。这正是我们要解决的问题，我相信未来会有所改善。我们还有一个电子表格来记录与预期时间表的进展。

实现状态#

支持的 DWARF 部分的语法和已知问题如下所示。我不打算解决所有问题，因为某些 DWARF 部分在 DWARFv5 规范中已被弃用且很少使用。

注意：用 "[[]]" 引起来的字段是可选的。

语法	已知问题 / 可能的改进
	* 不支持发出多个缩写表。D83116
	* `yaml2macho`不支持发出`.debug_addr`部分。 * `dwarf2yaml`不支持解析`.debug_addr`部分。
	* `长度`、`AddrSize`和`SegSize`字段应为可选。 * 将`CuOffset`重命名为`DebugInfoOffset`。 * 将`AddrSize`重命名为`AddressSize`。 * 将`SegSize`重命名为`SegmentSelectorSize`。
	* 将`AbbrOffset`重命名为`DebugAbbrevOffset`。 * 将`AddrSize`重命名为`AddressSize`。 * 将`AbbrCode`重命名为`AbbrevCode`或`代码`。
	* DWARFv5 `.debug_line`部分尚未测试。
	* 不支持发出多个 pub 表。 * 用`格式`和`长度`替换`长度`。

成就#

我很高兴我大致能够达到第一阶段的目标。在第一个编码周期中，我了解了调试信息在目标文件中如何以较低级别表示，以及如何处理 LLVM 库中的错误。我还能够深入研究一些相关的核心库，如 DebugInfo、CodeGen 等。

需要改进的领域#

然而，仍然有一些领域我做得不好。当我在将 DWARF 支持移植到yaml2elf时，我发现某些 DWARF 部分格式不佳，例如.debug_pub*部分不支持发出多个 pub 表，.debug_abbrev部分不支持发出多个缩写表，.debug_pub*和.debug_abbrev部分缺少终止条目等。我曾经先将它们移植到yaml2elf，然后尝试修复问题。然而，这并不是正确的方法！我应该先修复问题，然后再将部分移植到yaml2elf，这样我就不必在许多地方更新测试用例，这可以防止格式不良的测试用例到处传播。

此外，如果我让elf2yaml支持将 DWARF 部分转换回 YAML，我的生活会更轻松。在将某些部分移植到yaml2elf后，我意识到我们有一个能够将 DWARF 部分转换回去的工具是很好的，这样我就不必手动制作太多部分。

致谢#

我想对 James Henderson 在这个项目中对我的指导表示衷心的感谢，并感谢大家对我的补丁进行审查并在我的提案中提供了许多有用的建议！

已接受的补丁#

以防这些补丁对评估有用。