| # 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 |
| ... |
