llvm/test/Transforms/PhaseOrdering/d83507-knowledge-retention-bug.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes='loop(loop-rotate),instcombine' -enable-knowledge-retention -S < %s  | FileCheck %s
   3
   4 %0 = type { ptr }
   5
   6 define ptr @f1(ptr %i0) local_unnamed_addr {
   7 ; CHECK-LABEL: @f1(
   8 ; CHECK-NEXT:  bb:
   9 ; CHECK:         br label [[BB3:%.*]]
  10 ; CHECK:       bb3:
  11 ; CHECK-NEXT:    [[I1:%.*]] = phi ptr [ %i0, [[BB:%.*]] ], [ [[I5:%.*]], [[BB3]] ]
  12 ; CHECK-NEXT:    call void @llvm.assume(i1 true) [ "nonnull"(ptr [[I1]]) ]
  13 ; CHECK-NEXT:    [[I5]] = load ptr, ptr [[I1]], align 8
  14 ; CHECK-NEXT:    [[I2:%.*]] = icmp eq ptr [[I5]], null
  15 ; CHECK-NEXT:    br i1 [[I2]], label [[BB6:%.*]], label [[BB3]]
  16 ; CHECK:       bb6:
  17 ; CHECK-NEXT:    ret ptr undef
  18 ;
  19 bb:
  20   br label %bb1
  21
  22 bb1:
  23   %i = phi ptr [ %i0, %bb ], [ %i5, %bb3 ]
  24   %i2 = icmp eq ptr %i, null
  25   br i1 %i2, label %bb6, label %bb3
  26
  27 bb3:
  28   call void @llvm.assume(i1 true) [ "nonnull"(ptr %i) ]
  29   %i5 = load ptr, ptr %i, align 8
  30   br label %bb1
  31
  32 bb6:
  33   ret ptr undef
  34 }
  35
  36 declare void @llvm.assume(i1)