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 -debug-dump=info.dwo %t | FileCheck %s
   3 ; RUN: llvm-objdump -r %t | FileCheck --check-prefix=RELA %s
   4
   5 ; CHECK: DW_AT_ranges [DW_FORM_sec_offset]   (0x000000a0)
   6
   7 ; Make sure we don't produce any relocations in any .dwo section (though in particular, debug_info.dwo)
   8 ; FIXME: There should be no relocations in .dwo sections at all, but for now there are debug_loc relocs here.
   9 ; RELA: RELOCATION RECORDS FOR [.rela.debug_info.dwo]
  10 ; RELA-NOT: R_X86_64_32 .debug_ranges
  11 ; RELA: RELOCATION RECORDS FOR
  12
  13 ; From the code:
  14
  15 ; extern int c;
  16 ; static void foo (int p)
  17 ; {
  18 ;   int a, b;
  19 ;   unsigned int d, e;
  20
  21 ;   for (a = 0; a < 30; a++)
  22 ;     for (d = 0; d < 30; d++)
  23 ;       for (b = 0; b < 30; b++)
  24 ;         for (e = 0; e < 30; e++)
  25 ;           {
  26 ;             int *w = &c;
  27 ;             *w &= p;
  28 ;           }
  29 ; }
  30
  31 ; void
  32 ; bar ()
  33 ; {
  34 ;   foo (1);
  35 ; }
  36
  37 ; compiled with:
  38
  39 ; clang -g -S -gsplit-dwarf -O1 small.c
  40
  41 @c = external global i32
  42
  43 ; Function Attrs: nounwind uwtable
  44 define void @bar() #0 {
  45 entry:
  46   tail call fastcc void @foo(), !dbg !27
  47   ret void, !dbg !28
  48 }
  49
  50 ; Function Attrs: nounwind uwtable
  51 define internal fastcc void @foo() #0 {
  52 entry:
  53   tail call void @llvm.dbg.value(metadata !29, i64 0, metadata !13), !dbg !30
  54   tail call void @llvm.dbg.value(metadata !44, i64 0, metadata !14), !dbg !31
  55   %c.promoted9 = load i32* @c, align 4, !dbg !32, !tbaa !33
  56   br label %for.cond1.preheader, !dbg !31
  57
  58 for.cond1.preheader:                              ; preds = %for.inc16, %entry
  59   %and.lcssa.lcssa.lcssa10 = phi i32 [ %c.promoted9, %entry ], [ %and, %for.inc16 ]
  60   %a.08 = phi i32 [ 0, %entry ], [ %inc17, %for.inc16 ]
  61   br label %for.cond4.preheader, !dbg !37
  62
  63 for.cond4.preheader:                              ; preds = %for.inc13, %for.cond1.preheader
  64   %and.lcssa.lcssa7 = phi i32 [ %and.lcssa.lcssa.lcssa10, %for.cond1.preheader ], [ %and, %for.inc13 ]
  65   %d.06 = phi i32 [ 0, %for.cond1.preheader ], [ %inc14, %for.inc13 ]
  66   br label %for.cond7.preheader, !dbg !38
  67
  68 for.cond7.preheader:                              ; preds = %for.inc10, %for.cond4.preheader
  69   %and.lcssa5 = phi i32 [ %and.lcssa.lcssa7, %for.cond4.preheader ], [ %and, %for.inc10 ]
  70   %b.03 = phi i32 [ 0, %for.cond4.preheader ], [ %inc11, %for.inc10 ]
  71   br label %for.body9, !dbg !39
  72
  73 for.body9:                                        ; preds = %for.body9, %for.cond7.preheader
  74   %and2 = phi i32 [ %and.lcssa5, %for.cond7.preheader ], [ %and, %for.body9 ], !dbg !40
  75   %e.01 = phi i32 [ 0, %for.cond7.preheader ], [ %inc, %for.body9 ]
  76   tail call void @llvm.dbg.value(metadata !41, i64 0, metadata !19), !dbg !40
  77   %and = and i32 %and2, 1, !dbg !32
  78   %inc = add i32 %e.01, 1, !dbg !39
  79   tail call void @llvm.dbg.value(metadata !{i32 %inc}, i64 0, metadata !18), !dbg !39
  80   %exitcond = icmp eq i32 %inc, 30, !dbg !39
  81   br i1 %exitcond, label %for.inc10, label %for.body9, !dbg !39
  82
  83 for.inc10:                                        ; preds = %for.body9
  84   %inc11 = add nsw i32 %b.03, 1, !dbg !38
  85   tail call void @llvm.dbg.value(metadata !{i32 %inc11}, i64 0, metadata !15), !dbg !38
  86   %exitcond11 = icmp eq i32 %inc11, 30, !dbg !38
  87   br i1 %exitcond11, label %for.inc13, label %for.cond7.preheader, !dbg !38
  88
  89 for.inc13:                                        ; preds = %for.inc10
  90   %inc14 = add i32 %d.06, 1, !dbg !37
  91   tail call void @llvm.dbg.value(metadata !{i32 %inc14}, i64 0, metadata !16), !dbg !37
  92   %exitcond12 = icmp eq i32 %inc14, 30, !dbg !37
  93   br i1 %exitcond12, label %for.inc16, label %for.cond4.preheader, !dbg !37
  94
  95 for.inc16:                                        ; preds = %for.inc13
  96   %inc17 = add nsw i32 %a.08, 1, !dbg !31
  97   tail call void @llvm.dbg.value(metadata !{i32 %inc17}, i64 0, metadata !14), !dbg !31
  98   %exitcond13 = icmp eq i32 %inc17, 30, !dbg !31
  99   br i1 %exitcond13, label %for.end18, label %for.cond1.preheader, !dbg !31
 100
 101 for.end18:                                        ; preds = %for.inc16
 102   store i32 %and, i32* @c, align 4, !dbg !32, !tbaa !33
 103   ret void, !dbg !42
 104 }
 105
 106 ; Function Attrs: nounwind readnone
 107 declare void @llvm.dbg.value(metadata, i64, metadata) #1
 108
 109 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" }
 110 attributes #1 = { nounwind readnone }
 111
 112 !llvm.dbg.cu = !{!0}
 113 !llvm.module.flags = !{!26, !43}
 114
 115 !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]
 116 !1 = metadata !{metadata !"small.c", metadata !"/usr/local/google/home/echristo/tmp"}
 117 !2 = metadata !{}
 118 !3 = metadata !{metadata !4, metadata !8}
 119 !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]
 120 !5 = metadata !{i32 786473, metadata !1}          ; [ DW_TAG_file_type ] [/usr/local/google/home/echristo/tmp/small.c]
 121 !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 ]
 122 !7 = metadata !{null}
 123 !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]
 124 !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 ]
 125 !10 = metadata !{null, metadata !11}
 126 !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]
 127 !12 = metadata !{metadata !13, metadata !14, metadata !15, metadata !16, metadata !18, metadata !19}
 128 !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]
 129 !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]
 130 !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]
 131 !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]
 132 !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]
 133 !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]
 134 !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]
 135 !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]
 136 !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]
 137 !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]
 138 !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]
 139 !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]
 140 !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]
 141 !26 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
 142 !27 = metadata !{i32 20, i32 0, metadata !4, null}
 143 !28 = metadata !{i32 21, i32 0, metadata !4, null}
 144 !29 = metadata !{i32 1}
 145 !30 = metadata !{i32 2, i32 0, metadata !8, null}
 146 !31 = metadata !{i32 7, i32 0, metadata !24, null}
 147 !32 = metadata !{i32 13, i32 0, metadata !20, null}
 148 !33 = metadata !{metadata !34, metadata !34, i64 0}
 149 !34 = metadata !{metadata !"int", metadata !35, i64 0}
 150 !35 = metadata !{metadata !"omnipotent char", metadata !36, i64 0}
 151 !36 = metadata !{metadata !"Simple C/C++ TBAA"}
 152 !37 = metadata !{i32 8, i32 0, metadata !23, null} ; [ DW_TAG_imported_declaration ]
 153 !38 = metadata !{i32 9, i32 0, metadata !22, null}
 154 !39 = metadata !{i32 10, i32 0, metadata !21, null}
 155 !40 = metadata !{i32 12, i32 0, metadata !20, null}
 156 !41 = metadata !{i32* @c}
 157 !42 = metadata !{i32 15, i32 0, metadata !8, null}
 158 !43 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
 159 !44 = metadata !{i32 0}