如何调试LLVM3.2插件断言错误

How to debug LLVM3.2 Plugin Assertion error

本文关键字：插件 断言 错误 LLVM3 何调试 调试      更新时间：2023-10-16

我正在将为LLVM 2.9编写的LLVM插件(LLFI)移植到最新版本的LLVM/Clang。

当使用断言启用的LLVM3.2构建测试我的插件时，我得到以下错误:

opt: /home/kzvr/ubc/llfi/llvm3/llvmsrc/lib/IR/Instructions.cpp:281: 
 void llvm::CallInst::init(llvm::Value*, llvm::ArrayRef<llvm::Value*>, 
 const llvm::Twine&): Assertion `(i >= FTy->getNumParams() || 
 FTy->getParamType(i) == Args[i]->getType()) && "Calling a function with a bad
 signature!"' failed.
0  opt             0x00000000017931a6 llvm::sys::PrintStackTrace(_IO_FILE*) + 38
1  opt             0x0000000001793423
2  opt             0x0000000001792e7b
3  libpthread.so.0 0x00007f0c0279fff0
4  libc.so.6       0x00007f0c018a91b5 gsignal + 53
5  libc.so.6       0x00007f0c018abfc0 abort + 384
6  libc.so.6       0x00007f0c018a2301 __assert_fail + 241
7  opt             0x00000000016e78c4 llvm::CallInst::init(llvm::Value*, llvm::ArrayRef<llvm::Value*>, llvm::Twine const&) + 402
8  LLFI.so         0x00007f0c0165adcb
9  LLFI.so         0x00007f0c0165aa83
10 LLFI.so         0x00007f0c016581c5
11 opt             0x000000000171c02c llvm::FPPassManager::doFinalization(llvm::Module&) + 88
12 opt             0x000000000171c449 llvm::MPPassManager::runOnModule(llvm::Module&) + 1013
13 opt             0x000000000171c8a6 llvm::PassManagerImpl::run(llvm::Module&) + 254
14 opt             0x000000000171cc01 llvm::PassManager::run(llvm::Module&) + 39
15 opt             0x000000000087a089 main + 5591
16 libc.so.6       0x00007f0c01895c8d __libc_start_main + 253
17 opt             0x000000000086bf59

在插件代码中，我有许多对llvm::CallInst::Create的调用，根据上面的情况，我相信其中至少有一个执行错误。它们几乎都是这样的:

ArrayRef<Value*> arrayArgs(args);
Instruction* callInst = CallInst::Create( injectFunc, arrayArgs, fiName, insertInst);

其中args是std::vector, injectFunc是llvm::Constant*， fiName是std::string, insertInst是llvm::Instruction*

问题是，作为一个LLVM新手，我不知道如何从这一点上缩小我的购买范围。所以我有几个问题:

  1. 我怎样才能找到CallInst::Create的调用是导致CallInst::init断言失败的调用?
  2. 说明CallInst类正确用法的文档在哪里?谷歌搜索会产生自动生成的源代码文档，我已经仔细研究过了，但无济于事。
    3. 这个插件的2.9和3.2版本之间的唯一区别(就CallInst而言)是将std::vector迭代器传递给CallInst::create，而将std::vector构造的ArrayRef传递给CallInst::create。我是否从Vector不正确地构造ArrayRef ?

提前感谢你的帮助，我希望这个问题不是太模糊。

关于如何调试LLVM断言错误(标题中的问题)的最佳技巧是阅读断言的代码:)

消息- "调用签名错误的函数!"-有点模棱两可，但看看实际的断言条件(失败)，您可以看到问题所在:

i >= FTy->getNumParams() ||  FTy->getParamType(i) == Args[i]->getType()

所以你要么提供了太多的参数，要么其中一个参数与函数期望的类型不同。您还可以查看断言位置，即Instructions.cpp行281，以查看上下文的周围代码。

为了解决这个问题，我首先要看看函数类型到底是什么(一种简单的方法就是在函数或函数类型上调用->dump()，它会将其打印到stdout)。然后，我将这些类型与我发送给CallInst的类型进行比较(->dump()也将在那里工作)。此外，根据期望的参数数量验证实参的数量。

关于你剩下的问题:

  1. 为什么不使用标准的编程实践来定位错误行?
    • 。注释掉一些行，或者在行之间添加打印，或者只是启动一个调试器，看看哪一行出错了
    2. 查看源代码(包括实现和注释)通常是我寻找如何使用这些函数的首选方式。无论如何，你的用法似乎很好。
  2. 你不是从Vector不正确地构造ArrayRef，只是冗余:有一个从std:: Vector到ArrayRef的隐式转换，所以你可以把你的args向量作为第二个参数传递。您的用法是正确的，但这不是断言失败的原因。
相关文章：