| # 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 $ebx, _, !1, !1 | |
| ... |