关于V8 TurboFan控制优化后x、y节点未被移除的技术咨询

• 优化阶段分工明确：TurboFan的优化流程分阶段执行，控制精简属于控制流图优化环节，这个阶段只专注于调整控制流结构——比如移除冗余分支、合并基本块，并不会处理数据流层面的死节点。x、y这类属于数据流节点，要等到后续的**死代码消除（DCE）**阶段，才会被扫描并清除。

• 临时保留的合理性：在控制流调整过程中，部分节点可能暂时被标记为“潜在可引用”，或者优化器需要先完成控制流的规整，再统一处理数据流冗余。提前移除节点可能会干扰后续的依赖分析、常量折叠等步骤，所以TurboFan会先理顺控制流，再做数据流的清理工作。

• 幻灯片的示意性局限：这张幻灯片仅展示了控制精简这一步的中间结果，并非最终优化完成的状态。它的核心目的是突出控制流的变化（分支移除、指向Dead节点），没有完整呈现所有优化步骤后的最终IR图。后续执行DCE步骤时，x、y这类无引用的死节点会被自动清理。

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