llvm/test/DebugInfo/MSP430/ranges_always.ll

   1 ; RUN: llc -O0 %s -mtriple=msp430 -filetype=obj -o - -minimize-addr-in-v5=Ranges \
   2 ; RUN:   | llvm-dwarfdump -debug-info -debug-addr -debug-rnglists -v - \
   3 ; RUN:   | FileCheck --check-prefix=CHECK --check-prefix=RNG \
   4 ; RUN:     --implicit-check-not=DW_TAG --implicit-check-not=NULL --implicit-check-not=_pc %s
   5
   6 ; RUN: llc -O0 %s -mtriple=msp430 -filetype=obj -o - -minimize-addr-in-v5=Expressions \
   7 ; RUN:   | llvm-dwarfdump -debug-info -debug-addr -debug-rnglists -v - \
   8 ; RUN:   | FileCheck --check-prefix=CHECK --check-prefix=EXPRORFORM --check-prefix=EXPR\
   9 ; RUN:     --implicit-check-not=DW_TAG --implicit-check-not=NULL --implicit-check-not=_pc %s
  10
  11 ; RUN: llc -O0 %s -mtriple=msp430 -filetype=obj -o - -minimize-addr-in-v5=Form \
  12 ; RUN:   | llvm-dwarfdump -debug-info -debug-addr -debug-rnglists -v - \
  13 ; RUN:   | FileCheck --check-prefix=CHECK --check-prefix=EXPRORFORM --check-prefix=FORM \
  14 ; RUN:     --implicit-check-not=DW_TAG --implicit-check-not=NULL --implicit-check-not=_pc %s
  15
  16 ; Ported from X86 test to cover 2-byte address size case
  17 ; Check that 16-bit addresses of MSP430 are properly stored
  18 ; in 32-bit DWARF fields
  19
  20 ; Generated from the following source. f4 is used to put a hole in the CU
  21 ; ranges while keeping f2 and f4 in the same section (as opposed to
  22 ; -ffunction-sections, which would produce CU ranges, but each function would
  23 ; be in a different section, so unable to share addresses). The call to f1 at
  24 ; the start of f3 ensures the range for the inlined subroutine doesn't share
  25 ; the starting address with f3 (so it can be improved by using a rnglist to
  26 ; allow it to share an address it wouldn't already be sharing).
  27
  28 ; Without f6 being in another section, technically we could use a non-zero CU
  29 ; low_pc that could act as a base address for all the addresses in the CU & avoid
  30 ; the need for these forced rnglists - we don't do that currently, but f6 ensures
  31 ; that this test will remain meaningful even if that improvement is made in the
  32 ; future. (implementing that would require detecting that all the addresses in
  33 ; the CU ranges are in the same section, then picking the lowest such address as
  34 ; the base address to make all other addresses relative to)
  35
  36 ; IR from the following, compiled with:
  37 ; $ clang -g -c -gdwarf-5 -O1
  38 ; __attribute__((optnone)) void f1() { }
  39 ; __attribute__((always_inline)) inline void f2() {
  40 ;   f1();
  41 ; }
  42 ; void f3() {
  43 ;   f1();
  44 ;   f2();
  45 ; }
  46 ; __attribute__((nodebug)) void f4() {
  47 ; }
  48 ; void f5() {
  49 ; }
  50 ; __attribute__((section(".other"))) void f6() {
  51 ; }
  52
  53 ; CHECK-LABEL: .debug_info contents:
  54 ; CHECK: DW_TAG_compile_unit
  55 ; CHECK:   DW_AT_low_pc
  56 ; CHECK-SAME: (0x00000000)
  57 ; RNG:     DW_AT_ranges
  58 ; RNG-SAME:  (indexed (0x3) rangelist = [[CU_RANGE:.*]]
  59 ; EXPRORFORM: DW_AT_ranges
  60 ; EXPRORFORM-SAME: (indexed (0x0) rangelist = [[CU_RANGE:.*]]
  61 ; CHECK:   DW_TAG_subprogram
  62 ; CHECK:     DW_AT_low_pc
  63 ; CHECK-SAME:  (indexed (00000000) address = 0x00000000 ".text")
  64 ; CHECK:     DW_AT_high_pc
  65 ; CHECK-SAME:  (0x00000002)
  66 ; CHECK:     DW_AT_name
  67 ; CHECK-SAME:  "f1"
  68 ; CHECK:   DW_TAG_subprogram
  69 ; CHECK:     DW_AT_name
  70 ; CHECK-SAME:  "f2"
  71 ; CHECK:   DW_TAG_subprogram
  72 ; EXPR:      DW_AT_low_pc
  73 ; EXPR-SAME:   (DW_OP_addrx 0x0, DW_OP_const4u 0x2, DW_OP_plus)
  74 ; FORM:      DW_AT_low_pc
  75 ; FORM-SAME:   [DW_FORM_LLVM_addrx_offset] (indexed (00000000) + 0x2 address = 0x00000002 ".text")
  76 ; EXPRORFORM: DW_AT_high_pc
  77 ; EXPRORFORM-SAME: (0x0000000a)
  78 ; RNG:       DW_AT_ranges
  79 ; RNG-SAME:    (indexed (0x0) rangelist = [[F3_RANGE:.*]]
  80 ; CHECK:     DW_AT_name
  81 ; CHECK-SAME: "f3"
  82 ; CHECK:     DW_TAG_inlined_subroutine
  83 ; EXPR:        DW_AT_low_pc
  84 ; EXPR-SAME:     [DW_FORM_exprloc] (DW_OP_addrx 0x0, DW_OP_const4u 0x6, DW_OP_plus)
  85 ; FORM:        DW_AT_low_pc
  86 ; FORM-SAME:     [DW_FORM_LLVM_addrx_offset] (indexed (00000000) + 0x6 address = 0x00000006 ".text")
  87 ; EXPRORFORM:  DW_AT_high_pc
  88 ; EXPRORFORM-SAME: (0x00000004)
  89 ; RNG:         DW_AT_ranges
  90 ; RNG-SAME:      (indexed (0x1) rangelist = [[INL_RANGE:.*]]
  91 ; CHECK:     DW_TAG_call_site
  92 ; RNG:         DW_AT_call_return_pc
  93 ; RNG-SAME:      (indexed (00000001) address = 0x00000006 ".text")
  94 ; EXPR:        DW_AT_call_return_pc
  95 ; EXPR-SAME:     [DW_FORM_exprloc] (DW_OP_addrx 0x0, DW_OP_const4u 0x6, DW_OP_plus)
  96 ; FORM:        DW_AT_call_return_pc
  97 ; FORM-SAME:     [DW_FORM_LLVM_addrx_offset] (indexed (00000000) + 0x6 address = 0x00000006 ".text")
  98 ; CHECK:     DW_TAG_call_site
  99 ; RNG:         DW_AT_call_return_pc
 100 ; RNG-SAME:      (indexed (00000002) address = 0x0000000a ".text")
 101 ; EXPR:        DW_AT_call_return_pc
 102 ; EXPR-SAME:     [DW_FORM_exprloc] (DW_OP_addrx 0x0, DW_OP_const4u 0xa, DW_OP_plus)
 103 ; FORM:        DW_AT_call_return_pc
 104 ; FORM-SAME:     [DW_FORM_LLVM_addrx_offset] (indexed (00000000) + 0xa address = 0x0000000a ".text")
 105 ; CHECK:     NULL
 106 ; CHECK:   DW_TAG_subprogram
 107 ; EXPR:      DW_AT_low_pc
 108 ; EXPR-SAME:   [DW_FORM_exprloc] (DW_OP_addrx 0x0, DW_OP_const4u 0xe, DW_OP_plus)
 109 ; FORM:      DW_AT_low_pc
 110 ; FORM-SAME:   [DW_FORM_LLVM_addrx_offset] (indexed (00000000) + 0xe address = 0x0000000e ".text")
 111 ; EXPRORFORM: DW_AT_high_pc
 112 ; EXPRORFORM-SAME: (0x00000002)
 113 ; RNG:       DW_AT_ranges
 114 ; RNG-SAME:    (indexed (0x2) rangelist = [[F5_RANGE:.*]]
 115 ; CHECK:     DW_AT_name
 116 ; CHECK-SAME:  "f5"
 117 ; CHECK:   DW_TAG_subprogram
 118 ; CHECK:     DW_AT_low_pc [DW_FORM_addrx]    (indexed (
 119 ; RNG-SAME: 00000003
 120 ; EXPRORFORM-SAME: 00000001
 121 ; CHECK: ) address = 0x00000000 ".other")
 122 ; CHECK:     DW_AT_high_pc
 123 ; CHECK-SAME:  (0x00000006)
 124 ; CHECK:     DW_AT_name
 125 ; CHECK-SAME: "f6"
 126 ; CHECK:       DW_TAG_inlined_subroutine
 127 ; RNG:           DW_AT_low_pc
 128 ; RNG-SAME:        (indexed (00000003) address = 0x00000000 ".other")
 129 ; EXPRORFORM:    DW_AT_low_pc
 130 ; EXPRORFORM-SAME: (indexed (00000001) address = 0x00000000 ".other")
 131 ; CHECK:         DW_AT_high_pc
 132 ; CHECK-SAME:      (0x00000004)
 133 ; CHECK:       DW_TAG_call_site
 134 ; CHECK:         DW_AT_call_return_pc
 135 ; CHECK:       NULL
 136 ; CHECK:   NULL
 137
 138 ; CHECK-LABEL: .debug_addr contents:
 139 ; CHECK: 0x00000000: Address table
 140 ; CHECK-NEXT: Addrs: [
 141 ; CHECK-NEXT: 0x00000000
 142 ; RNG-NEXT:   0x00000006
 143 ; RNG-NEXT:   0x0000000a
 144 ; CHECK-NEXT: 0x00000000
 145 ; RNG-NEXT:   0x00000004
 146 ; CHECK-NEXT: ]
 147
 148 ; CHECK-LABEL: .debug_rnglists contents:
 149 ; RNG: 0x00000000: range list header: {{.*}}, offset_entry_count = 0x00000004
 150 ; EXPRORFORM: 0x00000000: range list header: {{.*}}, offset_entry_count = 0x00000001
 151 ; CHECK: ranges:
 152 ; RNG-NEXT:   [[F3_RANGE]]: [DW_RLE_base_addressx]:
 153 ; RNG-SAME:                   0x00000000
 154 ; RNG-NEXT:                 [DW_RLE_offset_pair  ]
 155 ; RNG-NEXT:                 [DW_RLE_end_of_list  ]
 156
 157 ; RNG-NEXT:   [[INL_RANGE]]: [DW_RLE_base_addressx]:
 158 ; RNG-SAME:                    0x00000000
 159 ; RNG-NEXT:                  [DW_RLE_offset_pair  ]
 160 ; RNG-NEXT:                  [DW_RLE_end_of_list  ]
 161
 162 ; RNG-NEXT:   [[F5_RANGE]]: [DW_RLE_base_addressx]:
 163 ; RNG-SAME:                   0x00000000
 164 ; RNG-NEXT:                 [DW_RLE_offset_pair  ]
 165 ; RNG-NEXT:                 [DW_RLE_end_of_list  ]
 166
 167 ; CHECK-NEXT: [[CU_RANGE]]: [DW_RLE_base_addressx]:
 168 ; CHECK-SAME:                 0x00000000
 169 ; CHECK-NEXT:               [DW_RLE_offset_pair  ]
 170 ; CHECK-NEXT:               [DW_RLE_offset_pair  ]
 171 ; RNG-NEXT:                 [DW_RLE_startx_length]:
 172 ; RNG-SAME:                   0x00000003
 173 ; EXPRORFORM-NEXT:          [DW_RLE_startx_length]:
 174 ; EXPRORFORM-SAME:            0x00000001
 175 ; CHECK-NEXT:               [DW_RLE_end_of_list  ]
 176
 177 ; Function Attrs: mustprogress noinline nounwind optnone uwtable
 178 define dso_local void @_Z2f1v() local_unnamed_addr #0 !dbg !7 {
 179 entry:
 180   ret void, !dbg !12
 181 }
 182
 183 ; Function Attrs: mustprogress nounwind uwtable
 184 define dso_local void @_Z2f3v() local_unnamed_addr #1 !dbg !13 {
 185 entry:
 186   call void @_Z2f1v(), !dbg !14
 187   call void @_Z2f1v() #3, !dbg !15
 188   ret void, !dbg !18
 189 }
 190
 191 ; Function Attrs: mustprogress nofree norecurse nosync nounwind readnone uwtable willreturn
 192 define dso_local void @_Z2f4v() local_unnamed_addr #2 {
 193 entry:
 194   ret void
 195 }
 196
 197 ; Function Attrs: mustprogress nofree norecurse nosync nounwind readnone uwtable willreturn
 198 define dso_local void @_Z2f5v() local_unnamed_addr #2 !dbg !19 {
 199 entry:
 200   ret void, !dbg !20
 201 }
 202
 203 ; Function Attrs: mustprogress nounwind uwtable
 204 define dso_local void @_Z2f6v() local_unnamed_addr #1 section ".other" !dbg !21 {
 205 entry:
 206   call void @_Z2f1v() #3, !dbg !22
 207   ret void, !dbg !24
 208 }
 209
 210 attributes #0 = { mustprogress noinline nounwind optnone uwtable "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
 211 attributes #1 = { mustprogress nounwind uwtable "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
 212 attributes #2 = { mustprogress nofree norecurse nosync nounwind readnone uwtable willreturn "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
 213 attributes #3 = { nounwind }
 214
 215 !llvm.dbg.cu = !{!0}
 216 !llvm.module.flags = !{!2, !3, !4, !5}
 217 !llvm.ident = !{!6}
 218
 219 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 14.0.0 (git@github.com:llvm/llvm-project.git e2c3dc6fc76e767f08249f6d2c36e41660a4e331)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
 220 !1 = !DIFile(filename: "/usr/local/google/home/blaikie/dev/scratch/test.cpp", directory: "/usr/local/google/home/blaikie/dev/llvm/src", checksumkind: CSK_MD5, checksum: "e70db21a276125757057e729999c09c7")
 221 !2 = !{i32 7, !"Dwarf Version", i32 5}
 222 !3 = !{i32 2, !"Debug Info Version", i32 3}
 223 !4 = !{i32 1, !"wchar_size", i32 4}
 224 !5 = !{i32 7, !"uwtable", i32 1}
 225 !6 = !{!"clang version 14.0.0 (git@github.com:llvm/llvm-project.git e2c3dc6fc76e767f08249f6d2c36e41660a4e331)"}
 226 !7 = distinct !DISubprogram(name: "f1", linkageName: "_Z2f1v", scope: !8, file: !8, line: 1, type: !9, scopeLine: 1, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !11)
 227 !8 = !DIFile(filename: "scratch/test.cpp", directory: "/usr/local/google/home/blaikie/dev", checksumkind: CSK_MD5, checksum: "e70db21a276125757057e729999c09c7")
 228 !9 = !DISubroutineType(types: !10)
 229 !10 = !{null}
 230 !11 = !{}
 231 !12 = !DILocation(line: 1, column: 38, scope: !7)
 232 !13 = distinct !DISubprogram(name: "f3", linkageName: "_Z2f3v", scope: !8, file: !8, line: 5, type: !9, scopeLine: 5, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !11)
 233 !14 = !DILocation(line: 6, column: 3, scope: !13)
 234 !15 = !DILocation(line: 3, column: 3, scope: !16, inlinedAt: !17)
 235 !16 = distinct !DISubprogram(name: "f2", linkageName: "_Z2f2v", scope: !8, file: !8, line: 2, type: !9, scopeLine: 2, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !11)
 236 !17 = distinct !DILocation(line: 7, column: 3, scope: !13)
 237 !18 = !DILocation(line: 8, column: 1, scope: !13)
 238 !19 = distinct !DISubprogram(name: "f5", linkageName: "_Z2f5v", scope: !8, file: !8, line: 11, type: !9, scopeLine: 11, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !11)
 239 !20 = !DILocation(line: 12, column: 1, scope: !19)
 240 !21 = distinct !DISubprogram(name: "f6", linkageName: "_Z2f6v", scope: !8, file: !8, line: 13, type: !9, scopeLine: 13, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !11)
 241 !22 = !DILocation(line: 3, column: 3, scope: !16, inlinedAt: !23)
 242 !23 = distinct !DILocation(line: 14, column: 3, scope: !21)
 243 !24 = !DILocation(line: 15, column: 1, scope: !21)