clang/test/Modules/ExtDebugInfo.cpp

   1 // UNSUPPORTED: target={{.*}}-zos{{.*}}, target={{.*}}-aix{{.*}}
   2 // RUN: rm -rf %t
   3 // Test that only forward declarations are emitted for types defined in modules.
   4
   5 // Modules:
   6 // RUN: %clang_cc1 -x objective-c++ -std=c++11 -debug-info-kind=standalone \
   7 // RUN:     -dwarf-ext-refs -fmodules                                   \
   8 // RUN:     -fmodule-format=obj -fimplicit-module-maps -DMODULES \
   9 // RUN:     -triple %itanium_abi_triple \
  10 // RUN:     -fmodules-cache-path=%t %s -I %S/Inputs -I %t -emit-llvm -o %t-mod.ll
  11 // RUN: cat %t-mod.ll |  FileCheck %s
  12
  13 // PCH:
  14 // RUN: %clang_cc1 -x c++ -std=c++11 -fmodule-format=obj -emit-pch -I%S/Inputs \
  15 // RUN:     -triple %itanium_abi_triple \
  16 // RUN:     -o %t.pch %S/Inputs/DebugCXX.h
  17 // RUN: %clang_cc1 -std=c++11 -debug-info-kind=standalone \
  18 // RUN:     -dwarf-ext-refs -fmodule-format=obj \
  19 // RUN:     -triple %itanium_abi_triple \
  20 // RUN:     -include-pch %t.pch %s -emit-llvm -o %t-pch.ll
  21 // RUN: cat %t-pch.ll |  FileCheck %s
  22 // RUN: cat %t-pch.ll |  FileCheck %s --check-prefix=CHECK-PCH
  23
  24 #ifdef MODULES
  25 @import DebugCXX;
  26 #endif
  27
  28 // Set the line number so that the LIT check expected line number doesn't have to be updated after adding/removing a line in the RUN section.
  29 #line 50
  30 using DebugCXX::Struct;
  31
  32 Struct s;
  33 DebugCXX::Enum e;
  34
  35 // Template instantiations.
  36 DebugCXX::Template<long> implicitTemplate;
  37 DebugCXX::Template<int> explicitTemplate;
  38 DebugCXX::FloatInstantiation typedefTemplate;
  39 DebugCXX::B anchoredTemplate;
  40
  41 int Struct::static_member = -1;
  42 enum {
  43   e3 = -1
  44 } conflicting_uid = e3;
  45 auto anon_enum = DebugCXX::e2;
  46 char _anchor = anon_enum + conflicting_uid;
  47
  48 TypedefUnion tdu;
  49 TypedefEnum tde;
  50 TypedefStruct tds;
  51 TypedefTemplate tdt;
  52 Template1<int> explicitTemplate1;
  53
  54 template <class T> class FwdDeclTemplate { T t; };
  55 TypedefFwdDeclTemplate tdfdt;
  56
  57 InAnonymousNamespace anon;
  58
  59 // Types that are forward-declared in the module and defined here.
  60 struct PureFwdDecl { int i; };
  61 PureFwdDecl definedLocally;
  62
  63 struct Specialized<int>::Member { int i; };
  64 struct Specialized<int>::Member definedLocally2;
  65
  66 template <class T> struct FwdDeclTemplateMember<T>::Member { T t; };
  67 TypedefFwdDeclTemplateMember tdfdtm;
  68
  69 SpecializedBase definedLocally3;
  70 extern template class WithSpecializedBase<int>;
  71 WithSpecializedBase<int> definedLocally4;
  72
  73 void foo() {
  74   anon.i = GlobalStruct.i = GlobalUnion.i = GlobalEnum;
  75   A a;
  76   Virtual virt;
  77 }
  78
  79 // CHECK: ![[CPP:.*]] = !DIFile(filename: {{.*}}ExtDebugInfo.cpp"
  80
  81 // CHECK: !DICompositeType(tag: DW_TAG_enumeration_type, name: "Enum",
  82 // CHECK-SAME:             scope: ![[NS:[0-9]+]],
  83 // CHECK-SAME:             flags: DIFlagFwdDecl
  84 // CHECK-SAME:             identifier:  "_ZTSN8DebugCXX4EnumE")
  85
  86 // CHECK: ![[NS]] = !DINamespace(name: "DebugCXX", scope: ![[MOD:[0-9]+]])
  87 // CHECK: ![[MOD]] = !DIModule(scope: null, name: {{.*}}DebugCXX
  88
  89 // This type is not anchored in the module by an explicit template instantiation.
  90 // CHECK: !DICompositeType(tag: DW_TAG_class_type,
  91 // CHECK-SAME:             name: "Template<long, DebugCXX::traits<long> >",
  92 // CHECK-SAME:             scope: ![[NS]],
  93 // CHECK-SAME:             elements:
  94 // CHECK-SAME:             identifier: "_ZTSN8DebugCXX8TemplateIlNS_6traitsIlEEEE")
  95
  96 // This type is anchored in the module by an explicit template instantiation.
  97 // CHECK: !DICompositeType(tag: DW_TAG_class_type,
  98 // CHECK-SAME:             name: "Template<int, DebugCXX::traits<int> >",
  99 // CHECK-SAME:             scope: ![[NS]],
 100 // CHECK-SAME:             flags: DIFlagFwdDecl
 101 // CHECK-SAME:             identifier: "_ZTSN8DebugCXX8TemplateIiNS_6traitsIiEEEE")
 102
 103 // This type isn't, however, even with standalone non-module debug info this
 104 // type is a forward declaration.
 105 // CHECK-NOT: !DICompositeType(tag: DW_TAG_structure_type, name: "traits<int>",
 106
 107 // This one isn't.
 108 // CHECK: !DICompositeType(tag: DW_TAG_class_type,
 109 // CHECK-SAME:             name: "Template<float, DebugCXX::traits<float> >",
 110 // CHECK-SAME:             scope: ![[NS]],
 111 // CHECK-SAME:             elements:
 112 // CHECK-SAME:             templateParams:
 113 // CHECK-SAME:             identifier: "_ZTSN8DebugCXX8TemplateIfNS_6traitsIfEEEE")
 114
 115 // This type is anchored in the module by an explicit template instantiation.
 116 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "traits<float>",
 117 // CHECK-SAME:             flags: DIFlagFwdDecl
 118 // CHECK-SAME:             identifier: "_ZTSN8DebugCXX6traitsIfEE")
 119
 120
 121 // This type is anchored in the module via a function argument,
 122 // but we don't know this (yet).
 123 // CHECK: !DICompositeType(tag: DW_TAG_class_type, name: "A<void>",
 124 // CHECK-SAME:             scope: ![[NS]],
 125 // CHECK-SAME:             elements:
 126 // CHECK-SAME:             identifier: "_ZTSN8DebugCXX1AIJvEEE")
 127
 128 // CHECK: !DIDerivedType(tag: DW_TAG_member, name: "static_member",
 129 // CHECK-SAME:           scope: ![[STRUCT:[0-9]*]]
 130
 131 // CHECK: ![[STRUCT]] = !DICompositeType(tag: DW_TAG_structure_type, name: "Struct",
 132 // CHECK-SAME:             scope: ![[NS]],
 133 // CHECK-SAME:             flags: DIFlagFwdDecl
 134 // CHECK-SAME:             identifier: "_ZTSN8DebugCXX6StructE")
 135
 136 // CHECK: !DICompositeType(tag: DW_TAG_union_type,
 137 // CHECK-SAME:             flags: DIFlagFwdDecl
 138 // CHECK-SAME:             identifier: "_ZTS12TypedefUnion")
 139 // CHECK: !DICompositeType(tag: DW_TAG_enumeration_type,
 140 // CHECK-SAME:             flags: DIFlagFwdDecl,
 141 // CHECK-SAME:             identifier: "_ZTS11TypedefEnum")
 142 // CHECK: !DICompositeType(tag: DW_TAG_structure_type,
 143 // CHECK-SAME:             flags: DIFlagFwdDecl,
 144 // CHECK-SAME:             identifier: "_ZTS13TypedefStruct")
 145
 146 // This one isn't.
 147 // CHECK: !DICompositeType(tag: DW_TAG_class_type, name: "Template1<void *>",
 148 // CHECK-SAME:             elements:
 149 // CHECK-SAME:             templateParams:
 150 // CHECK-SAME:             identifier: "_ZTS9Template1IPvE")
 151
 152 // This type is anchored in the module by an explicit template instantiation.
 153 // CHECK: !DICompositeType(tag: DW_TAG_class_type, name: "Template1<int>",
 154 // CHECK-SAME:             flags: DIFlagFwdDecl,
 155 // CHECK-SAME:             identifier: "_ZTS9Template1IiE")
 156
 157 // CHECK: !DICompositeType(tag: DW_TAG_class_type, name: "FwdDeclTemplate<int>",
 158 // CHECK-SAME:             elements:
 159 // CHECK-SAME:             templateParams:
 160 // CHECK-SAME:             identifier: "_ZTS15FwdDeclTemplateIiE")
 161
 162 // This type is defined locally and forward-declared in the module.
 163 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "PureFwdDecl",
 164 // CHECK-SAME:             elements:
 165 // CHECK-SAME:             identifier: "_ZTS11PureFwdDecl")
 166
 167 // This type is defined locally and forward-declared in the module.
 168 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "Member",
 169 // CHECK-SAME:             elements:
 170 // CHECK-SAME:             identifier: "_ZTSN11SpecializedIiE6MemberE")
 171
 172 // This type is defined locally and forward-declared in the module.
 173 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "Member",
 174 // CHECK-SAME:             elements:
 175 // CHECK-SAME:             identifier: "_ZTSN21FwdDeclTemplateMemberIiE6MemberE")
 176
 177 // This type is defined locally and forward-declared in the module.
 178 // CHECK: !DIDerivedType(tag: DW_TAG_typedef, name: "SpecializedBase",
 179 // CHECK-SAME:           baseType: ![[SPECIALIZEDBASE:.*]])
 180 // CHECK: ![[SPECIALIZEDBASE]] =
 181 // CHECK-SAME: !DICompositeType(tag: DW_TAG_class_type,
 182 // CHECK-SAME:                  name: "WithSpecializedBase<float>",
 183 // CHECK-SAME:                  elements:
 184 // CHECK-SAME:                  identifier: "_ZTS19WithSpecializedBaseIfE")
 185
 186 // This type is explicitly specialized locally.
 187 // CHECK: !DICompositeType(tag: DW_TAG_class_type, name: "WithSpecializedBase<int>",
 188 // CHECK-SAME:             elements:
 189 // CHECK-SAME:             identifier: "_ZTS19WithSpecializedBaseIiE")
 190
 191 // CHECK: !DIGlobalVariable(name: "anon_enum", {{.*}}, type: ![[ANON_ENUM:[0-9]+]]
 192 // CHECK: !DICompositeType(tag: DW_TAG_enumeration_type, scope: ![[NS]],
 193 // CHECK-SAME:             line: 19
 194
 195 // CHECK: !DIGlobalVariable(name: "GlobalUnion",
 196 // CHECK-SAME:              type: ![[GLOBAL_UNION:[0-9]+]]
 197 // CHECK: ![[GLOBAL_UNION]] = distinct !DICompositeType(tag: DW_TAG_union_type,
 198 // CHECK-SAME:                elements: !{{[0-9]+}})
 199 // CHECK: !DIGlobalVariable(name: "GlobalStruct",
 200 // CHECK-SAME:              type: ![[GLOBAL_STRUCT:[0-9]+]]
 201 // CHECK: ![[GLOBAL_STRUCT]] = distinct !DICompositeType(tag: DW_TAG_structure_type,
 202 // CHECK-SAME:                elements: !{{[0-9]+}})
 203
 204
 205 // CHECK: !DIGlobalVariable(name: "anon",
 206 // CHECK-SAME:              type: ![[GLOBAL_ANON:[0-9]+]]
 207 // CHECK: ![[GLOBAL_ANON]] = !DICompositeType(tag: DW_TAG_structure_type,
 208 // CHECK-SAME:              name: "InAnonymousNamespace", {{.*}}DIFlagFwdDecl)
 209
 210 // CHECK: !DIImportedEntity(tag: DW_TAG_imported_declaration, scope: !{{[0-9]+}}, entity: ![[STRUCT]], file: ![[CPP]], line: 50)
 211
 212 // CHECK: !DICompileUnit(
 213 // CHECK-SAME:           splitDebugFilename:
 214 // CHECK-SAME:           dwoId:
 215 // CHECK-PCH: !DICompileUnit({{.*}}splitDebugFilename:
 216 // CHECK-PCH:                dwoId: 18446744073709551614
 217
 218 // CHECK: !DICompositeType(tag: DW_TAG_class_type, name: "A",
 219 // CHECK-SAME:             DIFlagFwdDecl
 220
 221 // There is a full definition of the type available in the module.
 222 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "Virtual",
 223 // CHECK-SAME:             DIFlagFwdDecl
 224 // CHECK-SAME:             identifier: "_ZTS7Virtual")