| # Using a trick to run simple-register-coalescing twice, that way |
| # liveintervals should be preserved while running the machine verifier. |
| # |
| # RUN: not llc -o - %s -march=hexagon -hexagon-subreg-liveness=false -run-pass simple-register-coalescing -verify-machineinstrs -run-pass simple-register-coalescing 2>&1 | FileCheck -check-prefix=CHECK-NOSUB %s |
| # RUN: not llc -o - %s -march=hexagon -hexagon-subreg-liveness=true -run-pass simple-register-coalescing -verify-machineinstrs -run-pass simple-register-coalescing 2>&1 | FileCheck -check-prefix=CHECK-SUB %s |
| |
| --- |
| name: test_pass |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| A2_nop implicit-def %0:doubleregs |
| A2_nop implicit-def dead %0.isub_lo, implicit-def %0.isub_hi, implicit %0 |
| A2_nop implicit %0.isub_hi |
| ... |
| |
| --- |
| name: test_fail |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| A2_nop implicit-def %0:doubleregs |
| A2_nop implicit-def dead %0.isub_lo, implicit-def %0.isub_hi, implicit %0 |
| A2_nop implicit %0.isub_lo |
| |
| A2_nop implicit-def %1:doubleregs |
| A2_nop implicit-def dead %1.isub_lo, implicit-def dead %1.isub_hi, implicit %1 |
| A2_nop implicit %1 |
| |
| A2_nop implicit-def dead %2:doubleregs |
| A2_nop implicit %2 |
| |
| ... |
| |
| ############################################################################### |
| # We are expecting four "Bad machine code" when subregister liveness is used. |
| # |
| # CHECK-SUB-NOT: Bad machine code |
| # |
| # CHECK-SUB: Bad machine code: Live range continues after dead def flag |
| # CHECK_SUB-NEXT: function: test_fail |
| # CHECK-SUB: v. register: %0 |
| # CHECK-SUB: lanemask: 00000002 |
| # |
| # CHECK-SUB-NOT: Bad machine code |
| # |
| # CHECK-SUB: Bad machine code: Live range continues after dead def flag |
| # CHECK-SUB-NEXT: function: test_fail |
| # CHECK-SUB: v. register: %1 |
| # CHECK-SUB: lanemask: 00000002 |
| # |
| # CHECK-SUB-NOT: Bad machine code |
| # |
| # CHECK-SUB: Bad machine code: Live range continues after dead def flag |
| # CHECK-SUB-NEXT: function: test_fail |
| # CHECK-SUB: v. register: %1 |
| # CHECK-SUB: lanemask: 00000001 |
| # |
| # CHECK-SUB: Bad machine code: Live range continues after dead def flag |
| # CHECK-SUB-NEXT: function: test_fail |
| # CHECK: v. register: %2 |
| # |
| # CHECK-SUB-NOT: Bad machine code |
| |
| ############################################################################### |
| # Without subregister liveness we only detect one of the failing scenarios. |
| # |
| # CHECK-NOSUB-NOT: Bad machine code |
| # |
| # CHECK-NOSUB: Bad machine code: Live range continues after dead def flag |
| # CHECK-NOSUB-NEXT: function: test_fail |
| # CHECK: v. register: %2 |
| # |
| # CHECK-NOSUB-NOT: Bad machine code |