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 上的对应节点的父节点）

评论

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