搞了一段时间调研，发现在不少Runtime VM/编译器中，llvm ir 事实上是有点相对落后的 ps: 补充一下原因： 虽然 llvm 是排名前列的编译器，但 1. SSA 本身是一个比较陈旧的设计方法，它太局限于 Function/BB/instr 这一层级，以至于跨界分析/优化很难进行。例如跨function/跨bb。 2. BB 内部的指令序列有全序，而不是偏序关系。（这使得一些调度难以进行/表意）。 pps: 先进例子： v8 中的 sea of nodes cranelift/mlir 使用的 bb arg