; RUN: opt -simple-loop-unswitch -enable-nontrivial-unswitch -verify-memoryssa -S %s | FileCheck %s
; REQUIRES: asserts

target triple = "x86_64-unknown-linux-gnu"

declare void @foo()

; In Test1, there are no definitions. MemorySSA updates insert trivial phis and remove them.
; Verify all are removed, considering the SLU pass leaves unreachable blocks hanging when the MSSA updates are done.
; CHECK-LABEL: @Test1
define void @Test1(i32) {
header:
  br label %outer

outer.loopexit.split:                             ; preds = %continue
  br label %outer.loopexit

outer.loopexit:                                   ; preds = %outer.loopexit.split.us, %outer.loopexit.split
  br label %outer

outer:                                            ; preds = %outer.loopexit, %header
  br i1 false, label %outer.split.us, label %outer.split

outer.split.us:                                   ; preds = %outer
  br label %inner.us

inner.us:                                         ; preds = %continue.us, %outer.split.us
  br label %overflow.us

overflow.us:                                      ; preds = %inner.us
  br label %continue.us

continue.us:                                      ; preds = %overflow.us
  br i1 true, label %outer.loopexit.split.us, label %inner.us

outer.loopexit.split.us:                          ; preds = %continue.us
  br label %outer.loopexit

outer.split:                                      ; preds = %outer
  br label %inner

inner:                                            ; preds = %continue, %outer.split
  br label %switchme

switchme:                                         ; preds = %inner
  switch i32 %0, label %continue [
    i32 88, label %go_out
    i32 99, label %case2
  ]

case2:                                            ; preds = %switchme
  br label %continue

continue:                                         ; preds = %case2, %switchme
  br i1 true, label %outer.loopexit.split, label %inner

go_out:                                           ; preds = %switchme
  unreachable
}

; In Test2 there is a single def (call to foo). There are already Phis in place that are cloned when unswitching.
; Ensure MemorySSA remains correct. Due to SLU's pruned cloning, continue.us2 becomes unreachable, with an empty Phi that is later cleaned.
; CHECK-LABEL: @Test2
define void @Test2(i32) {
header:
  br label %outer

outer.loopexit.split:                             ; preds = %continue
  br label %outer.loopexit

outer.loopexit:                                   ; preds = %outer.loopexit.split.us, %outer.loopexit.split
  br label %outer

outer:                                            ; preds = %outer.loopexit, %header
  br i1 false, label %outer.split.us, label %outer.split

outer.split.us:                                   ; preds = %outer
  br label %inner.us

inner.us:                                         ; preds = %continue.us, %outer.split.us
  br label %overflow.us

overflow.us:                                      ; preds = %inner.us
  br label %continue.us

continue.us:                                      ; preds = %overflow.us
  br i1 true, label %outer.loopexit.split.us, label %inner.us

outer.loopexit.split.us:                          ; preds = %continue.us
  br label %outer.loopexit

outer.split:                                      ; preds = %outer
  br label %inner

inner:                                            ; preds = %continue, %outer.split
  br label %switchme

switchme:                                         ; preds = %inner
  switch i32 %0, label %continue [
    i32 88, label %go_out
    i32 99, label %case2
  ]

case2:                                            ; preds = %switchme
  call void @foo()
  br label %continue

continue:                                         ; preds = %case2, %switchme
  br i1 true, label %outer.loopexit.split, label %inner

go_out:                                           ; preds = %switchme
  unreachable
}