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

declare void @llvm.assume(i1)

define void @fn(i1 %c) {
; CHECK-LABEL: @fn(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    unreachable
;
entry:
  call void @llvm.assume(i1 undef)
  br i1 %c, label %bb1, label %bb1
bb1:
  ret void
}