; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes='require<domtree>,loop(loop-simplifycfg)' -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s

define void @test(ptr %addr) {
; CHECK-LABEL: define void @test(
; CHECK-SAME: ptr [[ADDR:%.*]]) {
; CHECK-NEXT:    indirectbr ptr [[ADDR]], [label %[[A:.*]], label %C]
; CHECK:       [[A]]:
; CHECK-NEXT:    br i1 true, label %[[B:.*]], label %[[C_LOOPEXIT:.*]]
; CHECK:       [[B]]:
; CHECK-NEXT:    br i1 true, label %[[A]], label %[[C_LOOPEXIT]]
; CHECK:       [[C_LOOPEXIT]]:
; CHECK-NEXT:    br label %[[C:.*]]
; CHECK:       [[C]]:
; CHECK-NEXT:    unreachable
;

  indirectbr ptr %addr, [label %A, label %C]

A:
  br i1 true, label %B, label %C

B:
  br i1 true, label %A, label %C

C:
  unreachable
}