1*8128d4b1SStephen Tozer; RUN: llvm-reduce --abort-on-invalid-reduction --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t 2*8128d4b1SStephen Tozer; RUN: FileCheck --check-prefixes=CHECK-FINAL --input-file=%t %s --implicit-check-not=#dbg_value 3*8128d4b1SStephen Tozer 4*8128d4b1SStephen Tozer; RUN: opt < %s -S --write-experimental-debuginfo=false > %t.intrinsics.ll 5*8128d4b1SStephen Tozer; RUN: llvm-reduce --abort-on-invalid-reduction --test FileCheck --test-arg --check-prefixes=INTRINSIC-INTERESTINGNESS --test-arg %s --test-arg --input-file %t.intrinsics.ll -o %t 6*8128d4b1SStephen Tozer; RUN: FileCheck --check-prefixes=INTRINSIC-FINAL --input-file=%t %s --implicit-check-not=#dbg_value 740bdfd39SJeremy Morse 8ffd08c77SStephen Tozer; Test that we can, in RemoveDIs mode / DbgVariableRecords mode (where variable location 940bdfd39SJeremy Morse; information isn't an instruction), remove one variable location assignment 1040bdfd39SJeremy Morse; but not another. 1140bdfd39SJeremy Morse 12*8128d4b1SStephen Tozer; CHECK-INTERESTINGNESS: #dbg_value(i32 %added, 13*8128d4b1SStephen Tozer; INTRINSIC-INTERESTINGNESS: llvm.dbg.value(metadata i32 %added, 1440bdfd39SJeremy Morse 1540bdfd39SJeremy Morse; CHECK-FINAL: %added = add 16*8128d4b1SStephen Tozer; CHECK-FINAL-NEXT: #dbg_value(i32 %added, 17*8128d4b1SStephen Tozer; INTRINSIC-FINAL: %added = add 18*8128d4b1SStephen Tozer; INTRINSIC-FINAL-NEXT: llvm.dbg.value(metadata i32 %added, 1940bdfd39SJeremy Morse 2040bdfd39SJeremy Morsedefine i32 @main() !dbg !7 { 2140bdfd39SJeremy Morseentry: 2240bdfd39SJeremy Morse %uninteresting1 = alloca i32, align 4 2340bdfd39SJeremy Morse %interesting = alloca i32, align 4 2440bdfd39SJeremy Morse %uninteresting2 = alloca i32, align 4 2540bdfd39SJeremy Morse store i32 0, ptr %uninteresting1, align 4 2640bdfd39SJeremy Morse store i32 0, ptr %interesting, align 4 2740bdfd39SJeremy Morse %0 = load i32, ptr %interesting, align 4 2840bdfd39SJeremy Morse %added = add nsw i32 %0, 1 29*8128d4b1SStephen Tozer #dbg_value(i32 %added, !13, !DIExpression(), !14) 3040bdfd39SJeremy Morse store i32 %added, ptr %interesting, align 4 3140bdfd39SJeremy Morse %alsoloaded = load i32, ptr %interesting, align 4 32*8128d4b1SStephen Tozer #dbg_value(i32 %alsoloaded, !13, !DIExpression(), !14) 3340bdfd39SJeremy Morse store i32 %alsoloaded, ptr %uninteresting2, align 4 3440bdfd39SJeremy Morse ret i32 0 3540bdfd39SJeremy Morse} 3640bdfd39SJeremy Morse 3740bdfd39SJeremy Morse!llvm.dbg.cu = !{!0} 3840bdfd39SJeremy Morse!llvm.module.flags = !{!2, !3, !4, !5, !6} 3940bdfd39SJeremy Morse 4040bdfd39SJeremy Morse!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 14.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None) 4140bdfd39SJeremy Morse!1 = !DIFile(filename: "/tmp/a.c", directory: "/") 4240bdfd39SJeremy Morse!2 = !{i32 7, !"Dwarf Version", i32 4} 4340bdfd39SJeremy Morse!3 = !{i32 2, !"Debug Info Version", i32 3} 4440bdfd39SJeremy Morse!4 = !{i32 1, !"wchar_size", i32 4} 4540bdfd39SJeremy Morse!5 = !{i32 7, !"uwtable", i32 1} 4640bdfd39SJeremy Morse!6 = !{i32 7, !"frame-pointer", i32 2} 4740bdfd39SJeremy Morse!7 = distinct !DISubprogram(name: "main", scope: !8, file: !8, line: 1, type: !9, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !12) 4840bdfd39SJeremy Morse!8 = !DIFile(filename: "/tmp/a.c", directory: "") 4940bdfd39SJeremy Morse!9 = !DISubroutineType(types: !10) 5040bdfd39SJeremy Morse!10 = !{!11} 5140bdfd39SJeremy Morse!11 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 5240bdfd39SJeremy Morse!12 = !{} 5340bdfd39SJeremy Morse!13 = !DILocalVariable(name: "a", scope: !7, file: !8, line: 2, type: !11) 5440bdfd39SJeremy Morse!14 = !DILocation(line: 2, column: 7, scope: !7) 5540bdfd39SJeremy Morse 56