test/DebugInfo/namespace.ll

   1 ; REQUIRES: object-emission
   2
   3 ; RUN: %llc_dwarf -O0 -filetype=obj < %s > %t
   4 ; RUN: llvm-dwarfdump %t | FileCheck %s
   5 ; CHECK: debug_info contents
   6 ; CHECK: [[NS1:0x[0-9a-f]*]]:{{ *}}DW_TAG_namespace
   7 ; CHECK-NEXT: DW_AT_name{{.*}} = "A"
   8 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F1:".*debug-info-namespace.cpp"]])
   9 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(3)
  10 ; CHECK-NOT: NULL
  11 ; CHECK: [[NS2:0x[0-9a-f]*]]:{{ *}}DW_TAG_namespace
  12 ; CHECK-NEXT: DW_AT_name{{.*}} = "B"
  13 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2:".*foo.cpp"]])
  14 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(1)
  15 ; CHECK-NOT: NULL
  16 ; CHECK: [[I:0x[0-9a-f]*]]:{{ *}}DW_TAG_variable
  17 ; CHECK-NEXT: DW_AT_name{{.*}}= "i"
  18 ; CHECK-NOT: NULL
  19 ; CHECK: [[FOO:0x[0-9a-f]*]]:{{ *}}DW_TAG_structure_type
  20 ; CHECK-NEXT: DW_AT_name{{.*}}= "foo"
  21 ; CHECK-NEXT: DW_AT_declaration
  22 ; CHECK-NOT: NULL
  23 ; CHECK: [[BAR:0x[0-9a-f]*]]:{{ *}}DW_TAG_structure_type
  24 ; CHECK-NEXT: DW_AT_name{{.*}}= "bar"
  25 ; CHECK: NULL
  26 ; CHECK: [[FUNC1:.*]]: DW_TAG_subprogram
  27 ; CHECK-NOT: DW_TAG
  28 ; CHECK: DW_AT_MIPS_linkage_name
  29 ; CHECK-NOT: DW_TAG
  30 ; CHECK: DW_AT_name{{.*}}= "f1"
  31 ; CHECK: DW_TAG_subprogram
  32 ; CHECK-NOT: DW_TAG
  33 ; CHECK: DW_AT_MIPS_linkage_name
  34 ; CHECK-NOT: DW_TAG
  35 ; CHECK: DW_AT_name{{.*}}= "f1"
  36 ; CHECK: NULL
  37
  38 ; CHECK-NOT: NULL
  39 ; CHECK: DW_TAG_imported_module
  40 ; This is a bug, it should be in F2 but it inherits the file from its
  41 ; enclosing scope
  42 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F1]])
  43 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(8)
  44 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS2]]})
  45 ; CHECK: NULL
  46 ; CHECK-NOT: NULL
  47
  48 ; CHECK: DW_TAG_imported_module
  49 ; Same bug as above, this should be F2, not F1
  50 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F1]])
  51 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(11)
  52 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]})
  53 ; CHECK-NOT: NULL
  54
  55 ; CHECK: DW_TAG_subprogram
  56 ; CHECK-NOT: DW_TAG
  57 ; CHECK: DW_AT_MIPS_linkage_name
  58 ; CHECK-NOT: DW_TAG
  59 ; CHECK: DW_AT_name{{.*}}= "func"
  60 ; CHECK-NOT: NULL
  61 ; CHECK: DW_TAG_imported_module
  62 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
  63 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(18)
  64 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]})
  65 ; CHECK-NOT: NULL
  66 ; CHECK: DW_TAG_imported_declaration
  67 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
  68 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(19)
  69 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[FOO]]})
  70 ; CHECK-NOT: NULL
  71 ; CHECK: DW_TAG_imported_declaration
  72 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
  73 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(20)
  74 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[BAR]]})
  75 ; CHECK-NOT: NULL
  76 ; CHECK: DW_TAG_imported_declaration
  77 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
  78 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(21)
  79 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[FUNC1]]})
  80 ; CHECK-NOT: NULL
  81 ; CHECK: DW_TAG_imported_declaration
  82 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
  83 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(22)
  84 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[I]]})
  85 ; CHECK-NOT: NULL
  86 ; CHECK: [[X:0x[0-9a-f]*]]:{{ *}}DW_TAG_imported_declaration
  87 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
  88 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(24)
  89 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]})
  90 ; CHECK-NEXT: DW_AT_name{{.*}}"X"
  91 ; CHECK-NOT: NULL
  92 ; CHECK: DW_TAG_imported_declaration
  93 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
  94 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(25)
  95 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[X]]})
  96 ; CHECK-NEXT: DW_AT_name{{.*}}"Y"
  97 ; CHECK-NOT: NULL
  98 ; CHECK: DW_TAG_lexical_block
  99 ; CHECK-NOT: NULL
 100 ; CHECK: DW_TAG_imported_module
 101 ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
 102 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(15)
 103 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS2]]})
 104 ; CHECK: NULL
 105 ; CHECK: NULL
 106 ; CHECK: NULL
 107
 108 ; IR generated from clang/test/CodeGenCXX/debug-info-namespace.cpp, file paths
 109 ; changed to protect the guilty. The C++ source code is:
 110 ; namespace A {
 111 ; #line 1 "foo.cpp"
 112 ; namespace B {
 113 ; int i;
 114 ; void f1() { }
 115 ; void f1(int) { }
 116 ; struct foo;
 117 ; struct bar { };
 118 ; }
 119 ; using namespace B;
 120 ; }
 121 ;
 122 ; using namespace A;
 123 ;
 124 ; int func(bool b) {
 125 ;   if (b) {
 126 ;     using namespace A::B;
 127 ;     return i;
 128 ;   }
 129 ;   using namespace A;
 130 ;   using B::foo;
 131 ;   using B::bar;
 132 ;   using B::f1;
 133 ;   using B::i;
 134 ;   bar x;
 135 ;   namespace X = A;
 136 ;   namespace Y = X;
 137 ;   return i + X::B::i + Y::B::i;
 138 ; }
 139
 140 %"struct.A::B::bar" = type { i8 }
 141
 142 @_ZN1A1B1iE = global i32 0, align 4
 143
 144 ; Function Attrs: nounwind uwtable
 145 define void @_ZN1A1B2f1Ev() #0 {
 146 entry:
 147   ret void, !dbg !41
 148 }
 149
 150 ; Function Attrs: nounwind uwtable
 151 define void @_ZN1A1B2f1Ei(i32) #0 {
 152 entry:
 153   %.addr = alloca i32, align 4
 154   store i32 %0, i32* %.addr, align 4
 155   call void @llvm.dbg.declare(metadata !{i32* %.addr}, metadata !42, metadata !{metadata !"0x102"}), !dbg !43
 156   ret void, !dbg !43
 157 }
 158
 159 ; Function Attrs: nounwind readnone
 160 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
 161
 162 ; Function Attrs: nounwind uwtable
 163 define i32 @_Z4funcb(i1 zeroext %b) #0 {
 164 entry:
 165   %retval = alloca i32, align 4
 166   %b.addr = alloca i8, align 1
 167   %x = alloca %"struct.A::B::bar", align 1
 168   %frombool = zext i1 %b to i8
 169   store i8 %frombool, i8* %b.addr, align 1
 170   call void @llvm.dbg.declare(metadata !{i8* %b.addr}, metadata !44, metadata !{metadata !"0x102"}), !dbg !45
 171   %0 = load i8* %b.addr, align 1, !dbg !46
 172   %tobool = trunc i8 %0 to i1, !dbg !46
 173   br i1 %tobool, label %if.then, label %if.end, !dbg !46
 174
 175 if.then:                                          ; preds = %entry
 176   %1 = load i32* @_ZN1A1B1iE, align 4, !dbg !47
 177   store i32 %1, i32* %retval, !dbg !47
 178   br label %return, !dbg !47
 179
 180 if.end:                                           ; preds = %entry
 181   call void @llvm.dbg.declare(metadata !{%"struct.A::B::bar"* %x}, metadata !48, metadata !{metadata !"0x102"}), !dbg !49
 182   %2 = load i32* @_ZN1A1B1iE, align 4, !dbg !50
 183   %3 = load i32* @_ZN1A1B1iE, align 4, !dbg !50
 184   %add = add nsw i32 %2, %3, !dbg !50
 185   %4 = load i32* @_ZN1A1B1iE, align 4, !dbg !50
 186   %add1 = add nsw i32 %add, %4, !dbg !50
 187   store i32 %add1, i32* %retval, !dbg !50
 188   br label %return, !dbg !50
 189
 190 return:                                           ; preds = %if.end, %if.then
 191   %5 = load i32* %retval, !dbg !51
 192   ret i32 %5, !dbg !51
 193 }
 194
 195 attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
 196 attributes #1 = { nounwind readnone }
 197
 198 !llvm.dbg.cu = !{!0}
 199 !llvm.module.flags = !{!52}
 200
 201 !0 = metadata !{metadata !"0x11\004\00clang version 3.4 \000\00\000\00\000", metadata !1, metadata !2, metadata !2, metadata !3, metadata !19, metadata !21} ; [ DW_TAG_compile_unit ] [/usr/local/google/home/blaikie/dev/llvm/build/clang/debug//usr/local/google/home/blaikie/dev/llvm/src/tools/clang/test/CodeGenCXX/debug-info-namespace.cpp] [DW_LANG_C_plus_plus]
 202 !1 = metadata !{metadata !"/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/test/CodeGenCXX/debug-info-namespace.cpp", metadata !"/usr/local/google/home/blaikie/dev/llvm/build/clang/debug"}
 203 !2 = metadata !{}
 204 !3 = metadata !{metadata !4, metadata !10, metadata !14}
 205 !4 = metadata !{metadata !"0x2e\00f1\00f1\00_ZN1A1B2f1Ev\003\000\001\000\006\00256\000\003", metadata !5, metadata !6, metadata !8, null, void ()* @_ZN1A1B2f1Ev, null, null, metadata !2} ; [ DW_TAG_subprogram ] [line 3] [def] [f1]
 206 !5 = metadata !{metadata !"foo.cpp", metadata !"/usr/local/google/home/blaikie/dev/llvm/build/clang/debug"}
 207 !6 = metadata !{metadata !"0x39\00B\001", metadata !5, metadata !7} ; [ DW_TAG_namespace ] [B] [line 1]
 208 !7 = metadata !{metadata !"0x39\00A\003", metadata !1, null} ; [ DW_TAG_namespace ] [A] [line 3]
 209 !8 = metadata !{metadata !"0x15\00\000\000\000\000\000\000", i32 0, null, null, metadata !9, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 210 !9 = metadata !{null}
 211 !10 = metadata !{metadata !"0x2e\00f1\00f1\00_ZN1A1B2f1Ei\004\000\001\000\006\00256\000\004", metadata !5, metadata !6, metadata !11, null, void (i32)* @_ZN1A1B2f1Ei, null, null, metadata !2} ; [ DW_TAG_subprogram ] [line 4] [def] [f1]
 212 !11 = metadata !{metadata !"0x15\00\000\000\000\000\000\000", i32 0, null, null, metadata !12, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 213 !12 = metadata !{null, metadata !13}
 214 !13 = metadata !{metadata !"0x24\00int\000\0032\0032\000\000\005", null, null} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed]
 215 !14 = metadata !{metadata !"0x2e\00func\00func\00_Z4funcb\0013\000\001\000\006\00256\000\0013", metadata !5, metadata !15, metadata !16, null, i32 (i1)* @_Z4funcb, null, null, metadata !2} ; [ DW_TAG_subprogram ] [line 13] [def] [func]
 216 !15 = metadata !{metadata !"0x29", metadata !5}         ; [ DW_TAG_file_type ] [/usr/local/google/home/blaikie/dev/llvm/build/clang/debug/foo.cpp]
 217 !16 = metadata !{metadata !"0x15\00\000\000\000\000\000\000", i32 0, null, null, metadata !17, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 218 !17 = metadata !{metadata !13, metadata !18}
 219 !18 = metadata !{metadata !"0x24\00bool\000\008\008\000\000\002", null, null} ; [ DW_TAG_base_type ] [bool] [line 0, size 8, align 8, offset 0, enc DW_ATE_boolean]
 220 !19 = metadata !{metadata !20}
 221 !20 = metadata !{metadata !"0x34\00i\00i\00_ZN1A1B1iE\002\000\001", metadata !6, metadata !15, metadata !13, i32* @_ZN1A1B1iE, null} ; [ DW_TAG_variable ] [i] [line 2] [def]
 222 !21 = metadata !{metadata !22, metadata !23, metadata !24, metadata !26, metadata !27, metadata !29, metadata !37, metadata !38, metadata !39, metadata !40}
 223 !22 = metadata !{metadata !"0x3a\008\00", metadata !7, metadata !6} ; [ DW_TAG_imported_module ]
 224 !23 = metadata !{metadata !"0x3a\0011\00", metadata !0, metadata !7} ; [ DW_TAG_imported_module ]
 225 !24 = metadata !{metadata !"0x3a\0015\00", metadata !25, metadata !6} ; [ DW_TAG_imported_module ]
 226 !25 = metadata !{metadata !"0xb\0014\000\000", metadata !5, metadata !14} ; [ DW_TAG_lexical_block ] [/usr/local/google/home/blaikie/dev/llvm/build/clang/debug/foo.cpp]
 227 !26 = metadata !{metadata !"0x3a\0018\00", metadata !14, metadata !7} ; [ DW_TAG_imported_module ]
 228 !27 = metadata !{metadata !"0x8\0019\00", metadata !14, metadata !28} ; [ DW_TAG_imported_declaration ]
 229 !28 = metadata !{metadata !"0x13\00foo\005\000\000\000\004\000", metadata !5, metadata !6, null, null, null, null, null} ; [ DW_TAG_structure_type ] [foo] [line 5, size 0, align 0, offset 0] [decl] [from ]
 230 !29 = metadata !{metadata !"0x8\0020\00", metadata !14, metadata !30} ; [ DW_TAG_imported_declaration ]
 231 !30 = metadata !{metadata !"0x13\00bar\006\008\008\000\000\000", metadata !5, metadata !6, null, metadata !31, null, null, null} ; [ DW_TAG_structure_type ] [bar] [line 6, size 8, align 8, offset 0] [def] [from ]
 232 !31 = metadata !{metadata !32}
 233 !32 = metadata !{metadata !"0x2e\00bar\00bar\00\006\000\000\000\006\00320\000\006", metadata !5, metadata !30, metadata !33, null, null, null, i32 0, metadata !36} ; [ DW_TAG_subprogram ] [line 6] [bar]
 234 !33 = metadata !{metadata !"0x15\00\000\000\000\000\000\000", i32 0, null, null, metadata !34, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 235 !34 = metadata !{null, metadata !35}
 236 !35 = metadata !{metadata !"0xf\00\000\0064\0064\000\001088", i32 0, null, metadata !30} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [artificial] [from bar]
 237 !36 = metadata !{i32 786468}
 238 !37 = metadata !{metadata !"0x8\0021\00", metadata !14, metadata !10} ; [ DW_TAG_imported_declaration ]
 239 !38 = metadata !{metadata !"0x8\0022\00", metadata !14, metadata !20} ; [ DW_TAG_imported_declaration ]
 240 !39 = metadata !{metadata !"0x8\0024\00X", metadata !14, metadata !7} ; [ DW_TAG_imported_declaration ]
 241 !40 = metadata !{metadata !"0x8\0025\00Y", metadata !14, metadata !39} ; [ DW_TAG_imported_declaration ]
 242 !41 = metadata !{i32 3, i32 0, metadata !4, null}
 243 !42 = metadata !{metadata !"0x101\00\0016777220\000", metadata !10, metadata !15, metadata !13} ; [ DW_TAG_arg_variable ] [line 4]
 244 !43 = metadata !{i32 4, i32 0, metadata !10, null}
 245 !44 = metadata !{metadata !"0x101\00b\0016777229\000", metadata !14, metadata !15, metadata !18} ; [ DW_TAG_arg_variable ] [b] [line 13]
 246 !45 = metadata !{i32 13, i32 0, metadata !14, null}
 247 !46 = metadata !{i32 14, i32 0, metadata !14, null}
 248 !47 = metadata !{i32 16, i32 0, metadata !25, null}
 249 !48 = metadata !{metadata !"0x100\00x\0023\000", metadata !14, metadata !15, metadata !30} ; [ DW_TAG_auto_variable ] [x] [line 23]
 250 !49 = metadata !{i32 23, i32 0, metadata !14, null}
 251 !50 = metadata !{i32 26, i32 0, metadata !14, null}
 252 !51 = metadata !{i32 27, i32 0, metadata !14, null}
 253 !52 = metadata !{i32 1, metadata !"Debug Info Version", i32 2}