Nice question! 在LLVM的IR层级和MachineFunction层级的CFG之间并没有严格的一一映射关系，不管是基本块数量还是控制流结构都可能出现明显差异。咱们具体掰扯清楚：

1. 基本块数量的不对等 #

• IR基本块被拆分：CodeGen过程中，单个IR基本块经常会被拆分成多个MachineBasicBlock（MBB）。比如当IR基本块包含需要特殊栈操作的指令（如调用需要栈对齐的函数）、或者有指令调度的强需求时，后端会把它拆成多个MBB来适配目标架构的约束。
• 新增架构相关MBB：后端还会插入IR里完全没有的MBB，用来处理架构专属逻辑：
  • 为异常处理、栈展开生成的专用基本块
  • 适配某些RISC架构的跳转延迟槽逻辑
  • 处理寄存器溢出/恢复的临时基本块

2. 控制流结构的变化 #

• 后端优化导致的控制流修改：后端的优化阶段（比如指令调度、窥孔优化、循环变换）会直接调整控制流。例如，IR里的条件分支可能被替换成架构支持的条件移动指令，原本的分支MBB会被合并甚至消除，控制流结构自然就变了。
• switch指令的架构化转换：IR里的switch指令在后端会根据目标架构生成不同的实现——可能是跳转表，也可能是一串条件分支，这会让MachineFunction的CFG和IR的CFG结构完全不同。
• 异常处理逻辑的注入：IR里可能只通过invoke指令标记异常入口，但后端会生成大量额外的控制流节点来处理栈展开、异常分发等底层逻辑，这些都是IR CFG里不存在的。

特殊情况：简单场景下的近似匹配 #

当然，如果是极其简单的函数（比如只有线性控制流、没有架构特殊需求的小函数），两者的CFG可能看起来几乎一致——基本块数量相同，控制流结构也类似。但这只是特例，不能当作普遍规律。

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