; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes='loop-mssa(licm,loop-simplifycfg)' < %s | FileCheck %s

; Here we end un sinking a user of token down from the loop, therefore breaching LCSSA form.
; Then, LoopSimplifyCFG expcets that LCSSA form is maintained, and remains unaware that
; it may be penetrated by tokens. As result, it may end up breaking dominance between def and
; use by introducing fake temporary edges.

define ptr addrspace(1) @test_gc_relocate() gc "statepoint-example" {
; CHECK-LABEL: @test_gc_relocate(
; CHECK-NEXT:    br label [[BB1:%.*]]
; CHECK:       bb1:
; CHECK-NEXT:    switch i32 undef, label [[BB43:%.*]] [
; CHECK-NEXT:    i32 1, label [[BB18:%.*]]
; CHECK-NEXT:    ]
; CHECK:       bb18:
; CHECK-NEXT:    switch i32 undef, label [[BB43]] [
; CHECK-NEXT:    i32 0, label [[BB28:%.*]]
; CHECK-NEXT:    ]
; CHECK:       bb28:
; CHECK-NEXT:    [[TMP34:%.*]] = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 2882400000, i32 0, ptr nonnull elementtype(ptr addrspace(1) (i64, i32, i32, i32)) @barney.4, i32 4, i32 0, i64 undef, i32 5, i32 5, i32 undef, i32 0, i32 0) [ "deopt"(), "gc-live"(ptr addrspace(1) undef) ]
; CHECK-NEXT:    br i1 false, label [[BB57:%.*]], label [[BB36:%.*]]
; CHECK:       bb36:
; CHECK-NEXT:    switch i32 undef, label [[BB43]] [
; CHECK-NEXT:    i32 1, label [[BB39:%.*]]
; CHECK-NEXT:    ]
; CHECK:       bb39:
; CHECK-NEXT:    switch i32 undef, label [[BB43]] [
; CHECK-NEXT:    i32 1, label [[BB45:%.*]]
; CHECK-NEXT:    ]
; CHECK:       bb43:
; CHECK-NEXT:    unreachable
; CHECK:       bb45:
; CHECK-NEXT:    br label [[BB1]]
; CHECK:       bb57:
; CHECK-NEXT:    [[TMP35_LE:%.*]] = call coldcc ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token [[TMP34]], i32 0, i32 0)
; CHECK-NEXT:    ret ptr addrspace(1) [[TMP35_LE]]
;
  br label %bb1

bb1:                                              ; preds = %bb45, %0
  switch i32 undef, label %bb43 [
  i32 1, label %bb18
  ]

bb18:                                             ; preds = %bb1
  switch i32 undef, label %bb43 [
  i32 0, label %bb28
  ]

bb28:                                             ; preds = %bb18
  %tmp34 = call token (i64, i32, ptr addrspace(1) (i64, i32, i32, i32)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 2882400000, i32 0, ptr addrspace(1) (i64, i32, i32, i32)* nonnull elementtype(ptr addrspace(1) (i64, i32, i32, i32)) @barney.4, i32 4, i32 0, i64 undef, i32 5, i32 5, i32 undef, i32 0, i32 0) [ "deopt"(), "gc-live"(ptr addrspace(1) undef) ]
  %tmp35 = call coldcc ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %tmp34, i32 0, i32 0) ; (undef, undef)
  br i1 false, label %bb57, label %bb36

bb36:                                             ; preds = %bb28
  switch i32 undef, label %bb43 [
  i32 1, label %bb39
  ]

bb39:                                             ; preds = %bb36
  switch i32 undef, label %bb43 [
  i32 1, label %bb45
  ]

bb43:                                             ; preds = %bb39, %bb36, %bb18, %bb1
  unreachable

bb45:                                             ; preds = %bb39
  br label %bb1

bb57:                                             ; preds = %bb28
  ret ptr addrspace(1) %tmp35
}

declare ptr addrspace(1) @barney.4(i64, i32, i32, i32)

declare ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token, i32 immarg, i32 immarg) #0

declare token @llvm.experimental.gc.statepoint.p0(i64 immarg, i32 immarg, ptr addrspace(1) (i64, i32, i32, i32)*, i32 immarg, i32 immarg, ...)

attributes #0 = { nounwind readnone }