| # Check that the backend properly tracks debug-instr-references across the |
| # elim-compare pass. |
| # |
| # RUN: llc %s -mtriple=s390x-linux-gnu -mcpu=z14 -run-pass=systemz-elim-compare \ |
| # RUN: -o - 2>&1 | FileCheck %s |
| |
| # bb.0 - elimination of CHI, modification of BRC, no substitutions |
| # bb.1 - elimination of CHI, replacement of LR with LTR, one substitution |
| # bb.2 - elimination of L and CHI, modification of CondTrap into LAT, one substitution |
| # CHECK: name: foo |
| # CHECK: debugValueSubstitutions: |
| # these are the correct substitutions |
| # CHECK-NEXT: - { srcinst: 5, srcop: 0, dstinst: 13, dstop: 0, subreg: 0 } |
| # CHECK-NEXT: - { srcinst: 7, srcop: 0, dstinst: 9, dstop: 0, subreg: 0 } |
| # CHECK-NEXT: - { srcinst: 10, srcop: 0, dstinst: 14, dstop: 0, subreg: 0 } |
| # we also need to make sure that these are the only substitutions |
| # CHECK-NEXT: constants: [] |
| --- |
| name: foo |
| tracksRegLiveness: true |
| liveins: |
| - { reg: '$r2l', virtual-reg: '' } |
| - { reg: '$r3l', virtual-reg: '' } |
| - { reg: '$r4l', virtual-reg: '' } |
| - { reg: '$r5d', virtual-reg: '' } |
| debugValueSubstitutions: [] |
| body: | |
| bb.0: |
| successors: %bb.1(0x80000000) |
| liveins: $r2l, $r3l, $r4l, $r5d |
| |
| renamable $r3l = nsw AR killed renamable $r3l, renamable $r2l, implicit-def dead $cc, debug-instr-number 1 |
| CHI renamable $r3l, 0, implicit-def $cc, debug-instr-number 2 |
| BRC 14, 12, %bb.1, implicit $cc, debug-instr-number 3 |
| |
| bb.1: |
| successors: %bb.2(0x80000000) |
| liveins: $r2l, $r3l, $r4l, $r5d |
| |
| CHI renamable $r2l, 0, implicit-def $cc, debug-instr-number 4 |
| renamable $r3l = LR renamable $r2l, debug-instr-number 5 |
| BRC 14, 8, %bb.2, implicit killed $cc, debug-instr-number 6 |
| |
| bb.2: |
| successors: %bb.3(0x80000000) |
| liveins: $r2l, $r3l, $r4l, $r5d |
| |
| renamable $r2l = L killed renamable $r5d, 0, $noreg, debug-instr-number 7 |
| CHI renamable $r2l, 0, implicit-def $cc, debug-instr-number 8 |
| CondTrap 14, 8, implicit killed $cc, debug-instr-number 9 |
| J %bb.3 |
| |
| bb.3: |
| successors: %bb.4(080000000) |
| liveins: $r2l, $r3l, $r4l, $r5d |
| |
| renamable $r3l = L renamable $r5d, 0, $noreg, debug-instr-number 10 |
| CHI renamable $r3l, 0, implicit-def $cc, debug-instr-number 11 |
| BRC 14, 8, %bb.4, implicit killed $cc, debug-instr-number 12 |
| |
| bb.4: |
| $r2l = LHI 2 |
| Return implicit $r2l |
| |
| ... |