llvm/llvm/test/Analysis/MemorySSA/loop-rotate-inv-template.ll

; RUN: opt -disable-output -passes=loop-rotate -verify-memoryssa %s
; REQUIRES: asserts

; Function Attrs: nounwind
define dso_local void @bar() local_unnamed_addr #0 align 32 {
entry:
  br label %looplabel.exit.i

looplabel.exit.i: ; preds = %if.end.i, %entry
  %0 = phi ptr [ @foo, %entry ], [ undef, %if.end.i ]
  %call3.i.i = call zeroext i1 %0(ptr nonnull dereferenceable(16) undef, ptr nonnull undef)
  br i1 %call3.i.i, label %if.end.i, label %label.exit

if.end.i:                                         ; preds = %looplabel.exit.i
  %tobool.i = icmp eq ptr undef, null
  br label %looplabel.exit.i

label.exit: ; preds = %looplabel.exit.i
  ret void
}

; Function Attrs: readonly
declare dso_local i1 @foo(ptr, ptr) #1 align 32

attributes #0 = { nounwind }
attributes #1 = { readonly }