OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

[CodeView] Emit function options for subprogram and member functions 

Summary:
Use the newly added DebugInfo (DI) Trivial flag, which indicates if a C++ record is trivial or not, to determine Codeview::FunctionOptions.

Clang and MSVC generate slightly different Codeview for C++ records. For example, here is the C++ code for a class with a defaulted ctor,

       class C {
       public:
         C() = default;
       };

Clang will produce a LF for the defaulted ctor while MSVC does not. For more details, refer to FIXMEs in the test cases in "function-options.ll" included with this set of changes.


Reviewers: zturner, rnk, llvm-commits, aleksandr.urakov

Reviewed By: rnk

Subscribers: Hui, JDevlieghere

Differential Revision: https://reviews.llvm.org/D45123

llvm-svn: 343626
This commit is contained in:
Aaron Smith 2018-10-02 20:21:05 +00:00
parent be50052a2b
commit 802b033d78
4 changed files with 634 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.cpp
View File

@ -355,6 +355,36 @@ TypeIndex CodeViewDebug::getFuncIdForSubprogram(const DISubprogram *SP) {
return recordTypeIndexForDINode(SP, TI); return recordTypeIndexForDINode(SP, TI);
} }
static bool isTrivial(const DICompositeType *DCTy) {
return ((DCTy->getFlags() & DINode::FlagTrivial) == DINode::FlagTrivial);
}
static FunctionOptions
getFunctionOptions(const DISubroutineType *Ty,
const DICompositeType *ClassTy = nullptr,
StringRef SPName = StringRef("")) {
FunctionOptions FO = FunctionOptions::None;
const DIType *ReturnTy = nullptr;
if (auto TypeArray = Ty->getTypeArray()) {
if (TypeArray.size())
ReturnTy = TypeArray[0].resolve();
}
if (auto *ReturnDCTy = dyn_cast_or_null<DICompositeType>(ReturnTy)) {
if (!isTrivial(ReturnDCTy))
FO |= FunctionOptions::CxxReturnUdt;
}
// DISubroutineType is unnamed. Use DISubprogram's i.e. SPName in comparison.
if (ClassTy && !isTrivial(ClassTy) && SPName == ClassTy->getName()) {
FO |= FunctionOptions::Constructor;
// TODO: put the FunctionOptions::ConstructorWithVirtualBases flag.
}
return FO;
}
TypeIndex CodeViewDebug::getMemberFunctionType(const DISubprogram *SP, TypeIndex CodeViewDebug::getMemberFunctionType(const DISubprogram *SP,
const DICompositeType *Class) { const DICompositeType *Class) {
// Always use the method declaration as the key for the function type. The // Always use the method declaration as the key for the function type. The
@ -374,8 +404,10 @@ TypeIndex CodeViewDebug::getMemberFunctionType(const DISubprogram *SP,
// member function type. // member function type.
TypeLoweringScope S(*this); TypeLoweringScope S(*this);
const bool IsStaticMethod = (SP->getFlags() & DINode::FlagStaticMember) != 0; const bool IsStaticMethod = (SP->getFlags() & DINode::FlagStaticMember) != 0;
FunctionOptions FO = getFunctionOptions(SP->getType(), Class, SP->getName());
TypeIndex TI = lowerTypeMemberFunction( TypeIndex TI = lowerTypeMemberFunction(
SP->getType(), Class, SP->getThisAdjustment(), IsStaticMethod); SP->getType(), Class, SP->getThisAdjustment(), IsStaticMethod, FO);
return recordTypeIndexForDINode(SP, TI, Class); return recordTypeIndexForDINode(SP, TI, Class);
} }
@ -1776,15 +1808,17 @@ TypeIndex CodeViewDebug::lowerTypeFunction(const DISubroutineType *Ty) {
CallingConvention CC = dwarfCCToCodeView(Ty->getCC()); CallingConvention CC = dwarfCCToCodeView(Ty->getCC());
ProcedureRecord Procedure(ReturnTypeIndex, CC, FunctionOptions::None, FunctionOptions FO = getFunctionOptions(Ty);
ArgTypeIndices.size(), ArgListIndex); ProcedureRecord Procedure(ReturnTypeIndex, CC, FO, ArgTypeIndices.size(),
ArgListIndex);
return TypeTable.writeLeafType(Procedure); return TypeTable.writeLeafType(Procedure);
} }
TypeIndex CodeViewDebug::lowerTypeMemberFunction(const DISubroutineType *Ty, TypeIndex CodeViewDebug::lowerTypeMemberFunction(const DISubroutineType *Ty,
const DIType *ClassTy, const DIType *ClassTy,
int ThisAdjustment, int ThisAdjustment,
bool IsStaticMethod) { bool IsStaticMethod,
FunctionOptions FO) {
// Lower the containing class type. // Lower the containing class type.
TypeIndex ClassType = getTypeIndex(ClassTy); TypeIndex ClassType = getTypeIndex(ClassTy);
@ -1815,10 +1849,8 @@ TypeIndex CodeViewDebug::lowerTypeMemberFunction(const DISubroutineType *Ty,
CallingConvention CC = dwarfCCToCodeView(Ty->getCC()); CallingConvention CC = dwarfCCToCodeView(Ty->getCC());
// TODO: Need to use the correct values for FunctionOptions. MemberFunctionRecord MFR(ReturnTypeIndex, ClassType, ThisTypeIndex, CC, FO,
MemberFunctionRecord MFR(ReturnTypeIndex, ClassType, ThisTypeIndex, CC, ArgTypeIndices.size(), ArgListIndex, ThisAdjustment);
FunctionOptions::None, ArgTypeIndices.size(),
ArgListIndex, ThisAdjustment);
return TypeTable.writeLeafType(MFR); return TypeTable.writeLeafType(MFR);
} }

