fold-over-exec.mir
1.19 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
# 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
...