1; RUN: llc < %s | FileCheck %s
2; RUN: llc -mtriple=powerpc64-bgq-linux < %s | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-BGQ
3target datalayout = "E-m:e-i64:64-n32:64"
4target triple = "powerpc64-unknown-linux-gnu"
5
6; Function Attrs: nounwind
7define void @foo(double* nocapture %x, double* nocapture readonly %y) #0 {
8entry:
9  br label %for.body
10
11for.body:                                         ; preds = %for.body, %entry
12  %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
13  %arrayidx = getelementptr inbounds double, double* %y, i64 %indvars.iv
14  %0 = load double, double* %arrayidx, align 8
15  %add = fadd double %0, 1.000000e+00
16  %arrayidx2 = getelementptr inbounds double, double* %x, i64 %indvars.iv
17  store double %add, double* %arrayidx2, align 8
18  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
19  %exitcond19 = icmp eq i64 %indvars.iv.next, 1600
20  br i1 %exitcond19, label %for.body7, label %for.body
21
22; CHECK-LABEL: @foo
23
24; CHECK-BGQ-DAG: dcbt 4, 5
25; CHECK-DAG: lfdu [[REG1:[0-9]+]], 8({{[0-9]+}})
26; CHECK-DAG: fadd [[REG2:[0-9]+]], [[REG1]], 0
27; CHECK-DAG: stfdu [[REG2]], 8({{[0-9]+}})
28; CHECK: bdnz
29
30; CHECK: blr
31
32for.cond.cleanup6:                                ; preds = %for.body7
33  ret void
34
35for.body7:                                        ; preds = %for.body, %for.body7
36  %i3.017 = phi i32 [ %inc9, %for.body7 ], [ 0, %for.body ]
37  tail call void bitcast (void (...)* @bar to void ()*)() #2
38  %inc9 = add nuw nsw i32 %i3.017, 1
39  %exitcond = icmp eq i32 %inc9, 1024
40  br i1 %exitcond, label %for.cond.cleanup6, label %for.body7
41}
42
43declare void @bar(...) #1
44
45attributes #0 = { nounwind "target-cpu"="a2q" }
46attributes #1 = { "target-cpu"="a2q" }
47attributes #2 = { nounwind }
48
49