获取存储在 LLVM 变量中的数据

Question

我正在构建一个将汇编代码转换为 LLVM IR 的升降器。我想知道是否有可能的方法来检查存储在 LLVM 变量中的数据。例如在我下面的代码中。我正在创建一个虚拟 LLVM 函数。在我的函数内部，我只有一个基本块，我在其中为单个变量 SRC 分配内存，然后在分配的内存中存储立即值 31。最后一步是我从该内存中加载到一个名为loaded 的变量中。 有没有办法检查 %loaded 变量的值实际上是 31 吗？。

int main()

{

llvm::LLVMContext context;

llvm::Type* type = llvm::Type::getVoidTy(context);

Module* modu = new Module("test", context);

modu->getOrInsertFunction("dummy",type);

Function* dummy = modu->getFunction("dummy");

BasicBlock* block = BasicBlock::Create(context, "entry", dummy);

IRBuilder<> builder(block);

llvm::Value* SRC = builder.CreateAlloca(Type::getInt32Ty(context), nullptr);

llvm::Value* s = builder.CreateStore(llvm::ConstantInt::get(context, llvm::APInt(/*nbits*/32, 31, true)), SRC,  /*isVolatile=*/false);

llvm::Value* loaded = builder.CreateLoad(SRC, "loaded");    

builder.CreateRetVoid();    

PassManager <llvm::Module>PM;

llvm::AnalysisManager  <llvm::Module>AM;

verifyFunction(*(modu->getFunction("dummy")), &llvm::errs());

verifyModule(*modu, &llvm::errs());

PassBuilder PB;

PB.registerModuleAnalyses(AM);    

PM.addPass(PrintModulePass());

PM.run(*modu, AM);

我的代码输出如下所示：

; ModuleID = 'test'
source_filename = "test"

define void @dummy() {
entry:
%0 = alloca i32, align 4
store i32 31, i32* %0, align 4
%loaded = load i32, i32* %0, align 4
ret void
}

Answer 1

您可以插入对printf 的调用并将此 IR 编译为本机可执行文件。运行它会打印出变量值。

或者，您可以在调试器下在此 IR 上运行 lli 并在 load 处理程序上中断。