Static Single-Assignment#

Dump SSA funtion:

GOSSAFUNC=XXX GOSSACFG=lower..layout go build

展示控制流程图:

GOSSAFUNC=XXX:*  go build

https://go-review.googlesource.com/c/go/+/142517/

golang.org/x/tools/go/ssa#

*ssa.BasicBlock#

https://pkg.go.dev/golang.org/x/tools/go/ssa#BasicBlock

代表控制流分析中的 📖 基本块

Dominate#

领域

CFG

维基

📖 控制流图#支配关系

若从进入程式块到达基本块 N 的所有路径,都会在到达基本块 N 之前先到达基本块 M,则基本块 M 支配(dominates)基本块 N。

支配者树(Dominator Tree)

以基本块为节点,支配关系为边形成的树。

📖 Extended_basic_block

支持以下方法:

Dominates

查询另一个 block 是否被当前 block 支配

Dominees

返回当前 block 的直接支配的所有 blocks (dominator tree 上的对应节点的所有子节点)

Idom

返回支配当前 block 的 blocks (dominator tree 上的对应节点的父节点)

评论

如果你有任何意见,请在此评论。 如果你留下了电子邮箱,我可能会通过 回复你。