llvm/test/CodeGen/AMDGPU/uniform-phi-with-undef.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -march=amdgcn -mcpu=gfx1010 -verify-machineinstrs -o - %s | FileCheck --check-prefix=GCN %s
   3 ;
   4 ; This test shows a typical case that a PHI(%c2) in join block was treated as uniform
   5 ; as it has one unique uniform incoming value plus one additional undef incoming
   6 ; value. This case might suffer from correctness issue if %c2 was assigned a scalar
   7 ; register but meanwhile dead in %if. The problem is solved by replacing the %undef
   8 ; with %c (thus replacing %c2 with %c in this example).
   9
  10
  11 define amdgpu_ps float @uniform_phi_with_undef(float inreg %c, float %v, i32 %x, i32 %y) #0 {
  12 ; GCN-LABEL: uniform_phi_with_undef:
  13 ; GCN:       ; %bb.0: ; %entry
  14 ; GCN-NEXT:    v_cmp_lt_i32_e64 s2, v2, v1
  15 ; GCN-NEXT:    s_mov_b32 s1, exec_lo
  16 ; GCN-NEXT:    s_and_b32 s2, s1, s2
  17 ; GCN-NEXT:    s_mov_b32 exec_lo, s2
  18 ; GCN-NEXT:    s_cbranch_execz .LBB0_2
  19 ; GCN-NEXT:  ; %bb.1: ; %if
  20 ; GCN-NEXT:    s_mov_b32 s2, 2.0
  21 ; GCN-NEXT:    v_div_scale_f32 v1, s3, s2, s2, v0
  22 ; GCN-NEXT:    v_rcp_f32_e64 v2, v1
  23 ; GCN-NEXT:    s_mov_b32 s3, 1.0
  24 ; GCN-NEXT:    v_fma_f32 v3, -v1, v2, s3
  25 ; GCN-NEXT:    v_fmac_f32_e64 v2, v3, v2
  26 ; GCN-NEXT:    v_div_scale_f32 v3, vcc_lo, v0, s2, v0
  27 ; GCN-NEXT:    v_mul_f32_e64 v4, v3, v2
  28 ; GCN-NEXT:    v_fma_f32 v5, -v1, v4, v3
  29 ; GCN-NEXT:    v_fmac_f32_e64 v4, v5, v2
  30 ; GCN-NEXT:    v_fma_f32 v1, -v1, v4, v3
  31 ; GCN-NEXT:    v_div_fmas_f32 v1, v1, v2, v4
  32 ; GCN-NEXT:    v_div_fixup_f32 v0, v1, s2, v0
  33 ; GCN-NEXT:  .LBB0_2: ; %end
  34 ; GCN-NEXT:    s_or_b32 exec_lo, exec_lo, s1
  35 ; GCN-NEXT:    v_add_f32_e64 v0, v0, s0
  36 ; GCN-NEXT:    ; return to shader part epilog
  37 entry:
  38   %cc = icmp slt i32 %y, %x
  39   br i1 %cc, label %if, label %end
  40
  41 if:
  42   %v.if = fdiv float %v, 2.0
  43   br label %end
  44
  45 end:
  46   %v2 = phi float [ %v.if, %if ], [ %v, %entry ]
  47   %c2 = phi float [ undef, %if ], [ %c, %entry ]
  48   %r = fadd float %v2, %c2
  49   ret float %r
  50 }
  51
  52 attributes #0 = { nounwind optnone noinline }