llvm/test/CodeGen/AMDGPU/update-phi.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -mtriple=amdgcn-- -S -amdgpu-unify-divergent-exit-nodes -verify -simplifycfg-require-and-preserve-domtree=1 %s | FileCheck -check-prefix=IR %s
   3
   4 ; Make sure that the phi in n28 is updated when the block is split by unify
   5 ; divergent exit nodes.
   6
   7 define amdgpu_ps void @_amdgpu_ps_main() local_unnamed_addr #3 {
   8 ; IR-LABEL: @_amdgpu_ps_main(
   9 ; IR-NEXT:  .entry:
  10 ; IR-NEXT:    br label [[DOTLOOPEXIT:%.*]]
  11 ; IR:       .loopexit:
  12 ; IR-NEXT:    br label [[N28:%.*]]
  13 ; IR:       n28:
  14 ; IR-NEXT:    [[DOT01:%.*]] = phi float [ 0.000000e+00, [[DOTLOOPEXIT]] ], [ [[N29:%.*]], [[TRANSITIONBLOCK:%.*]] ]
  15 ; IR-NEXT:    [[N29]] = fadd float [[DOT01]], 1.000000e+00
  16 ; IR-NEXT:    [[N30:%.*]] = fcmp ogt float [[N29]], 4.000000e+00
  17 ; IR-NEXT:    br i1 true, label [[TRANSITIONBLOCK]], label [[DUMMYRETURNBLOCK:%.*]]
  18 ; IR:       TransitionBlock:
  19 ; IR-NEXT:    br i1 [[N30]], label [[DOTLOOPEXIT]], label [[N28]]
  20 ; IR:       n31:
  21 ; IR-NEXT:    ret void
  22 ; IR:       DummyReturnBlock:
  23 ; IR-NEXT:    ret void
  24 ;
  25 .entry:
  26   br label %.loopexit
  27
  28 .loopexit:                                        ; preds = %n28, %.entry
  29   br label %n28
  30
  31 n28:                                               ; preds = %.loopexit, %n28
  32   %.01 = phi float [ 0.000000e+00, %.loopexit ], [ %n29, %n28 ]
  33   %n29 = fadd float %.01, 1.0
  34   %n30 = fcmp ogt float %n29, 4.000000e+00
  35   br i1 %n30, label %.loopexit, label %n28
  36
  37 n31:                                               ; preds =
  38   ret void
  39 }