[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AMDGPU / update-phi.ll
blob05775429e43eb5db8223999c8a0696ecbccff4f5
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -mtriple=amdgcn-- -S -amdgpu-unify-divergent-exit-nodes -verify %s | FileCheck -check-prefix=IR %s
4 ; Make sure that the phi in n28 is updated when the block is split by unify
5 ; divergent exit nodes.
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
25 .entry:
26   br label %.loopexit
28 .loopexit:                                        ; preds = %n28, %.entry
29   br label %n28
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
37 n31:                                               ; preds =
38   ret void