28 lines · plain
1; RUN: opt -disable-output -passes=loop-rotate -verify-memoryssa %s2; REQUIRES: asserts3 4; Function Attrs: nounwind5define dso_local void @bar() local_unnamed_addr #0 align 32 {6entry:7 br label %looplabel.exit.i8 9looplabel.exit.i: ; preds = %if.end.i, %entry10 %0 = phi ptr [ @foo, %entry ], [ undef, %if.end.i ]11 %call3.i.i = call zeroext i1 %0(ptr nonnull dereferenceable(16) undef, ptr nonnull undef)12 br i1 %call3.i.i, label %if.end.i, label %label.exit13 14if.end.i: ; preds = %looplabel.exit.i15 %tobool.i = icmp eq ptr undef, null16 br label %looplabel.exit.i17 18label.exit: ; preds = %looplabel.exit.i19 ret void20}21 22; Function Attrs: readonly23declare dso_local i1 @foo(ptr, ptr) #1 align 3224 25attributes #0 = { nounwind }26attributes #1 = { readonly }27 28