| # RUN: llc -mtriple=amdgcn-- -mcpu=gfx1030 -run-pass=print-machine-uniformity -o - %s 2>&1 | FileCheck %s |
| --- |
| name: f1 |
| tracksRegLiveness: true |
| body: | |
| ; CHECK-LABEL: MachineUniformityInfo for function: f1 |
| bb.1: |
| %3:_(s32) = G_CONSTANT i32 0 |
| %25:_(s32) = G_IMPLICIT_DEF |
| |
| bb.2: |
| %0:_(s32) = G_PHI %22(s32), %bb.5, %3(s32), %bb.1 |
| %1:_(s32) = G_PHI %3(s32), %bb.1, %20(s32), %bb.5 |
| %2:_(s32) = G_PHI %3(s32), %bb.1, %19(s32), %bb.5 |
| %36:_(s32) = G_CONSTANT i32 0 |
| %4:_(s1) = G_ICMP intpred(slt), %1(s32), %36 |
| |
| bb.3: |
| successors: %bb.4(0x04000000), %bb.3(0x7c000000) |
| |
| %5:_(s32) = G_PHI %38(s32), %bb.3, %1(s32), %bb.2 |
| %38:_(s32) = G_CONSTANT i32 0 |
| G_BRCOND %4(s1), %bb.3 |
| G_BR %bb.4 |
| |
| bb.4: |
| successors: %bb.7, %bb.5 |
| |
| %6:_(s32) = G_PHI %5(s32), %bb.3 |
| %33:_(s1) = G_CONSTANT i1 true |
| %7:_(s64) = G_SEXT %2(s32) |
| %39:_(s32) = G_CONSTANT i32 2 |
| %10:_(s64) = G_SHL %7, %39(s32) |
| %11:_(p0) = G_INTTOPTR %10(s64) |
| %13:_(s32) = G_LOAD %11(p0) :: (load (s32)) |
| %37:_(s32) = G_CONSTANT i32 0 |
| %14:sreg_32_xm0_xexec(s1) = G_ICMP intpred(slt), %13(s32), %37 |
| %16:sreg_32_xm0_xexec(s32) = SI_IF %14(s1), %bb.5, implicit-def $exec, implicit-def $scc, implicit $exec |
| G_BR %bb.7 |
| |
| bb.5: |
| successors: %bb.6(0x04000000), %bb.2(0x7c000000) |
| ; CHECK: DIVERGENT: %{{[0-9]}}: %{{[0-9]}}:_(s32) = G_PHI |
| ; CHECK: DIVERGENT: %{{[0-9]}}: %{{[0-9]}}:_(s32) = G_PHI |
| ; CHECK: DIVERGENT: %{{[0-9]}}: %{{[0-9]}}:_(s32) = G_PHI |
| ; CHECK-NOT: DIVERGENT: %{{[0-9]}}: %{{[0-9]}}:sreg_32_xm0_xexec(s32) = G_INTRINSIC_CONVERGENT intrinsic(@llvm.amdgcn.if.break) |
| %19:_(s32) = G_PHI %18(s32), %bb.7, %25(s32), %bb.4 |
| %20:_(s32) = G_PHI %6(s32), %bb.7, %25(s32), %bb.4 |
| %21:_(s1) = G_PHI %34(s1), %bb.7, %33(s1), %bb.4 |
| G_INTRINSIC_CONVERGENT_W_SIDE_EFFECTS intrinsic(@llvm.amdgcn.end.cf), %16(s32) |
| %22:sreg_32_xm0_xexec(s32) = G_INTRINSIC_CONVERGENT intrinsic(@llvm.amdgcn.if.break), %21(s1), %0(s32) |
| SI_LOOP %22(s32), %bb.2, implicit-def $exec, implicit-def $scc, implicit $exec |
| G_BR %bb.6 |
| |
| bb.6: |
| %24:_(s32) = G_PHI %22(s32), %bb.5 |
| G_INTRINSIC_CONVERGENT_W_SIDE_EFFECTS intrinsic(@llvm.amdgcn.end.cf), %24(s32) |
| SI_RETURN |
| |
| bb.7: |
| %34:_(s1) = G_CONSTANT i1 false |
| %35:_(s32) = G_CONSTANT i32 1 |
| %18:_(s32) = G_OR %2, %35 |
| G_BR %bb.5 |
| |
| ... |