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 7define 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 31n28: ; 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 37n31: ; preds = 38 ret void 39} 40