c++ - 如何使用 call 和 alloca 指令在 llvm 字节码中定位类名?

标签 c++ llvm

我有以下 C++ 代码:

class Date {
public:  
  Date(int, int, int);
private:
  int year; int month; int day;
};

extern "C" int main(int argc, char *argv[])
{
   Date today(1,9,2014);
   //....
   return 0;
}

Date::Date(int d, int m, int y) { day = d; month = m; year =y; }

对应的字节码为:

@_ZN4DateC1Eiii = alias void (%class.Date*, i32, i32, i32)* @_ZN4DateC2Eiii

define i32 @main(i32 %argc, i8** %argv) {
entry:
  %retval = alloca i32, align 4
  %argc.addr = alloca i32, align 4
  %argv.addr = alloca i8**, align 4
  %today = alloca %class.Date, align 4
  store i32 0, i32* %retval
  store i32 %argc, i32* %argc.addr, align 4
  call void @llvm.dbg.declare(metadata !{i32* %argc.addr}, metadata !922), !dbg !923
  store i8** %argv, i8*** %argv.addr, align 4
  call void @llvm.dbg.declare(metadata !{i8*** %argv.addr}, metadata !924), !dbg !923
  call void @llvm.dbg.declare(metadata !{%class.Date* %today}, metadata !925), !dbg !927
  call void @_ZN4DateC1Eiii(%class.Date* %today, i32 1, i32 9, i32 1999), !dbg !927
  //...
  ret i32 0, !dbg !930
}
  //...
define void @_ZN4DateC2Eiii(%class.Date* %this, i32 %d, i32 %m, i32 %y) unnamed_addr nounwind align 2 {
entry:
  //...
}

我正在解析这段代码,我需要提取类名,在这条语句中:% today = alloca% class.Date, align 4 有什么办法可以看到刚刚返回的:class.Date???

我还需要知道如何到达 @ _ZN4DateC2Eiii 函数,从调用开始:

call void @ _ZN4DateC1Eiii (class.Date% *% today, i32 1, i32 9, i32 1999)! dbg! 927.

最佳答案

Clang 将使用类名来命名 LLVM 类型,如您在示例中所见(它使用 %class.Date 作为类型名称)。但是,获取类型名称的唯一可靠方法是查询调试信息。为此:

  1. 识别 alloca你关心的。

  2. 迭代函数直到找到对 llvm.dbg.declare 的调用其中第一个参数是元数据节点,包装了 (1) 中的值。

    • 您可以使用 isa<DbgDeclareInst>为了那个原因。

  3. 创建一个新的 DIVariable实例,将 (2) 中的元数据节点作为构造函数参数传递。

  4. 您可以检索对象的类型 - DIType类 - 通过调用 getType在 (3) 的对象上。您可以使用 getNameDIType 类型的对象上获取类型名称。

关于c++ - 如何使用 call 和 alloca 指令在 llvm 字节码中定位类名?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/22132225/

相关文章:

java - 为什么我的 native C++ 代码在 Android 上的运行速度比 Java 慢得多?

Linux下Visual Studio与gcc的C++兼容性

clang - Windows 上的 lldb,可能吗?

swift - 包含带有 LLVM 模块映射的 libxml2

c - Xcode:类型 'struct dirent' 在不同翻译单元中具有不兼容的定义

c++ - 在 boost.interprocess 中从共享内存进行 memcpy 的问题

c++ - 为什么QStringLiteral返回乱码字符串

c++ - std::thread 和右值引用

types - 在 LLVM 中定义新类型

compiler-construction - JIT 编译是如何在运行时实际执行机器码的?