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 43define 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 68entry: 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 77define 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 102entry: 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 113define 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, 133entry: 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 144declare void @llvm.dbg.value(metadata, metadata, metadata) #2 145 146declare dso_local void @bar(i32) local_unnamed_addr 147 148attributes #0 = { nounwind uwtable } 149attributes #2 = { nounwind readnone speculatable } 150attributes #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) 197