1; RUN: opt -mtriple amdgcn-unknown-amdhsa -analyze -divergence -use-gpu-divergence-analysis %s | FileCheck %s 2 3; CHECK: bb6: 4; CHECK: DIVERGENT: %.126.i355.i = phi i1 [ false, %bb5 ], [ true, %bb4 ] 5; CHECK: DIVERGENT: br i1 %.126.i355.i, label %bb7, label %bb8 6 7; Function Attrs: nounwind readnone speculatable 8declare i32 @llvm.amdgcn.workitem.id.x() #0 9 10define protected amdgpu_kernel void @_Z23krnl_GPUITSFitterKerneli() { 11bb0: 12 %i4 = call i32 @llvm.amdgcn.workitem.id.x() 13 %i5 = icmp eq i32 %i4, -1 14 br label %bb1 15 16bb1: ; preds = %bb3, %bb0 17 %lsr.iv = phi i32 [ %i1, %bb3 ], [ 7, %bb0 ] 18 br i1 %i5, label %bb2, label %bb3 19 20bb2: ; preds = %bb1 21 %lsr.iv.next = add nsw i32 %lsr.iv, -1 22 %i14 = icmp eq i32 %lsr.iv.next, 0 23 br label %bb3 24 25bb3: ; preds = %bb2, %bb1 26 %i1 = phi i32 [ %lsr.iv.next, %bb2 ], [ 0, %bb1 ] 27 %i2 = phi i1 [ false, %bb2 ], [ true, %bb1 ] 28 %i3 = phi i1 [ %i14, %bb2 ], [ true, %bb1 ] 29 br i1 %i3, label %bb4, label %bb1 30 31bb4: ; preds = %bb3 32 br i1 %i2, label %bb5, label %bb6 33 34bb5: ; preds = %bb4 35 br label %bb6 36 37bb6: ; preds = %bb5, %bb4 38 %.126.i355.i = phi i1 [ false, %bb5 ], [ true, %bb4 ] 39 br i1 %.126.i355.i, label %bb7, label %bb8 40 41bb7: ; preds = %bb6 42 br label %bb8 43 44bb8: ; preds = %bb7, %bb6 45 ret void 46} 47 48attributes #0 = { nounwind readnone speculatable } 49