37 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes='loop(loop-rotate),instcombine' -enable-knowledge-retention -S < %s | FileCheck %s3 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 814; CHECK-NEXT: [[I2:%.*]] = icmp eq ptr [[I5]], null15; CHECK-NEXT: br i1 [[I2]], label [[BB6:%.*]], label [[BB3]]16; CHECK: bb6:17; CHECK-NEXT: ret ptr undef18;19bb:20 br label %bb121 22bb1:23 %i = phi ptr [ %i0, %bb ], [ %i5, %bb3 ]24 %i2 = icmp eq ptr %i, null25 br i1 %i2, label %bb6, label %bb326 27bb3:28 call void @llvm.assume(i1 true) [ "nonnull"(ptr %i) ]29 %i5 = load ptr, ptr %i, align 830 br label %bb131 32bb6:33 ret ptr undef34}35 36declare void @llvm.assume(i1)37