| # RUN: llc -mtriple=amdgcn -verify-machineinstrs -run-pass si-fold-operands %s -o - | FileCheck %s |
| |
| # CHECK-LABEL: bb.2: |
| # CHECK: %I_out |
| # CHECK-NOT: %I |
| --- |
| name: main |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| successors: %bb.1(0x80000000) |
| liveins: $sgpr0, $vgpr0, $vgpr1 |
| %0:sreg_32 = S_MOV_B32 0 |
| %1:sreg_64 = S_MOV_B64 0 |
| %tid_x:vgpr_32 = COPY $vgpr0 |
| %tid_y:vgpr_32 = COPY $vgpr1 |
| %arg:sgpr_32 = COPY $sgpr0 |
| |
| bb.1: ; loop |
| successors: %bb.2(0x40000000), %bb.1(0x40000000) |
| %I:sreg_32 = PHI %0, %bb.0, %I_inc, %bb.1 |
| %break_inc:sreg_64 = PHI %1, %bb.0, %break, %bb.1 |
| %cond:sreg_64 = V_CMP_LE_U32_e64 %arg, %tid_x, implicit $exec |
| %break:sreg_64 = SI_IF_BREAK %cond, %break_inc, implicit-def $scc |
| %I_out:vgpr_32 = COPY %I, implicit $exec |
| %I_inc:sreg_32 = S_ADD_I32 %I, 1, implicit-def $scc |
| SI_LOOP %break, %bb.1, implicit-def dead $exec, implicit $exec, implicit-def $scc |
| S_BRANCH %bb.2 |
| |
| bb.2: ; end loop |
| successors: %bb.3(0x40000000) |
| %2:sreg_64_xexec = V_CMP_EQ_U32_e64 %I_out, %tid_y, implicit $exec |
| %3:vgpr_32 = V_CNDMASK_B32_e64 0, 0, 0, 1, killed %2, implicit $exec |
| S_BRANCH %bb.3 |
| |
| bb.3: ; exit |
| S_ENDPGM 0 |
| ... |