40 lines
1.2 KiB
LLVM
40 lines
1.2 KiB
LLVM
; 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<O1>' -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)
|