1# RUN: llc %s -mtriple=x86_64-unknown-unknown -o - -run-pass=livedebugvalues -experimental-debug-variable-locations=false | FileCheck %s --implicit-check-not=DBG_VALUE 2# 3# Test that the DBG_VALUE of ecx below does not get propagated. It is considered 4# live-in on LiveDebugValues' first pass through the loop, but on the second it 5# should be removed from the InLocs set because it gets clobbered inside the 6# loop. There should be no transfer from ecx to ebx -- this is ensured by the 7# FileCheck implicit-check-not option. 8# 9# FIXME: we successfully prevent the false location (ebx) from being 10# propagated into block 2, but the original transfer isn't yet eliminated. 11# Thus we get no DBG_VALUe in block 2, but an invalid one in block 1. 12# 13# CHECK-LABEL: name: foo 14# CHECK-LABEL: bb.0.entry: 15# CHECK: $ecx = MOV32ri 0 16# CHECK-NEXT: DBG_VALUE 17# CHECK-LABEL: bb.1.loop: 18# CHECK: $ebx = COPY killed $ecx 19# CHECK-NEXT: DBG_VALUE 20# 21# An identical test in llvm/test/DebugInfo/MIR/X86/live-debug-values-bad-transfer.mir 22# checks this for InstrRefBasedLDV. 23 24--- | 25 source_filename = "live-debug-values-remove-range.ll" 26 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 27 28 declare void @llvm.dbg.value(metadata, metadata, metadata) 29 30 define i32 @foo(i32 %bar) !dbg !4 { 31 entry: 32 br label %loop 33 loop: 34 br label %loop 35 exit: 36 ret i32 %bar 37 } 38 39 !llvm.module.flags = !{!0, !1} 40 !llvm.dbg.cu = !{!2} 41 42 !0 = !{i32 2, !"Debug Info Version", i32 3} 43 !1 = !{i32 2, !"Dwarf Version", i32 4} 44 !2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, producer: "beards", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug) 45 !3 = !DIFile(filename: "bees.cpp", directory: ".") 46 !4 = distinct !DISubprogram(name: "nope", scope: !3, file: !3, line: 1, type: !5, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !8) 47 !5 = !DISubroutineType(types: !6) 48 !6 = !{!7} 49 !7 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 50 !8 = !{!9} 51 !9 = !DILocalVariable(name: "thin", scope: !4, file: !3, line: 1, type: !7) 52 !10 = !DILocation(line: 1, scope: !4) 53 54... 55--- 56name: foo 57alignment: 4 58tracksRegLiveness: true 59liveins: 60 - { reg: '$edi' } 61frameInfo: 62 stackSize: 8 63 offsetAdjustment: -8 64 maxAlignment: 1 65 adjustsStack: true 66 hasCalls: true 67 maxCallFrameSize: 0 68 cvBytesOfCalleeSavedRegisters: 8 69fixedStack: 70 - { id: 0, type: spill-slot, offset: -16, size: 8, alignment: 16, callee-saved-register: '$rbx' } 71machineFunctionInfo: {} 72body: | 73 bb.0.entry: 74 liveins: $edi, $rbx 75 76 frame-setup PUSH64r killed $rbx, implicit-def $rsp, implicit $rsp 77 CFI_INSTRUCTION def_cfa_offset 16 78 CFI_INSTRUCTION offset $rbx, -16 79 $ebx = MOV32rr $edi 80 $eax = MOV32ri 0, debug-location !10 81 $ecx = MOV32ri 0, debug-location !10 82 DBG_VALUE $ecx, $noreg, !9, !DIExpression(), debug-location !10 83 $edi = MOV32ri 0, debug-location !10 84 $esi = MOV32ri 0, debug-location !10 85 86 bb.1.loop: 87 successors: %bb.1, %bb.2 88 liveins: $ebx, $eax, $ecx, $edi, $esi 89 90 $eax = COPY $ecx, debug-location !10 91 $ebx = COPY killed $ecx, debug-location !10 92 $ecx = COPY killed $edi, debug-location !10 93 $edi = COPY killed $esi, debug-location !10 94 $esi = MOV32ri 1, debug-location !10 95 TEST8ri killed renamable $al, 1, implicit-def $eflags 96 JCC_1 %bb.1, 5, implicit killed $eflags, debug-location !10 97 98 bb.2.exit: 99 liveins: $ebx 100 101 $eax = MOV32rr killed $ebx, debug-location !10 102 $rbx = frame-destroy POP64r implicit-def $rsp, implicit $rsp 103 CFI_INSTRUCTION def_cfa_offset 8 104 RET64 $eax, debug-location !10 105 106... 107