方舟编译器分析十三——代码分析（十一）

About??

于 2021-12-20 10:30:00 发布

阅读量229

点赞数

文章标签：编辑器 harmonyos

本文链接：https://blog.youkuaiyun.com/weixin_46915587/article/details/121972106

版权

本文探讨了Maple ME中的MeDoDominance类，该类在构建支配树和支配边界方面的作用，为SSA分析做准备。MeDoDominance在dominance.h和dominance.cpp中定义和实现，并通过Run函数执行相关操作。它依赖于Dominance类，该类继承自AnalysisResult，包含了支配树和边界计算。MeDoDominance的Run函数执行两次计算，分别使用逆后序和反向逆后序。算法参考了Keih Cooper的论文和《Engineering a Compiler》的相关章节。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

2021SC@SDUSC

前文的分析过程之中涉及到了dominance phase，主要是用于构建支配树和支配边界，为ssa分析做准备工作。本文将对dominance phase进行简要分析。

dominance phase的实现类是MeDoDominance，MeDoDominance继承于MeFuncPhase。MeDoDominance的定义和实现在文件src/maple_me/include/me_dominance.h和src/maple_me/src/me_dominance.cpp之中。

MeDoDominance的定义很简单：

class MeDoDominance : public MeFuncPhase {
 public:
  explicit MeDoDominance(MePhaseID id) : MeFuncPhase(id) {}

  virtual ~MeDoDominance() = default;
  AnalysisResult *Run(MeFunction *func, MeFuncResultMgr *funcResMgr, ModuleResultMgr *moduleResMgr) override;

  std::string PhaseName() const override {
    return "dominance";
  }
};

具体实现上只有一个Run函数：

AnalysisResult *MeDoDominance::Run(MeFunction *func, MeFuncResultMgr *funcResMgr, ModuleResultMgr *moduleResMgr) {
  MemPool *memPool = NewMemPool();
  Dominance *dom = memPool->New<Dominance>(*memPool, *NewMemPool(), func->G

最低0.47元/天解锁文章