| # RUN: llc -march=hexagon -run-pass if-converter -o - %s -verify-machineinstrs | FileCheck %s |
| |
| # CHECK: %r26 = A2_tfr %r1 |
| # CHECK: S2_pstorerhf_io undef %p0, undef %r0, 0, killed %r1 |
| |
| --- |
| name: foo |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| successors: %bb.1, %bb.2 |
| liveins: %r0, %r1 |
| J2_jumpf undef %p0, %bb.2, implicit-def %pc |
| |
| bb.1: |
| successors: %bb.3 |
| liveins: %r1 |
| ; This <kill> flag should be cleared. It didn't use to be, because |
| ; this instruction is treated as a duplicate of the corresponding |
| ; instruction from the "false" block bb.2. Clearing of the <kill> |
| ; flags was limited to the non-common part of the "true" block. |
| %r26 = A2_tfr killed %r1 |
| J2_jump %bb.3, implicit-def %pc |
| |
| bb.2: |
| successors: %bb.3 |
| liveins: %r1 |
| %r26 = A2_tfr %r1 |
| S2_storerh_io undef %r0, 0, killed %r1 |
| J2_jump %bb.3, implicit-def %pc |
| |
| bb.3: |
| liveins: %r26 |
| ... |
