template <class funcT>
 class MapleFunctionPhase : public MaplePhase

 void <OPT_PHASENAME>::GetAnalysisDependence(maple::AnalysisDep &aDep) const {
  aDep.AddRequired<OPT_PHASENAME>();  // 配置当前phase需要依赖的phase。
  aDep.AddPreserved<OPT_PHASENAME>(); // 配置当前phase执行完成后，需要保留的分析结果。
  aDep.SetPreservedAll();             // 保留所有的分析结果。
}

#ifndef MAPLE_ME_INCLUDE_ME_HELLO_OPT_H
#define MAPLE_ME_INCLUDE_ME_HELLO_OPT_H
#include "me_function.h"    // 使用MeFunction
#include "maple_phase.h"    // 使用MAPLE_FUNC_PHASE_DECLARE宏
namespace maple {

// 对于转化phase，尽量使用这个宏。
MAPLE_FUNC_PHASE_DECLARE(MEHello, MeFunction)
}  // namespace maple
#endif  // MAPLE_ME_INCLUDE_ME_HELLO_OPT_H

#include "me_hello_opt.h"
// 将该phase对应的phasemanager头文件引入进来，可以方便地使用其他phase的分析结果。
#include "me_phase_manager.h"

namespace maple {

// 您需要清楚地知道，当前的phase依赖什么分析结果，以及会破坏什么分析结果。
void MEHello::GetAnalysisDependence(maple::AnalysisDep &aDep) const {
  aDep.AddRequired<MEDominance>(); // phasemanager会保证MEDominace这个phase的分析结果在当前phase中是可用的。
  aDep.SetPreservedAll();          // 表明了当前phase不会破坏任何分析结果。
}

// 这个函数的返回值表明了当前phase是否修改了IR，目前该返回值并未使用。
bool MEHello::PhaseRun(maple::MeFunction &f) {
  // 您可以通过这个宏来获取想要的分析结果，前提是在GetAnalysisDependence配置过，否则会报错。
  auto *dom = GET_ANALYSIS(MEDominance);
  // 使用dom信息，做一些事情。。。
  LogInfo::MapleLogger() << "hello opt on function: " << f.GetName() << '\n';
  return false;
}

}  // namespace maple

MAPLE_TRANSFORM_PHASE_REGISTER_CANSKIP(MEHdse, hdse)
// 后缀CANSKIP的宏表明了这个phase可以跳过。第一个参数是phase的实现类，第二个参数是phase的名字。
// phase的名字可以用在多个选项中，如skip-phases，dump-phase(s)，skip-after等等；同时配置哪些phase需要运行，也是用这个名字。
+MAPLE_TRANSFORM_PHASE_REGISTER_CANSKIP(MEHello, hello)
MAPLE_TRANSFORM_PHASE_REGISTER_CANSKIP(MELfoIVCanon, ivcanon)

...
ADDMAPLEMEPHASE("dse", MeOption::optLevel >= 2)
ADDMAPLEMEPHASE("hello", MeOption::optLevel >= 2)
ADDMAPLEMEPHASE("analyzector", JAVALANG)
...

>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Optimizing Function  < VEC_invariant_p_base_space id=5471 >---
---Preparing Function  < VEC_invariant_p_base_space > [1] ---
---Run Phase [ mecfgbuild ]---
---Run Phase [ cfgOpt ]---
---Run Phase [ loopcanon ]---
    ++ trigger phase [ dominance ]
    ++ trigger phase [ identloops ]
---Run Phase [ splitcriticaledge ]---
---Run Phase [ ssatab ]---
---Run Phase [ aliasclass ]---
---Run Phase [ ssa ]---
    ++ trigger phase [ dominance ]
---Run Phase [ dse ]---
    ++ trigger phase [ fsaa ]
---Run Phase [ hello ]---
hello opt on function: VEC_invariant_p_base_space
---Run Phase [ hprop ]---
    ++ trigger phase [ irmapbuild ]
---Run Phase [ valueRangePropagation ]---
    ++ trigger phase [ identloops ]
---Run Phase [ hdse ]---
---Run Phase [ epre ]---
    ++ trigger phase [ dominance ]
    ++ trigger phase [ identloops ]
  == epre invokes [ hdse ] ==
---Run Phase [ rename2preg ]---
---Run Phase [ lpre ]---
---Run Phase [ storepre ]---
---Run Phase [ copyprop ]---
---Run Phase [ hdse ]---
---Run Phase [ pregrename ]---
---Run Phase [ bblayout ]---
---Run Phase [ meemit ]---