前驱1 前驱2 oUT: dm.x'= OUT: do:X= ANBY dm和dn:再走 程见d d。:s X ○ 2021/2/11 OUTB]锋原理与技术》之代码优化 16
2021/2/11 《编译原理与技术》之代码优化 16 OUT: dm : x:= … OUT: dn : x:= … 前驱1 前驱2 … ds : s := …x… … dt : x := … … du : x := … … IN[B] OUT[B] = ? dm和dn ：再走一 程见 dt， ^_^
前驱1 前驱2 oUT: dm.x'= OUT: do:X= ANBY dm和dn:我们a所 d。:s X 屏蔽”。不知何时上 了“注销”榜? d+:你们歇着吧。我要 GoGoGo 2021/2/11 OUTB]锋原理与技术》之代码优化
2021/2/11 《编译原理与技术》之代码优化 17 OUT: dm : x:= … OUT: dn : x:= … 前驱1 前驱2 … ds : s := …x… … dt : x := … … du : x := … … IN[B] OUT[B] = ? dm和dn ：我们被dt所 “屏蔽”。不知何时上 了“注销”榜？ dt : 你们歇着吧。我要 Go Go Go
前驱1 前驱2 oUT: dm.x'= OUT: do:X= ANBY d。:s X d+:等等,我咋也上榜 了?唉,既生t,何生u d…:数“流”人,还 X 有 2021/2/11 OUTB]锋原理与技术》之代码优化 18
2021/2/11 《编译原理与技术》之代码优化 18 OUT: dm : x:= … OUT: dn : x:= … 前驱1 前驱2 … ds : s := …x… … dt : x := … … du : x := … … IN[B] OUT[B] = ? dt：等等，我咋也上榜 了？唉，既生t，何生u? du：数“流”人，还 看…
前驱1 前驱2 oUT: dm.x'= OUT: do:X= ANBY d。:s X X du:顺利过关。您,要是 没有我和的阻击,现在 站在这里的就是m和n 只可营xt 2021/2/11 OUTB]e编锋原理与技术》之代码优化 19
2021/2/11 《编译原理与技术》之代码优化 19 OUT: dm : x:= … OUT: dn : x:= … 前驱1 前驱2 … ds : s := …x… … dt : x := … … du : x := … … IN[B] OUT[B] = ? du : 顺利过关。嗯，要是 没有我和dt的阻击，现在 站在这里的就是dm和dn。 只可惜了dt …
·到达一定值数据流分析 d1:i:=m-1 d2:j: =n GEN[B1=(d1, d2, d3) B1 d3:a:=u1 KILL[B1]=(d4, d5, d6, d7 GEN[B2]=(d4, d5] d4:i:=i+1 B2 KILL[B2=d1, d2,d7] d 5 GEN[B3]=(d6) B3 KILL[B3=( d31 d6:a:=u2 B4 GENB4]=d7 7} KLL[B5]={d1,d4} d7:i:=u3 例1.求解到达一定值的数据流图 2021/2/11 《编译原理与技术》之代码优化
2021/2/11 《编译原理与技术》之代码优化 20 •到达－定值数据流分析 d1: i := m-1 d2: j := n d3: a := u1 d4: i := i +1 d5: j := j - 1 d6: a := u2 d7: i := u3 B1 B2 B3 B4 GEN[B1] = { d1, d2, d3 } KILL[B1] = { d4,d5,d6,d7 } GEN[B2] = { d4, d5 } KILL[B2] = { d1,d2,d7 } GEN[B3] = { d6 } KILL[B3] = { d3 } GEN[B4] = { d7 } KILL[B5] = { d1,d4 } 例1. 求解到达－定值的数据流图