| # RUN: llc %s -march=x86-64 -run-pass=machineverifier \ |
| # RUN: -experimental-debug-variable-locations -o - 2>&1 | FileCheck %s |
| # |
| # REQUIRES: x86-registered-target |
| # |
| # CHECK: debugValueSubstitutions: |
| # CHECK-NEXT: - { srcinst: 1, srcop: 0, dstinst: 2, dstop: 0 } |
| # |
| # CHECK: MOV64rr $rdi, debug-instr-number 2 |
| # CHECK-NEXT: DBG_INSTR_REF 1, 0 |
| --- |
| name: test |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$rdi', virtual-reg: '' } |
| debugValueSubstitutions: |
| - { srcinst: 1, srcop: 0, dstinst: 2, dstop: 0 } |
| body: | |
| bb.0: |
| liveins: $rdi, $rax |
| $rbp = MOV64rr $rdi, debug-instr-number 2 |
| DBG_INSTR_REF 1, 0 |
| dead $rcx = MOV64ri 0 |
| CMP64ri8 renamable $rax, 1, implicit-def $eflags |
| RETQ $rax |
| ... |