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 6define 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; 19bb: 20 br label %bb1 21 22bb1: 23 %i = phi ptr [ %i0, %bb ], [ %i5, %bb3 ] 24 %i2 = icmp eq ptr %i, null 25 br i1 %i2, label %bb6, label %bb3 26 27bb3: 28 call void @llvm.assume(i1 true) [ "nonnull"(ptr %i) ] 29 %i5 = load ptr, ptr %i, align 8 30 br label %bb1 31 32bb6: 33 ret ptr undef 34} 35 36declare void @llvm.assume(i1) 37