test/DebugInfo/COFF/inheritance.ll

   1 ; RUN: llc < %s -filetype=obj -o - | llvm-readobj - --codeview | FileCheck %s
   2 ; RUN: llc < %s -o - | llvm-mc -filetype=obj --triple=x86_64-windows | llvm-readobj - --codeview | FileCheck %s
   3
   4 ; C++ source to regenerate:
   5 ; $ cat t.cpp
   6 ; struct A { int a; };
   7 ; struct B : virtual A { int b; virtual int get() { return b; } };
   8 ; struct C : virtual A { int c; virtual int get() { return c; } };
   9 ; struct D : B, C {
  10 ;   virtual void f(); // make vbptr not offset zero
  11 ;   int d;
  12 ; };
  13 ; D d;
  14 ; $ clang -fno-rtti -g -gcodeview t.cpp -emit-llvm -S -o t.ll -O1
  15
  16 ; struct B's field list comes first.
  17 ; CHECK:        FieldList ({{.*}}) {
  18 ; CHECK-NEXT:     TypeLeafKind: LF_FIELDLIST (0x1203)
  19 ; CHECK-NEXT:     VirtualBaseClass {
  20 ; CHECK-NEXT:       TypeLeafKind: LF_VBCLASS (0x1401)
  21 ; CHECK-NEXT:       AccessSpecifier: Public (0x3)
  22 ; CHECK-NEXT:       BaseType: A ({{.*}})
  23 ; CHECK-NEXT:       VBPtrType: const int* ({{.*}})
  24 ; CHECK-NEXT:       VBPtrOffset: 0x8
  25 ; CHECK-NEXT:       VBTableIndex: 0x1
  26 ; CHECK-NEXT:     }
  27 ; CHECK:        }
  28
  29 ; struct A's field list comes next.
  30 ; CHECK:       FieldList ({{.*}})
  31 ; CHECK-NEXT:    TypeLeafKind: LF_FIELDLIST (0x1203)
  32 ; CHECK:       }
  33
  34 ; struct C's field list comes next.
  35 ; CHECK:       FieldList ({{.*}})
  36 ; CHECK-NEXT:    TypeLeafKind: LF_FIELDLIST (0x1203)
  37 ; CHECK-NEXT:    VirtualBaseClass {
  38 ; CHECK-NEXT:      TypeLeafKind: LF_VBCLASS (0x1401)
  39 ; CHECK-NEXT:      AccessSpecifier: Public (0x3)
  40 ; CHECK-NEXT:      BaseType: A ({{.*}})
  41 ; CHECK-NEXT:      VBPtrType: const int* ({{.*}})
  42 ; CHECK-NEXT:      VBPtrOffset: 0x8
  43 ; CHECK-NEXT:      VBTableIndex: 0x1
  44 ; CHECK-NEXT:    }
  45 ; CHECK:       }
  46
  47 ; struct D's field list is last.
  48 ; CHECK:       FieldList ({{.*}}) {
  49 ; CHECK-NEXT:    TypeLeafKind: LF_FIELDLIST (0x1203)
  50 ; CHECK-NEXT:    BaseClass {
  51 ; CHECK-NEXT:      TypeLeafKind: LF_BCLASS (0x1400)
  52 ; CHECK-NEXT:      AccessSpecifier: Public (0x3)
  53 ; CHECK-NEXT:      BaseType: B ({{.*}})
  54 ; CHECK-NEXT:      BaseOffset: 0x0
  55 ; CHECK-NEXT:    }
  56 ; CHECK-NEXT:    BaseClass {
  57 ; CHECK-NEXT:      TypeLeafKind: LF_BCLASS (0x1400)
  58 ; CHECK-NEXT:      AccessSpecifier: Public (0x3)
  59 ; CHECK-NEXT:      BaseType: C ({{.*}})
  60 ; CHECK-NEXT:      BaseOffset: 0x18
  61 ; CHECK-NEXT:    }
  62 ; CHECK-NEXT:    IndirectVirtualBaseClass {
  63 ; CHECK-NEXT:      TypeLeafKind: LF_IVBCLASS (0x1402)
  64 ; CHECK-NEXT:      AccessSpecifier: Public (0x3)
  65 ; CHECK-NEXT:      BaseType: A ({{.*}})
  66 ; CHECK-NEXT:      VBPtrType: const int* ({{.*}})
  67 ; CHECK-NEXT:      VBPtrOffset: 0x8
  68 ; CHECK-NEXT:      VBTableIndex: 0x1
  69 ; CHECK-NEXT:    }
  70 ; CHECK:       }
  71
  72 ; ModuleID = 't.cpp'
  73 source_filename = "t.cpp"
  74 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
  75 target triple = "x86_64-pc-windows-msvc19.12.25835"
  76
  77 %struct.D = type { %struct.B.base, %struct.C.base, i32, [4 x i8], %struct.A }
  78 %struct.B.base = type { i32 (...)**, i32*, i32 }
  79 %struct.C.base = type { i32 (...)**, i32*, i32 }
  80 %struct.A = type { i32 }
  81 %struct.B = type { i32 (...)**, i32*, i32, [4 x i8], %struct.A }
  82 %struct.C = type { i32 (...)**, i32*, i32, [4 x i8], %struct.A }
  83
  84 $"?get@B@@UEAAHXZ" = comdat any
  85
  86 $"?get@C@@UEAAHXZ" = comdat any
  87
  88 $"??_8D@@7BB@@@" = comdat any
  89
  90 $"??_8D@@7BC@@@" = comdat any
  91
  92 $"??_7D@@6BB@@@" = comdat any
  93
  94 $"??_7D@@6BC@@@" = comdat any
  95
  96 @"?d@@3UD@@A" = dso_local local_unnamed_addr global %struct.D { %struct.B.base { i32 (...)** bitcast ({ [2 x i8*] }* @"??_7D@@6BB@@@" to i32 (...)**), i32* getelementptr inbounds ([2 x i32], [2 x i32]* @"??_8D@@7BB@@@", i32 0, i32 0), i32 0 }, %struct.C.base { i32 (...)** bitcast ({ [1 x i8*] }* @"??_7D@@6BC@@@" to i32 (...)**), i32* getelementptr inbounds ([2 x i32], [2 x i32]* @"??_8D@@7BC@@@", i32 0, i32 0), i32 0 }, i32 0, [4 x i8] zeroinitializer, %struct.A zeroinitializer }, align 8, !dbg !0
  97 @"??_8D@@7BB@@@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 -8, i32 48], comdat
  98 @"??_8D@@7BC@@@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 -8, i32 24], comdat
  99 @"??_7D@@6BB@@@" = linkonce_odr unnamed_addr constant { [2 x i8*] } { [2 x i8*] [i8* bitcast (i32 (%struct.B*)* @"?get@B@@UEAAHXZ" to i8*), i8* bitcast (void (%struct.D*)* @"?f@D@@UEAAXXZ" to i8*)] }, comdat
 100 @"??_7D@@6BC@@@" = linkonce_odr unnamed_addr constant { [1 x i8*] } { [1 x i8*] [i8* bitcast (i32 (%struct.C*)* @"?get@C@@UEAAHXZ" to i8*)] }, comdat
 101 @llvm.global_ctors = appending global [0 x { i32, void ()*, i8* }] zeroinitializer
 102
 103 ; Function Attrs: nounwind uwtable
 104 define linkonce_odr dso_local i32 @"?get@B@@UEAAHXZ"(%struct.B* %this) unnamed_addr #0 comdat align 2 !dbg !46 {
 105 entry:
 106   call void @llvm.dbg.value(metadata %struct.B* %this, metadata !48, metadata !DIExpression()), !dbg !50
 107   %b = getelementptr inbounds %struct.B, %struct.B* %this, i64 0, i32 2, !dbg !51
 108   %0 = load i32, i32* %b, align 8, !dbg !51, !tbaa !52
 109   ret i32 %0, !dbg !51
 110 }
 111
 112 declare dso_local void @"?f@D@@UEAAXXZ"(%struct.D*) unnamed_addr #1
 113
 114 ; Function Attrs: nounwind uwtable
 115 define linkonce_odr dso_local i32 @"?get@C@@UEAAHXZ"(%struct.C* %this) unnamed_addr #0 comdat align 2 !dbg !57 {
 116 entry:
 117   call void @llvm.dbg.value(metadata %struct.C* %this, metadata !59, metadata !DIExpression()), !dbg !61
 118   %c = getelementptr inbounds %struct.C, %struct.C* %this, i64 0, i32 2, !dbg !62
 119   %0 = load i32, i32* %c, align 8, !dbg !62, !tbaa !63
 120   ret i32 %0, !dbg !62
 121 }
 122
 123 ; Function Attrs: nounwind readnone speculatable
 124 declare void @llvm.dbg.value(metadata, metadata, metadata) #2
 125
 126 attributes #0 = { nounwind 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" }
 127 attributes #1 = { "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-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" }
 128 attributes #2 = { nounwind readnone speculatable }
 129
 130 !llvm.dbg.cu = !{!2}
 131 !llvm.module.flags = !{!41, !42, !43, !44}
 132 !llvm.ident = !{!45}
 133
 134 !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
 135 !1 = distinct !DIGlobalVariable(name: "d", linkageName: "?d@@3UD@@A", scope: !2, file: !3, line: 8, type: !6, isLocal: false, isDefinition: true)
 136 !2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, producer: "clang version 7.0.0 (trunk)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5)
 137 !3 = !DIFile(filename: "t.cpp", directory: "C:\5CPath\5CTo\5CDirectory", checksumkind: CSK_MD5, checksum: "7477d4db6bf8a461a719bcaab9c6d65e")
 138 !4 = !{}
 139 !5 = !{!0}
 140 !6 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "D", file: !3, line: 4, size: 512, flags: DIFlagTypePassByReference, elements: !7, vtableHolder: !9, identifier: ".?AUD@@")
 141 !7 = !{!8, !24, !34, !35, !36, !37}
 142 !8 = !DIDerivedType(tag: DW_TAG_inheritance, scope: !6, baseType: !9, extraData: i32 0)
 143 !9 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "B", file: !3, line: 2, size: 256, flags: DIFlagTypePassByReference, elements: !10, vtableHolder: !9, identifier: ".?AUB@@")
 144 !10 = !{!11, !16, !17, !19, !20}
 145 !11 = !DIDerivedType(tag: DW_TAG_inheritance, scope: !9, baseType: !12, offset: 4, flags: DIFlagVirtual, extraData: i32 8)
 146 !12 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "A", file: !3, line: 1, size: 32, flags: DIFlagTypePassByValue, elements: !13, identifier: ".?AUA@@")
 147 !13 = !{!14}
 148 !14 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !12, file: !3, line: 1, baseType: !15, size: 32)
 149 !15 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 150 !16 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "__vtbl_ptr_type", baseType: null, size: 64)
 151 !17 = !DIDerivedType(tag: DW_TAG_member, name: "_vptr$B", scope: !3, file: !3, baseType: !18, size: 64, flags: DIFlagArtificial)
 152 !18 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !16, size: 64)
 153 !19 = !DIDerivedType(tag: DW_TAG_member, name: "b", scope: !9, file: !3, line: 2, baseType: !15, size: 32, offset: 128)
 154 !20 = !DISubprogram(name: "get", linkageName: "?get@B@@UEAAHXZ", scope: !9, file: !3, line: 2, type: !21, isLocal: false, isDefinition: false, scopeLine: 2, containingType: !9, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 0, flags: DIFlagPrototyped | DIFlagIntroducedVirtual, isOptimized: true)
 155 !21 = !DISubroutineType(types: !22)
 156 !22 = !{!15, !23}
 157 !23 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !9, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
 158 !24 = !DIDerivedType(tag: DW_TAG_inheritance, scope: !6, baseType: !25, offset: 192, extraData: i32 0)
 159 !25 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "C", file: !3, line: 3, size: 256, flags: DIFlagTypePassByReference, elements: !26, vtableHolder: !25, identifier: ".?AUC@@")
 160 !26 = !{!27, !16, !28, !29, !30}
 161 !27 = !DIDerivedType(tag: DW_TAG_inheritance, scope: !25, baseType: !12, offset: 4, flags: DIFlagVirtual, extraData: i32 8)
 162 !28 = !DIDerivedType(tag: DW_TAG_member, name: "_vptr$C", scope: !3, file: !3, baseType: !18, size: 64, flags: DIFlagArtificial)
 163 !29 = !DIDerivedType(tag: DW_TAG_member, name: "c", scope: !25, file: !3, line: 3, baseType: !15, size: 32, offset: 128)
 164 !30 = !DISubprogram(name: "get", linkageName: "?get@C@@UEAAHXZ", scope: !25, file: !3, line: 3, type: !31, isLocal: false, isDefinition: false, scopeLine: 3, containingType: !25, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 0, flags: DIFlagPrototyped | DIFlagIntroducedVirtual, isOptimized: true)
 165 !31 = !DISubroutineType(types: !32)
 166 !32 = !{!15, !33}
 167 !33 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !25, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
 168 !34 = !DIDerivedType(tag: DW_TAG_inheritance, scope: !6, baseType: !12, offset: 4, flags: DIFlagIndirectVirtualBase, extraData: i32 8)
 169 !35 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "__vtbl_ptr_type", baseType: null, size: 128)
 170 !36 = !DIDerivedType(tag: DW_TAG_member, name: "d", scope: !6, file: !3, line: 6, baseType: !15, size: 32, offset: 384)
 171 !37 = !DISubprogram(name: "f", linkageName: "?f@D@@UEAAXXZ", scope: !6, file: !3, line: 5, type: !38, isLocal: false, isDefinition: false, scopeLine: 5, containingType: !6, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 1, flags: DIFlagPrototyped | DIFlagIntroducedVirtual, isOptimized: true)
 172 !38 = !DISubroutineType(types: !39)
 173 !39 = !{null, !40}
 174 !40 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !6, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
 175 !41 = !{i32 2, !"CodeView", i32 1}
 176 !42 = !{i32 2, !"Debug Info Version", i32 3}
 177 !43 = !{i32 1, !"wchar_size", i32 2}
 178 !44 = !{i32 7, !"PIC Level", i32 2}
 179 !45 = !{!"clang version 7.0.0 (trunk)"}
 180 !46 = distinct !DISubprogram(name: "get", linkageName: "?get@B@@UEAAHXZ", scope: !9, file: !3, line: 2, type: !21, isLocal: false, isDefinition: true, scopeLine: 2, flags: DIFlagPrototyped, isOptimized: true, unit: !2, declaration: !20, retainedNodes: !47)
 181 !47 = !{!48}
 182 !48 = !DILocalVariable(name: "this", arg: 1, scope: !46, type: !49, flags: DIFlagArtificial | DIFlagObjectPointer)
 183 !49 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !9, size: 64)
 184 !50 = !DILocation(line: 0, scope: !46)
 185 !51 = !DILocation(line: 2, scope: !46)
 186 !52 = !{!53, !54, i64 16}
 187 !53 = !{!"?AUB@@", !54, i64 16}
 188 !54 = !{!"int", !55, i64 0}
 189 !55 = !{!"omnipotent char", !56, i64 0}
 190 !56 = !{!"Simple C++ TBAA"}
 191 !57 = distinct !DISubprogram(name: "get", linkageName: "?get@C@@UEAAHXZ", scope: !25, file: !3, line: 3, type: !31, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, unit: !2, declaration: !30, retainedNodes: !58)
 192 !58 = !{!59}
 193 !59 = !DILocalVariable(name: "this", arg: 1, scope: !57, type: !60, flags: DIFlagArtificial | DIFlagObjectPointer)
 194 !60 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !25, size: 64)
 195 !61 = !DILocation(line: 0, scope: !57)
 196 !62 = !DILocation(line: 3, scope: !57)
 197 !63 = !{!64, !54, i64 16}
 198 !64 = !{!"?AUC@@", !54, i64 16}