LLVM PASS中如何区分非多态和多态class？

Question

我有一个关于在 LLVM Pass 中区分 StructType 是否为多态 class 的问题。

我觉得在clang中，区分非多态和多态class很容易

但是，我不知道如何在 LLVM Pass 中执行此操作。

此外，我搜索了以下链接。但是，我找不到有用的功能。

（结构布局）http://llvm.org/docs/doxygen/html/classllvm_1_1StructLayout.html
(数据布局)http://llvm.org/docs/doxygen/html/classllvm_1_1DataLayout.html

请问如何区分StructType是否多态class？

For example, In the LLVM Pass,

Type *AI 
.........
StructType *STy = dyn_cast(AI)
(question) How to check whether STy is polymorphic class ?? 
.........``

Answer 1

TLDR：您可以't.LLVM 不了解 class。 Clang 将它们降低为结构，此时它们与 C 结构并没有什么不同。

您也许可以模式匹配它具有 vtable:

的事实

struct MyClass {
    virtual void foo() {}
};
void bar(MyClass &C) { C.foo(); }

IR 包含：%class.MyClass = type { i32 (...)** }

请注意，由于此文件未实例化 MyClass，因此未发出 table，因此您无法检查它。如果这样改源：

struct MyClass {
    virtual void foo() {}
};
MyClass C;
void bar() { C.foo(); }

现在你得到一个 vtable:

%struct.MyClass = type { i32 (...)** }

@C = global %struct.MyClass zeroinitializer, align 8
@_ZTV7MyClass = linkonce_odr unnamed_addr constant [3 x i8*] [i8* null, i8* bitcast ({ i8*, i8* }* @_ZTI7MyClass to i8*), i8* bitcast (void (%struct.MyClass*)* @_ZN7MyClass3fooEv to i8*)], align 8
@_ZTVN10__cxxabiv117__class_type_infoE = external global i8*
@_ZTS7MyClass = linkonce_odr constant [9 x i8] c"7MyClass[=12=]"
@_ZTI7MyClass = linkonce_odr constant { i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv117__class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @_ZTS7MyClass, i32 0, i32 0) }
@llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @_GLOBAL__sub_I_class.cpp, i8* null }]

然后是初始化它的构造函数：

define linkonce_odr void @_ZN7MyClassC2Ev(%struct.MyClass*) unnamed_addr #1 align 2 { %2 = alloca %struct.MyClass*, align 8 store %struct.MyClass* %0, %struct.MyClass** %2, align 8 %3 = load %struct.MyClass*, %struct.MyClass** %2, align 8 %4 = bitcast %struct.MyClass* %3 to i32 (...)*** store i32 (...)** bitcast (i8** getelementptr inbounds ([3 x i8*], [3 x i8*]* @_ZTV7MyClass, i64 0, i64 2) to i32 (...)**), i32 (...)*** %4, align 8 ret void }

然而，启用优化后，这一切都会消失：

@C = global %struct.MyClass { i32 (...)** bitcast (i8** getelementptr inbounds ([3 x i8*], [3 x i8*]* @_ZTV7MyClass, i64 0, i64 2) to i32 (...)**) }, align 8
@_ZTV7MyClass = linkonce_odr unnamed_addr constant [3 x i8*] [i8* null, i8* bitcast ({ i8*, i8* }* @_ZTI7MyClass to i8*), i8* bitcast (void (%struct.MyClass*)* @_ZN7MyClass3fooEv to i8*)], align 8

另请注意，这是 ABI 特定的（例如 Windows 和 Linux 看起来不一样]

LLVM PASS中如何区分非多态和多态class？

How to distinguish between non-polymorphic and polymorphic class in the LLVM PASS?

polymorphism

llvm

vtable

llvm-clang

llvm-ir