1; ModuleID = 'SingleSource/Regression/C/sumarray2d.c'
2target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v128:128:128-n32:64"
3target triple = "powerpc64-unknown-linux-gnu"
4; RUN: llc < %s -march=ppc64 | FileCheck %s
5
6@.str = private unnamed_addr constant [23 x i8] c"Sum(Array[%d,%d] = %d\0A\00", align 1
7
8define i32 @SumArray([100 x i32]* nocapture %Array, i32 %NumI, i32 %NumJ) nounwind readonly {
9entry:
10  %cmp12 = icmp eq i32 %NumI, 0
11  br i1 %cmp12, label %for.end8, label %for.cond1.preheader.lr.ph
12
13for.cond1.preheader.lr.ph:                        ; preds = %entry
14  %cmp29 = icmp eq i32 %NumJ, 0
15  br i1 %cmp29, label %for.inc6, label %for.body3.lr.ph.us
16
17for.inc6.us:                                      ; preds = %for.body3.us
18  %indvars.iv.next17 = add i64 %indvars.iv16, 1
19  %lftr.wideiv18 = trunc i64 %indvars.iv.next17 to i32
20  %exitcond19 = icmp eq i32 %lftr.wideiv18, %NumI
21  br i1 %exitcond19, label %for.end8, label %for.body3.lr.ph.us
22
23for.body3.us:                                     ; preds = %for.body3.us, %for.body3.lr.ph.us
24  %indvars.iv = phi i64 [ 0, %for.body3.lr.ph.us ], [ %indvars.iv.next, %for.body3.us ]
25  %Result.111.us = phi i32 [ %Result.014.us, %for.body3.lr.ph.us ], [ %add.us, %for.body3.us ]
26  %arrayidx5.us = getelementptr inbounds [100 x i32]* %Array, i64 %indvars.iv16, i64 %indvars.iv
27  %0 = load i32* %arrayidx5.us, align 4
28  %add.us = add nsw i32 %0, %Result.111.us
29  %indvars.iv.next = add i64 %indvars.iv, 1
30  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
31  %exitcond = icmp eq i32 %lftr.wideiv, %NumJ
32  br i1 %exitcond, label %for.inc6.us, label %for.body3.us
33
34for.body3.lr.ph.us:                               ; preds = %for.inc6.us, %for.cond1.preheader.lr.ph
35  %indvars.iv16 = phi i64 [ %indvars.iv.next17, %for.inc6.us ], [ 0, %for.cond1.preheader.lr.ph ]
36  %Result.014.us = phi i32 [ %add.us, %for.inc6.us ], [ 0, %for.cond1.preheader.lr.ph ]
37  br label %for.body3.us
38
39for.inc6:                                         ; preds = %for.inc6, %for.cond1.preheader.lr.ph
40  %i.013 = phi i32 [ %inc7, %for.inc6 ], [ 0, %for.cond1.preheader.lr.ph ]
41  %inc7 = add i32 %i.013, 1
42  %exitcond20 = icmp eq i32 %inc7, %NumI
43  br i1 %exitcond20, label %for.end8, label %for.inc6
44
45for.end8:                                         ; preds = %for.inc6.us, %for.inc6, %entry
46  %Result.0.lcssa = phi i32 [ 0, %entry ], [ %add.us, %for.inc6.us ], [ 0, %for.inc6 ]
47  ret i32 %Result.0.lcssa
48; CHECK: @SumArray
49; CHECK: mtctr
50; CHECK: bdnz
51}
52
53define i32 @main() nounwind {
54entry:
55  %Array = alloca [100 x [100 x i32]], align 4
56  br label %for.body
57
58for.body:                                         ; preds = %for.body, %entry
59  %indvars.iv33 = phi i64 [ 0, %entry ], [ %indvars.iv.next34, %for.body ]
60  %0 = trunc i64 %indvars.iv33 to i32
61  %sub = sub i32 0, %0
62  %arrayidx2 = getelementptr inbounds [100 x [100 x i32]]* %Array, i64 0, i64 %indvars.iv33, i64 %indvars.iv33
63  store i32 %sub, i32* %arrayidx2, align 4
64  %indvars.iv.next34 = add i64 %indvars.iv33, 1
65  %lftr.wideiv35 = trunc i64 %indvars.iv.next34 to i32
66  %exitcond36 = icmp eq i32 %lftr.wideiv35, 100
67  br i1 %exitcond36, label %for.cond6.preheader, label %for.body
68
69for.cond6.preheader:                              ; preds = %for.body, %for.inc17
70  %indvars.iv29 = phi i64 [ %indvars.iv.next30, %for.inc17 ], [ 0, %for.body ]
71  br label %for.body8
72
73for.body8:                                        ; preds = %for.inc14, %for.cond6.preheader
74  %indvars.iv = phi i64 [ 0, %for.cond6.preheader ], [ %indvars.iv.next, %for.inc14 ]
75  %1 = trunc i64 %indvars.iv to i32
76  %2 = trunc i64 %indvars.iv29 to i32
77  %cmp9 = icmp eq i32 %1, %2
78  br i1 %cmp9, label %for.inc14, label %if.then
79
80if.then:                                          ; preds = %for.body8
81  %3 = add i64 %indvars.iv, %indvars.iv29
82  %arrayidx13 = getelementptr inbounds [100 x [100 x i32]]* %Array, i64 0, i64 %indvars.iv29, i64 %indvars.iv
83  %4 = trunc i64 %3 to i32
84  store i32 %4, i32* %arrayidx13, align 4
85  br label %for.inc14
86
87for.inc14:                                        ; preds = %for.body8, %if.then
88  %indvars.iv.next = add i64 %indvars.iv, 1
89  %lftr.wideiv27 = trunc i64 %indvars.iv.next to i32
90  %exitcond28 = icmp eq i32 %lftr.wideiv27, 100
91  br i1 %exitcond28, label %for.inc17, label %for.body8
92
93for.inc17:                                        ; preds = %for.inc14
94  %indvars.iv.next30 = add i64 %indvars.iv29, 1
95  %lftr.wideiv31 = trunc i64 %indvars.iv.next30 to i32
96  %exitcond32 = icmp eq i32 %lftr.wideiv31, 100
97  br i1 %exitcond32, label %for.body3.lr.ph.us.i, label %for.cond6.preheader
98
99for.inc6.us.i:                                    ; preds = %for.body3.us.i
100  %indvars.iv.next17.i = add i64 %indvars.iv16.i, 1
101  %lftr.wideiv24 = trunc i64 %indvars.iv.next17.i to i32
102  %exitcond25 = icmp eq i32 %lftr.wideiv24, 100
103  br i1 %exitcond25, label %SumArray.exit, label %for.body3.lr.ph.us.i
104
105for.body3.us.i:                                   ; preds = %for.body3.lr.ph.us.i, %for.body3.us.i
106  %indvars.iv.i = phi i64 [ 0, %for.body3.lr.ph.us.i ], [ %indvars.iv.next.i, %for.body3.us.i ]
107  %Result.111.us.i = phi i32 [ %Result.014.us.i, %for.body3.lr.ph.us.i ], [ %add.us.i, %for.body3.us.i ]
108  %arrayidx5.us.i = getelementptr inbounds [100 x [100 x i32]]* %Array, i64 0, i64 %indvars.iv16.i, i64 %indvars.iv.i
109  %5 = load i32* %arrayidx5.us.i, align 4
110  %add.us.i = add nsw i32 %5, %Result.111.us.i
111  %indvars.iv.next.i = add i64 %indvars.iv.i, 1
112  %lftr.wideiv = trunc i64 %indvars.iv.next.i to i32
113  %exitcond = icmp eq i32 %lftr.wideiv, 100
114  br i1 %exitcond, label %for.inc6.us.i, label %for.body3.us.i
115
116for.body3.lr.ph.us.i:                             ; preds = %for.inc17, %for.inc6.us.i
117  %indvars.iv16.i = phi i64 [ %indvars.iv.next17.i, %for.inc6.us.i ], [ 0, %for.inc17 ]
118  %Result.014.us.i = phi i32 [ %add.us.i, %for.inc6.us.i ], [ 0, %for.inc17 ]
119  br label %for.body3.us.i
120
121SumArray.exit:                                    ; preds = %for.inc6.us.i
122  %call20 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([23 x i8]* @.str, i64 0, i64 0), i32 100, i32 100, i32 %add.us.i) nounwind
123  ret i32 0
124
125; CHECK: @main
126; CHECK: mtctr
127; CHECK: bdnz
128}
129
130declare i32 @printf(i8* nocapture, ...) nounwind
131