; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -O1 -enable-knowledge-retention -S < %s | FileCheck %s ; RUN: opt -passes='default' -enable-knowledge-retention -S < %s | FileCheck %s %0 = type { %0* } define %0* @f1() local_unnamed_addr { ; CHECK-LABEL: @f1( ; CHECK-NEXT: bb: ; CHECK-NEXT: br label [[BB3:%.*]] ; CHECK: bb3: ; CHECK-NEXT: [[I1:%.*]] = phi %0* [ [[I5:%.*]], [[BB3]] ], [ undef, [[BB:%.*]] ] ; CHECK-NEXT: call void @llvm.assume(i1 true) [ "nonnull"(%0* [[I1]]) ] ; CHECK-NEXT: [[I4:%.*]] = getelementptr inbounds [[TMP0:%.*]], %0* [[I1]], i64 0, i32 0 ; CHECK-NEXT: [[I5]] = load %0*, %0** [[I4]], align 8 ; CHECK-NEXT: [[I2:%.*]] = icmp eq %0* [[I5]], null ; CHECK-NEXT: br i1 [[I2]], label [[BB6:%.*]], label [[BB3]] ; CHECK: bb6: ; CHECK-NEXT: ret %0* undef ; bb: br label %bb1 bb1: %i = phi %0* [ undef, %bb ], [ %i5, %bb3 ] %i2 = icmp eq %0* %i, null br i1 %i2, label %bb6, label %bb3 bb3: call void @llvm.assume(i1 true) [ "nonnull"(%0* %i) ] %i4 = getelementptr inbounds %0, %0* %i, i64 0, i32 0 %i5 = load %0*, %0** %i4, align 8 br label %bb1 bb6: ret %0* undef } declare void @llvm.assume(i1)