写下我记忆数据流方程的小技巧,其实就是对关键点的提取记忆。
首先这几个数据流方程都是基本块层级的分析。
- 到达-定义分析:"ouage kill 四连杀",并集。
out[B]=gen[B]∪(in[B]−kill[B])
in[B]=P是B的前驱⋃out[P]
- 活跃变量分析:"in use out door 在户外使用",并集,逆向数据流。
in[B]=use[B]∪(out[B]−def[B])
out[B]=P是B的后继⋃in[P]
- 可用表达式分析:同到达-定义分析。同样是生成-杀死的形式,注意是交集。
out[B]=e_gen[B]∪(in[B]−e_kill[B])
in[B]=P是B的前驱⋂out[P]
in[ENTRY]=∅