65 lines · plain
1; RUN: llc -enable-ppc-prefetching=true -verify-machineinstrs < %s | FileCheck %s2target datalayout = "E-m:e-i64:64-n32:64"3target triple = "powerpc64le-unknown-linux"4 5; Function Attrs: nounwind6define void @foo(ptr %x, ptr nocapture readonly %y) #0 {7entry:8 %scevgep = getelementptr double, ptr %x, i64 15999 %scevgep20 = getelementptr double, ptr %y, i64 159910 br label %vector.memcheck11 12vector.memcheck: ; preds = %for.end, %entry13 %j.015 = phi i32 [ 0, %entry ], [ %inc7, %for.end ]14 %bound0 = icmp uge ptr %scevgep20, %x15 %bound1 = icmp uge ptr %scevgep, %y16 %memcheck.conflict = and i1 %bound0, %bound117 br i1 %memcheck.conflict, label %middle.block, label %vector.body18 19vector.body: ; preds = %vector.memcheck, %vector.body20 %index = phi i64 [ %index.next, %vector.body ], [ 0, %vector.memcheck ]21 %0 = getelementptr inbounds double, ptr %y, i64 %index22 %wide.load = load <4 x double>, ptr %0, align 823 %1 = fadd <4 x double> %wide.load, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00>24 %2 = getelementptr inbounds double, ptr %x, i64 %index25 store <4 x double> %1, ptr %2, align 826 %index.next = add i64 %index, 427 %3 = icmp eq i64 %index.next, 160028 br i1 %3, label %middle.block, label %vector.body29 30middle.block: ; preds = %vector.body, %vector.memcheck31 %resume.val = phi i1 [ false, %vector.memcheck ], [ true, %vector.body ]32 %trunc.resume.val = phi i64 [ 0, %vector.memcheck ], [ 1600, %vector.body ]33 br i1 %resume.val, label %for.end, label %for.body334 35for.body3: ; preds = %middle.block, %for.body336 %indvars.iv = phi i64 [ %indvars.iv.next, %for.body3 ], [ %trunc.resume.val, %middle.block ]37 %arrayidx = getelementptr inbounds double, ptr %y, i64 %indvars.iv38 %4 = load double, ptr %arrayidx, align 839 %add = fadd double %4, 1.000000e+0040 %arrayidx5 = getelementptr inbounds double, ptr %x, i64 %indvars.iv41 store double %add, ptr %arrayidx5, align 842 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 143 %exitcond = icmp eq i64 %indvars.iv.next, 160044 br i1 %exitcond, label %for.end, label %for.body345 46for.end: ; preds = %middle.block, %for.body347 tail call void @bar(ptr %x) #248 %inc7 = add nuw nsw i32 %j.015, 149 %exitcond16 = icmp eq i32 %inc7, 10050 br i1 %exitcond16, label %for.end8, label %vector.memcheck51 52for.end8: ; preds = %for.end53 ret void54 55; CHECK-LABEL: @foo56; CHECK: dcbt57}58 59declare void @bar(ptr) #160 61attributes #0 = { nounwind "target-cpu"="a2q" }62attributes #1 = { "target-cpu"="a2q" }63attributes #2 = { nounwind }64 65