LLVM新建全局变量

佚名 6年前 (2019-05-05) 随笔 509人围观抢沙发百度已收录

在LLVM中，有原生的AST Clone，却没有一个比较好的Stmt copy功能，基于Scout在LLVM上进行的修改，我们实现了自己的Stmt Clone功能。

要进行Stmt Clone，肯定需要新建新的AST节点，首先用一个立即介绍如何进行AST节点的构建，以新建一个全局的variable为例。

SRE实战互联网时代守护先锋，助力企业售后服务体系运筹帷幄！一键直达领取阿里云限量特价优惠。

首先分析下需求，新建variable，自然的有几个问题：

1.变量如何新建

2.新建的变量应该处于程序的哪个部分

以如下的代码为例子：

int main()
{
  return 0;
}

我们有两个地方可以插入新建的variable，一个是将其作为全局变量进行插入，一个是作为main函数的局部变量进行插入，这里选择作为全局变量进行插入。那么插入后，示例代码会变成：

int a;
int main()
{
  return 0;
}

（想要有个系统的了解的，建议看下tools/clang/lib/StaticAnalyzer,StaticAnalyzer是一个良好的例子）

std::string keyName = "a";
int value = 0;

IdentifierTable& idTable = Context->Idents;
IdentifierInfo&  idInfo =idTable.get(keyName);
const SourceLocation nopos;
    VarDecl *tmpVar = VarDecl::Create(*Context, Context->getTranslationUnitDecl(), nopos, nopos, &idInfo, Context->IntTy, Context->CreateTypeSourceInfo(Context->IntTy), SC_None);
Context->getTranslationUnitDecl()->addDeclInternal (tmpVar);
IntegerLiteral *init = IntegerLiteral::Create(*Context,llvm::APInt(Context->getIntWidth(Context->IntTy),value,true),
        Context->IntTy,nopos);
 if (init != 0)
 {
    tmpVar->setInit(init);
 }