在 Javascriptcore 中，关于 clobberWorld()、read(World)/write(Heap) 和一些术语的问题

Question

我目前正在分析 JavaScriptCore 的代码库。
我知道clobberWorld()代表通知当前操作有效
但是，有些文章说 read(World) 和 write(Heap) 与 clobberWorld() 做同样的事情。
read() 和 write() 是什么意思？ World 和 Heap 是什么意思？

最后一个问题是关于术语的。
在DFG中，AI和CSE的全称是什么？？

Answer 1

AI表示AbstractInterpreter，CSE表示Common SubExpression Elimination。至于读和写，它模拟了一个DFG IR节点并代表副作用，在LICM阶段你可以看到更多。