# 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 | |
} | |
!1 = !DIExpression() | |
... | |
--- | |
name: fred | |
tracksRegLiveness: true | |
body: | | |
bb.0: | |
liveins: $eax | |
$ebx = COPY $eax | |
DBG_VALUE debug-use $ebx, debug-use _, !1, !1 | |
... |