test/DebugInfo/X86/fission-ranges.ll

   1 ; RUN: llc -split-dwarf=Enable -O0 %s -mtriple=x86_64-unknown-linux-gnu -filetype=obj -o %t
   2 ; RUN: llvm-dwarfdump %t | FileCheck %s
   3 ; RUN: llvm-objdump -h %t | FileCheck --check-prefix=HDR %s
   4
   5 ; CHECK: .debug_info contents:
   6 ; CHECK: DW_TAG_compile_unit
   7 ; CHECK-NEXT: DW_AT_stmt_list
   8 ; CHECK-NEXT: DW_AT_GNU_dwo_name
   9 ; CHECK-NEXT: DW_AT_comp_dir
  10 ; CHECK-NEXT: DW_AT_GNU_dwo_id
  11 ; CHECK-NEXT: DW_AT_GNU_addr_base [DW_FORM_sec_offset]                   (0x00000000)
  12
  13
  14 ; CHECK: .debug_info.dwo contents:
  15 ; CHECK: DW_AT_location [DW_FORM_sec_offset]   ([[A:0x[0-9a-z]*]])
  16 ; CHECK: DW_AT_location [DW_FORM_sec_offset]   ([[E:0x[0-9a-z]*]])
  17 ; CHECK: DW_AT_location [DW_FORM_sec_offset]   ([[B:0x[0-9a-z]*]])
  18 ; CHECK: DW_AT_location [DW_FORM_sec_offset]   ([[D:0x[0-9a-z]*]])
  19 ; CHECK: DW_AT_ranges [DW_FORM_sec_offset]   (0x000000a0)
  20 ; CHECK: .debug_loc contents:
  21 ; CHECK-NOT: Beginning address offset
  22 ; CHECK: .debug_loc.dwo contents:
  23
  24 ; Don't assume these locations are entirely correct - feel free to update them
  25 ; if they've changed due to a bugfix, change in register allocation, etc.
  26
  27 ; CHECK: [[A]]: Beginning address index: 2
  28 ; CHECK-NEXT:                    Length: 199
  29 ; CHECK-NEXT:      Location description: 11 00
  30 ; CHECK-NEXT: {{^$}}
  31 ; CHECK-NEXT:   Beginning address index: 3
  32 ; CHECK-NEXT:                    Length: 23
  33 ; CHECK-NEXT:      Location description: 50 93 04
  34 ; CHECK: [[E]]: Beginning address index: 4
  35 ; CHECK-NEXT:                    Length: 21
  36 ; CHECK-NEXT:      Location description: 50 93 04
  37 ; CHECK: [[B]]: Beginning address index: 5
  38 ; CHECK-NEXT:                    Length: 19
  39 ; CHECK-NEXT:      Location description: 50 93 04
  40 ; CHECK: [[D]]: Beginning address index: 6
  41 ; CHECK-NEXT:                    Length: 23
  42 ; CHECK-NEXT:      Location description: 50 93 04
  43
  44 ; Make sure we don't produce any relocations in any .dwo section (though in particular, debug_info.dwo)
  45 ; HDR-NOT: .rela.{{.*}}.dwo
  46
  47 ; From the code:
  48
  49 ; extern int c;
  50 ; static void foo (int p)
  51 ; {
  52 ;   int a, b;
  53 ;   unsigned int d, e;
  54
  55 ;   for (a = 0; a < 30; a++)
  56 ;     for (d = 0; d < 30; d++)
  57 ;       for (b = 0; b < 30; b++)
  58 ;         for (e = 0; e < 30; e++)
  59 ;           {
  60 ;             int *w = &c;
  61 ;             *w &= p;
  62 ;           }
  63 ; }
  64
  65 ; void
  66 ; bar ()
  67 ; {
  68 ;   foo (1);
  69 ; }
  70
  71 ; compiled with:
  72
  73 ; clang -g -S -gsplit-dwarf -O1 small.c
  74
  75 @c = external global i32
  76
  77 ; Function Attrs: nounwind uwtable
  78 define void @bar() #0 {
  79 entry:
  80   tail call fastcc void @foo(), !dbg !27
  81   ret void, !dbg !28
  82 }
  83
  84 ; Function Attrs: nounwind uwtable
  85 define internal fastcc void @foo() #0 {
  86 entry:
  87   tail call void @llvm.dbg.value(metadata !29, i64 0, metadata !13), !dbg !30
  88   tail call void @llvm.dbg.value(metadata !44, i64 0, metadata !14), !dbg !31
  89   %c.promoted9 = load i32* @c, align 4, !dbg !32, !tbaa !33
  90   br label %for.cond1.preheader, !dbg !31
  91
  92 for.cond1.preheader:                              ; preds = %for.inc16, %entry
  93   %and.lcssa.lcssa.lcssa10 = phi i32 [ %c.promoted9, %entry ], [ %and, %for.inc16 ]
  94   %a.08 = phi i32 [ 0, %entry ], [ %inc17, %for.inc16 ]
  95   br label %for.cond4.preheader, !dbg !37
  96
  97 for.cond4.preheader:                              ; preds = %for.inc13, %for.cond1.preheader
  98   %and.lcssa.lcssa7 = phi i32 [ %and.lcssa.lcssa.lcssa10, %for.cond1.preheader ], [ %and, %for.inc13 ]
  99   %d.06 = phi i32 [ 0, %for.cond1.preheader ], [ %inc14, %for.inc13 ]
 100   br label %for.cond7.preheader, !dbg !38
 101
 102 for.cond7.preheader:                              ; preds = %for.inc10, %for.cond4.preheader
 103   %and.lcssa5 = phi i32 [ %and.lcssa.lcssa7, %for.cond4.preheader ], [ %and, %for.inc10 ]
 104   %b.03 = phi i32 [ 0, %for.cond4.preheader ], [ %inc11, %for.inc10 ]
 105   br label %for.body9, !dbg !39
 106
 107 for.body9:                                        ; preds = %for.body9, %for.cond7.preheader
 108   %and2 = phi i32 [ %and.lcssa5, %for.cond7.preheader ], [ %and, %for.body9 ], !dbg !40
 109   %e.01 = phi i32 [ 0, %for.cond7.preheader ], [ %inc, %for.body9 ]
 110   tail call void @llvm.dbg.value(metadata !41, i64 0, metadata !19), !dbg !40
 111   %and = and i32 %and2, 1, !dbg !32
 112   %inc = add i32 %e.01, 1, !dbg !39
 113   tail call void @llvm.dbg.value(metadata !{i32 %inc}, i64 0, metadata !18), !dbg !39
 114   %exitcond = icmp eq i32 %inc, 30, !dbg !39
 115   br i1 %exitcond, label %for.inc10, label %for.body9, !dbg !39
 116
 117 for.inc10:                                        ; preds = %for.body9
 118   %inc11 = add nsw i32 %b.03, 1, !dbg !38
 119   tail call void @llvm.dbg.value(metadata !{i32 %inc11}, i64 0, metadata !15), !dbg !38
 120   %exitcond11 = icmp eq i32 %inc11, 30, !dbg !38
 121   br i1 %exitcond11, label %for.inc13, label %for.cond7.preheader, !dbg !38
 122
 123 for.inc13:                                        ; preds = %for.inc10
 124   %inc14 = add i32 %d.06, 1, !dbg !37
 125   tail call void @llvm.dbg.value(metadata !{i32 %inc14}, i64 0, metadata !16), !dbg !37
 126   %exitcond12 = icmp eq i32 %inc14, 30, !dbg !37
 127   br i1 %exitcond12, label %for.inc16, label %for.cond4.preheader, !dbg !37
 128
 129 for.inc16:                                        ; preds = %for.inc13
 130   %inc17 = add nsw i32 %a.08, 1, !dbg !31
 131   tail call void @llvm.dbg.value(metadata !{i32 %inc17}, i64 0, metadata !14), !dbg !31
 132   %exitcond13 = icmp eq i32 %inc17, 30, !dbg !31
 133   br i1 %exitcond13, label %for.end18, label %for.cond1.preheader, !dbg !31
 134
 135 for.end18:                                        ; preds = %for.inc16
 136   store i32 %and, i32* @c, align 4, !dbg !32, !tbaa !33
 137   ret void, !dbg !42
 138 }
 139
 140 ; Function Attrs: nounwind readnone
 141 declare void @llvm.dbg.value(metadata, i64, metadata) #1
 142
 143 attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 144 attributes #1 = { nounwind readnone }
 145
 146 !llvm.dbg.cu = !{!0}
 147 !llvm.module.flags = !{!26, !43}
 148
 149 !0 = metadata !{i32 786449, metadata !1, i32 12, metadata !"clang version 3.4 (trunk 191700) (llvm/trunk 191710)", i1 true, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !"small.dwo"} ; [ DW_TAG_compile_unit ] [/usr/local/google/home/echristo/tmp/small.c] [DW_LANG_C99]
 150 !1 = metadata !{metadata !"small.c", metadata !"/usr/local/google/home/echristo/tmp"}
 151 !2 = metadata !{}
 152 !3 = metadata !{metadata !4, metadata !8}
 153 !4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"bar", metadata !"bar", metadata !"", i32 18, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 0, i1 true, void ()* @bar, null, null, metadata !2, i32 19} ; [ DW_TAG_subprogram ] [line 18] [def] [scope 19] [bar]
 154 !5 = metadata !{i32 786473, metadata !1}          ; [ DW_TAG_file_type ] [/usr/local/google/home/echristo/tmp/small.c]
 155 !6 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !7, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 156 !7 = metadata !{null}
 157 !8 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"foo", metadata !"foo", metadata !"", i32 2, metadata !9, i1 true, i1 true, i32 0, i32 0, null, i32 256, i1 true, void ()* @foo, null, null, metadata !12, i32 3} ; [ DW_TAG_subprogram ] [line 2] [local] [def] [scope 3] [foo]
 158 !9 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !10, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 159 !10 = metadata !{null, metadata !11}
 160 !11 = 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]
 161 !12 = metadata !{metadata !13, metadata !14, metadata !15, metadata !16, metadata !18, metadata !19}
 162 !13 = metadata !{i32 786689, metadata !8, metadata !"p", metadata !5, i32 16777218, metadata !11, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [p] [line 2]
 163 !14 = metadata !{i32 786688, metadata !8, metadata !"a", metadata !5, i32 4, metadata !11, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [a] [line 4]
 164 !15 = metadata !{i32 786688, metadata !8, metadata !"b", metadata !5, i32 4, metadata !11, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [b] [line 4]
 165 !16 = metadata !{i32 786688, metadata !8, metadata !"d", metadata !5, i32 5, metadata !17, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [d] [line 5]
 166 !17 = metadata !{i32 786468, null, null, metadata !"unsigned int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 7} ; [ DW_TAG_base_type ] [unsigned int] [line 0, size 32, align 32, offset 0, enc DW_ATE_unsigned]
 167 !18 = metadata !{i32 786688, metadata !8, metadata !"e", metadata !5, i32 5, metadata !17, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [e] [line 5]
 168 !19 = metadata !{i32 786688, metadata !20, metadata !"w", metadata !5, i32 12, metadata !25, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [w] [line 12]
 169 !20 = metadata !{i32 786443, metadata !1, metadata !21, i32 11, i32 0, i32 4} ; [ DW_TAG_lexical_block ] [/usr/local/google/home/echristo/tmp/small.c]
 170 !21 = metadata !{i32 786443, metadata !1, metadata !22, i32 10, i32 0, i32 3} ; [ DW_TAG_lexical_block ] [/usr/local/google/home/echristo/tmp/small.c]
 171 !22 = metadata !{i32 786443, metadata !1, metadata !23, i32 9, i32 0, i32 2} ; [ DW_TAG_lexical_block ] [/usr/local/google/home/echristo/tmp/small.c]
 172 !23 = metadata !{i32 786443, metadata !1, metadata !24, i32 8, i32 0, i32 1} ; [ DW_TAG_lexical_block ] [/usr/local/google/home/echristo/tmp/small.c]
 173 !24 = metadata !{i32 786443, metadata !1, metadata !8, i32 7, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [/usr/local/google/home/echristo/tmp/small.c]
 174 !25 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !11} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from int]
 175 !26 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
 176 !27 = metadata !{i32 20, i32 0, metadata !4, null}
 177 !28 = metadata !{i32 21, i32 0, metadata !4, null}
 178 !29 = metadata !{i32 1}
 179 !30 = metadata !{i32 2, i32 0, metadata !8, null}
 180 !31 = metadata !{i32 7, i32 0, metadata !24, null}
 181 !32 = metadata !{i32 13, i32 0, metadata !20, null}
 182 !33 = metadata !{metadata !34, metadata !34, i64 0}
 183 !34 = metadata !{metadata !"int", metadata !35, i64 0}
 184 !35 = metadata !{metadata !"omnipotent char", metadata !36, i64 0}
 185 !36 = metadata !{metadata !"Simple C/C++ TBAA"}
 186 !37 = metadata !{i32 8, i32 0, metadata !23, null} ; [ DW_TAG_imported_declaration ]
 187 !38 = metadata !{i32 9, i32 0, metadata !22, null}
 188 !39 = metadata !{i32 10, i32 0, metadata !21, null}
 189 !40 = metadata !{i32 12, i32 0, metadata !20, null}
 190 !41 = metadata !{i32* @c}
 191 !42 = metadata !{i32 15, i32 0, metadata !8, null}
 192 !43 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
 193 !44 = metadata !{i32 0}