197 lines · plain
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,CHECK2; 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,INSTRREF3 4; Input to this test looked like this and was compiled using: clang -g -O1 -mllvm -stop-after=codegenprepare -S5;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_local45; CHECK-NOT: DBG_VALUE46; CHECK: DBG_VALUE $edi, $noreg, ![[T1A]], !DIExpression(),47; CHECK-NEXT: %0:gr32 = COPY $edi48; CHECK-NEXT: DBG_VALUE %0, $noreg, ![[T1A]], !DIExpression(),49; CHECK-NEXT: DBG_VALUE 123, $noreg, ![[LOCAL]], !DIExpression(),50; CHECK-NOT: DBG_VALUE51; CHECK: CALL64pcrel32 @bar,52; CHECK: DBG_VALUE %0, $noreg, ![[LOCAL]], !DIExpression(),53; CHECK: DBG_VALUE $edi, $noreg, ![[T1A]], !DIExpression(),54; CHECK-NOT: DBG_VALUE55; CHECK: TCRETURNdi64 @bar,56; INSTRREF-LABEL: name: foo_local57; INSTRREF-NOT: DBG_58; INSTRREF: DBG_PHI $edi, 159; INSTRREF: DBG_VALUE $edi, $noreg, ![[T1A]], !DIExpression(),60; INSTRREF-NEXT: %0:gr32 = COPY $edi61; INSTRREF-NEXT: DBG_VALUE 123, $noreg, ![[LOCAL]], !DIExpression(),62; INSTRREF: CALL64pcrel32 @bar,63; INSTRREF-NEXT: ADJCALLSTACKUP6464; 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 !1470 call void @llvm.dbg.value(metadata i32 123, metadata !13, metadata !DIExpression()), !dbg !1571 tail call void @bar(i32 123) #3, !dbg !1672 call void @llvm.dbg.value(metadata i32 %t1a, metadata !13, metadata !DIExpression()), !dbg !1573 tail call void @bar(i32 %t1a) #3, !dbg !1774 ret void, !dbg !1875}76 77define dso_local void @foo_other_param(i32 %t2a, i32 %t2b) local_unnamed_addr #0 !dbg !19 {78; CHECK-LABEL: name: foo_other_param79; CHECK: DBG_VALUE $edi, $noreg, ![[T2A]], !DIExpression(),80; CHECK: DBG_VALUE $esi, $noreg, ![[T2B]], !DIExpression(),81; CHECK: %1:gr32 = COPY $esi82; CHECK: DBG_VALUE %1, $noreg, ![[T2B]], !DIExpression(),83; CHECK: %0:gr32 = COPY $edi84; 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_param93; INSTRREF: DBG_PHI $edi, 194; 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 !25104 call void @llvm.dbg.value(metadata i32 %t2b, metadata !24, metadata !DIExpression()), !dbg !26105 tail call void @bar(i32 %t2b) #3, !dbg !27106 call void @llvm.dbg.value(metadata i32 123, metadata !24, metadata !DIExpression()), !dbg !26107 tail call void @bar(i32 123) #3, !dbg !28108 call void @llvm.dbg.value(metadata i32 %t2a, metadata !24, metadata !DIExpression()), !dbg !26109 tail call void @bar(i32 %t2a) #3, !dbg !29110 ret void, !dbg !30111}112 113define dso_local void @foo_same_param(i32 %t3a) local_unnamed_addr #0 !dbg !31 {114; CHECK-LABEL: name: foo_same_param115; CHECK: DBG_VALUE $edi, $noreg, ![[T3A]], !DIExpression(),116; CHECK: %0:gr32 = COPY $edi117; 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_param125; INSTRREF: DBG_PHI $edi, 1126; 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 !35135 tail call void @bar(i32 %t3a) #3, !dbg !36136 call void @llvm.dbg.value(metadata i32 %t3a, metadata !34, metadata !DIExpression()), !dbg !37137 call void @llvm.dbg.value(metadata i32 123, metadata !33, metadata !DIExpression()), !dbg !35138 tail call void @bar(i32 123) #3, !dbg !38139 call void @llvm.dbg.value(metadata i32 %t3a, metadata !33, metadata !DIExpression()), !dbg !35140 tail call void @bar(i32 %t3a) #3, !dbg !39141 ret void, !dbg !40142}143 144declare void @llvm.dbg.value(metadata, metadata, metadata) #2145 146declare dso_local void @bar(i32) local_unnamed_addr147 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