test/DebugInfo/namespace.ll

   1 ; REQUIRES: object-emission
   2
   3 ; RUN: llc -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{{.*}}(0x0[[F1:[0-9]]])
   9 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(0x03)
  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{{.*}}(0x0[[F2:[0-9]]])
  14 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(0x01)
  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: DW_TAG_subprogram
  20 ; CHECK-NEXT: DW_AT_MIPS_linkage_name
  21 ; CHECK-NEXT: DW_AT_name{{.*}}= "f1"
  22 ; CHECK: [[FUNC1:0x[0-9a-f]*]]:{{ *}}DW_TAG_subprogram
  23 ; CHECK-NEXT: DW_AT_MIPS_linkage_name
  24 ; CHECK-NEXT: DW_AT_name{{.*}}= "f1"
  25 ; CHECK: NULL
  26 ; CHECK-NOT: NULL
  27 ; CHECK: [[FOO:0x[0-9a-f]*]]:{{ *}}DW_TAG_structure_type
  28 ; CHECK-NEXT: DW_AT_name{{.*}}= "foo"
  29 ; CHECK-NEXT: DW_AT_declaration
  30 ; CHECK-NOT: NULL
  31 ; CHECK: [[BAR:0x[0-9a-f]*]]:{{ *}}DW_TAG_structure_type
  32 ; CHECK-NEXT: DW_AT_name{{.*}}= "bar"
  33 ; CHECK: NULL
  34 ; CHECK: NULL
  35 ; CHECK: NULL
  36
  37 ; CHECK-NOT: NULL
  38 ; CHECK: DW_TAG_imported_module
  39 ; This is a bug, it should be in F2 but it inherits the file from its
  40 ; enclosing scope
  41 ; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F1]])
  42 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(0x08)
  43 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS2]]})
  44 ; CHECK: NULL
  45 ; CHECK-NOT: NULL
  46
  47 ; CHECK: DW_TAG_subprogram
  48 ; CHECK-NEXT: DW_AT_MIPS_linkage_name
  49 ; CHECK-NEXT: DW_AT_name{{.*}}= "func"
  50 ; CHECK-NOT: NULL
  51 ; CHECK: DW_TAG_imported_module
  52 ; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]])
  53 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(0x12)
  54 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]})
  55 ; CHECK-NOT: NULL
  56 ; CHECK: DW_TAG_imported_declaration
  57 ; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]])
  58 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(0x13)
  59 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[FOO]]})
  60 ; CHECK-NOT: NULL
  61 ; CHECK: DW_TAG_imported_declaration
  62 ; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]])
  63 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(0x14)
  64 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[BAR]]})
  65 ; CHECK-NOT: NULL
  66 ; CHECK: DW_TAG_imported_declaration
  67 ; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]])
  68 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(0x15)
  69 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[FUNC1]]})
  70 ; CHECK-NOT: NULL
  71 ; CHECK: DW_TAG_imported_declaration
  72 ; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]])
  73 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(0x16)
  74 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[I]]})
  75 ; CHECK-NOT: NULL
  76 ; CHECK: DW_TAG_lexical_block
  77 ; CHECK-NOT: NULL
  78 ; CHECK: DW_TAG_imported_module
  79 ; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]])
  80 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(0x0f)
  81 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS2]]})
  82 ; CHECK: NULL
  83 ; CHECK: NULL
  84 ; CHECK-NOT: NULL
  85
  86 ; CHECK: DW_TAG_imported_module
  87 ; Same bug as above, this should be F2, not F1
  88 ; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F1]])
  89 ; CHECK-NEXT: DW_AT_decl_line{{.*}}(0x0b)
  90 ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]})
  91
  92 ; CHECK: file_names[  [[F1]]]{{.*}}debug-info-namespace.cpp
  93 ; CHECK: file_names[  [[F2]]]{{.*}}foo.cpp
  94
  95 ; IR generated from clang/test/CodeGenCXX/debug-info-namespace.cpp, file paths
  96 ; changed to protect the guilty. The C++ source code is:
  97 ; namespace A {
  98 ; #line 1 "foo.cpp"
  99 ; namespace B {
 100 ; int i;
 101 ; void f1() { }
 102 ; void f1(int) { }
 103 ; struct foo;
 104 ; struct bar { };
 105 ; }
 106 ; using namespace B;
 107 ; }
 108 ;
 109 ; using namespace A;
 110 ;
 111 ; int func(bool b) {
 112 ;   if (b) {
 113 ;     using namespace A::B;
 114 ;     return i;
 115 ;   }
 116 ;   using namespace A;
 117 ;   using B::foo;
 118 ;   using B::bar;
 119 ;   using B::f1;
 120 ;   using B::i;
 121 ;   bar x;
 122 ;   return i;
 123 ; }
 124
 125 %"struct.A::B::bar" = type { i8 }
 126
 127 @_ZN1A1B1iE = global i32 0, align 4
 128
 129 ; Function Attrs: nounwind uwtable
 130 define void @_ZN1A1B2f1Ev() #0 {
 131 entry:
 132   ret void, !dbg !39
 133 }
 134
 135 ; Function Attrs: nounwind uwtable
 136 define void @_ZN1A1B2f1Ei(i32) #0 {
 137 entry:
 138   %.addr = alloca i32, align 4
 139   store i32 %0, i32* %.addr, align 4
 140   call void @llvm.dbg.declare(metadata !{i32* %.addr}, metadata !40), !dbg !41
 141   ret void, !dbg !41
 142 }
 143
 144 ; Function Attrs: nounwind readnone
 145 declare void @llvm.dbg.declare(metadata, metadata) #1
 146
 147 ; Function Attrs: nounwind uwtable
 148 define i32 @_Z4funcb(i1 zeroext %b) #0 {
 149 entry:
 150   %retval = alloca i32, align 4
 151   %b.addr = alloca i8, align 1
 152   %x = alloca %"struct.A::B::bar", align 1
 153   %frombool = zext i1 %b to i8
 154   store i8 %frombool, i8* %b.addr, align 1
 155   call void @llvm.dbg.declare(metadata !{i8* %b.addr}, metadata !42), !dbg !43
 156   %0 = load i8* %b.addr, align 1, !dbg !44
 157   %tobool = trunc i8 %0 to i1, !dbg !44
 158   br i1 %tobool, label %if.then, label %if.end, !dbg !44
 159
 160 if.then:                                          ; preds = %entry
 161   %1 = load i32* @_ZN1A1B1iE, align 4, !dbg !45
 162   store i32 %1, i32* %retval, !dbg !45
 163   br label %return, !dbg !45
 164
 165 if.end:                                           ; preds = %entry
 166   call void @llvm.dbg.declare(metadata !{%"struct.A::B::bar"* %x}, metadata !46), !dbg !47
 167   %2 = load i32* @_ZN1A1B1iE, align 4, !dbg !48
 168   store i32 %2, i32* %retval, !dbg !48
 169   br label %return, !dbg !48
 170
 171 return:                                           ; preds = %if.end, %if.then
 172   %3 = load i32* %retval, !dbg !49
 173   ret i32 %3, !dbg !49
 174 }
 175
 176 attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
 177 attributes #1 = { nounwind readnone }
 178
 179 !llvm.dbg.cu = !{!0}
 180
 181 !0 = metadata !{i32 786449, metadata !1, i32 4, metadata !"clang version 3.4 ", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !19, metadata !21, metadata !""} ; [ 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]
 182 !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"}
 183 !2 = metadata !{i32 0}
 184 !3 = metadata !{metadata !4, metadata !10, metadata !14}
 185 !4 = metadata !{i32 786478, metadata !5, metadata !6, metadata !"f1", metadata !"f1", metadata !"_ZN1A1B2f1Ev", i32 3, metadata !8, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, void ()* @_ZN1A1B2f1Ev, null, null, metadata !2, i32 3} ; [ DW_TAG_subprogram ] [line 3] [def] [f1]
 186 !5 = metadata !{metadata !"foo.cpp", metadata !"/usr/local/google/home/blaikie/dev/llvm/build/clang/debug"}
 187 !6 = metadata !{i32 786489, metadata !5, metadata !7, metadata !"B", i32 1} ; [ DW_TAG_namespace ] [B] [line 1]
 188 !7 = metadata !{i32 786489, metadata !1, null, metadata !"A", i32 3} ; [ DW_TAG_namespace ] [A] [line 3]
 189 !8 = metadata !{i32 786453, i32 0, i32 0, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !9, i32 0, i32 0} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 190 !9 = metadata !{null}
 191 !10 = metadata !{i32 786478, metadata !5, metadata !6, metadata !"f1", metadata !"f1", metadata !"_ZN1A1B2f1Ei", i32 4, metadata !11, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, void (i32)* @_ZN1A1B2f1Ei, null, null, metadata !2, i32 4} ; [ DW_TAG_subprogram ] [line 4] [def] [f1]
 192 !11 = metadata !{i32 786453, i32 0, i32 0, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !12, i32 0, i32 0} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 193 !12 = metadata !{null, metadata !13}
 194 !13 = metadata !{i32 786468, null, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed]
 195 !14 = metadata !{i32 786478, metadata !5, metadata !15, metadata !"func", metadata !"func", metadata !"_Z4funcb", i32 13, metadata !16, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, i32 (i1)* @_Z4funcb, null, null, metadata !2, i32 13} ; [ DW_TAG_subprogram ] [line 13] [def] [func]
 196 !15 = metadata !{i32 786473, metadata !5}         ; [ DW_TAG_file_type ] [/usr/local/google/home/blaikie/dev/llvm/build/clang/debug/foo.cpp]
 197 !16 = metadata !{i32 786453, i32 0, i32 0, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !17, i32 0, i32 0} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 198 !17 = metadata !{metadata !13, metadata !18}
 199 !18 = metadata !{i32 786468, null, null, metadata !"bool", i32 0, i64 8, i64 8, i64 0, i32 0, i32 2} ; [ DW_TAG_base_type ] [bool] [line 0, size 8, align 8, offset 0, enc DW_ATE_boolean]
 200 !19 = metadata !{metadata !20}
 201 !20 = metadata !{i32 786484, i32 0, metadata !6, metadata !"i", metadata !"i", metadata !"_ZN1A1B1iE", metadata !15, i32 2, metadata !13, i32 0, i32 1, i32* @_ZN1A1B1iE, null} ; [ DW_TAG_variable ] [i] [line 2] [def]
 202 !21 = metadata !{metadata !22, metadata !23, metadata !24, metadata !26, metadata !27, metadata !29, metadata !37, metadata !38}
 203 !22 = metadata !{i32 786490, metadata !7, metadata !6, i32 8} ; [ DW_TAG_imported_module ]
 204 !23 = metadata !{i32 786490, metadata !0, metadata !7, i32 11} ; [ DW_TAG_imported_module ]
 205 !24 = metadata !{i32 786490, metadata !25, metadata !6, i32 15} ; [ DW_TAG_imported_module ]
 206 !25 = metadata !{i32 786443, metadata !5, metadata !14, i32 14, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [/usr/local/google/home/blaikie/dev/llvm/build/clang/debug/foo.cpp]
 207 !26 = metadata !{i32 786490, metadata !14, metadata !7, i32 18} ; [ DW_TAG_imported_module ]
 208 !27 = metadata !{i32 786440, metadata !14, metadata !28, i32 19} ; [ DW_TAG_imported_declaration ]
 209 !28 = metadata !{i32 786451, metadata !5, metadata !6, metadata !"foo", i32 5, i64 0, i64 0, i32 0, i32 4, null, null, i32 0} ; [ DW_TAG_structure_type ] [foo] [line 5, size 0, align 0, offset 0] [fwd] [from ]
 210 !29 = metadata !{i32 786440, metadata !14, metadata !30, i32 20} ; [ DW_TAG_imported_declaration ]
 211 !30 = metadata !{i32 786451, metadata !5, metadata !6, metadata !"bar", i32 6, i64 8, i64 8, i32 0, i32 0, null, metadata !31, i32 0, null, null} ; [ DW_TAG_structure_type ] [bar] [line 6, size 8, align 8, offset 0] [from ]
 212 !31 = metadata !{metadata !32}
 213 !32 = metadata !{i32 786478, metadata !5, metadata !30, metadata !"bar", metadata !"bar", metadata !"", i32 6, metadata !33, i1 false, i1 false, i32 0, i32 0, null, i32 320, i1 false, null, null, i32 0, metadata !36, i32 6} ; [ DW_TAG_subprogram ] [line 6] [bar]
 214 !33 = metadata !{i32 786453, i32 0, i32 0, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !34, i32 0, i32 0} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 215 !34 = metadata !{null, metadata !35}
 216 !35 = metadata !{i32 786447, i32 0, i32 0, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 1088, metadata !30} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [artificial] [from bar]
 217 !36 = metadata !{i32 786468}
 218 !37 = metadata !{i32 786440, metadata !14, metadata !10, i32 21} ; [ DW_TAG_imported_declaration ]
 219 !38 = metadata !{i32 786440, metadata !14, metadata !20, i32 22} ; [ DW_TAG_imported_declaration ]
 220 !39 = metadata !{i32 3, i32 0, metadata !4, null}
 221 !40 = metadata !{i32 786689, metadata !10, metadata !"", metadata !15, i32 16777220, metadata !13, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [line 4]
 222 !41 = metadata !{i32 4, i32 0, metadata !10, null}
 223 !42 = metadata !{i32 786689, metadata !14, metadata !"b", metadata !15, i32 16777229, metadata !18, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [b] [line 13]
 224 !43 = metadata !{i32 13, i32 0, metadata !14, null}
 225 !44 = metadata !{i32 14, i32 0, metadata !14, null}
 226 !45 = metadata !{i32 16, i32 0, metadata !25, null}
 227 !46 = metadata !{i32 786688, metadata !14, metadata !"x", metadata !15, i32 23, metadata !30, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [x] [line 23]
 228 !47 = metadata !{i32 23, i32 0, metadata !14, null}
 229 !48 = metadata !{i32 24, i32 0, metadata !14, null}
 230 !49 = metadata !{i32 25, i32 0, metadata !14, null}