8
llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.h
View File

@ -364,10 +364,10 @@ class LLVM_LIBRARY_VISIBILITY CodeViewDebug : public DebugHandlerBase {
codeview::TypeIndex lowerTypeModifier(const DIDerivedType *Ty); codeview::TypeIndex lowerTypeModifier(const DIDerivedType *Ty);
codeview::TypeIndex lowerTypeFunction(const DISubroutineType *Ty); codeview::TypeIndex lowerTypeFunction(const DISubroutineType *Ty);
codeview::TypeIndex lowerTypeVFTableShape(const DIDerivedType *Ty); codeview::TypeIndex lowerTypeVFTableShape(const DIDerivedType *Ty);
codeview::TypeIndex lowerTypeMemberFunction(const DISubroutineType *Ty, codeview::TypeIndex lowerTypeMemberFunction(
const DIType *ClassTy, const DISubroutineType *Ty, const DIType *ClassTy, int ThisAdjustment,
int ThisAdjustment, bool IsStaticMethod,
bool IsStaticMethod); codeview::FunctionOptions FO = codeview::FunctionOptions::None);
codeview::TypeIndex lowerTypeEnum(const DICompositeType *Ty); codeview::TypeIndex lowerTypeEnum(const DICompositeType *Ty);
codeview::TypeIndex lowerTypeClass(const DICompositeType *Ty); codeview::TypeIndex lowerTypeClass(const DICompositeType *Ty);
codeview::TypeIndex lowerTypeUnion(const DICompositeType *Ty); codeview::TypeIndex lowerTypeUnion(const DICompositeType *Ty);

584
llvm/test/DebugInfo/COFF/function-options.ll Normal file
View File

@ -0,0 +1,584 @@
; RUN: llc < %s -filetype=obj | llvm-readobj - -codeview | FileCheck %s
;
; Command to generate function-options.ll
; $ clang++ function-options.cpp -S -emit-llvm -g -gcodeview -o function-options.ll
;
;
; #define DEFINE_FUNCTION(T) \
; T Func_##T(T &arg) { return arg; }
;
; class AClass {};
; DEFINE_FUNCTION(AClass); // Expect: FO = None
;
; class BClass {
; private:
; explicit BClass(); // Expect ctor: FO = Constructor
; };
; DEFINE_FUNCTION(BClass); // Expect: FO = CxxReturnUdt
;
; class C1Class {
; public:
; C1Class() = default; // Note: Clang generates one defaulted ctor (FO = None) while MSVC doesn't.
; };
; DEFINE_FUNCTION(C1Class); // Expect: FO = None
;
; class C2Class { // Note: MSVC-specific dtor, i.e. __vecDelDtor won't be verified in this case.
; public:
; ~C2Class() {} // Expect ~C2Class: FO = None
; };
; DEFINE_FUNCTION(C2Class); // Expect: FO = CxxReturnUdt
;
; class DClass : public BClass {}; // Note: MSVC yields one compiler-generated ctor for DClass while clang doesn't.
; DEFINE_FUNCTION(DClass); // Expect: FO = CxxReturnUdt
;
; class FClass { static int x; };
; DEFINE_FUNCTION(FClass); // Expect FO = None
;
; struct AStruct {};
; DEFINE_FUNCTION(AStruct); // Expect FO = None
;
; struct BStruct { BStruct(); }; // Expect ctor: FO = Constructor
; DEFINE_FUNCTION(BStruct); // Expect FO = CxxReturnUdt
;
; union AUnion {};
; DEFINE_FUNCTION(AUnion); // Expect FO = None
;
; union BUnion { BUnion() = default; }; // Note: Clang generates one defaulted ctor (FO = None) while MSVC does not.
; DEFINE_FUNCTION(BUnion); // Expect FO = None
; CHECK: Format: COFF-x86-64
; CHECK: Arch: x86_64
; CHECK: AddressSize: 64bit
; CHECK: CodeViewTypes [
; CHECK: Section: .debug$T ({{.*}})
; CHECK: Magic: 0x4
; CHECK: Procedure ([[SP1:.*]]) {
; CHECK: TypeLeafKind: LF_PROCEDURE (0x1008)
; CHECK: ReturnType: AClass ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x0)
; CHECK: ]
; CHECK: NumParameters: 1
; CHECK: ArgListType: (AClass&) ({{.*}})
; CHECK: }
; CHECK: FuncId ({{.*}}) {
; CHECK: TypeLeafKind: LF_FUNC_ID (0x1601)
; CHECK: ParentScope: 0x0
; CHECK: FunctionType: AClass (AClass&) ([[SP1]])
; CHECK: Name: Func_AClass
; CHECK: }
; CHECK: Procedure ([[SP2:.*]]) {
; CHECK: TypeLeafKind: LF_PROCEDURE (0x1008)
; CHECK: ReturnType: BClass ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x1)
; CHECK: CxxReturnUdt (0x1)
; CHECK: ]
; CHECK: NumParameters: 1
; CHECK: ArgListType: (BClass&) ({{.*}})
; CHECK: }
; CHECK: MemberFunction ([[MF1:.*]]) {
; CHECK: TypeLeafKind: LF_MFUNCTION (0x1009)
; CHECK: ReturnType: void (0x3)
; CHECK: ClassType: BClass ({{.*}})
; CHECK: ThisType: BClass* ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x2)
; CHECK: Constructor (0x2)
; CHECK: ]
; CHECK: NumParameters: 0
; CHECK: ArgListType: () ({{.*}})
; CHECK: ThisAdjustment: 0
; CHECK: }
; CHECK: FieldList ({{.*}}) {
; CHECK: TypeLeafKind: LF_FIELDLIST (0x1203)
; CHECK: OneMethod {
; CHECK: TypeLeafKind: LF_ONEMETHOD (0x1511)
; CHECK: AccessSpecifier: Private (0x1)
; CHECK: Type: void BClass::() ([[MF1]])
; CHECK: Name: BClass
; CHECK: }
; CHECK: }
; CHECK: FuncId ({{.*}}) {
; CHECK: TypeLeafKind: LF_FUNC_ID (0x1601)
; CHECK: ParentScope: 0x0
; CHECK: FunctionType: BClass (BClass&) ([[SP2]])
; CHECK: Name: Func_BClass
; CHECK: }
; CHECK: Procedure ([[SP3:.*]]) {
; CHECK: TypeLeafKind: LF_PROCEDURE (0x1008)
; CHECK: ReturnType: C1Class ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x0)
; CHECK: ]
; CHECK: NumParameters: 1
; CHECK: ArgListType: (C1Class&) ({{.*}})
; CHECK: }
; CHECK: MemberFunction ([[MF2:.*]]) {
; CHECK: TypeLeafKind: LF_MFUNCTION (0x1009)
; CHECK: ReturnType: void (0x3)
; CHECK: ClassType: C1Class ({{.*}})
; CHECK: ThisType: C1Class* ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x0)
; CHECK: ]
; CHECK: NumParameters: 0
; CHECK: ArgListType: () ({{.*}})
; CHECK: ThisAdjustment: 0
; CHECK: }
; CHECK: FieldList ({{.*}}) {
; CHECK: TypeLeafKind: LF_FIELDLIST (0x1203)
; CHECK: OneMethod {
; CHECK: TypeLeafKind: LF_ONEMETHOD (0x1511)
; CHECK: AccessSpecifier: Public (0x3)
; CHECK: Type: void C1Class::() ([[MF2]])
; CHECK: Name: C1Class
; CHECK: }
; CHECK: }
; CHECK: FuncId ({{.*}}) {
; CHECK: TypeLeafKind: LF_FUNC_ID (0x1601)
; CHECK: ParentScope: 0x0
; CHECK: FunctionType: C1Class (C1Class&) ([[SP3]])
; CHECK: Name: Func_C1Class
; CHECK: }
; CHECK: Procedure ([[SP4:.*]]) {
; CHECK: TypeLeafKind: LF_PROCEDURE (0x1008)
; CHECK: ReturnType: C2Class ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x1)
; CHECK: CxxReturnUdt (0x1)
; CHECK: ]
; CHECK: NumParameters: 1
; CHECK: ArgListType: (C2Class&) ({{.*}})
; CHECK: }
; CHECK: MemberFunction ([[MF3:.*]]) {
; CHECK: TypeLeafKind: LF_MFUNCTION (0x1009)
; CHECK: ReturnType: void (0x3)
; CHECK: ClassType: C2Class ({{.*}})
; CHECK: ThisType: C2Class* ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x0)
; CHECK: ]
; CHECK: NumParameters: 0
; CHECK: ArgListType: () ({{.*}})
; CHECK: ThisAdjustment: 0
; CHECK: }
; CHECK: FieldList ({{.*}}) {
; CHECK: TypeLeafKind: LF_FIELDLIST (0x1203)
; CHECK: OneMethod {
; CHECK: TypeLeafKind: LF_ONEMETHOD (0x1511)
; CHECK: AccessSpecifier: Public (0x3)
; CHECK: Type: void C2Class::() ([[MF3]])
; CHECK: Name: ~C2Class
; CHECK: }
; CHECK: }
; CHECK: FuncId ({{.*}}) {
; CHECK: TypeLeafKind: LF_FUNC_ID (0x1601)
; CHECK: ParentScope: 0x0
; CHECK: FunctionType: C2Class (C2Class&) ([[SP4]])
; CHECK: Name: Func_C2Class
; CHECK: }
; CHECK: Procedure ([[SP5:.*]]) {
; CHECK: TypeLeafKind: LF_PROCEDURE (0x1008)
; CHECK: ReturnType: DClass ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x1)
; CHECK: CxxReturnUdt (0x1)
; CHECK: ]
; CHECK: NumParameters: 1
; CHECK: ArgListType: (DClass&) ({{.*}})
; CHECK: }
; CHECK: FieldList ({{.*}}) {
; CHECK: TypeLeafKind: LF_FIELDLIST (0x1203)
; CHECK: BaseClass {
; CHECK: TypeLeafKind: LF_BCLASS (0x1400)
; CHECK: AccessSpecifier: Public (0x3)
; CHECK: BaseType: BClass ({{.*}})
; CHECK: BaseOffset: 0x0
; CHECK: }
; CHECK: }
; CHECK: FuncId ({{.*}}) {
; CHECK: TypeLeafKind: LF_FUNC_ID (0x1601)
; CHECK: ParentScope: 0x0
; CHECK: FunctionType: DClass (DClass&) ([[SP5]])
; CHECK: Name: Func_DClass
; CHECK: }
; CHECK: Procedure ([[SP6:.*]]) {
; CHECK: TypeLeafKind: LF_PROCEDURE (0x1008)
; CHECK: ReturnType: FClass ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x0)
; CHECK: ]
; CHECK: NumParameters: 1
; CHECK: ArgListType: (FClass&) ({{.*}})
; CHECK: }
; CHECK: FieldList ({{.*}}) {
; CHECK: TypeLeafKind: LF_FIELDLIST (0x1203)
; CHECK: StaticDataMember {
; CHECK: TypeLeafKind: LF_STMEMBER (0x150E)
; CHECK: AccessSpecifier: Private (0x1)
; CHECK: Type: int (0x74)
; CHECK: Name: x
; CHECK: }
; CHECK: }
; CHECK: FuncId ({{.*}}) {
; CHECK: TypeLeafKind: LF_FUNC_ID (0x1601)
; CHECK: ParentScope: 0x0
; CHECK: FunctionType: FClass (FClass&) ([[SP6]])
; CHECK: Name: Func_FClass
; CHECK: }
; CHECK: Procedure ([[SP7:.*]]) {
; CHECK: TypeLeafKind: LF_PROCEDURE (0x1008)
; CHECK: ReturnType: AStruct ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x0)
; CHECK: ]
; CHECK: NumParameters: 1
; CHECK: ArgListType: (AStruct&) ({{.*}})
; CHECK: }
; CHECK: FuncId ({{.*}}) {
; CHECK: TypeLeafKind: LF_FUNC_ID (0x1601)
; CHECK: ParentScope: 0x0
; CHECK: FunctionType: AStruct (AStruct&) ([[SP7]])
; CHECK: Name: Func_AStruct
; CHECK: }
; CHECK: Procedure ([[SP8:.*]]) {
; CHECK: TypeLeafKind: LF_PROCEDURE (0x1008)
; CHECK: ReturnType: BStruct ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x1)
; CHECK: CxxReturnUdt (0x1)
; CHECK: ]
; CHECK: NumParameters: 1
; CHECK: ArgListType: (BStruct&) ({{.*}})
; CHECK: }
; CHECK: MemberFunction ([[MF4:.*]]) {
; CHECK: TypeLeafKind: LF_MFUNCTION (0x1009)
; CHECK: ReturnType: void (0x3)
; CHECK: ClassType: BStruct ({{.*}})
; CHECK: ThisType: BStruct* ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x2)
; CHECK: Constructor (0x2)
; CHECK: ]
; CHECK: NumParameters: 0
; CHECK: ArgListType: () ({{.*}})
; CHECK: ThisAdjustment: 0
; CHECK: }
; CHECK: FieldList ({{.*}}) {
; CHECK: TypeLeafKind: LF_FIELDLIST (0x1203)
; CHECK: OneMethod {
; CHECK: TypeLeafKind: LF_ONEMETHOD (0x1511)
; CHECK: AccessSpecifier: Public (0x3)
; CHECK: Type: void BStruct::() ([[MF4]])
; CHECK: Name: BStruct
; CHECK: }
; CHECK: }
; CHECK: FuncId ({{.*}}) {
; CHECK: TypeLeafKind: LF_FUNC_ID (0x1601)
; CHECK: ParentScope: 0x0
; CHECK: FunctionType: BStruct (BStruct&) ([[SP8]])
; CHECK: Name: Func_BStruct
; CHECK: }
; CHECK: Procedure ([[SP9:.*]]) {
; CHECK: TypeLeafKind: LF_PROCEDURE (0x1008)
; CHECK: ReturnType: AUnion ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x0)
; CHECK: ]
; CHECK: NumParameters: 1
; CHECK: ArgListType: (AUnion&) ({{.*}})
; CHECK: }
; CHECK: FuncId ({{.*}}) {
; CHECK: TypeLeafKind: LF_FUNC_ID (0x1601)
; CHECK: ParentScope: 0x0
; CHECK: FunctionType: AUnion (AUnion&) ([[SP9]])
; CHECK: Name: Func_AUnion
; CHECK: }
; CHECK: Procedure ([[SP10:.*]]) {
; CHECK: TypeLeafKind: LF_PROCEDURE (0x1008)
; CHECK: ReturnType: BUnion ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x0)
; CHECK: ]
; CHECK: NumParameters: 1
; CHECK: ArgListType: (BUnion&) ({{.*}})
; CHECK: }
; CHECK: MemberFunction ([[MF5:.*]]) {
; CHECK: TypeLeafKind: LF_MFUNCTION (0x1009)
; CHECK: ReturnType: void (0x3)
; CHECK: ClassType: BUnion ({{.*}})
; CHECK: ThisType: BUnion* ({{.*}})
; CHECK: CallingConvention: NearC (0x0)
; CHECK: FunctionOptions [ (0x0)
; CHECK: ]
; CHECK: NumParameters: 0
; CHECK: ArgListType: () ({{.*}})
; CHECK: ThisAdjustment: 0
; CHECK: }
; CHECK: FieldList ({{.*}}) {
; CHECK: TypeLeafKind: LF_FIELDLIST (0x1203)
; CHECK: OneMethod {
; CHECK: TypeLeafKind: LF_ONEMETHOD (0x1511)
; CHECK: AccessSpecifier: Public (0x3)
; CHECK: Type: void BUnion::() ([[MF5]])
; CHECK: Name: BUnion
; CHECK: }
; CHECK: }
; CHECK: FuncId ({{.*}}) {
; CHECK: TypeLeafKind: LF_FUNC_ID (0x1601)
; CHECK: ParentScope: 0x0
; CHECK: FunctionType: BUnion (BUnion&) ([[SP10]])
; CHECK: Name: Func_BUnion
; CHECK: }
; CHECK: ]
; ModuleID = 'function-options.cpp'
source_filename = "function-options.cpp"
target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-windows-msvc19.15.26729"
%class.AClass = type { i8 }
%class.BClass = type { i8 }
%class.C1Class = type { i8 }
%class.C2Class = type { i8 }
%class.DClass = type { i8 }
%class.FClass = type { i8 }
%struct.AStruct = type { i8 }
%struct.BStruct = type { i8 }
%union.AUnion = type { i8 }
%union.BUnion = type { i8 }
; Function Attrs: noinline nounwind optnone uwtable
define dso_local i8 @"?Func_AClass@@YA?AVAClass@@AEAV1@@Z"(%class.AClass* dereferenceable(1) %arg) #0 !dbg !8 {
entry:
%retval = alloca %class.AClass, align 1
%arg.addr = alloca %class.AClass*, align 8
store %class.AClass* %arg, %class.AClass** %arg.addr, align 8
call void @llvm.dbg.declare(metadata %class.AClass** %arg.addr, metadata !14, metadata !DIExpression()), !dbg !15
%0 = load %class.AClass*, %class.AClass** %arg.addr, align 8, !dbg !15
%coerce.dive = getelementptr inbounds %class.AClass, %class.AClass* %retval, i32 0, i32 0, !dbg !15
%1 = load i8, i8* %coerce.dive, align 1, !dbg !15
ret i8 %1, !dbg !15
}
; Function Attrs: nounwind readnone speculatable
declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @"?Func_BClass@@YA?AVBClass@@AEAV1@@Z"(%class.BClass* noalias sret %agg.result, %class.BClass* dereferenceable(1) %arg) #0 !dbg !16 {
entry:
%arg.addr = alloca %class.BClass*, align 8
store %class.BClass* %arg, %class.BClass** %arg.addr, align 8
call void @llvm.dbg.declare(metadata %class.BClass** %arg.addr, metadata !26, metadata !DIExpression()), !dbg !27
%0 = load %class.BClass*, %class.BClass** %arg.addr, align 8, !dbg !27
ret void, !dbg !27
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @"?Func_C1Class@@YA?AVC1Class@@AEAV1@@Z"(%class.C1Class* noalias sret %agg.result, %class.C1Class* dereferenceable(1) %arg) #0 !dbg !28 {
entry:
%arg.addr = alloca %class.C1Class*, align 8
store %class.C1Class* %arg, %class.C1Class** %arg.addr, align 8
call void @llvm.dbg.declare(metadata %class.C1Class** %arg.addr, metadata !38, metadata !DIExpression()), !dbg !39
%0 = load %class.C1Class*, %class.C1Class** %arg.addr, align 8, !dbg !39
ret void, !dbg !39
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @"?Func_C2Class@@YA?AVC2Class@@AEAV1@@Z"(%class.C2Class* noalias sret %agg.result, %class.C2Class* dereferenceable(1) %arg) #0 !dbg !40 {
entry:
%arg.addr = alloca %class.C2Class*, align 8
store %class.C2Class* %arg, %class.C2Class** %arg.addr, align 8
call void @llvm.dbg.declare(metadata %class.C2Class** %arg.addr, metadata !50, metadata !DIExpression()), !dbg !51
%0 = load %class.C2Class*, %class.C2Class** %arg.addr, align 8, !dbg !51
ret void, !dbg !51
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @"?Func_DClass@@YA?AVDClass@@AEAV1@@Z"(%class.DClass* noalias sret %agg.result, %class.DClass* dereferenceable(1) %arg) #0 !dbg !52 {
entry:
%arg.addr = alloca %class.DClass*, align 8
store %class.DClass* %arg, %class.DClass** %arg.addr, align 8
call void @llvm.dbg.declare(metadata %class.DClass** %arg.addr, metadata !59, metadata !DIExpression()), !dbg !60
%0 = load %class.DClass*, %class.DClass** %arg.addr, align 8, !dbg !60
ret void, !dbg !60
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local i8 @"?Func_FClass@@YA?AVFClass@@AEAV1@@Z"(%class.FClass* dereferenceable(1) %arg) #0 !dbg !61 {
entry:
%retval = alloca %class.FClass, align 1
%arg.addr = alloca %class.FClass*, align 8
store %class.FClass* %arg, %class.FClass** %arg.addr, align 8
call void @llvm.dbg.declare(metadata %class.FClass** %arg.addr, metadata !69, metadata !DIExpression()), !dbg !70
%0 = load %class.FClass*, %class.FClass** %arg.addr, align 8, !dbg !70
%coerce.dive = getelementptr inbounds %class.FClass, %class.FClass* %retval, i32 0, i32 0, !dbg !70
%1 = load i8, i8* %coerce.dive, align 1, !dbg !70
ret i8 %1, !dbg !70
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local i8 @"?Func_AStruct@@YA?AUAStruct@@AEAU1@@Z"(%struct.AStruct* dereferenceable(1) %arg) #0 !dbg !71 {
entry:
%retval = alloca %struct.AStruct, align 1
%arg.addr = alloca %struct.AStruct*, align 8
store %struct.AStruct* %arg, %struct.AStruct** %arg.addr, align 8
call void @llvm.dbg.declare(metadata %struct.AStruct** %arg.addr, metadata !76, metadata !DIExpression()), !dbg !77
%0 = load %struct.AStruct*, %struct.AStruct** %arg.addr, align 8, !dbg !77
%coerce.dive = getelementptr inbounds %struct.AStruct, %struct.AStruct* %retval, i32 0, i32 0, !dbg !77
%1 = load i8, i8* %coerce.dive, align 1, !dbg !77
ret i8 %1, !dbg !77
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @"?Func_BStruct@@YA?AUBStruct@@AEAU1@@Z"(%struct.BStruct* noalias sret %agg.result, %struct.BStruct* dereferenceable(1) %arg) #0 !dbg !78 {
entry:
%arg.addr = alloca %struct.BStruct*, align 8
store %struct.BStruct* %arg, %struct.BStruct** %arg.addr, align 8
call void @llvm.dbg.declare(metadata %struct.BStruct** %arg.addr, metadata !88, metadata !DIExpression()), !dbg !89
%0 = load %struct.BStruct*, %struct.BStruct** %arg.addr, align 8, !dbg !89
ret void, !dbg !89
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local i8 @"?Func_AUnion@@YA?ATAUnion@@AEAT1@@Z"(%union.AUnion* dereferenceable(1) %arg) #0 !dbg !90 {
entry:
%retval = alloca %union.AUnion, align 1
%arg.addr = alloca %union.AUnion*, align 8
store %union.AUnion* %arg, %union.AUnion** %arg.addr, align 8
call void @llvm.dbg.declare(metadata %union.AUnion** %arg.addr, metadata !95, metadata !DIExpression()), !dbg !96
%0 = load %union.AUnion*, %union.AUnion** %arg.addr, align 8, !dbg !96
%coerce.dive = getelementptr inbounds %union.AUnion, %union.AUnion* %retval, i32 0, i32 0, !dbg !96
%1 = load i8, i8* %coerce.dive, align 1, !dbg !96
ret i8 %1, !dbg !96
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @"?Func_BUnion@@YA?ATBUnion@@AEAT1@@Z"(%union.BUnion* noalias sret %agg.result, %union.BUnion* dereferenceable(1) %arg) #0 !dbg !97 {
entry:
%arg.addr = alloca %union.BUnion*, align 8
store %union.BUnion* %arg, %union.BUnion** %arg.addr, align 8
call void @llvm.dbg.declare(metadata %union.BUnion** %arg.addr, metadata !107, metadata !DIExpression()), !dbg !108
%0 = load %union.BUnion*, %union.BUnion** %arg.addr, align 8, !dbg !108
ret void, !dbg !108
}
attributes #0 = { noinline nounwind optnone uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { nounwind readnone speculatable }
!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!3, !4, !5, !6}
!llvm.ident = !{!7}
!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 8.0.0 (https://github.com/llvm-mirror/clang.git 9884fc1d0881576784e9b50da9eb61a5eb427f1c) (https://github.com/llvm-mirror/llvm.git 33b1a96b81ba4e33cfc4a129ce43b5331e16936b)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None)
!1 = !DIFile(filename: "function-options.cpp", directory: "\5Ctest\5CDebugInfo\5CCOFF", checksumkind: CSK_MD5, checksum: "e73e74ea0bd81174051f0a4746343e00")
!2 = !{}
!3 = !{i32 2, !"CodeView", i32 1}
!4 = !{i32 2, !"Debug Info Version", i32 3}
!5 = !{i32 1, !"wchar_size", i32 2}
!6 = !{i32 7, !"PIC Level", i32 2}
!7 = !{!"clang version 8.0.0 (https://github.com/llvm-mirror/clang.git 9884fc1d0881576784e9b50da9eb61a5eb427f1c) (https://github.com/llvm-mirror/llvm.git 33b1a96b81ba4e33cfc4a129ce43b5331e16936b)"}
!8 = distinct !DISubprogram(name: "Func_AClass", linkageName: "?Func_AClass@@YA?AVAClass@@AEAV1@@Z", scope: !9, file: !9, line: 6, type: !10, isLocal: false, isDefinition: true, scopeLine: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
!9 = !DIFile(filename: "function-options.cpp", directory: "D:\5Cupstream\5Cllvm\5Ctest\5CDebugInfo\5CCOFF")
!10 = !DISubroutineType(types: !11)
!11 = !{!12, !13}
!12 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "AClass", file: !9, line: 5, size: 8, flags: DIFlagTypePassByValue | DIFlagTrivial, elements: !2, identifier: ".?AVAClass@@")
!13 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !12, size: 64)
!14 = !DILocalVariable(name: "arg", arg: 1, scope: !8, file: !9, line: 6, type: !13)
!15 = !DILocation(line: 6, scope: !8)
!16 = distinct !DISubprogram(name: "Func_BClass", linkageName: "?Func_BClass@@YA?AVBClass@@AEAV1@@Z", scope: !9, file: !9, line: 12, type: !17, isLocal: false, isDefinition: true, scopeLine: 12, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
!17 = !DISubroutineType(types: !18)
!18 = !{!19, !25}
!19 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "BClass", file: !9, line: 8, size: 8, flags: DIFlagTypePassByValue, elements: !20, identifier: ".?AVBClass@@")
!20 = !{!21}
!21 = !DISubprogram(name: "BClass", scope: !19, file: !9, line: 10, type: !22, isLocal: false, isDefinition: false, scopeLine: 10, flags: DIFlagExplicit | DIFlagPrototyped, isOptimized: false)
!22 = !DISubroutineType(types: !23)
!23 = !{null, !24}
!24 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !19, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
!25 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !19, size: 64)
!26 = !DILocalVariable(name: "arg", arg: 1, scope: !16, file: !9, line: 12, type: !25)
!27 = !DILocation(line: 12, scope: !16)
!28 = distinct !DISubprogram(name: "Func_C1Class", linkageName: "?Func_C1Class@@YA?AVC1Class@@AEAV1@@Z", scope: !9, file: !9, line: 18, type: !29, isLocal: false, isDefinition: true, scopeLine: 18, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
!29 = !DISubroutineType(types: !30)
!30 = !{!31, !37}
!31 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "C1Class", file: !9, line: 14, size: 8, flags: DIFlagTypePassByValue | DIFlagTrivial, elements: !32, identifier: ".?AVC1Class@@")
!32 = !{!33}
!33 = !DISubprogram(name: "C1Class", scope: !31, file: !9, line: 16, type: !34, isLocal: false, isDefinition: false, scopeLine: 16, flags: DIFlagPublic | DIFlagPrototyped, isOptimized: false)
!34 = !DISubroutineType(types: !35)
!35 = !{null, !36}
!36 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !31, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
!37 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !31, size: 64)
!38 = !DILocalVariable(name: "arg", arg: 1, scope: !28, file: !9, line: 18, type: !37)
!39 = !DILocation(line: 18, scope: !28)
!40 = distinct !DISubprogram(name: "Func_C2Class", linkageName: "?Func_C2Class@@YA?AVC2Class@@AEAV1@@Z", scope: !9, file: !9, line: 24, type: !41, isLocal: false, isDefinition: true, scopeLine: 24, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
!41 = !DISubroutineType(types: !42)
!42 = !{!43, !49}
!43 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "C2Class", file: !9, line: 20, size: 8, flags: DIFlagTypePassByValue, elements: !44, identifier: ".?AVC2Class@@")
!44 = !{!45}
!45 = !DISubprogram(name: "~C2Class", scope: !43, file: !9, line: 22, type: !46, isLocal: false, isDefinition: false, scopeLine: 22, flags: DIFlagPublic | DIFlagPrototyped, isOptimized: false)
!46 = !DISubroutineType(types: !47)
!47 = !{null, !48}
!48 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !43, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
!49 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !43, size: 64)
!50 = !DILocalVariable(name: "arg", arg: 1, scope: !40, file: !9, line: 24, type: !49)
!51 = !DILocation(line: 24, scope: !40)
!52 = distinct !DISubprogram(name: "Func_DClass", linkageName: "?Func_DClass@@YA?AVDClass@@AEAV1@@Z", scope: !9, file: !9, line: 27, type: !53, isLocal: false, isDefinition: true, scopeLine: 27, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
!53 = !DISubroutineType(types: !54)
!54 = !{!55, !58}
!55 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "DClass", file: !9, line: 26, size: 8, flags: DIFlagTypePassByValue, elements: !56, identifier: ".?AVDClass@@")
!56 = !{!57}
!57 = !DIDerivedType(tag: DW_TAG_inheritance, scope: !55, baseType: !19, flags: DIFlagPublic, extraData: i32 0)
!58 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !55, size: 64)
!59 = !DILocalVariable(name: "arg", arg: 1, scope: !52, file: !9, line: 27, type: !58)
!60 = !DILocation(line: 27, scope: !52)
!61 = distinct !DISubprogram(name: "Func_FClass", linkageName: "?Func_FClass@@YA?AVFClass@@AEAV1@@Z", scope: !9, file: !9, line: 30, type: !62, isLocal: false, isDefinition: true, scopeLine: 30, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
!62 = !DISubroutineType(types: !63)
!63 = !{!64, !68}
!64 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "FClass", file: !9, line: 29, size: 8, flags: DIFlagTypePassByValue | DIFlagTrivial, elements: !65, identifier: ".?AVFClass@@")
!65 = !{!66}
!66 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope: !64, file: !9, line: 29, baseType: !67, flags: DIFlagStaticMember)
!67 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!68 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !64, size: 64)
!69 = !DILocalVariable(name: "arg", arg: 1, scope: !61, file: !9, line: 30, type: !68)
!70 = !DILocation(line: 30, scope: !61)
!71 = distinct !DISubprogram(name: "Func_AStruct", linkageName: "?Func_AStruct@@YA?AUAStruct@@AEAU1@@Z", scope: !9, file: !9, line: 33, type: !72, isLocal: false, isDefinition: true, scopeLine: 33, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
!72 = !DISubroutineType(types: !73)
!73 = !{!74, !75}
!74 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "AStruct", file: !9, line: 32, size: 8, flags: DIFlagTypePassByValue | DIFlagTrivial, elements: !2, identifier: ".?AUAStruct@@")
!75 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !74, size: 64)
!76 = !DILocalVariable(name: "arg", arg: 1, scope: !71, file: !9, line: 33, type: !75)
!77 = !DILocation(line: 33, scope: !71)
!78 = distinct !DISubprogram(name: "Func_BStruct", linkageName: "?Func_BStruct@@YA?AUBStruct@@AEAU1@@Z", scope: !9, file: !9, line: 36, type: !79, isLocal: false, isDefinition: true, scopeLine: 36, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
!79 = !DISubroutineType(types: !80)
!80 = !{!81, !87}
!81 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "BStruct", file: !9, line: 35, size: 8, flags: DIFlagTypePassByValue, elements: !82, identifier: ".?AUBStruct@@")
!82 = !{!83}
!83 = !DISubprogram(name: "BStruct", scope: !81, file: !9, line: 35, type: !84, isLocal: false, isDefinition: false, scopeLine: 35, flags: DIFlagPrototyped, isOptimized: false)
!84 = !DISubroutineType(types: !85)
!85 = !{null, !86}
!86 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !81, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
!87 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !81, size: 64)
!88 = !DILocalVariable(name: "arg", arg: 1, scope: !78, file: !9, line: 36, type: !87)
!89 = !DILocation(line: 36, scope: !78)
!90 = distinct !DISubprogram(name: "Func_AUnion", linkageName: "?Func_AUnion@@YA?ATAUnion@@AEAT1@@Z", scope: !9, file: !9, line: 39, type: !91, isLocal: false, isDefinition: true, scopeLine: 39, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
!91 = !DISubroutineType(types: !92)
!92 = !{!93, !94}
!93 = distinct !DICompositeType(tag: DW_TAG_union_type, name: "AUnion", file: !9, line: 38, size: 8, flags: DIFlagTypePassByValue | DIFlagTrivial, elements: !2, identifier: ".?ATAUnion@@")
!94 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !93, size: 64)
!95 = !DILocalVariable(name: "arg", arg: 1, scope: !90, file: !9, line: 39, type: !94)
!96 = !DILocation(line: 39, scope: !90)
!97 = distinct !DISubprogram(name: "Func_BUnion", linkageName: "?Func_BUnion@@YA?ATBUnion@@AEAT1@@Z", scope: !9, file: !9, line: 42, type: !98, isLocal: false, isDefinition: true, scopeLine: 42, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
!98 = !DISubroutineType(types: !99)
!99 = !{!100, !106}
!100 = distinct !DICompositeType(tag: DW_TAG_union_type, name: "BUnion", file: !9, line: 41, size: 8, flags: DIFlagTypePassByValue | DIFlagTrivial, elements: !101, identifier: ".?ATBUnion@@")
!101 = !{!102}
!102 = !DISubprogram(name: "BUnion", scope: !100, file: !9, line: 41, type: !103, isLocal: false, isDefinition: false, scopeLine: 41, flags: DIFlagPrototyped, isOptimized: false)
!103 = !DISubroutineType(types: !104)
!104 = !{null, !105}
!105 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !100, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
!106 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !100, size: 64)
!107 = !DILocalVariable(name: "arg", arg: 1, scope: !97, file: !9, line: 42, type: !106)
!108 = !DILocation(line: 42, scope: !97)

