ZJIT编译器多入口控制流图设计解析

ZJIT编译器将Ruby的YARV字节码转换为机器码，其核心步骤是通过HIR（高级中间表示）进行优化。HIR采用基于块的控制流图（CFG）结构，并使用SSA（静态单赋值）形式，但不同于传统phi节点，采用了块参数的方式。在Ruby中，默认参数的计算是在函数调用时进行的，因此需要在被调用函数中处理多个入口点，以根据参数数量跳转到不同的执行路径。为解决这一问题，ZJIT设计了支持多入口的HIR结构，包括解释器入口、JIT入口以及处理默认参数的额外块。这些入口块均可被外部直接调用，从而提升JIT编译的灵活性和效率。Cameron Zwarich指出，这种方法与处理反向控制流（postdominators）时的挑战类似，但可能带来性能上的优化。目前团队倾向于采用方法2，即为每个入口点创建独立块，并使用LoadArg指令读取参数。