1# RUN: llc -mtriple=amdgcn -verify-machineinstrs -run-pass si-fold-operands %s -o - | FileCheck %s
2
3# CHECK-LABEL: bb.2:
4# CHECK: %I_out
5# CHECK-NOT: %I
6---
7name:            main
8tracksRegLiveness: true
9body:             |
10  bb.0:
11    successors: %bb.1(0x80000000)
12    liveins: $sgpr0, $vgpr0, $vgpr1
13    %0:sreg_32 = S_MOV_B32 0
14    %1:sreg_64 = S_MOV_B64 0
15    %tid_x:vgpr_32 = COPY $vgpr0
16    %tid_y:vgpr_32 = COPY $vgpr1
17    %arg:sgpr_32 = COPY $sgpr0
18
19  bb.1: ; loop
20    successors: %bb.2(0x40000000), %bb.1(0x40000000)
21    %I:sreg_32 = PHI %0, %bb.0, %I_inc, %bb.1
22    %break_inc:sreg_64 = PHI %1, %bb.0, %break, %bb.1
23    %cond:sreg_64 = V_CMP_LE_U32_e64 %arg, %tid_x, implicit $exec
24    %break:sreg_64 = SI_IF_BREAK %cond, %break_inc, implicit-def $scc
25    %I_out:vgpr_32 = COPY %I, implicit $exec
26    %I_inc:sreg_32 = S_ADD_I32 %I, 1, implicit-def $scc
27    SI_LOOP %break, %bb.1, implicit-def dead $exec, implicit $exec, implicit-def $scc
28    S_BRANCH %bb.2
29
30  bb.2: ; end loop
31    successors: %bb.3(0x40000000)
32    %2:sreg_64_xexec = V_CMP_EQ_U32_e64 %I_out, %tid_y, implicit $exec
33    %3:vgpr_32 = V_CNDMASK_B32_e64 0, 0, 0, 1, killed %2, implicit $exec
34    S_BRANCH %bb.3
35
36  bb.3: ; exit
37    S_ENDPGM 0
38...
39