0

我正在构建一个将汇编代码转换为 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
}
4

1 回答 1

1

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

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

于 2021-05-30T17:00:33.913 回答