12
llvm/test/DebugInfo/COFF/global-type-hashes.ll
View File

@ -196,7 +196,7 @@ attributes #2 = { noinline nounwind optnone "correctly-rounded-divide-sqrt-fp-ma
; YAML: ClassType: 4100 ; YAML: ClassType: 4100
; YAML: ThisType: 4101 ; YAML: ThisType: 4101
; YAML: CallConv: ThisCall ; YAML: CallConv: ThisCall
; YAML: Options: [ None ] ; YAML: Options: [ None, Constructor ]
; YAML: ParameterCount: 2 ; YAML: ParameterCount: 2
; YAML: ArgumentList: 4102 ; YAML: ArgumentList: 4102
; YAML: ThisPointerAdjustment: 0 ; YAML: ThisPointerAdjustment: 0
@ -282,14 +282,14 @@ attributes #2 = { noinline nounwind optnone "correctly-rounded-divide-sqrt-fp-ma
; YAML: - C324F82D24D22283 ; YAML: - C324F82D24D22283
; YAML: - 74698BE366891D3D ; YAML: - 74698BE366891D3D
; YAML: - DDE23757322DB7C3 ; YAML: - DDE23757322DB7C3
; YAML: - 3C458A5105FEA7C1 ; YAML: - 1692305447C3D360
; YAML: - D341E2F9BE57A1C7 ; YAML: - D341E2F9BE57A1C7
; YAML: - 243F76AED6D8FB79 ; YAML: - 243F76AED6D8FB79
; YAML: - B038D36C0C67EEEA ; YAML: - C75E2FD5D79D363D
; YAML: - C0A51CE268B50087 ; YAML: - 30FB9353B361B4B8
; YAML: - 0634944401BCC520 ; YAML: - 0634944401BCC520
; YAML: - 8CFC595FACFE1AB2 ; YAML: - DF0B7BE0B5AD5B4F
; YAML: - F1795EA10053AC52 ; YAML: - 0916E74F3860DA92
; YAML: - 17D3CDC3384402DD ; YAML: - 17D3CDC3384402DD
; ... ; ...