方舟编译器分析四——代码分析（第二篇）

2021SC@SDUSC

老规矩，先贴上官方源码：

开源代码托管平台https://code.opensource.huaweicloud.com/HarmonyOS/OpenArkCompiler/file?ref=master&path=doc%252FDevelopment_Preparation.md

今天研究分析该编译器代码的bb部分，这一部分有些困难，因此我打算这次研究其头文件，下次研究cpp文件。具体链接如下所示：

src/mapleall/maple_me/src/bb.cpp · 方舟编译器/OpenArkCompiler - Gitee.com

src/mapleall/maple_me/include/bb.h · 方舟编译器/OpenArkCompiler - Gitee.com

MeFunction的成员函数中有相当多关于BasicBlock的操作，本文对其实现进行分析。

Me中的BasicBlock的具体实现类是BB。BB代码位于src/maple_me/include/bb.h以及src/maple_me/src/bb.cpp中。

BB的有如下面代码所示的种类（下面的代码都位于src/maple_me/include/bb.h）：

enum BBKind {

kBBUnknown, // uninitialized

kBBCondGoto,

kBBGoto, // unconditional branch

kBBFallthru,

kBBReturn,

kBBAfterGosub, // the BB that follows a gosub, as it is an entry point

kBBSwitch,

kBBIgoto,

kBBInvalid

};

BB属性如下：

enum BBAttr : uint32 {

kBBAttrIsEntry = utils::bit_field_v<1>,

kBBAttrIsExit = utils::bit_field_v<2>,

kBBAttrWontExit = utils::bit_field_v<3>,

kBBAttrIsTry = utils::bit_field_v<4>,

kBBAttrIsTryEnd = utils::bit_field_v<5>,

kBBAttrIsJSCatch = utils::bit_field_v<6>,

kBBAttrIsJSFinally = utils::bit_field_v<7>,

kBBAttrIsCatch = utils::bit_field_v<8>,

kBBAttrIsJavaFinally = utils::bit_field_v<9>,

kBBAttrArtificial = utils::bit_field_v<10>,

kBBAttrIsInLoop = utils::bit_field_v<11>,

kBBAttrIsInLoopForEA = utils::bit_field_v<12>,

kBBAttrIsInstrument = utils::bit_field_v<13>

};

 

该struct结构用于表征其id：

struct hash<maple::BBId> {

size_t operator()(const maple::BBId &x) const {

return x;

}

};

 

由代码所示，BB的成员函数有如下几个类：

        Dump类成员函数；

        设置、获取、字符化及其他对BB属性进行的操作

        插入和删除

        BB中的stmt的插入和删除

        添加、删除和更新MeStmt

BasicBlock和Function在MIR中的设计不同。主要表现在Function是在IR操作层面有MIRFunction和MeFunction两个，前者比后者使用的环节早，同时前者是后者的基础。但其中没有和MIRFunction所对应的BasicBlock的表达，BB实际上是位于MeFunction层面的BasicBlock，因为在MIRFunction层面的时候，并不强调BasicBlock这个概念。

这就是bb部分头文件的研究结果，如有建议欢迎提出。