LLVM 目标无关代码生成器 6：实现原生汇编器
本文是一篇译文，翻译自：
https://llvm.org/docs/CodeGenerator.htmlllvm.org/docs/CodeGenerator.html
如有问题，敬请指出。
转载需注明出处，若需相关专业翻译服务，可联系我。
- LLVM 目标无关代码生成器 1：介绍
- LLVM 目标无关代码生成器 2：目标描述类
- LLVM 目标无关代码生成器 3：机器代码描述类
- LLVM 目标无关代码生成器 4：MC 层
- LLVM 目标无关代码生成器 5：目标无关代码生成算法
- LLVM 目标无关代码生成器 6：实现原生汇编器
6.1 指令解析（原文未完成）
原文待完成状态
6.2 指令别名分析
指令解析之后，会进入到 MatchInstructionImpl 函数。该函数实现了别名处理，之后会做真正的匹配工作。
别名分析是为了识别同样一条指令的不同文本形式，并下降到同一种指令表示。在 TableGen 中有几种不同类型的别名描述，将会在后续小节阐述，它们的顺序是从简单到复杂排好序的，一般情况下，只需要使用第一种描述方法即可，这通常是最简洁的描述方法。
6.2.1 助记符别名
助记符别名的描述比较简单，它是一个 TableGen 的类 MnemonicAlias，接受两个指令类。它将一个输入的助记符映射到一个输出的助记符。
6.2.2 指令别名
通常对指令别名的解析是在指令匹配过程时完成的，需要提供新的别名映射关系和特定要生成的指令。所以，一个指令别名的描述分为两部分：要匹配的指令字符串名以及要生成的指令。比如：
1 | def : InstAlias<"movsx $src, $dst", (MOVSX16rr8W GR16:$dst, GR8 :$src)>; |
这个例子成功的将相同的指令别名映射为不同的指令（仅依赖于操作数在汇编上的类型）。对应生成的指令可以与指令字符串名中的操作数顺序不同，也可以多次使用字符串名中的输入操作数，比如：
1 | def : InstAlias<"clrb $reg", (XOR8rr GR8 :$reg, GR8 :$reg)>; |
这个例子展示了多次使用在字符串名中的同一个操作数。在 X86 后端中，XOR8rr 有两个输入的 GR8 寄存器和一个输出的 GR8 寄存器（其中一个输入和输出共用同一个寄存器）。InstAlias 的操作数是直接对应的，不需要特殊指定重复的寄存器。生成的指令还可以直接使用立即数或固定寄存器作为操作数，如：
1 | // 固定的立即数操作数 |
指令别名的描述可以使用 Requires 来约束它针对特殊 subtarget 的所属性。
如果后端支持，指令输出器可以自动的发射指令别名，而不是指令别名的映射名，这样可以让输出的汇编代码更清晰可读。如果希望这样，在 InstAlias 中的第三个参数传入 0。
6.3 指令匹配（原文未完成）
原文待完成状态
第七章是目标相关的一些实现细节。这一部分和硬件特性相关，暂时不太关心，就不翻译了。需要提示的是，这部分内容很可能不再更新，其中部分内容我发现已经与代码不符，真实情况要结合代码熟悉。
完结，撒花 🎉
本文同步发布在知乎账号下：LLVM 目标无关代码生成器（第六章） - 知乎 (zhihu.com)
本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 P2Tree's Mill！
相关推荐
2022-12-03
LLVM New Pass Manager
这是一篇译文，主要介绍了 LLVM 中的 New Pass Manager 原文链接：https://blog.llvm.org/posts/2021-03-26-the-new-pass-manager/by Arthur Eubanks（Mar 26, 2021） Pass Manager 的介绍Pass Manager 的主要用途是调度 Pass 在各 IR 层级按顺序运行。 Pass 分为 transformation pass 和 analyses pass，它们可以选择运行在 module、function 等各种 scope 下，甚至更加抽象地，比如 call graph 上的强连接组件（SCC: strongly connected component）或者 loop 上。 调度可以很简单，比如直接按顺序运行 pass list，或者按遇到的每一个 function 来调用。同时调度也可能很复杂，比如 SCC 在 call graph 中的顺序必须正确。 Pass Manager 还负责管理 analyses pass 的分析结果，比如说支配树（dominat...
2020-12-06
LLVM 目标无关代码生成器 5：目标无关代码生成算法
本文是一篇译文，翻译自：https://llvm.org/docs/CodeGenerator.htmlllvm.org/docs/CodeGenerator.html如有问题，敬请指出。转载需注明出处，若需相关专业翻译服务，可联系我。 这一部分文档详细描述了前边 1.2 节 “代码生成器的高层设计” 中的概述内容。详细解释了代码生成的工作原理和设计思路。 LLVM 目标无关代码生成器 1：介绍LLVM 目标无关代码生成器 2：目标描述类LLVM 目标无关代码生成器 3：机器代码描述类LLVM 目标无关代码生成器 4：MC 层LLVM 目标无关代码生成器 5：目标无关代码生成算法LLVM 目标无关代码生成器 6：实现原生汇编器 5.1 指令选择指令选择是 LLVM 代码生成中的一个重要步骤，它将高层的 LLVM 代码表示翻译为目标相关的机器指令。在学术界有多种不同的实现方法，LLVM 使用了基于 SelectionDAG 的指令选择器。 DAG 指令选择器的大部分内容是通过 tablegen 依赖 .td 文件生成的。我们的目标便是将这些 .td 文件生成一个完整的指令...
2020-11-28
LLVM 目标无关代码生成器 4：MC 层
本文是一篇译文，翻译自：https://llvm.org/docs/CodeGenerator.htmlllvm.org/docs/CodeGenerator.html如有问题，敬请指出。转载需注明出处，若需相关专业翻译服务，可联系我。 MC 层被用来表示机器编码级别的代码，相比于更高层的表示形式，它去除了像常量池、跳转表、全局变量等概念。在这一层上，LLVM 处理如 Label 名称、机器指令、目标文件段信息。这一层的代码在一些阶段非常重要，比如代码生成的最后阶段（也就是写入 .s 或 .o 文件时），或者被 llvm-mc 工具用来作为独立汇编器和反汇编器使用。 这一章节描述一些很重要的类，在之后的章节，还会描述和这一层交互的其他很重要的子系统。 LLVM 目标无关代码生成器 1：介绍LLVM 目标无关代码生成器 2：目标描述类LLVM 目标无关代码生成器 3：机器代码描述类LLVM 目标无关代码生成器 4：MC 层LLVM 目标无关代码生成器 5：目标无关代码生成算法LLVM 目标无关代码生成器 6：实现原生汇编器 4.1 MCStreamer APIMCStre...
2020-11-25
LLVM 目标无关代码生成器 3：机器代码描述类
本文是一篇译文，翻译自：https://llvm.org/docs/CodeGenerator.htmlllvm.org/docs/CodeGenerator.html如有问题，敬请指出。转载需注明出处，若需相关专业翻译服务，可联系我。 在高层设计中，LLVM 代码会翻译成由 MachineFunction、MachineBasicBlock 和 MachineInstr 实例组成的特定机器的表示。这种表示完全是目标无关的，以最抽象的方式描述指令：操作码和操作数。这种表示被设计用来同时支持机器码的 SSA 形式以及寄存器分配后的表示（即非 SSA 形式） 。 LLVM 目标无关代码生成器 1：介绍LLVM 目标无关代码生成器 2：目标描述类LLVM 目标无关代码生成器 3：机器代码描述类LLVM 目标无关代码生成器 4：MC 层LLVM 目标无关代码生成器 5：目标无关代码生成算法LLVM 目标无关代码生成器 6：实现原生汇编器 3.1 MachineInstr 类目标机器指令（Machine Instruction，LLVM 后端的一种中间表示，缩写为MI ）通过 M...
2020-11-22
LLVM 目标无关代码生成器 2：目标描述类
本文是一篇译文，翻译自：https://llvm.org/docs/CodeGenerator.htmlllvm.org/docs/CodeGenerator.html如有问题，敬请指出。转载需注明出处，若需相关专业翻译服务，可联系我。 LLVM 目标描述的类 （存放在 include/llvm/Target/ 路径下）提供了一套抽象的针对任意后端机器通用的描述。这些类被设计来管理一些抽象的目标属性（比如指令和寄存器），并且不夹杂任何代码生成算法的片段。 除了 DataLayout 以外，其他所有的目标描述类都需要作为基类被特定目标的描述类所继承，同时提供虚函数的实现。为了便于实现， TargetMachine 类提供了一些访问器（accessor），这些也同样需要在特定目标的描述类中实现。 LLVM 目标无关代码生成器 1：介绍LLVM 目标无关代码生成器 2：目标描述类LLVM 目标无关代码生成器 3：机器代码描述类LLVM 目标无关代码生成器 4：MC 层LLVM 目标无关代码生成器 5：目标无关代码生成算法LLVM 目标无关代码生成器...
2020-11-21
LLVM 目标无关代码生成器 1：介绍
本文是一篇译文，翻译自：https://llvm.org/docs/CodeGenerator.htmlllvm.org/docs/CodeGenerator.html如有问题，敬请指出。转载需注明出处，若需相关专业翻译服务，可联系我。 LLVM 目标无关代码生成器是一个软件框架，它提供了一些可重用的组件，能将 LLVM 中间表示语言翻译成特殊目标下的机器代码。这里所指的机器代码，既可以是汇编码（静态编译器组成部分），也可作为二进制机器码（通过 JIT 编译器运行）。 译注：本文中会把原文 Machine Code 翻译为机器码，但需注意，此处机器码并不表示二进制可执行文件，如 ELF 文件，Machine Code 是 LLVM 后端中 MC 层的中间表示，虽然其与二进制可执行文件有较大相似之处，但依然是两个不同的东西。若文中需要翻译为二进制可执行文件，会特殊指出。 LLVM 目标无关代码生成器由 6 个主要的组件组成： 抽象的目标描述接口：用来维护那些重要的机器特性，而不需要考虑他们的使用。这些接口存放在 include/llvm/Target/ 下。 用来做代...
评论
