llvm/test/tools/llvm-dwarfdump/X86/locstats.ll

   1 ; RUN: llc -debug-entry-values %s -o - -filetype=obj \
   2 ; RUN:   | llvm-dwarfdump -statistics - | FileCheck %s
   3
   4 ; CHECK:      "sum_all_variables(#bytes in parent scope covered by DW_OP_entry_value)": 5,
   5 ; CHECK-NEXT: "sum_all_params(#bytes in parent scope)": 20,
   6 ; CHECK-NEXT: "sum_all_params(#bytes in parent scope covered by DW_AT_location)": 20,
   7 ; CHECK-NEXT: "sum_all_params(#bytes in parent scope covered by DW_OP_entry_value)": 5,
   8 ; CHECK-NEXT: "sum_all_local_vars(#bytes in parent scope)": 90,
   9 ; CHECK-NEXT: "sum_all_local_vars(#bytes in parent scope covered by DW_AT_location)": 60,
  10 ; CHECK-NEXT: "sum_all_local_vars(#bytes in parent scope covered by DW_OP_entry_value)": 0,
  11 ; CHECK-NEXT: "#bytes within functions": 45,
  12 ; CHECK-NEXT: "#bytes within inlined functions": 0,
  13 ; CHECK-NEXT: "#params": 2,
  14 ; CHECK-NEXT: "#params with source location": 2,
  15 ; CHECK-NEXT: "#params with type": 2,
  16 ; CHECK-NEXT: "#params with binary location": 2,
  17 ; CHECK:      "#variables processed by location statistics": 6,
  18 ; CHECK-NEXT: "#variables with 0% of parent scope covered by DW_AT_location": 1,
  19 ; CHECK-NEXT: "#variables with (0%,10%) of parent scope covered by DW_AT_location": 0,
  20 ; CHECK-NEXT: "#variables with [10%,20%) of parent scope covered by DW_AT_location": 0,
  21 ; CHECK-NEXT: "#variables with [20%,30%) of parent scope covered by DW_AT_location": 0,
  22 ; CHECK-NEXT: "#variables with [30%,40%) of parent scope covered by DW_AT_location": 0,
  23 ; CHECK-NEXT: "#variables with [40%,50%) of parent scope covered by DW_AT_location": 0,
  24 ; CHECK-NEXT: "#variables with [50%,60%) of parent scope covered by DW_AT_location": 1,
  25 ; CHECK-NEXT: "#variables with [60%,70%) of parent scope covered by DW_AT_location": 0,
  26 ; CHECK-NEXT: "#variables with [70%,80%) of parent scope covered by DW_AT_location": 0,
  27 ; CHECK-NEXT: "#variables with [80%,90%) of parent scope covered by DW_AT_location": 1,
  28 ; CHECK-NEXT: "#variables with [90%,100%) of parent scope covered by DW_AT_location": 0,
  29 ; CHECK-NEXT: "#variables with 100% of parent scope covered by DW_AT_location": 3,
  30 ; CHECK-NEXT: "#variables - entry values with 0% of parent scope covered by DW_AT_location": 1,
  31 ; CHECK-NEXT: "#variables - entry values with (0%,10%) of parent scope covered by DW_AT_location": 0,
  32 ; CHECK-NEXT: "#variables - entry values with [10%,20%) of parent scope covered by DW_AT_location": 0,
  33 ; CHECK-NEXT: "#variables - entry values with [20%,30%) of parent scope covered by DW_AT_location": 0,
  34 ; CHECK-NEXT: "#variables - entry values with [30%,40%) of parent scope covered by DW_AT_location": 0,
  35 ; CHECK-NEXT: "#variables - entry values with [40%,50%) of parent scope covered by DW_AT_location": 0,
  36 ; CHECK-NEXT: "#variables - entry values with [50%,60%) of parent scope covered by DW_AT_location": 2,
  37 ; CHECK-NEXT: "#variables - entry values with [60%,70%) of parent scope covered by DW_AT_location": 0,
  38 ; CHECK-NEXT: "#variables - entry values with [70%,80%) of parent scope covered by DW_AT_location": 0,
  39 ; CHECK-NEXT: "#variables - entry values with [80%,90%) of parent scope covered by DW_AT_location": 1,
  40 ; CHECK-NEXT: "#variables - entry values with [90%,100%) of parent scope covered by DW_AT_location": 0,
  41 ; CHECK-NEXT: "#variables - entry values with 100% of parent scope covered by DW_AT_location": 2,
  42 ; CHECK-NEXT: "#params processed by location statistics": 2,
  43 ; CHECK-NEXT: "#params with 0% of parent scope covered by DW_AT_location": 0,
  44 ; CHECK-NEXT: "#params with (0%,10%) of parent scope covered by DW_AT_location": 0,
  45 ; CHECK-NEXT: "#params with [10%,20%) of parent scope covered by DW_AT_location": 0,
  46 ; CHECK-NEXT: "#params with [20%,30%) of parent scope covered by DW_AT_location": 0,
  47 ; CHECK-NEXT: "#params with [30%,40%) of parent scope covered by DW_AT_location": 0,
  48 ; CHECK-NEXT: "#params with [40%,50%) of parent scope covered by DW_AT_location": 0,
  49 ; CHECK-NEXT: "#params with [50%,60%) of parent scope covered by DW_AT_location": 0,
  50 ; CHECK-NEXT: "#params with [60%,70%) of parent scope covered by DW_AT_location": 0,
  51 ; CHECK-NEXT: "#params with [70%,80%) of parent scope covered by DW_AT_location": 0,
  52 ; CHECK-NEXT: "#params with [80%,90%) of parent scope covered by DW_AT_location": 0,
  53 ; CHECK-NEXT: "#params with [90%,100%) of parent scope covered by DW_AT_location": 0,
  54 ; CHECK-NEXT: "#params with 100% of parent scope covered by DW_AT_location": 2,
  55 ; CHECK-NEXT: "#params - entry values with 0% of parent scope covered by DW_AT_location": 0,
  56 ; CHECK-NEXT: "#params - entry values with (0%,10%) of parent scope covered by DW_AT_location": 0,
  57 ; CHECK-NEXT: "#params - entry values with [10%,20%) of parent scope covered by DW_AT_location": 0,
  58 ; CHECK-NEXT: "#params - entry values with [20%,30%) of parent scope covered by DW_AT_location": 0,
  59 ; CHECK-NEXT: "#params - entry values with [30%,40%) of parent scope covered by DW_AT_location": 0,
  60 ; CHECK-NEXT: "#params - entry values with [40%,50%) of parent scope covered by DW_AT_location": 0,
  61 ; CHECK-NEXT: "#params - entry values with [50%,60%) of parent scope covered by DW_AT_location": 1,
  62 ; CHECK-NEXT: "#params - entry values with [60%,70%) of parent scope covered by DW_AT_location": 0,
  63 ; CHECK-NEXT: "#params - entry values with [70%,80%) of parent scope covered by DW_AT_location": 0,
  64 ; CHECK-NEXT: "#params - entry values with [80%,90%) of parent scope covered by DW_AT_location": 0,
  65 ; CHECK-NEXT: "#params - entry values with [90%,100%) of parent scope covered by DW_AT_location": 0,
  66 ; CHECK-NEXT: "#params - entry values with 100% of parent scope covered by DW_AT_location": 1,
  67 ; CHECK-NEXT: "#local vars processed by location statistics": 4,
  68 ; CHECK-NEXT: "#local vars with 0% of parent scope covered by DW_AT_location": 1,
  69 ; CHECK-NEXT: "#local vars with (0%,10%) of parent scope covered by DW_AT_location": 0,
  70 ; CHECK-NEXT: "#local vars with [10%,20%) of parent scope covered by DW_AT_location": 0,
  71 ; CHECK-NEXT: "#local vars with [20%,30%) of parent scope covered by DW_AT_location": 0,
  72 ; CHECK-NEXT: "#local vars with [30%,40%) of parent scope covered by DW_AT_location": 0,
  73 ; CHECK-NEXT: "#local vars with [40%,50%) of parent scope covered by DW_AT_location": 0,
  74 ; CHECK-NEXT: "#local vars with [50%,60%) of parent scope covered by DW_AT_location": 1,
  75 ; CHECK-NEXT: "#local vars with [60%,70%) of parent scope covered by DW_AT_location": 0,
  76 ; CHECK-NEXT: "#local vars with [70%,80%) of parent scope covered by DW_AT_location": 0,
  77 ; CHECK-NEXT: "#local vars with [80%,90%) of parent scope covered by DW_AT_location": 1,
  78 ; CHECK-NEXT: "#local vars with [90%,100%) of parent scope covered by DW_AT_location": 0,
  79 ; CHECK-NEXT: "#local vars with 100% of parent scope covered by DW_AT_location": 1,
  80 ; CHECK-NEXT: "#local vars - entry values with 0% of parent scope covered by DW_AT_location": 1,
  81 ; CHECK-NEXT: "#local vars - entry values with (0%,10%) of parent scope covered by DW_AT_location": 0,
  82 ; CHECK-NEXT: "#local vars - entry values with [10%,20%) of parent scope covered by DW_AT_location": 0,
  83 ; CHECK-NEXT: "#local vars - entry values with [20%,30%) of parent scope covered by DW_AT_location": 0,
  84 ; CHECK-NEXT: "#local vars - entry values with [30%,40%) of parent scope covered by DW_AT_location": 0,
  85 ; CHECK-NEXT: "#local vars - entry values with [40%,50%) of parent scope covered by DW_AT_location": 0,
  86 ; CHECK-NEXT: "#local vars - entry values with [50%,60%) of parent scope covered by DW_AT_location": 1,
  87 ; CHECK-NEXT: "#local vars - entry values with [60%,70%) of parent scope covered by DW_AT_location": 0,
  88 ; CHECK-NEXT: "#local vars - entry values with [70%,80%) of parent scope covered by DW_AT_location": 0,
  89 ; CHECK-NEXT: "#local vars - entry values with [80%,90%) of parent scope covered by DW_AT_location": 1,
  90 ; CHECK-NEXT: "#local vars - entry values with [90%,100%) of parent scope covered by DW_AT_location": 0,
  91 ; CHECK-NEXT: "#local vars - entry values with 100% of parent scope covered by DW_AT_location": 1
  92
  93 ; The source code of the test case:
  94 ; extern void fn3(int *);
  95 ; extern void fn2 (int);
  96 ; __attribute__((noinline))
  97 ; void
  98 ; fn1 (int x, int y)
  99 ; {
 100 ;   int u = x + y;
 101 ;   if (x > 1)
 102 ;     u += 1;
 103 ;   else
 104 ;     u += 2;
 105 ;   if (y > 4)
 106 ;     u += x;
 107 ;   int a = 7;
 108 ;   fn2 (a);
 109 ;   u --;
 110 ; }
 111
 112 ; __attribute__((noinline))
 113 ; int f()
 114 ; {
 115 ;   int l, k;
 116 ;   fn3(&l);
 117 ;   fn3(&k);
 118 ;   fn1 (l, k);
 119 ;   return 0;
 120 ; }
 121
 122 ; ModuleID = 'test.c'
 123 source_filename = "test.c"
 124 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
 125 target triple = "x86_64-unknown-linux-gnu"
 126
 127 ; Function Attrs: noinline nounwind uwtable
 128 define dso_local void @fn1(i32 %x, i32 %y) local_unnamed_addr !dbg !16 {
 129 entry:
 130   call void @llvm.dbg.value(metadata i32 %x, metadata !20, metadata !DIExpression()), !dbg !24
 131   call void @llvm.dbg.value(metadata i32 %y, metadata !21, metadata !DIExpression()), !dbg !24
 132   call void @llvm.dbg.value(metadata i32 undef, metadata !22, metadata !DIExpression()), !dbg !24
 133   call void @llvm.dbg.value(metadata i32 undef, metadata !22, metadata !DIExpression()), !dbg !24
 134   call void @llvm.dbg.value(metadata i32 7, metadata !23, metadata !DIExpression()), !dbg !24
 135   tail call void @fn2(i32 7), !dbg !25
 136   call void @llvm.dbg.value(metadata i32 undef, metadata !22, metadata !DIExpression(DW_OP_constu, 1, DW_OP_minus, DW_OP_stack_value)), !dbg !24
 137   ret void, !dbg !26
 138 }
 139
 140 ; Function Attrs: argmemonly nounwind willreturn
 141 declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)
 142
 143 declare !dbg !4 dso_local void @fn2(i32) local_unnamed_addr
 144
 145 ; Function Attrs: argmemonly nounwind willreturn
 146 declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture)
 147
 148 ; Function Attrs: noinline nounwind uwtable
 149 define dso_local i32 @f() local_unnamed_addr !dbg !27 {
 150 entry:
 151   %l = alloca i32, align 4
 152   %k = alloca i32, align 4
 153   call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %l), !dbg !33
 154   call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %k), !dbg !33
 155   call void @llvm.dbg.value(metadata ptr %l, metadata !31, metadata !DIExpression(DW_OP_deref)), !dbg !34
 156   call void @fn3(ptr nonnull %l), !dbg !35
 157   call void @llvm.dbg.value(metadata ptr %k, metadata !32, metadata !DIExpression(DW_OP_deref)), !dbg !34
 158   call void @fn3(ptr nonnull %k), !dbg !36
 159   %0 = load i32, ptr %l, align 4, !dbg !37
 160   call void @llvm.dbg.value(metadata i32 %0, metadata !31, metadata !DIExpression()), !dbg !34
 161   %1 = load i32, ptr %k, align 4, !dbg !37
 162   call void @llvm.dbg.value(metadata i32 %1, metadata !32, metadata !DIExpression()), !dbg !34
 163   call void @fn1(i32 %0, i32 %1), !dbg !37
 164   call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %k), !dbg !37
 165   call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %l), !dbg !37
 166   ret i32 0, !dbg !37
 167 }
 168
 169 declare !dbg !8 dso_local void @fn3(ptr) local_unnamed_addr
 170
 171 ; Function Attrs: nounwind readnone speculatable willreturn
 172 declare void @llvm.dbg.value(metadata, metadata, metadata)
 173
 174 !llvm.dbg.cu = !{!0}
 175 !llvm.module.flags = !{!12, !13, !14}
 176 !llvm.ident = !{!15}
 177
 178 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !3, nameTableKind: None)
 179 !1 = !DIFile(filename: "test.c", directory: "/")
 180 !2 = !{}
 181 !3 = !{!4, !8}
 182 !4 = !DISubprogram(name: "fn2", scope: !1, file: !1, line: 2, type: !5, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized, retainedNodes: !2)
 183 !5 = !DISubroutineType(types: !6)
 184 !6 = !{null, !7}
 185 !7 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 186 !8 = !DISubprogram(name: "fn3", scope: !1, file: !1, line: 1, type: !9, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized, retainedNodes: !2)
 187 !9 = !DISubroutineType(types: !10)
 188 !10 = !{null, !11}
 189 !11 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !7, size: 64)
 190 !12 = !{i32 2, !"Dwarf Version", i32 4}
 191 !13 = !{i32 2, !"Debug Info Version", i32 3}
 192 !14 = !{i32 1, !"wchar_size", i32 4}
 193 !15 = !{!"clang version 10.0.0"}
 194 !16 = distinct !DISubprogram(name: "fn1", scope: !1, file: !1, line: 6, type: !17, scopeLine: 7, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !19)
 195 !17 = !DISubroutineType(types: !18)
 196 !18 = !{null, !7, !7}
 197 !19 = !{!20, !21, !22, !23}
 198 !20 = !DILocalVariable(name: "x", arg: 1, scope: !16, file: !1, line: 6, type: !7)
 199 !21 = !DILocalVariable(name: "y", arg: 2, scope: !16, file: !1, line: 6, type: !7)
 200 !22 = !DILocalVariable(name: "u", scope: !16, file: !1, line: 8, type: !7)
 201 !23 = !DILocalVariable(name: "a", scope: !16, file: !1, line: 18, type: !7)
 202 !24 = !DILocation(line: 0, scope: !16)
 203 !25 = !DILocation(line: 20, column: 3, scope: !16)
 204 !26 = !DILocation(line: 22, column: 1, scope: !16)
 205 !27 = distinct !DISubprogram(name: "f", scope: !1, file: !1, line: 25, type: !28, scopeLine: 26, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !30)
 206 !28 = !DISubroutineType(types: !29)
 207 !29 = !{!7}
 208 !30 = !{!31, !32}
 209 !31 = !DILocalVariable(name: "l", scope: !27, file: !1, line: 27, type: !7)
 210 !32 = !DILocalVariable(name: "k", scope: !27, file: !1, line: 27, type: !7)
 211 !33 = !DILocation(line: 27, column: 3, scope: !27)
 212 !34 = !DILocation(line: 0, scope: !27)
 213 !35 = !DILocation(line: 29, column: 3, scope: !27)
 214 !36 = !DILocation(line: 30, column: 3, scope: !27)
 215 !37 = !DILocation(line: 32, column: 8, scope: !27)