LLVM-如何将ConstantExpr转换为ConstantDataArray，以便打印全局变量char*的值

Question

我正在编写LLVM pass，它在用-var[global_variable_name]调用opt时写入全局变量的值。但我不知道如何编写定义为char*string="help"的字符串；在.c源代码中。

我试过：

if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
writeConstant(Out, CE->getAggregateElement(CV));
return;
}

但这导致了SEGFAULT。

这是写入int类型全局变量的函数的一部分：

void writeConstant(raw_ostream &Out, const Constant *CV)
{
if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
if (CI->getType()->isIntegerTy(1)) {
Out << (CI->getZExtValue() ? "true" : "false");
return;
}
}
APInt AI = CI->getValue();
if( CI->getBitWidth() == 8) { // if sizeof constant == sizeof char
const uint64_t *letter = AI.getRawData();
if(char letter2 = (char) (*letter)) {
Out << letter2;
return;
}
}
Out << CI->getValue();
return;
}

排除结果：

在testsource.c中的行如下：

char *testString = "Hello";

调用bash:

opt -load pass.so -var testString < testsource.bc > /dev/null

以上命令输出：

Hello

Answer 1

最终找到了解决方案，它需要得到可以表示为全局变量的常量表达式的操作数，因此它具有常量数据数组类型的初始值设定项，因此只需要在这种类型的常量上调用我的函数。参见以下代码：

if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
Value *firstop = CE->getOperand(0);
if (GlobalVariable *GV = dyn_cast<GlobalVariable>(firstop)) {
Constant *v = GV->getInitializer();
writeConstant(Out, v);
}
return;
}

有关更多信息，请参阅repo：https://github.com/Petku/GlobalVariablePass/blob/master/globvars/globvars.cpp