7.1.2 基于 DAG 的模式匹配 (SelectionDAG)

文档摘要

7.1.2 基于 DAG 的模式匹配 (SelectionDAG) 在编译器后端的世界里，指令选择（Instruction Selection）从来不是一道“翻译题”，而是一场精密的结构映射博弈——它不关心源语言的语义优雅，只专注将中间表示（IR）中那些抽象、平台无关的计算意图，转化为目标机器上真实可执行、高效且合法的指令序列。而在 LLVM 这一工业级编译器框架中，SelectionDAG 不是某种可选的优化插件，而是指令选择阶段的心脏与骨架：它既是 IR 到目标指令的语义桥梁，也是模式匹配、合法化、调度与寄存器分配前最关键的结构化战场。