# RUN: llc -mtriple=x86_64-unknown-linux-gnu -run-pass=machine-cp %s -o - | FileCheck %s

# Machine copy propagation can remove dead copies. Make sure that the
# DBG_VALUE does not keep the copy alive.
#
# CHECK-NOT: $ebx = COPY $eax

--- |
  define void @fred() {
    ret void
  }
...

---
name: fred
tracksRegLiveness: true
body: |
  bb.0:
    liveins: $eax
    $ebx = COPY $eax
    DBG_VALUE $ebx, _
...