1 // RUN: %clang_cc1 %s -triple=i686-pc-windows-msvc -debug-info-kind=limited -gcodeview -emit-llvm -o - | FileCheck %s
2 
3 // Tests that certain miscellaneous features work in the MS ABI.
4 
5 struct Foo {
6   virtual void f();
7   virtual void g();
8   virtual void h();
9   static void i(int, int);
10   struct Nested {};
11 };
12 Foo f;
13 Foo::Nested n;
14 
15 // CHECK: ![[Nested:[0-9]+]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "Nested",
16 // CHECK-SAME: identifier: ".?AUNested@Foo@@"
17 
18 // CHECK: ![[Foo:[^ ]*]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "Foo",
19 // CHECK-SAME: elements: ![[elements:[0-9]+]]
20 // CHECK-SAME: identifier: ".?AUFoo@@"
21 
22 // CHECK: ![[elements]] = !{![[vshape:[0-9]+]], ![[vptr:[0-9]+]], ![[Nested]], ![[f:[0-9]+]], ![[g:[0-9]+]], ![[h:[0-9]+]], ![[i:[0-9]+]]}
23 
24 // CHECK: ![[vshape]] = !DIDerivedType(tag: DW_TAG_pointer_type, name: "__vtbl_ptr_type", baseType: null, size: 96)
25 
26 // CHECK: ![[vptr]] = !DIDerivedType(tag: DW_TAG_member, name: "_vptr$Foo",
27 // CHECK-SAME: baseType: ![[vptr_ty:[0-9]+]],
28 
29 // CHECK: ![[vptr_ty]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: ![[vshape]], size: 32
30 
31 // CHECK: ![[f]] = !DISubprogram(name: "f",
32 // CHECK-SAME: containingType: ![[Foo]], virtuality: DW_VIRTUALITY_virtual, virtualIndex: 0,
33 // CHECK-SAME: flags: DIFlagPrototyped | DIFlagIntroducedVirtual,
34 
35 // CHECK: ![[g]] = !DISubprogram(name: "g",
36 // CHECK-SAME: containingType: ![[Foo]], virtuality: DW_VIRTUALITY_virtual, virtualIndex: 1,
37 // CHECK-SAME: flags: DIFlagPrototyped | DIFlagIntroducedVirtual,
38 
39 // CHECK: ![[h]] = !DISubprogram(name: "h",
40 // CHECK-SAME: containingType: ![[Foo]], virtuality: DW_VIRTUALITY_virtual, virtualIndex: 2,
41 // CHECK-SAME: flags: DIFlagPrototyped | DIFlagIntroducedVirtual,
42 
43 // CHECK: ![[i]] = !DISubprogram(name: "i",
44 // CHECK-SAME: flags: DIFlagPrototyped | DIFlagStaticMember
45 // CHECK-NEXT: ![[dummy:[0-9]+]] = !DISubroutineType(types: ![[Signature:[0-9]+]])
46 // CHECK: ![[Signature]] = !{null, ![[BasicInt:[0-9]+]], ![[BasicInt]]}
47 // CHECK: ![[BasicInt]] = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
48