| # RUN: llc -mtriple=thumbv8 -run-pass=peephole-opt %s -o - | FileCheck %s |
| |
| # Test case for PR 47980: |
| # Ensure that peephole optimization to fold move immediate doesn't unconstrain |
| # the register class of the consumer. |
| # |
| # Check that register class for %5 is unchanged as 'tcgpr' |
| # CHECK: { id: 5, class: tcgpr, preferred-register: '', flags: [ ] } |
| # CHECK: TCRETURNri killed %5 |
| |
| --- | |
| define i32 @foo(i32 %in) { |
| ret i32 undef |
| } |
| ... |
| --- |
| name: foo |
| registers: |
| - { id: 0, class: gpr} |
| - { id: 1, class: gpr } |
| - { id: 2, class: rgpr } |
| - { id: 3, class: gpr } |
| - { id: 4, class: rgpr } |
| - { id: 5, class: tcgpr } |
| liveins: |
| - { reg: '$r0', virtual-reg: '%0' } |
| - { reg: '$r1', virtual-reg: '%1' } |
| - { reg: '$r2', virtual-reg: '%2' } |
| - { reg: '$r3', virtual-reg: '%3' } |
| body: | |
| bb.0 (%ir-block.0): |
| liveins: $r0, $r1, $r2, $r3 |
| %0 = COPY $r0 |
| %1 = COPY $r1 |
| %2 = COPY $r2 |
| %3 = COPY $r3 |
| |
| %4 = t2MOVi32imm 270337 |
| %5 = t2ADDrr killed %2, killed %4, 14, $noreg, $noreg |
| $r0 = COPY %0 |
| $r1 = COPY %1 |
| $r2 = COPY %2 |
| $r3 = COPY %3 |
| TCRETURNri killed %5, 0, implicit $sp, implicit $r0, implicit $r1, implicit $r2, implicit $r3 |
| ... |
