1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s
3
4define void @fn() {
5; CHECK-LABEL: @fn(
6; CHECK-NEXT:  entry:
7; CHECK-NEXT:    ret void
8;
9entry:
10  ret void
11
12unreachable_bb0:
13  br label %unreachable_bb1
14unreachable_bb1:
15  br label %unreachable_bb0
16}
17