提交 b126fc03 编辑于 作者: Ricolove's avatar Ricolove
浏览文件

优化一些描述

上级 794d6db0
......@@ -82,13 +82,13 @@
<img src="img/Assignment 5/image-20211112220003102.png" alt="image-20211112220003102" style="zoom: 67%;" />
* 前面已经提到,`initialize` 已经完成了开头两个语句,所以不需要再 `analyze` 里面做了。
* 前面已经提到,`initialize` 已经完成了开头两个语句,所以不需要再 `analyze` 里面做了。
* 算法中的 `delta = ...``propagate(n, delta)` 在代码框架中被合并成了一个函数。确实你可以把计算 `delta` 的语句独立到 `propagate` 之外,但是考虑到要实现 `propagate` 要返回 `delta` 的语义,还是把它们合起来做吧。
* `foreach x.f = y in S do ...` 这几个算法里,如何获取 `x.f = y`应语句在上一节已经提到过了,这里就不再赘述。这里的问题是,如何把 `o.f` 提取出来。
* `foreach x.f = y in S do ...` 这几个算法里,如何获取符合 `x.f = y`各条相应语句在上一节已经提到过了,这里就不再赘述。这里的问题是,如何把 `o.f` 提取出来。
我们首先需要知道 `f` 是什么,这个问题可以看手册 2.4 addReachable 2) 来解决。然后,我们该怎么把 `o_i``f` 拼起来得到 `o_i.f` 呢?相应的 API 在 `pointerFlowGraph` 里面,请记住 `o_i.f` 这种东西叫做:
我们首先需要获取 `f` 这个域是什么,这个问题可以看手册 2.4 addReachable 2) 来解决。然后,我们该怎么把 `o_i``f` 拼起来得到 `o_i.f` 呢?相应的 API 在 `pointerFlowGraph` 里面,请记住 `o_i.f` 这种东西叫做:
![image-20211112220846683](img/Assignment 5/image-20211112220846683.png)
......
支持 Markdown
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册