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

declare void @widget()
declare void @baz(i8)
declare void @snork()
declare void @spam(i8)
declare void @zot()

define void @wombat(i64 %arg, i1 %arg1) {
; CHECK-LABEL: @wombat(
; CHECK-NEXT:  bb:
; CHECK-NEXT:    [[COND:%.*]] = icmp eq i64 [[ARG:%.*]], 0
; CHECK-NEXT:    br i1 [[COND]], label [[BB4:%.*]], label [[BB2:%.*]]
; CHECK:       bb2:
; CHECK-NEXT:    call void @widget()
; CHECK-NEXT:    br label [[BB4]]
; CHECK:       bb4:
; CHECK-NEXT:    [[TMP:%.*]] = phi i8 [ 0, [[BB:%.*]] ], [ 1, [[BB2]] ]
; CHECK-NEXT:    call void @baz(i8 [[TMP]])
; CHECK-NEXT:    call void @snork()
; CHECK-NEXT:    call void @spam(i8 4)
; CHECK-NEXT:    ret void
;
bb:
  switch i64 %arg, label %bb2 [
  i64 0, label %bb3
  ]

bb2:                                              ; preds = %bb
  call void @widget()
  br label %bb3

bb3:                                              ; preds = %bb2, %bb
  %tmp = phi i8 [ 0, %bb ], [ 1, %bb2 ]
  br label %bb4

bb4:                                              ; preds = %bb3
  call void @baz(i8 %tmp)
  %tmp5 = select i1 %arg1, i64 6, i64 3
  switch i64 %tmp5, label %bb7 [
  i64 1, label %bb6
  i64 0, label %bb8
  ]

bb6:                                              ; preds = %bb4
  call void @zot()
  br label %bb8

bb7:                                              ; preds = %bb4
  call void @snork()
  br label %bb8

bb8:                                              ; preds = %bb7, %bb6, %bb4
  %tmp9 = phi i8 [ 2, %bb4 ], [ 3, %bb6 ], [ 4, %bb7 ]
  call void @spam(i8 %tmp9)
  ret void
}