148 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=loop-idiom < %s -S | FileCheck %s3 4define void @copy_both_noalias(ptr noalias nocapture %d, ptr noalias nocapture readonly %s, i64 %sz) {5; CHECK-LABEL: @copy_both_noalias(6; CHECK-NEXT: entry:7; CHECK-NEXT: [[EXITCOND_NOT1:%.*]] = icmp eq i64 [[SZ:%.*]], 08; CHECK-NEXT: br i1 [[EXITCOND_NOT1]], label [[FOR_END:%.*]], label [[FOR_BODY_PREHEADER:%.*]]9; CHECK: for.body.preheader:10; CHECK-NEXT: [[TMP0:%.*]] = shl nuw i64 [[SZ]], 211; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[D:%.*]], ptr align 4 [[S:%.*]], i64 [[TMP0]], i1 false)12; CHECK-NEXT: br label [[FOR_BODY:%.*]]13; CHECK: for.body:14; CHECK-NEXT: [[I_04:%.*]] = phi i64 [ [[INC:%.*]], [[FOR_BODY]] ], [ 0, [[FOR_BODY_PREHEADER]] ]15; CHECK-NEXT: [[D_ADDR_03:%.*]] = phi ptr [ [[INCDEC_PTR1:%.*]], [[FOR_BODY]] ], [ [[D]], [[FOR_BODY_PREHEADER]] ]16; CHECK-NEXT: [[S_ADDR_02:%.*]] = phi ptr [ [[INCDEC_PTR:%.*]], [[FOR_BODY]] ], [ [[S]], [[FOR_BODY_PREHEADER]] ]17; CHECK-NEXT: [[INCDEC_PTR]] = getelementptr inbounds float, ptr [[S_ADDR_02]], i64 118; CHECK-NEXT: [[TMP1:%.*]] = load float, ptr [[S_ADDR_02]], align 419; CHECK-NEXT: [[INCDEC_PTR1]] = getelementptr inbounds float, ptr [[D_ADDR_03]], i64 120; CHECK-NEXT: [[INC]] = add i64 [[I_04]], 121; CHECK-NEXT: [[EXITCOND_NOT:%.*]] = icmp eq i64 [[INC]], [[SZ]]22; CHECK-NEXT: br i1 [[EXITCOND_NOT]], label [[FOR_END_LOOPEXIT:%.*]], label [[FOR_BODY]]23; CHECK: for.end.loopexit:24; CHECK-NEXT: br label [[FOR_END]]25; CHECK: for.end:26; CHECK-NEXT: ret void27;28entry:29 %exitcond.not1 = icmp eq i64 %sz, 030 br i1 %exitcond.not1, label %for.end, label %for.body.preheader31 32for.body.preheader: ; preds = %entry33 br label %for.body34 35for.body: ; preds = %for.body.preheader, %for.body36 %i.04 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]37 %d.addr.03 = phi ptr [ %incdec.ptr1, %for.body ], [ %d, %for.body.preheader ]38 %s.addr.02 = phi ptr [ %incdec.ptr, %for.body ], [ %s, %for.body.preheader ]39 %incdec.ptr = getelementptr inbounds float, ptr %s.addr.02, i64 140 %0 = load float, ptr %s.addr.02, align 441 %incdec.ptr1 = getelementptr inbounds float, ptr %d.addr.03, i64 142 store float %0, ptr %d.addr.03, align 443 %inc = add i64 %i.04, 144 %exitcond.not = icmp eq i64 %inc, %sz45 br i1 %exitcond.not, label %for.end.loopexit, label %for.body46 47for.end.loopexit: ; preds = %for.body48 br label %for.end49 50for.end: ; preds = %for.end.loopexit, %entry51 ret void52}53 54define void @copy_one_noalias(ptr nocapture %d, ptr noalias nocapture readonly %s, i64 %sz) {55; CHECK-LABEL: @copy_one_noalias(56; CHECK-NEXT: entry:57; CHECK-NEXT: [[EXITCOND_NOT1:%.*]] = icmp eq i64 [[SZ:%.*]], 058; CHECK-NEXT: br i1 [[EXITCOND_NOT1]], label [[FOR_END:%.*]], label [[FOR_BODY_PREHEADER:%.*]]59; CHECK: for.body.preheader:60; CHECK-NEXT: [[TMP0:%.*]] = shl nuw i64 [[SZ]], 261; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[D:%.*]], ptr align 4 [[S:%.*]], i64 [[TMP0]], i1 false)62; CHECK-NEXT: br label [[FOR_BODY:%.*]]63; CHECK: for.body:64; CHECK-NEXT: [[I_04:%.*]] = phi i64 [ [[INC:%.*]], [[FOR_BODY]] ], [ 0, [[FOR_BODY_PREHEADER]] ]65; CHECK-NEXT: [[D_ADDR_03:%.*]] = phi ptr [ [[INCDEC_PTR1:%.*]], [[FOR_BODY]] ], [ [[D]], [[FOR_BODY_PREHEADER]] ]66; CHECK-NEXT: [[S_ADDR_02:%.*]] = phi ptr [ [[INCDEC_PTR:%.*]], [[FOR_BODY]] ], [ [[S]], [[FOR_BODY_PREHEADER]] ]67; CHECK-NEXT: [[INCDEC_PTR]] = getelementptr inbounds float, ptr [[S_ADDR_02]], i64 168; CHECK-NEXT: [[TMP1:%.*]] = load float, ptr [[S_ADDR_02]], align 469; CHECK-NEXT: [[INCDEC_PTR1]] = getelementptr inbounds float, ptr [[D_ADDR_03]], i64 170; CHECK-NEXT: [[INC]] = add i64 [[I_04]], 171; CHECK-NEXT: [[EXITCOND_NOT:%.*]] = icmp eq i64 [[INC]], [[SZ]]72; CHECK-NEXT: br i1 [[EXITCOND_NOT]], label [[FOR_END_LOOPEXIT:%.*]], label [[FOR_BODY]]73; CHECK: for.end.loopexit:74; CHECK-NEXT: br label [[FOR_END]]75; CHECK: for.end:76; CHECK-NEXT: ret void77;78entry:79 %exitcond.not1 = icmp eq i64 %sz, 080 br i1 %exitcond.not1, label %for.end, label %for.body.preheader81 82for.body.preheader: ; preds = %entry83 br label %for.body84 85for.body: ; preds = %for.body.preheader, %for.body86 %i.04 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]87 %d.addr.03 = phi ptr [ %incdec.ptr1, %for.body ], [ %d, %for.body.preheader ]88 %s.addr.02 = phi ptr [ %incdec.ptr, %for.body ], [ %s, %for.body.preheader ]89 %incdec.ptr = getelementptr inbounds float, ptr %s.addr.02, i64 190 %0 = load float, ptr %s.addr.02, align 491 %incdec.ptr1 = getelementptr inbounds float, ptr %d.addr.03, i64 192 store float %0, ptr %d.addr.03, align 493 %inc = add i64 %i.04, 194 %exitcond.not = icmp eq i64 %inc, %sz95 br i1 %exitcond.not, label %for.end.loopexit, label %for.body96 97for.end.loopexit: ; preds = %for.body98 br label %for.end99 100for.end: ; preds = %for.end.loopexit, %entry101 ret void102}103 104; PR44378105define dso_local void @memcpy_loop(ptr noalias nocapture %p, ptr noalias nocapture readonly %q, i32 %n) {106; CHECK-LABEL: @memcpy_loop(107; CHECK-NEXT: entry:108; CHECK-NEXT: [[CMP4:%.*]] = icmp sgt i32 [[N:%.*]], 0109; CHECK-NEXT: br i1 [[CMP4]], label [[FOR_BODY_PREHEADER:%.*]], label [[FOR_COND_CLEANUP:%.*]]110; CHECK: for.body.preheader:111; CHECK-NEXT: [[TMP0:%.*]] = zext i32 [[N]] to i64112; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 1 [[P:%.*]], ptr align 1 [[Q:%.*]], i64 [[TMP0]], i1 false)113; CHECK-NEXT: br label [[FOR_BODY:%.*]]114; CHECK: for.cond.cleanup.loopexit:115; CHECK-NEXT: br label [[FOR_COND_CLEANUP]]116; CHECK: for.cond.cleanup:117; CHECK-NEXT: ret void118; CHECK: for.body:119; CHECK-NEXT: [[I_07:%.*]] = phi i32 [ [[INC:%.*]], [[FOR_BODY]] ], [ 0, [[FOR_BODY_PREHEADER]] ]120; CHECK-NEXT: [[P_ADDR_06:%.*]] = phi ptr [ [[INCDEC_PTR1:%.*]], [[FOR_BODY]] ], [ [[P]], [[FOR_BODY_PREHEADER]] ]121; CHECK-NEXT: [[Q_ADDR_05:%.*]] = phi ptr [ [[INCDEC_PTR:%.*]], [[FOR_BODY]] ], [ [[Q]], [[FOR_BODY_PREHEADER]] ]122; CHECK-NEXT: [[INCDEC_PTR]] = getelementptr inbounds i8, ptr [[Q_ADDR_05]], i64 1123; CHECK-NEXT: [[TMP1:%.*]] = load i8, ptr [[Q_ADDR_05]], align 1124; CHECK-NEXT: [[INCDEC_PTR1]] = getelementptr inbounds i8, ptr [[P_ADDR_06]], i64 1125; CHECK-NEXT: [[INC]] = add nuw nsw i32 [[I_07]], 1126; CHECK-NEXT: [[EXITCOND_NOT:%.*]] = icmp eq i32 [[INC]], [[N]]127; CHECK-NEXT: br i1 [[EXITCOND_NOT]], label [[FOR_COND_CLEANUP_LOOPEXIT:%.*]], label [[FOR_BODY]]128;129entry:130 %cmp4 = icmp sgt i32 %n, 0131 br i1 %cmp4, label %for.body, label %for.cond.cleanup132 133for.cond.cleanup:134 ret void135 136for.body:137 %i.07 = phi i32 [ %inc, %for.body ], [ 0, %entry ]138 %p.addr.06 = phi ptr [ %incdec.ptr1, %for.body ], [ %p, %entry ]139 %q.addr.05 = phi ptr [ %incdec.ptr, %for.body ], [ %q, %entry ]140 %incdec.ptr = getelementptr inbounds i8, ptr %q.addr.05, i64 1141 %0 = load i8, ptr %q.addr.05, align 1142 %incdec.ptr1 = getelementptr inbounds i8, ptr %p.addr.06, i64 1143 store i8 %0, ptr %p.addr.06, align 1144 %inc = add nuw nsw i32 %i.07, 1145 %exitcond.not = icmp eq i32 %inc, %n146 br i1 %exitcond.not, label %for.cond.cleanup, label %for.body147}148