V8去优化阶段如何重构因优化而被消除的值？

在基于去优化的推测性优化场景里，内联后死代码消除会把看似无用的变量（比如示例里的b）彻底从优化代码中移除，但当去优化触发（比如替换了virt_pick指向需要访问b的函数）时，去优化器需要恢复这些被消除的值，核心机制如下：

• 依赖链记录与按需重计算
  优化器在生成优化代码的同时，会同步记录被消除变量的完整计算依赖关系。拿你的示例来说，虽然优化后的代码删掉了b的更新逻辑，但优化器会记下b的初始值是0，以及每次循环中b += a % 10的计算规则，还有循环的迭代次数。当去优化触发时，去优化器会基于当前保留的状态（比如变量a的最终值，或是循环过程中a的中间值记录），沿着依赖链重新计算出b的最终值，以此恢复到基线代码执行所需的栈/寄存器状态。

• 不会提前预计算冗余值
  为了不浪费死代码消除带来的性能收益，去优化器不会在优化代码执行阶段提前计算所有可能被消除的值。只有当去优化事件实际发生时，它才会借助预先留存的元数据，按需计算需要恢复的变量值。

举个更具体的例子：当virt_pick被替换为需要读取b的函数时，去优化被触发。此时去优化器会根据记录的循环逻辑，从a的初始值开始重放每一次循环的a % 10计算，并累加得到b的最终值，把执行环境恢复到基线代码能正确处理间接调用的状态，再切换到基线代码继续执行。

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