llvm/test/DebugInfo/Generic/namespace.ll

   1 ; RUN: %llc_dwarf -O0 -filetype=obj -dwarf-linkage-names=All < %s | llvm-dwarfdump - | FileCheck %s --implicit-check-not "{{DW_TAG|NULL}}"
   2
   3 ; CHECK: debug_info contents
   4 ; CHECK:DW_TAG_compile_unit
   5
   6 ; CHECK: [[NS1:0x[0-9a-f]*]]:{{ *}}DW_TAG_namespace
   7 ; CHECK:   DW_AT_name ("A")
   8 ; CHECK-NOT: DW_AT_decl_file
   9 ; CHECK-NOT: DW_AT_decl_line
  10
  11 ; CHECK: [[NS2:0x[0-9a-f]*]]:{{ *}}DW_TAG_namespace
  12 ; CHECK:   DW_AT_name ("B")
  13 ; CHECK-NOT: DW_AT_decl_file
  14 ; CHECK-NOT: DW_AT_decl_line
  15
  16 ; CHECK: [[I:0x[0-9a-f]*]]:{{ *}}DW_TAG_variable
  17 ; CHECK:   DW_AT_name ("i")
  18 ; CHECK: [[VAR_FWD:0x[0-9a-f]*]]:{{ *}}DW_TAG_variable
  19 ; CHECK:   DW_AT_name ("var_fwd")
  20
  21 ; CHECK: [[FOO:0x[0-9a-f]*]]:{{ *}}DW_TAG_structure_type
  22 ; CHECK:   DW_AT_name ("foo")
  23 ; CHECK:   DW_AT_declaration
  24 ; CHECK: [[BAR:0x[0-9a-f]*]]:{{ *}}DW_TAG_structure_type
  25 ; CHECK:   DW_AT_name ("bar")
  26
  27 ; CHECK: DW_TAG_subprogram
  28 ; CHECK:   DW_AT_MIPS_linkage_name
  29 ; CHECK:   DW_AT_name ("f1")
  30 ; CHECK: [[FUNC1:.*]]: DW_TAG_subprogram
  31 ; CHECK:   DW_AT_MIPS_linkage_name
  32 ; CHECK:   DW_AT_name ("f1")
  33 ; CHECK:   DW_TAG_formal_parameter
  34 ; CHECK:   NULL
  35
  36 ; CHECK: [[FUNC_FWD:0x[0-9a-f]*]]:{{.*}}DW_TAG_subprogram
  37 ; CHECK:   DW_AT_name ("func_fwd")
  38 ; CHECK-NOT: DW_AT_declaration
  39
  40 ; CHECK: [[BAZ:0x[0-9a-f]*]]:{{.*}}DW_TAG_typedef
  41 ; CHECK:   DW_AT_name ("baz")
  42
  43 ; CHECK: [[VAR_DECL:0x[0-9a-f]*]]:{{.*}}DW_TAG_variable
  44 ; CHECK:   DW_AT_name ("var_decl")
  45 ; CHECK:   DW_AT_declaration
  46
  47 ; CHECK: [[FUNC_DECL:0x[0-9a-f]*]]:{{.*}}DW_TAG_subprogram
  48 ; CHECK:   DW_AT_name ("func_decl")
  49 ; CHECK:   DW_AT_declaration
  50 ; CHECK: NULL
  51
  52 ; CHECK: DW_TAG_imported_module
  53 ; CHECK:   DW_AT_decl_file ([[F2:.*]])
  54 ; CHECK:   DW_AT_decl_line (15)
  55 ; CHECK:   DW_AT_import ([[NS2]])
  56 ; CHECK: DW_TAG_imported_declaration
  57 ; CHECK: NULL
  58
  59 ; CHECK: DW_TAG_base_type
  60 ; CHECK: DW_TAG_subprogram
  61
  62 ; CHECK: DW_TAG_subprogram
  63 ; CHECK:   DW_AT_MIPS_linkage_name
  64 ; CHECK:   DW_AT_name ("func")
  65 ; CHECK:   DW_TAG_formal_parameter
  66 ; CHECK:   DW_TAG_lexical_block
  67 ; CHECK:     DW_TAG_imported_module
  68 ; CHECK:       DW_AT_decl_file ([[F2]])
  69 ; CHECK:       DW_AT_decl_line (23)
  70 ; CHECK:       DW_AT_import {{.*}}
  71 ; CHECK:     NULL
  72 ; CHECK:   DW_TAG_imported_module
  73 ; CHECK:     DW_AT_decl_file ([[F2:.*]])
  74 ; CHECK:     DW_AT_decl_line (26)
  75 ; CHECK:     DW_AT_import ([[NS1]])
  76 ; CHECK:   DW_TAG_imported_declaration
  77 ; CHECK:     DW_AT_decl_file ([[F2]])
  78 ; CHECK:     DW_AT_decl_line (27)
  79 ; CHECK:     DW_AT_import ([[FOO]])
  80 ; CHECK:   DW_TAG_imported_declaration
  81 ; CHECK:     DW_AT_decl_file ([[F2]])
  82 ; CHECK:     DW_AT_decl_line (28)
  83 ; CHECK:     DW_AT_import ([[BAR]])
  84 ; CHECK:   DW_TAG_imported_declaration
  85 ; CHECK:     DW_AT_decl_file ([[F2]])
  86 ; CHECK:     DW_AT_decl_line (29)
  87 ; CHECK:     DW_AT_import ([[FUNC1]])
  88 ; CHECK:   DW_TAG_imported_declaration
  89 ; CHECK:     DW_AT_decl_file ([[F2]])
  90 ; CHECK:     DW_AT_decl_line (30)
  91 ; CHECK:     DW_AT_import ([[I]])
  92 ; CHECK:   DW_TAG_imported_declaration
  93 ; CHECK:     DW_AT_decl_file ([[F2]])
  94 ; CHECK:     DW_AT_decl_line (31)
  95 ; CHECK:     DW_AT_import ([[BAZ]])
  96 ; CHECK:   [[X:0x[0-9a-f]*]]:{{ *}}DW_TAG_imported_declaration
  97 ; CHECK:     DW_AT_decl_file ([[F2]])
  98 ; CHECK:     DW_AT_decl_line (32)
  99 ; CHECK:     DW_AT_import ([[NS1]])
 100 ; CHECK:     DW_AT_name ("X")
 101 ; CHECK:   DW_TAG_imported_declaration
 102 ; CHECK:     DW_AT_decl_file ([[F2]])
 103 ; CHECK:     DW_AT_decl_line (33)
 104 ; CHECK:     DW_AT_import ([[X]])
 105 ; CHECK:     DW_AT_name ("Y")
 106 ; CHECK:   DW_TAG_imported_declaration
 107 ; CHECK:     DW_AT_decl_file ([[F2]])
 108 ; CHECK:     DW_AT_decl_line (34)
 109 ; CHECK:     DW_AT_import ([[VAR_DECL]])
 110 ; CHECK:   DW_TAG_imported_declaration
 111 ; CHECK:     DW_AT_decl_file ([[F2]])
 112 ; CHECK:     DW_AT_decl_line (35)
 113 ; CHECK:     DW_AT_import ([[FUNC_DECL]])
 114 ; CHECK:   DW_TAG_imported_declaration
 115 ; CHECK:     DW_AT_decl_file ([[F2]])
 116 ; CHECK:     DW_AT_decl_line (36)
 117 ; CHECK:     DW_AT_import ([[VAR_FWD]])
 118 ; CHECK:   DW_TAG_imported_declaration
 119 ; CHECK:     DW_AT_decl_file ([[F2]])
 120 ; CHECK:     DW_AT_decl_line (37)
 121 ; CHECK:     DW_AT_import ([[FUNC_FWD]])
 122 ; CHECK:   NULL
 123
 124 ; CHECK: DW_TAG_subprogram
 125 ; CHECK: DW_TAG_imported_module
 126 ; CHECK:   DW_AT_decl_file ([[F2:.*]])
 127 ; CHECK:   DW_AT_decl_line (18)
 128 ; CHECK:   DW_AT_import ([[NS1]])
 129 ; CHECK: DW_TAG_imported_declaration
 130 ; CHECK: DW_TAG_base_type
 131 ; CHECK: NULL
 132
 133 ; IR generated from clang/test/CodeGenCXX/debug-info-namespace.cpp, file paths
 134 ; changed to protect the guilty. The C++ source code is:
 135 ; // RUN...
 136 ; // RUN...
 137 ; // RUN...
 138 ;
 139 ; namespace A {
 140 ; #line 1 "foo.cpp"
 141 ; namespace B {
 142 ; extern int i;
 143 ; int f1() { return 0; }
 144 ; void f1(int) { }
 145 ; struct foo;
 146 ; struct bar { };
 147 ; typedef bar baz;
 148 ; extern int var_decl;
 149 ; void func_decl(void);
 150 ; extern int var_fwd;
 151 ; void func_fwd(void);
 152 ; }
 153 ; }
 154 ; namespace A {
 155 ; using namespace B;
 156 ; }
 157 ;
 158 ; using namespace A;
 159 ; namespace E = A;
 160 ; int B::i = f1();
 161 ; int func(bool b) {
 162 ;   if (b) {
 163 ;     using namespace A::B;
 164 ;     return i;
 165 ;   }
 166 ;   using namespace A;
 167 ;   using B::foo;
 168 ;   using B::bar;
 169 ;   using B::f1;
 170 ;   using B::i;
 171 ;   using B::baz;
 172 ;   namespace X = A;
 173 ;   namespace Y = X;
 174 ;   using B::var_decl;
 175 ;   using B::func_decl;
 176 ;   using B::var_fwd;
 177 ;   using B::func_fwd;
 178 ;   return i + X::B::i + Y::B::i;
 179 ; }
 180 ;
 181 ; namespace A {
 182 ; using B::i;
 183 ; namespace B {
 184 ; int var_fwd = i;
 185 ; }
 186 ; }
 187 ; void B::func_fwd() {}
 188
 189 @_ZN1A1B1iE = global i32 0, align 4, !dbg !131
 190 @_ZN1A1B7var_fwdE = global i32 0, align 4, !dbg !132
 191 @llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @_GLOBAL__sub_I_debug_info_namespace.cpp, ptr null }]
 192
 193 ; Function Attrs: nounwind ssp uwtable
 194 define i32 @_ZN1A1B2f1Ev() #0 !dbg !10 {
 195 entry:
 196   ret i32 0, !dbg !60
 197 }
 198
 199 ; Function Attrs: nounwind ssp uwtable
 200 define void @_ZN1A1B2f1Ei(i32) #0 !dbg !14 {
 201 entry:
 202   %.addr = alloca i32, align 4
 203   store i32 %0, ptr %.addr, align 4
 204   call void @llvm.dbg.declare(metadata ptr %.addr, metadata !61, metadata !62), !dbg !63
 205   ret void, !dbg !64
 206 }
 207
 208 ; Function Attrs: nounwind readnone
 209 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
 210
 211 define internal void @__cxx_global_var_init() section "__TEXT,__StaticInit,regular,pure_instructions" !dbg !17 {
 212 entry:
 213   %call = call i32 @_ZN1A1B2f1Ev(), !dbg !65
 214   store i32 %call, ptr @_ZN1A1B1iE, align 4, !dbg !65
 215   ret void, !dbg !65
 216 }
 217
 218 ; Function Attrs: nounwind ssp uwtable
 219 define i32 @_Z4funcb(i1 zeroext %b) #0 !dbg !21 {
 220 entry:
 221   %retval = alloca i32, align 4
 222   %b.addr = alloca i8, align 1
 223   %frombool = zext i1 %b to i8
 224   store i8 %frombool, ptr %b.addr, align 1
 225   call void @llvm.dbg.declare(metadata ptr %b.addr, metadata !66, metadata !62), !dbg !67
 226   %0 = load i8, ptr %b.addr, align 1, !dbg !68
 227   %tobool = trunc i8 %0 to i1, !dbg !68
 228   br i1 %tobool, label %if.then, label %if.end, !dbg !68
 229
 230 if.then:                                          ; preds = %entry
 231   %1 = load i32, ptr @_ZN1A1B1iE, align 4, !dbg !69
 232   store i32 %1, ptr %retval, !dbg !69
 233   br label %return, !dbg !69
 234
 235 if.end:                                           ; preds = %entry
 236   %2 = load i32, ptr @_ZN1A1B1iE, align 4, !dbg !70
 237   %3 = load i32, ptr @_ZN1A1B1iE, align 4, !dbg !70
 238   %add = add nsw i32 %2, %3, !dbg !70
 239   %4 = load i32, ptr @_ZN1A1B1iE, align 4, !dbg !70
 240   %add1 = add nsw i32 %add, %4, !dbg !70
 241   store i32 %add1, ptr %retval, !dbg !70
 242   br label %return, !dbg !70
 243
 244 return:                                           ; preds = %if.end, %if.then
 245   %5 = load i32, ptr %retval, !dbg !71
 246   ret i32 %5, !dbg !71
 247 }
 248
 249 define internal void @__cxx_global_var_init1() section "__TEXT,__StaticInit,regular,pure_instructions" !dbg !25 {
 250 entry:
 251   %0 = load i32, ptr @_ZN1A1B1iE, align 4, !dbg !72
 252   store i32 %0, ptr @_ZN1A1B7var_fwdE, align 4, !dbg !72
 253   ret void, !dbg !72
 254 }
 255
 256 ; Function Attrs: nounwind ssp uwtable
 257 define void @_ZN1A1B8func_fwdEv() #0 !dbg !26 {
 258 entry:
 259   ret void, !dbg !73
 260 }
 261
 262 define internal void @_GLOBAL__sub_I_debug_info_namespace.cpp() section "__TEXT,__StaticInit,regular,pure_instructions" {
 263 entry:
 264   call void @__cxx_global_var_init(), !dbg !74
 265   call void @__cxx_global_var_init1(), !dbg !74
 266   ret void, !dbg !74
 267 }
 268
 269 attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 270 attributes #1 = { nounwind readnone }
 271
 272 !llvm.dbg.cu = !{!0}
 273 !llvm.module.flags = !{!57, !58}
 274 !llvm.ident = !{!59}
 275
 276 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.6.0 ", isOptimized: false, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !3, globals: !30, imports: !33)
 277 !1 = !DIFile(filename: "debug-info-namespace.cpp", directory: "/tmp")
 278 !2 = !{}
 279 !3 = !{!4, !8}
 280 !4 = !DICompositeType(tag: DW_TAG_structure_type, name: "foo", line: 5, flags: DIFlagFwdDecl, file: !5, scope: !6, identifier: "_ZTSN1A1B3fooE")
 281 !5 = !DIFile(filename: "foo.cpp", directory: "/tmp")
 282 !6 = !DINamespace(name: "B", scope: !7)
 283 !7 = !DINamespace(name: "A", scope: null)
 284 !8 = !DICompositeType(tag: DW_TAG_structure_type, name: "bar", line: 6, size: 8, align: 8, file: !5, scope: !6, elements: !2, identifier: "_ZTSN1A1B3barE")
 285 !10 = distinct !DISubprogram(name: "f1", linkageName: "_ZN1A1B2f1Ev", line: 3, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 3, file: !5, scope: !6, type: !11, retainedNodes: !2)
 286 !11 = !DISubroutineType(types: !12)
 287 !12 = !{!13}
 288 !13 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
 289 !14 = distinct !DISubprogram(name: "f1", linkageName: "_ZN1A1B2f1Ei", line: 4, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 4, file: !5, scope: !6, type: !15, retainedNodes: !2)
 290 !15 = !DISubroutineType(types: !16)
 291 !16 = !{null, !13}
 292 !17 = distinct !DISubprogram(name: "__cxx_global_var_init", line: 20, isLocal: true, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 20, file: !5, scope: !18, type: !19, retainedNodes: !2)
 293 !18 = !DIFile(filename: "foo.cpp", directory: "/tmp")
 294 !19 = !DISubroutineType(types: !20)
 295 !20 = !{null}
 296 !21 = distinct !DISubprogram(name: "func", linkageName: "_Z4funcb", line: 21, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 21, file: !5, scope: !18, type: !22, retainedNodes: !77)
 297 !22 = !DISubroutineType(types: !23)
 298 !23 = !{!13, !24}
 299 !24 = !DIBasicType(tag: DW_TAG_base_type, name: "bool", size: 8, align: 8, encoding: DW_ATE_boolean)
 300 !25 = distinct !DISubprogram(name: "__cxx_global_var_init1", line: 44, isLocal: true, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 44, file: !5, scope: !18, type: !19, retainedNodes: !2)
 301 !26 = distinct !DISubprogram(name: "func_fwd", linkageName: "_ZN1A1B8func_fwdEv", line: 47, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 47, file: !5, scope: !6, type: !19, retainedNodes: !2)
 302 !27 = distinct !DISubprogram(name: "", linkageName: "_GLOBAL__sub_I_debug_info_namespace.cpp", isLocal: true, isDefinition: true, flags: DIFlagArtificial, isOptimized: false, unit: !0, file: !1, scope: !28, type: !29, retainedNodes: !2)
 303 !28 = !DIFile(filename: "debug-info-namespace.cpp", directory: "/tmp")
 304 !29 = !DISubroutineType(types: !2)
 305 !30 = !{!131, !132}
 306 !31 = !DIGlobalVariable(name: "i", linkageName: "_ZN1A1B1iE", line: 20, isLocal: false, isDefinition: true, scope: !6, file: !18, type: !13)
 307 !32 = !DIGlobalVariable(name: "var_fwd", linkageName: "_ZN1A1B7var_fwdE", line: 44, isLocal: false, isDefinition: true, scope: !6, file: !18, type: !13)
 308 !33 = !{!34, !35, !36, !56}
 309 !34 = !DIImportedEntity(tag: DW_TAG_imported_module, file: !5, line: 15, scope: !7, entity: !6)
 310 !35 = !DIImportedEntity(tag: DW_TAG_imported_module, file: !5, line: 18, scope: !0, entity: !7)
 311 !36 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 19, name: "E", scope: !0, entity: !7)
 312 !37 = !DIImportedEntity(tag: DW_TAG_imported_module, file: !5, line: 23, scope: !38, entity: !6)
 313 !38 = distinct !DILexicalBlock(line: 22, column: 10, file: !5, scope: !39)
 314 !39 = distinct !DILexicalBlock(line: 22, column: 7, file: !5, scope: !21)
 315 !40 = !DIImportedEntity(tag: DW_TAG_imported_module, file: !5, line: 26, scope: !21, entity: !7)
 316 !41 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 27, scope: !21, entity: !4)
 317 !42 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 28, scope: !21, entity: !8)
 318 !43 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 29, scope: !21, entity: !14)
 319 !44 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 30, scope: !21, entity: !31)
 320 !45 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 31, scope: !21, entity: !46)
 321 !46 = !DIDerivedType(tag: DW_TAG_typedef, name: "baz", line: 7, file: !5, scope: !6, baseType: !8)
 322 !47 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 32, name: "X", scope: !21, entity: !7)
 323 !48 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 33, name: "Y", scope: !21, entity: !47)
 324 !49 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 34, scope: !21, entity: !50)
 325 !50 = !DIGlobalVariable(name: "var_decl", linkageName: "_ZN1A1B8var_declE", line: 8, isLocal: false, isDefinition: false, scope: !6, file: !18, type: !13)
 326 !51 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 35, scope: !21, entity: !52)
 327 !52 = !DISubprogram(name: "func_decl", linkageName: "_ZN1A1B9func_declEv", line: 9, isLocal: false, isDefinition: false, flags: DIFlagPrototyped, isOptimized: false, file: !5, scope: !6, type: !19, retainedNodes: !53)
 328 !53 = !{} ; previously: invalid DW_TAG_base_type
 329 !54 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 36, scope: !21, entity: !32)
 330 !55 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 37, scope: !21, entity: !26)
 331 !56 = !DIImportedEntity(tag: DW_TAG_imported_declaration, file: !5, line: 42, scope: !7, entity: !31)
 332 !57 = !{i32 2, !"Dwarf Version", i32 3}
 333 !58 = !{i32 2, !"Debug Info Version", i32 3}
 334 !59 = !{!"clang version 3.6.0 "}
 335 !60 = !DILocation(line: 3, column: 12, scope: !10)
 336 !61 = !DILocalVariable(name: "", line: 4, arg: 1, scope: !14, file: !18, type: !13)
 337 !62 = !DIExpression()
 338 !63 = !DILocation(line: 4, column: 12, scope: !14)
 339 !64 = !DILocation(line: 4, column: 16, scope: !14)
 340 !65 = !DILocation(line: 20, column: 12, scope: !17)
 341 !66 = !DILocalVariable(name: "b", line: 21, arg: 1, scope: !21, file: !18, type: !24)
 342 !67 = !DILocation(line: 21, column: 15, scope: !21)
 343 !68 = !DILocation(line: 22, column: 7, scope: !21)
 344 !69 = !DILocation(line: 24, column: 5, scope: !38)
 345 !70 = !DILocation(line: 38, column: 3, scope: !21)
 346 !71 = !DILocation(line: 39, column: 1, scope: !21)
 347 !72 = !DILocation(line: 44, column: 15, scope: !25)
 348 !73 = !DILocation(line: 47, column: 21, scope: !26)
 349 !74 = !DILocation(line: 0, scope: !75)
 350 !75 = !DILexicalBlockFile(discriminator: 0, file: !5, scope: !27)
 351 !77 = !{!37, !40, !41, !42, !43, !44, !45, !47, !48, !49, !51, !54, !55}
 352 !131 = !DIGlobalVariableExpression(var: !31, expr: !DIExpression())
 353 !132 = !DIGlobalVariableExpression(var: !32, expr: !DIExpression())