; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -keep-loops="false" -S | FileCheck %s

define i1 @qux(ptr %m, ptr %n, ptr %o, ptr %p) nounwind  {
; CHECK-LABEL: @qux(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[T7:%.*]] = icmp eq ptr [[M:%.*]], [[N:%.*]]
; CHECK-NEXT:    [[T15:%.*]] = icmp eq ptr [[O:%.*]], [[P:%.*]]
; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[T7]], i1 [[T15]], i1 false, !prof [[PROF0:![0-9]+]]
; CHECK-NEXT:    ret i1 [[SPEC_SELECT]]
;
entry:
  %t7 = icmp eq ptr %m, %n
  br i1 %t7, label %bb, label %UnifiedReturnBlock, !prof !0

bb:
  %t15 = icmp eq ptr %o, %p
  br label %UnifiedReturnBlock

UnifiedReturnBlock:
  %result = phi i1 [ 0, %entry ], [ %t15, %bb ]
  ret i1 %result

}

@a = external dso_local global i32, align 4

define i32 @PR50638() {
; CHECK-LABEL: @PR50638(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    store i32 0, ptr @a, align 4
; CHECK-NEXT:    ret i32 0
;
entry:
  store i32 0, ptr @a, align 4
  br label %pre.for

pre.for:
  %tobool.not = phi i1 [ false, %for ], [ true, %entry ]
  br i1 %tobool.not, label %end, label %for

for:
  %cmp = phi i1 [ true, %pre.for ], [ false, %post.for ]
  %storemerge = phi i32 [ 0, %pre.for ], [ 1, %post.for ]
  store i32 %storemerge, ptr @a, align 4
  br i1 %cmp, label %post.for, label %pre.for

post.for:
  br label %for

end:
  ret i32 0
}

!0 = !{!"branch_weights", i32 4, i32 64}