1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3 2 3;; Check that -enable-loop-header-duplication at Oz enables certain types of 4;; optimizations, for example replacing the loop body w/ a call to memset. If 5;; loop idiom recognition begins to recognize unrotated loops, this test will 6;; need to be updated. 7 8; RUN: opt -passes='default<Oz>' -S < %s | FileCheck %s --check-prefix=NOROTATION 9; RUN: opt -passes='default<Oz>' -S -enable-loop-header-duplication < %s | FileCheck %s --check-prefix=ROTATION 10; RUN: opt -passes='default<O2>' -S < %s | FileCheck %s --check-prefix=ROTATION 11 12define void @test(i8* noalias nonnull align 1 %start, i8* %end) unnamed_addr { 13; NOROTATION-LABEL: define void @test( 14; NOROTATION-SAME: ptr noalias nonnull writeonly align 1 [[START:%.*]], ptr readnone [[END:%.*]]) unnamed_addr #[[ATTR0:[0-9]+]] { 15; NOROTATION-NEXT: entry: 16; NOROTATION-NEXT: br label [[LOOP_HEADER:%.*]] 17; NOROTATION: loop.header: 18; NOROTATION-NEXT: [[PTR_IV:%.*]] = phi ptr [ [[START]], [[ENTRY:%.*]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ] 19; NOROTATION-NEXT: [[_12_I:%.*]] = icmp eq ptr [[PTR_IV]], [[END]] 20; NOROTATION-NEXT: br i1 [[_12_I]], label [[EXIT:%.*]], label [[LOOP_LATCH]] 21; NOROTATION: loop.latch: 22; NOROTATION-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds nuw i8, ptr [[PTR_IV]], i64 1 23; NOROTATION-NEXT: store i8 1, ptr [[PTR_IV]], align 1 24; NOROTATION-NEXT: br label [[LOOP_HEADER]] 25; NOROTATION: exit: 26; NOROTATION-NEXT: ret void 27; 28; ROTATION-LABEL: define void @test( 29; ROTATION-SAME: ptr noalias nonnull writeonly align 1 [[START:%.*]], ptr readnone [[END:%.*]]) unnamed_addr #[[ATTR0:[0-9]+]] { 30; ROTATION-NEXT: entry: 31; ROTATION-NEXT: [[_12_I1:%.*]] = icmp eq ptr [[START]], [[END]] 32; ROTATION-NEXT: br i1 [[_12_I1]], label [[EXIT:%.*]], label [[LOOP_LATCH_PREHEADER:%.*]] 33; ROTATION: loop.latch.preheader: 34; ROTATION-NEXT: [[END3:%.*]] = ptrtoint ptr [[END]] to i64 35; ROTATION-NEXT: [[START4:%.*]] = ptrtoint ptr [[START]] to i64 36; ROTATION-NEXT: [[TMP0:%.*]] = sub i64 [[END3]], [[START4]] 37; ROTATION-NEXT: tail call void @llvm.memset.p0.i64(ptr nonnull align 1 [[START]], i8 1, i64 [[TMP0]], i1 false) 38; ROTATION-NEXT: br label [[EXIT]] 39; ROTATION: exit: 40; ROTATION-NEXT: ret void 41; 42entry: 43 br label %loop.header 44 45loop.header: 46 %ptr.iv = phi i8* [ %start, %entry ], [ %ptr.iv.next, %loop.latch ] 47 %_12.i = icmp eq i8* %ptr.iv, %end 48 br i1 %_12.i, label %exit, label %loop.latch 49 50loop.latch: 51 %ptr.iv.next = getelementptr inbounds i8, i8* %ptr.iv, i64 1 52 store i8 1, i8* %ptr.iv, align 1 53 br label %loop.header 54 55exit: 56 ret void 57} 58