llvm/test/DebugInfo/X86/dbg-value-funcarg.ll

   1 ; RUN: llc -mtriple=x86_64-unknown-linux-gnu -start-after=codegenprepare -stop-before=finalize-isel -o - %s -experimental-debug-variable-locations=false | FileCheck %s --check-prefixes=COMMON,CHECK
   2 ; RUN: llc -mtriple=x86_64-unknown-linux-gnu -start-after=codegenprepare -stop-before=finalize-isel -o - %s -experimental-debug-variable-locations=true | FileCheck %s --check-prefixes=COMMON,INSTRREF
   3
   4 ; Input to this test looked like this and was compiled using: clang -g -O1 -mllvm -stop-after=codegenprepare -S
   5 ;
   6 ;    extern void bar(int);
   7 ;
   8 ;    void foo_local(int t1a) {
   9 ;      int local = 123;
  10 ;      bar(local);
  11 ;      local = t1a;
  12 ;      bar(local);
  13 ;    }
  14 ;
  15 ;    void foo_other_param(int t2a, int t2b) {
  16 ;      bar(t2b);
  17 ;      t2b = 123;
  18 ;      bar(t2b);
  19 ;      t2b = t2a;
  20 ;      bar(t2b);
  21 ;    }
  22 ;
  23 ;    void foo_same_param(int t3a) {
  24 ;      bar(t3a);
  25 ;      int tmp = t3a;
  26 ;      t3a = 123;
  27 ;      bar(t3a);
  28 ;      t3a = tmp;
  29 ;      bar(t3a);
  30 ;    }
  31 ;
  32
  33 ; Catch metadata references for involved variables.
  34 ;
  35 ; COMMON-DAG: ![[T1A:.*]] = !DILocalVariable(name: "t1a"
  36 ; COMMON-DAG: ![[LOCAL:.*]] = !DILocalVariable(name: "local"
  37 ; COMMON-DAG: ![[T2A:.*]] = !DILocalVariable(name: "t2a"
  38 ; COMMON-DAG: ![[T2B:.*]] = !DILocalVariable(name: "t2b"
  39 ; COMMON-DAG: ![[T3A:.*]] = !DILocalVariable(name: "t3a"
  40 ; COMMON-DAG: ![[TMP:.*]] = !DILocalVariable(name: "tmp"
  41
  42
  43 define dso_local void @foo_local(i32 %t1a) local_unnamed_addr #0 !dbg !7 {
  44 ; CHECK-LABEL: name:            foo_local
  45 ; CHECK-NOT: DBG_VALUE
  46 ; CHECK:      DBG_VALUE $edi, $noreg, ![[T1A]], !DIExpression(),
  47 ; CHECK-NEXT: %0:gr32 = COPY $edi
  48 ; CHECK-NEXT: DBG_VALUE %0, $noreg, ![[T1A]], !DIExpression(),
  49 ; CHECK-NEXT: DBG_VALUE 123, $noreg, ![[LOCAL]], !DIExpression(),
  50 ; CHECK-NOT: DBG_VALUE
  51 ; CHECK:    CALL64pcrel32 @bar,
  52 ; CHECK:    DBG_VALUE %0, $noreg, ![[LOCAL]], !DIExpression(),
  53 ; CHECK:    DBG_VALUE $edi, $noreg, ![[T1A]], !DIExpression(),
  54 ; CHECK-NOT: DBG_VALUE
  55 ; CHECK:    TCRETURNdi64 @bar,
  56 ; INSTRREF-LABEL: name:            foo_local
  57 ; INSTRREF-NOT: DBG_
  58 ; INSTRREF:      DBG_PHI $edi, 1
  59 ; INSTRREF:      DBG_VALUE $edi, $noreg, ![[T1A]], !DIExpression(),
  60 ; INSTRREF-NEXT: %0:gr32 = COPY $edi
  61 ; INSTRREF-NEXT: DBG_VALUE 123, $noreg, ![[LOCAL]], !DIExpression(),
  62 ; INSTRREF:      CALL64pcrel32 @bar,
  63 ; INSTRREF-NEXT: ADJCALLSTACKUP64
  64 ; INSTRREF:      DBG_INSTR_REF ![[LOCAL]], !DIExpression(DW_OP_LLVM_arg, 0), dbg-instr-ref(1, 0),
  65 ; INSTRREF-NOT: DBG_
  66 ; INSTRREF:    TCRETURNdi64 @bar,
  67
  68 entry:
  69   call void @llvm.dbg.value(metadata i32 %t1a, metadata !12, metadata !DIExpression()), !dbg !14
  70   call void @llvm.dbg.value(metadata i32 123, metadata !13, metadata !DIExpression()), !dbg !15
  71   tail call void @bar(i32 123) #3, !dbg !16
  72   call void @llvm.dbg.value(metadata i32 %t1a, metadata !13, metadata !DIExpression()), !dbg !15
  73   tail call void @bar(i32 %t1a) #3, !dbg !17
  74   ret void, !dbg !18
  75 }
  76
  77 define dso_local void @foo_other_param(i32 %t2a, i32 %t2b) local_unnamed_addr #0 !dbg !19 {
  78 ; CHECK-LABEL: name:            foo_other_param
  79 ; CHECK: DBG_VALUE $edi, $noreg, ![[T2A]], !DIExpression(),
  80 ; CHECK: DBG_VALUE $esi, $noreg, ![[T2B]], !DIExpression(),
  81 ; CHECK: %1:gr32 = COPY $esi
  82 ; CHECK: DBG_VALUE %1, $noreg, ![[T2B]], !DIExpression(),
  83 ; CHECK: %0:gr32 = COPY $edi
  84 ; CHECK: DBG_VALUE %0, $noreg, ![[T2A]], !DIExpression(),
  85 ; CHECK: DBG_VALUE $edi, $noreg, ![[T2B]], !DIExpression(),
  86 ; CHECK: CALL64pcrel32 @bar,
  87 ; CHECK: DBG_VALUE 123, $noreg, ![[T2B]], !DIExpression(),
  88 ; CHECK: CALL64pcrel32 @bar,
  89 ; CHECK: DBG_VALUE %0, $noreg, ![[T2B]], !DIExpression(),
  90 ; CHECK: DBG_VALUE $edi, $noreg, ![[T2A]], !DIExpression(),
  91 ; CHECK: TCRETURNdi64 @bar,
  92 ; INSTRREF-LABEL: name:            foo_other_param
  93 ; INSTRREF: DBG_PHI $edi, 1
  94 ; INSTRREF: DBG_VALUE $edi, $noreg, ![[T2A]], !DIExpression(),
  95 ; INSTRREF: DBG_VALUE $esi, $noreg, ![[T2B]], !DIExpression(),
  96 ; INSTRREF: CALL64pcrel32 @bar,
  97 ; INSTRREF: DBG_VALUE 123, $noreg, ![[T2B]], !DIExpression(),
  98 ; INSTRREF: CALL64pcrel32 @bar,
  99 ; INSTRREF: DBG_INSTR_REF ![[T2B]], !DIExpression(DW_OP_LLVM_arg, 0), dbg-instr-ref(1, 0),
 100 ; INSTRREF: TCRETURNdi64 @bar,
 101
 102 entry:
 103   call void @llvm.dbg.value(metadata i32 %t2a, metadata !23, metadata !DIExpression()), !dbg !25
 104   call void @llvm.dbg.value(metadata i32 %t2b, metadata !24, metadata !DIExpression()), !dbg !26
 105   tail call void @bar(i32 %t2b) #3, !dbg !27
 106   call void @llvm.dbg.value(metadata i32 123, metadata !24, metadata !DIExpression()), !dbg !26
 107   tail call void @bar(i32 123) #3, !dbg !28
 108   call void @llvm.dbg.value(metadata i32 %t2a, metadata !24, metadata !DIExpression()), !dbg !26
 109   tail call void @bar(i32 %t2a) #3, !dbg !29
 110   ret void, !dbg !30
 111 }
 112
 113 define dso_local void @foo_same_param(i32 %t3a) local_unnamed_addr #0 !dbg !31 {
 114 ; CHECK-LABEL: name:            foo_same_param
 115 ; CHECK: DBG_VALUE $edi, $noreg, ![[T3A]], !DIExpression(),
 116 ; CHECK: %0:gr32 = COPY $edi
 117 ; CHECK: DBG_VALUE %0, $noreg, ![[T3A]], !DIExpression(),
 118 ; CHECK: CALL64pcrel32 @bar,
 119 ; CHECK: DBG_VALUE %0, $noreg, ![[TMP]], !DIExpression(),
 120 ; CHECK: DBG_VALUE 123, $noreg, ![[T3A]], !DIExpression(),
 121 ; CHECK: CALL64pcrel32 @bar,
 122 ; CHECK: DBG_VALUE %0, $noreg, ![[T3A]], !DIExpression(),
 123 ; CHECK: TCRETURNdi64 @bar,
 124 ; INSTRREF-LABEL: name:            foo_same_param
 125 ; INSTRREF: DBG_PHI $edi, 1
 126 ; INSTRREF: DBG_VALUE $edi, $noreg, ![[T3A]], !DIExpression(),
 127 ; INSTRREF: CALL64pcrel32 @bar,
 128 ; INSTRREF: DBG_INSTR_REF ![[TMP]], !DIExpression(DW_OP_LLVM_arg, 0), dbg-instr-ref(1, 0),
 129 ; INSTRREF: DBG_VALUE 123, $noreg, ![[T3A]], !DIExpression(),
 130 ; INSTRREF: CALL64pcrel32 @bar,
 131 ; INSTRREF: DBG_INSTR_REF ![[T3A]], !DIExpression(DW_OP_LLVM_arg, 0), dbg-instr-ref(1, 0),
 132 ; INSTRREF: TCRETURNdi64 @bar,
 133 entry:
 134   call void @llvm.dbg.value(metadata i32 %t3a, metadata !33, metadata !DIExpression()), !dbg !35
 135   tail call void @bar(i32 %t3a) #3, !dbg !36
 136   call void @llvm.dbg.value(metadata i32 %t3a, metadata !34, metadata !DIExpression()), !dbg !37
 137   call void @llvm.dbg.value(metadata i32 123, metadata !33, metadata !DIExpression()), !dbg !35
 138   tail call void @bar(i32 123) #3, !dbg !38
 139   call void @llvm.dbg.value(metadata i32 %t3a, metadata !33, metadata !DIExpression()), !dbg !35
 140   tail call void @bar(i32 %t3a) #3, !dbg !39
 141   ret void, !dbg !40
 142 }
 143
 144 declare void @llvm.dbg.value(metadata, metadata, metadata) #2
 145
 146 declare dso_local void @bar(i32) local_unnamed_addr
 147
 148 attributes #0 = { nounwind uwtable }
 149 attributes #2 = { nounwind readnone speculatable }
 150 attributes #3 = { nounwind }
 151
 152 !llvm.dbg.cu = !{!0}
 153 !llvm.module.flags = !{!3, !4, !5}
 154 !llvm.ident = !{!6}
 155
 156 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 9.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None)
 157 !1 = !DIFile(filename: "foo.c", directory: "")
 158 !2 = !{}
 159 !3 = !{i32 2, !"Dwarf Version", i32 4}
 160 !4 = !{i32 2, !"Debug Info Version", i32 3}
 161 !5 = !{i32 1, !"wchar_size", i32 4}
 162 !6 = !{!"clang version 9.0.0"}
 163 !7 = distinct !DISubprogram(name: "foo_local", scope: !1, file: !1, line: 3, type: !8, scopeLine: 3, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !11)
 164 !8 = !DISubroutineType(types: !9)
 165 !9 = !{null, !10}
 166 !10 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 167 !11 = !{!12, !13}
 168 !12 = !DILocalVariable(name: "t1a", arg: 1, scope: !7, file: !1, line: 3, type: !10)
 169 !13 = !DILocalVariable(name: "local", scope: !7, file: !1, line: 4, type: !10)
 170 !14 = !DILocation(line: 3, column: 20, scope: !7)
 171 !15 = !DILocation(line: 4, column: 7, scope: !7)
 172 !16 = !DILocation(line: 5, column: 3, scope: !7)
 173 !17 = !DILocation(line: 7, column: 3, scope: !7)
 174 !18 = !DILocation(line: 8, column: 1, scope: !7)
 175 !19 = distinct !DISubprogram(name: "foo_other_param", scope: !1, file: !1, line: 10, type: !20, scopeLine: 10, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !22)
 176 !20 = !DISubroutineType(types: !21)
 177 !21 = !{null, !10, !10}
 178 !22 = !{!23, !24}
 179 !23 = !DILocalVariable(name: "t2a", arg: 1, scope: !19, file: !1, line: 10, type: !10)
 180 !24 = !DILocalVariable(name: "t2b", arg: 2, scope: !19, file: !1, line: 10, type: !10)
 181 !25 = !DILocation(line: 10, column: 26, scope: !19)
 182 !26 = !DILocation(line: 10, column: 35, scope: !19)
 183 !27 = !DILocation(line: 11, column: 3, scope: !19)
 184 !28 = !DILocation(line: 13, column: 3, scope: !19)
 185 !29 = !DILocation(line: 15, column: 3, scope: !19)
 186 !30 = !DILocation(line: 16, column: 1, scope: !19)
 187 !31 = distinct !DISubprogram(name: "foo_same_param", scope: !1, file: !1, line: 18, type: !8, scopeLine: 18, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !32)
 188 !32 = !{!33, !34}
 189 !33 = !DILocalVariable(name: "t3a", arg: 1, scope: !31, file: !1, line: 18, type: !10)
 190 !34 = !DILocalVariable(name: "tmp", scope: !31, file: !1, line: 20, type: !10)
 191 !35 = !DILocation(line: 18, column: 25, scope: !31)
 192 !36 = !DILocation(line: 19, column: 3, scope: !31)
 193 !37 = !DILocation(line: 20, column: 7, scope: !31)
 194 !38 = !DILocation(line: 22, column: 3, scope: !31)
 195 !39 = !DILocation(line: 24, column: 3, scope: !31)
 196 !40 = !DILocation(line: 25, column: 1, scope: !31)