2020年5月5日 · LLVM使用SelectionDAG类 (defined in include/llvm/CodeGen/SelectionDAG.h)表示一个架构无关的底层数据依赖图, 它将串联整个指令选择流程, 所以包含了许多成员与接口, 这里我们只截取与lowering相关的部分.

visitShift ()函数会为llvm ir指令I生成对应的SelectionDAG ir节点，该节点的opcode以ISD::SHL标明。 NodeMap作为dag中节点的映射结构，visitShift ()函数最后将发射的节点置于NodeMap的对应位置上。

SelectionDAG is a framework for instruction selection. Many targets use SelectionDAG (X86, NVPTX, MIPS, Hexagon, . . . ). Decisions made within SelectionDAG have a significant impact on final code quality. Support for new target instructions or intrinsics requires SelectionDAG changes.

指令选择 (instruction selection)是将中间语言转换成汇编或机器代码的过程。 在LLVM后端中具体表现为模式匹配，目标指令选择阶段会把后端td文件里面的DAG模式和selection DAG的节点相匹配，如果找到一个匹配，则匹配的节点会被具体机器指令（或者伪指令）节点代替。 1.

最简单的办法就是将DAG按拓扑结构排序，但LLVM backend用更智能的方法调度指令使其运行效率更高。 调度器会调用InstrEmitter::EmitMachineNode发射一系列指令到MachineBasicBlock，指令的形式是MachineInstr (MI)，DAG表示形式不再使用，可以销毁。

DAG到DAG指令选择的目的是通过 模式匹配，将目标机器无关的节点 翻译 为目标机器特定的节点。 指令选择 算法 是局部的，一次作用在一个SelectionDAG（基本块）实例上。

2021年8月19日 · 模式的record记录从 llvm 的pat类继承，这个pat类有两个参数，第一个参数是要匹配模式 的dag，第二个参数是机器指令的dag，当模式匹配了dag中的一些节点时，匹配的节点会被第二个参数中的dag替换。

5 天之前 · The LLVM target-independent code generator is a framework that provides a suite of reusable components for translating the LLVM internal representation to the machine code for a specified target—either in assembly form (suitable for a static compiler) or in binary machine code format (usable for a JIT compiler).

2018年5月18日 · LLVM 静态 编译器 （LLVM Static Compiler，llc）是一个将DAG内容可视化的优秀工具。 使用llc的命令行选项，在特定的执行阶段之前或之后显示SelectionDAG。 但是关于如何生成可视化的SelectionDAG的教程却非常少，官网上也只是给出了几个命令参数，并没有给出详细 …

LLVM 默认的指令选择器是基于 SelectionDAG 实现的。 SelectionDAG 是一个有向无环图（Directed-Acyclic-Graph，DAG），其节点为 SDNode。 每个 SDNode 对应一条指令或一个操作数。 从概念上， SelectionDAG 分为 legal 和 illegal 两种 DAG。 如果 DAG 中的所有节点都是目标机器原生支持的，那么称之为 legal DAG。 也就是说， legal DAG 中既不存在目标机器不支持的操作，也不存在目标机器不支持的类型（包括指令的操作数类型及其操作结果类型）。