19bb69c1dSWang Pengcheng; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3 29bb69c1dSWang Pengcheng; RUN: opt -mtriple=riscv64 -cache-line-size=64 -prefetch-distance=64 \ 39bb69c1dSWang Pengcheng; RUN: -passes=loop-data-prefetch -S < %s | FileCheck %s 49bb69c1dSWang Pengcheng 59bb69c1dSWang Pengchengdefine void @foo(ptr nocapture %a, ptr nocapture readonly %b) { 69bb69c1dSWang Pengcheng; CHECK-LABEL: define void @foo( 7*29441e4fSNikita Popov; CHECK-SAME: ptr captures(none) [[A:%.*]], ptr readonly captures(none) [[B:%.*]]) { 89bb69c1dSWang Pengcheng; CHECK-NEXT: entry: 99bb69c1dSWang Pengcheng; CHECK-NEXT: br label [[FOR_BODY:%.*]] 109bb69c1dSWang Pengcheng; CHECK: for.body: 119bb69c1dSWang Pengcheng; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ 0, [[ENTRY:%.*]] ], [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY]] ] 129bb69c1dSWang Pengcheng; CHECK-NEXT: [[TMP0:%.*]] = shl nuw nsw i64 [[INDVARS_IV]], 3 139bb69c1dSWang Pengcheng; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[TMP0]], 64 149bb69c1dSWang Pengcheng; CHECK-NEXT: [[SCEVGEP:%.*]] = getelementptr i8, ptr [[B]], i64 [[TMP1]] 159bb69c1dSWang Pengcheng; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds double, ptr [[B]], i64 [[INDVARS_IV]] 169bb69c1dSWang Pengcheng; CHECK-NEXT: call void @llvm.prefetch.p0(ptr [[SCEVGEP]], i32 0, i32 3, i32 1) 179bb69c1dSWang Pengcheng; CHECK-NEXT: [[TMP2:%.*]] = load double, ptr [[ARRAYIDX]], align 8 189bb69c1dSWang Pengcheng; CHECK-NEXT: [[ADD:%.*]] = fadd double [[TMP2]], 1.000000e+00 199bb69c1dSWang Pengcheng; CHECK-NEXT: [[ARRAYIDX2:%.*]] = getelementptr inbounds double, ptr [[A]], i64 [[INDVARS_IV]] 209bb69c1dSWang Pengcheng; CHECK-NEXT: store double [[ADD]], ptr [[ARRAYIDX2]], align 8 219bb69c1dSWang Pengcheng; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1 229bb69c1dSWang Pengcheng; CHECK-NEXT: [[EXITCOND:%.*]] = icmp eq i64 [[INDVARS_IV_NEXT]], 1600 239bb69c1dSWang Pengcheng; CHECK-NEXT: br i1 [[EXITCOND]], label [[FOR_END:%.*]], label [[FOR_BODY]] 249bb69c1dSWang Pengcheng; CHECK: for.end: 259bb69c1dSWang Pengcheng; CHECK-NEXT: ret void 269bb69c1dSWang Pengcheng; 279bb69c1dSWang Pengchengentry: 289bb69c1dSWang Pengcheng br label %for.body 299bb69c1dSWang Pengcheng 309bb69c1dSWang Pengchengfor.body: ; preds = %for.body, %entry 319bb69c1dSWang Pengcheng %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ] 329bb69c1dSWang Pengcheng %arrayidx = getelementptr inbounds double, ptr %b, i64 %indvars.iv 339bb69c1dSWang Pengcheng %0 = load double, ptr %arrayidx, align 8 349bb69c1dSWang Pengcheng %add = fadd double %0, 1.000000e+00 359bb69c1dSWang Pengcheng %arrayidx2 = getelementptr inbounds double, ptr %a, i64 %indvars.iv 369bb69c1dSWang Pengcheng store double %add, ptr %arrayidx2, align 8 379bb69c1dSWang Pengcheng %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 389bb69c1dSWang Pengcheng %exitcond = icmp eq i64 %indvars.iv.next, 1600 399bb69c1dSWang Pengcheng br i1 %exitcond, label %for.end, label %for.body 409bb69c1dSWang Pengcheng 419bb69c1dSWang Pengchengfor.end: ; preds = %for.body 429bb69c1dSWang Pengcheng ret void 439bb69c1dSWang Pengcheng} 44