如何區分LLVM PASS中的非多態類和多態類？

Question

我有一個關於在LLVM Pass中區分StructType是否是多態類的問題。

我認爲在clang中，區分非多態類和多態類很容易。

但是，我不知道如何在LLVM Pass中做到這一點。

此外，我搜索下面的鏈接。但是，我找不到有用的功能。

• （結構佈局）http://llvm.org/docs/doxygen/html/classllvm_1_1StructLayout.html

• （數據佈局）http://llvm.org/docs/doxygen/html/classllvm_1_1DataLayout.html

可不可以給我解答如何辨別StructType無論是多態類或不？

 
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：你不能.LLVM沒有類的知識。鏗鏘降低他們的結構，在這一點上，他們沒有真正與C結構不同。

您可能能夠匹配，它有一個虛函數表的事實：

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

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

注意，因爲這個文件不會實例MyClass的，表中沒有發出這樣你無法檢查它。如果源改變了這種方式：

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

現在你會得到一個虛函數表：

%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\00" 
@_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上看起來不一樣）