PR types

Bug fixes

PR changes

Others

Description

Python 3.11 #59860 针对 PRECALL 的解决方案仍然有问题，当原始字节码如下时

AAA
PRECALL
CALL     <---- 发生 breakgraph
BBB

#59860 之前会生成如下字节码

AAA
PRECALL
---            以上为 copy 部分，以下为生成部分
CCC
CALL
DDD

#59860 的结论是 PRECALL 后面一定要跟随 CALL，因为如果后面不是 CALL 在 PRECALL builtin 特化时一定会报错

#59860 的解决方案是移除 copy 的 PRECALL，即

AAA
CCC
---            以上为 copy 部分，以下为生成部分
CALL
DDD

但这又有了另一个问题，就是模拟时其实 PRECALL 已经跑完了，但 copy 代码部分并没有 PRECALL，那么在用 VariableLoader load var 的时候模拟执行 Variable 和真实执行 PyObject 就对不上，其关键在于无法判断一个 Variable 对应的真实值是否为 NULL，这个问题类似 #58956

其实这里关键是 PRECALL 和 CALL 分开导致 CALL 打断的时候模拟时候已经有了 PRECALL 的副作用，如果能够自动恢复这个副作用就没有任何问题了。而对于单个字节码来说，我们本身就有这样的机制来恢复，另一方面，从模拟的角度来说，PRECALL 和 CALL 永远是一起的，它们不应该独立分析。因此将它们整合成一个字节码来分析就可以保证两者的统一，PRECALL 和 CALL 发生 breakgraph 时会回退到 PRECALL 之前的状态，生成代码时也会将 PRECALL 和 CALL 一起生成

这里参考了 Python 3.11 中的超指令（super-instruction）的概念，在模拟执行时将 PRECALL+CALL 融合成 PRECALL__CALL（命名也是参考超指令的命名规范，比如 LOAD_CONST__LOAD_FAST）

PCard-66972