; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt -passes='loop(loop-rotate),instcombine' -enable-knowledge-retention -S < %s  | FileCheck %s

%0 = type { ptr }

define ptr @f1(ptr %i0) {
; CHECK-LABEL: define ptr @f1(
; CHECK-SAME: ptr [[I0:%.*]]) {
; CHECK-NEXT:  [[ENTRY:.*:]]
; CHECK-NEXT:    [[I21:%.*]] = icmp eq ptr [[I0]], null
; CHECK-NEXT:    br i1 [[I21]], label %[[EXIT:.*]], label %[[LOOP_LATCH_LR_PH:.*]]
; CHECK:       [[LOOP_LATCH_LR_PH]]:
; CHECK-NEXT:    br label %[[LOOP_LATCH:.*]]
; CHECK:       [[LOOP_LATCH]]:
; CHECK-NEXT:    [[I3:%.*]] = phi ptr [ [[I0]], %[[LOOP_LATCH_LR_PH]] ], [ [[I5:%.*]], %[[LOOP_LATCH]] ]
; CHECK-NEXT:    [[I5]] = load ptr, ptr [[I3]], align 8
; CHECK-NEXT:    [[I2:%.*]] = icmp eq ptr [[I5]], null
; CHECK-NEXT:    br i1 [[I2]], label %[[LOOP_EXIT_CRIT_EDGE:.*]], label %[[LOOP_LATCH]]
; CHECK:       [[LOOP_EXIT_CRIT_EDGE]]:
; CHECK-NEXT:    br label %[[EXIT]]
; CHECK:       [[EXIT]]:
; CHECK-NEXT:    ret ptr undef
;
entry:
  br label %loop

loop:
  %i = phi ptr [ %i0, %entry ], [ %i5, %loop.latch ]
  %i2 = icmp eq ptr %i, null
  br i1 %i2, label %exit, label %loop.latch

loop.latch:
  call void @llvm.assume(i1 true) [ "nonnull"(ptr %i) ]
  %i5 = load ptr, ptr %i, align 8
  br label %loop

exit:
  ret ptr undef
}

declare void @llvm.assume(i1)