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

   1 ; RUN: opt -disable-output -loop-rotate -enable-mssa-loop-dependency -verify-memoryssa %s
   2 ; REQUIRES: asserts
   3
   4 ; Function Attrs: nounwind
   5 define dso_local void @bar() local_unnamed_addr #0 align 32 {
   6 entry:
   7   br label %looplabel.exit.i
   8
   9 looplabel.exit.i: ; preds = %if.end.i, %entry
  10   %0 = phi i1 (i32*, i32*)* [ @foo, %entry ], [ undef, %if.end.i ]
  11   %call3.i.i = call zeroext i1 %0(i32* nonnull dereferenceable(16) undef, i32* nonnull undef)
  12   br i1 %call3.i.i, label %if.end.i, label %label.exit
  13
  14 if.end.i:                                         ; preds = %looplabel.exit.i
  15   %tobool.i = icmp eq i32* undef, null
  16   br label %looplabel.exit.i
  17
  18 label.exit: ; preds = %looplabel.exit.i
  19   ret void
  20 }
  21
  22 ; Function Attrs: readonly
  23 declare dso_local i1 @foo(i32*, i32*) #1 align 32
  24
  25 attributes #0 = { nounwind }
  26 attributes #1 = { readonly }
  27