|
| 1 | +# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 6 |
| 2 | +# RUN: llc -mtriple=aarch64-gnu-linux -mcpu=neoverse-n2 -run-pass=machine-combiner -o - %s | FileCheck %s |
| 3 | + |
| 4 | +# Make sure machine combiner doesn't drop subregister indexes. |
| 5 | + |
| 6 | +--- |
| 7 | +name: reassociate_adds2_reassoc |
| 8 | +tracksRegLiveness: true |
| 9 | +body: | |
| 10 | + bb.0: |
| 11 | + liveins: $q0, $q1, $q2, $q3 |
| 12 | +
|
| 13 | + ; CHECK-LABEL: name: reassociate_adds2_reassoc |
| 14 | + ; CHECK: liveins: $q0, $q1, $q2, $q3 |
| 15 | + ; CHECK-NEXT: {{ $}} |
| 16 | + ; CHECK-NEXT: [[COPY:%[0-9]+]]:fpr128 = COPY $q0 |
| 17 | + ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fpr128 = COPY $q1 |
| 18 | + ; CHECK-NEXT: [[COPY2:%[0-9]+]]:fpr128 = COPY $q2 |
| 19 | + ; CHECK-NEXT: [[COPY3:%[0-9]+]]:fpr128 = COPY $q3 |
| 20 | + ; CHECK-NEXT: [[FADDSrr:%[0-9]+]]:fpr32 = nsz reassoc nofpexcept FADDSrr [[COPY]].ssub, [[COPY1]].ssub, implicit $fpcr |
| 21 | + ; CHECK-NEXT: [[FADDSrr1:%[0-9]+]]:fpr32 = nsz reassoc nofpexcept FADDSrr [[COPY2]].ssub, [[COPY3]].ssub, implicit $fpcr |
| 22 | + ; CHECK-NEXT: [[FADDSrr2:%[0-9]+]]:fpr32 = nsz reassoc nofpexcept FADDSrr killed [[FADDSrr1]], killed [[FADDSrr]], implicit $fpcr |
| 23 | + ; CHECK-NEXT: $s0 = COPY [[FADDSrr2]] |
| 24 | + ; CHECK-NEXT: RET_ReallyLR implicit $s0 |
| 25 | + %0:fpr128 = COPY $q0 |
| 26 | + %1:fpr128 = COPY $q1 |
| 27 | + %2:fpr128 = COPY $q2 |
| 28 | + %3:fpr128 = COPY $q3 |
| 29 | + %4:fpr32 = nsz reassoc nofpexcept FADDSrr %0.ssub, %1.ssub, implicit $fpcr |
| 30 | + %5:fpr32 = nsz reassoc nofpexcept FADDSrr %2.ssub, killed %4, implicit $fpcr |
| 31 | + %6:fpr32 = nsz reassoc nofpexcept FADDSrr killed %5, %3.ssub, implicit $fpcr |
| 32 | + $s0 = COPY %6 |
| 33 | + RET_ReallyLR implicit $s0 |
| 34 | +
|
| 35 | +... |
0 commit comments